Add --gen-autotest option that generates a Lutin file and an oracle Lustre...
Add --gen-autotest option that generates a Lutin file and an oracle Lustre file suitable to compare the result of 2 Lustre compilers
Showing
- src/actionsDeps.ml 2 additions, 2 deletionssrc/actionsDeps.ml
- src/licDump.ml 2 additions, 2 deletionssrc/licDump.ml
- src/lv6MainArgs.ml 7 additions, 0 deletionssrc/lv6MainArgs.ml
- src/lv6MainArgs.mli 1 addition, 0 deletionssrc/lv6MainArgs.mli
- src/main.ml 60 additions, 15 deletionssrc/main.ml
- src/socExec.ml 9 additions, 7 deletionssrc/socExec.ml
- test/lus2lic.sum 1 addition, 1 deletiontest/lus2lic.sum
- todo.org 7 additions, 16 deletionstodo.org
- todo.org_archive 39 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment