Skip to content
  • Erwan Jahier's avatar
    lurette 0.135 Tue, 06 May 2003 15:51:08 +0200 by jahier · 124c55f1
    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