Fix functionality to dynamically change the max time allowed for trace generation
beckydvn opened this issue · 0 comments
beckydvn commented
- Add functionality to easily change the maximum time allowed for a trace generator to run
- Allow the user to set the time upon creation of the generator and easily change it later for future traces
- Currently relevant for
RandomGoalSampling
andVanillaSampling
- Similar wrappers likely will need to be used for future (timed) generators