test: add a pass to check -knc and -knpc options
fix: some issues in the lustre backend wrt =current=
Showing
- lib/licDump.ml 2 additions, 2 deletionslib/licDump.ml
- lib/lv6MainArgs.ml 18 additions, 9 deletionslib/lv6MainArgs.ml
- test/Makefile 2 additions, 1 deletiontest/Makefile
- test/lus2lic.sum 224 additions, 17 deletionstest/lus2lic.sum
- test/lus2lic.tests/test1.exp 3 additions, 2 deletionstest/lus2lic.tests/test1.exp
- test/lus2lic.tests/test2.exp 3 additions, 3 deletionstest/lus2lic.tests/test2.exp
- test/lus2lic.tests/test3.exp 3 additions, 2 deletionstest/lus2lic.tests/test3.exp
- test/lus2lic.tests/test4.exp 3 additions, 3 deletionstest/lus2lic.tests/test4.exp
- test/site.exp 42 additions, 24 deletionstest/site.exp
- utils/check_knc 120 additions, 0 deletionsutils/check_knc
- utils/compare_gcc_and_clang 5 additions, 5 deletionsutils/compare_gcc_and_clang
Loading
Please register or sign in to comment