Sometimes test case reduction makes exit code of predicate script non-stable, e.g., in my case program begins to crash with some probability, and reduction advances when it doesn't crash. In a result I get test case which cannot pass predicate test at all.
I think it may be useful to introduce "stability check" pass which runs predicate over non-modified input, and if it fails, stops process with error message. It could be run e.g. each time new pass is going to be started. Does it sound reasonable? -- Regards, Konstantin
