-
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