-
Erwan Jahier authored
- put the seed and the lutin version on stdour (as stderr) so that it appears in the .rif file - add a '#' before "The oracle returned false at step" in the rif file - Replace every occurence of "the oracle is violated" by "the oracle returned false". - Display more information in lutin and check-rif when an oracle returned false.
884d2fbb