Skip to content
  • Erwan Jahier's avatar
    Various improvements in displayed information (stdout/stderr) · 884d2fbb
    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