25.08.2013, 02:28, "John Regehr" <[email protected]>: > Regarding pass_lines::0, I think we just have to try and see. One > tricky thing that Yang has already run into is that every now and then > pass_lines get really lucky and removes 50% or 75% of the test case on > the first try, but it fails to get lucky if you make any changes to the > test case before running pass_lines::0.
Btw, I had cases where pass_lines::0 and pass_lines::1 where running for a long time with almost no progress, while pass_lines::2 removed more than 50% quickly after that. -- Regards, Konstantin
