Skip to content
  • Erwan Jahier's avatar
    lurette 1.29 Fri, 30 Apr 2004 16:43:39 +0200 by jahier · 1c8385d0
    Erwan Jahier authored
    Parent-Version:      1.28
    Version-Log:
    
    source/ocaml2c.idl:
    source/lurette.ml:
    source/gen_stubs_poc.ml:
    source/gen_stubs_scade.ml:
      Fix a bug where the step and the tries in the sut were completely
      wrong.
    
    source/store.ml
      Fix a bug where, if only the ~min or the ~max options were used,
      they were ignored ...
    
    source/parse_luc.ml:
      Make sure that ~min and ~max are fed with values, not complex expressions.
    
      pre-process lucky files with cpp.
    
    source/sim2chro.ml:
      put the locals after the outputs because it is the order into
      which their values appear.
    
    source/gen_stubs.ml:
      Do not change the oracle compiler if it is provided.
    
    Project-Description: Lurette
    1c8385d0