Fix 2 problems in the ec mode:
- translate merge on bools in terms of current and ite - do not print the clock info in node profile in en mode + various fixes in lustre test files. nb : now all tests in the should_work dir passes !!!
Showing
- src/ident.ml 1 addition, 1 deletionsrc/ident.ml
- src/licDump.ml 11 additions, 14 deletionssrc/licDump.ml
- test/lus2lic.log.ref 9 additions, 68 deletionstest/lus2lic.log.ref
- test/lus2lic.sum 7 additions, 12 deletionstest/lus2lic.sum
- test/should_fail/semantics/broken/piege.lus 2 additions, 1 deletiontest/should_fail/semantics/broken/piege.lus
- test/should_work/broken/car-orig.lus 26 additions, 26 deletionstest/should_work/broken/car-orig.lus
- test/should_work/broken/testSystem.lus 0 additions, 218 deletionstest/should_work/broken/testSystem.lus
- test/should_work/broken/when_enum.lus 0 additions, 17 deletionstest/should_work/broken/when_enum.lus
- test/should_work/broken/when_not.lus 1 addition, 2 deletionstest/should_work/broken/when_not.lus
Loading
Please register or sign in to comment