Hi Konstantin, As you might guess, we have run into the same problem before.
C-Reduce has a $SANITY variable near the top of creduce/creduce.in that default to false, which you can set to true, that has the effect you want.
Of course this should be exposed via the command line but for now just make this 1-line change to the script (and don't forget to recompile so that creduce.in gets copied to creduce).
Have you tuned off ASLR? This is the easy cause of crash nondeterminism to eliminate. I'm guessing you may not be so lucky...
John On 5/5/13 7:02 AM, Konstantin Tokarev wrote:
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
