05.05.2013, 19:47, "John Regehr" <[email protected]>: > 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...
Thanks for your help! -- Regards, Konstantin
