-
- Downloads
Add an -interface option to be able to perform the nonreg tests with rdbg -lurette.
Also add support to rdbg to perform nonreg test. I do not plug yet it as it's twice slower. but most of it seems due patch_ecexe. Indeed, lus2lic -interface compile the whole program just to print the node interface. nb: it has detected a couple of existing bugs.
Showing
- .gitignore 3 additions, 0 deletions.gitignore
- src/lv6MainArgs.ml 9 additions, 2 deletionssrc/lv6MainArgs.ml
- src/lv6MainArgs.mli 1 addition, 0 deletionssrc/lv6MainArgs.mli
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/main.ml 56 additions, 11 deletionssrc/main.ml
- src/soc.ml 1 addition, 1 deletionsrc/soc.ml
- src/socExec.ml 2 additions, 2 deletionssrc/socExec.ml
- test/lus2lic.sum 2 additions, 4 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
- test/site.exp 4 additions, 1 deletiontest/site.exp
- utils/patch_ecexe 14 additions, 0 deletionsutils/patch_ecexe
- utils/test_lus2lic_no_node_rdbg 84 additions, 0 deletionsutils/test_lus2lic_no_node_rdbg
Loading
Please register or sign in to comment