microbat
microbat copied to clipboard
[Tregression] Run Fixed Trace First
In case of the bug is an infinite loop bug like Lang-43, we can run the fixed trace first, then give a step_limit for the buggy trace (maybe twice the fixed trace length)