Time for Valid Traces
beckydvn opened this issue · comments
The user should be able to specify a constant that indicates the maximum amount of time it takes to find a trace (i.e. if it takes more than 30 seconds, give a warning). Necessary because the complexity of some problems can result in trace generation to fall into infinite loops in some edge cases.