microbat icon indicating copy to clipboard operation
microbat copied to clipboard

[Tregression] Run Fixed Trace First

Open llmhyy opened this issue 6 years ago • 0 comments

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)

llmhyy avatar May 15 '18 07:05 llmhyy