fix the test suite with -2cmtt (from 217 to 55 test failures)
Showing
- lib/lic2soc.ml 41 additions, 11 deletionslib/lic2soc.ml
- test/lus2lic.sum 33 additions, 33 deletionstest/lus2lic.sum
- test/should_work/COUNTER.lus 3 additions, 3 deletionstest/should_work/COUNTER.lus
- test/site.exp 2 additions, 3 deletionstest/site.exp
- utils/compare_exec_and_2cmt 1 addition, 1 deletionutils/compare_exec_and_2cmt
Loading
Please register or sign in to comment