Fix a bug in the -rif mode where the inputs were repeated.
That was quite confusing for rdbg -lurette --*-stdio !!!
Showing
- Makefile 1 addition, 1 deletionMakefile
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/socExec.ml 7 additions, 5 deletionssrc/socExec.ml
- test/Makefile 0 additions, 2 deletionstest/Makefile
- test/lus2lic.log.ref 20 additions, 10 deletionstest/lus2lic.log.ref
- test/lus2lic.sum 3 additions, 1 deletiontest/lus2lic.sum
- test/lus2lic.tests/progression.exp 1 addition, 1 deletiontest/lus2lic.tests/progression.exp
- test/site.exp 3 additions, 0 deletionstest/site.exp
- utils/test_lus2lic_no_node 3 additions, 0 deletionsutils/test_lus2lic_no_node
Loading
Please register or sign in to comment