-
Erwan Jahier authored
Parent-Version: 0.134 Version-Log: Implement a check_assertion rule that checks every programs assertions. source/*.ml: Consistently display the help msg on stderr if something bad happened, and on stdout if --help is provided at the command line. source/lurette.ml: source/sim2chro.ml: Fix a bug (found by Nicolas Dervaux) where the sut output var were not in the same order than in their declaration. Also, interchange input by output in the produced rif file, since it is more sensible this way from the tester point of view. Project-Description: Lurette
124c55f1