Fix a bug when using -esa -en -2c on programs with assert
Report by willie (cf mail of 8/10/2014 to get the file) file:/tmp/modes3x2.lus lus2lic -esa -en -2c /tmp/modes3x2.lus -n modes3x2 But it gives an error of: Error. in file "/mnt/A/wsept/modes3x2_pre_orig_lus2lic_en_esa/modes3x2.lus", line 74, col 8 to 8, token '#': only one operator per equation is allowed (v04_0, v04_1). Which is the line: assert #(on_off, toggle); ----------------------------------------------------------------- Actually, refuse programs that uses "#" or "nor" run with -esa and -2c|-exec That means that willie program is now rejected. Nevertheless, that change migth fix some other programs (that uses arrays, and used with -esa and -exec or -2c).
Showing
- Makefile 4 additions, 1 deletionMakefile
- _oasis 1 addition, 1 deletion_oasis
- src/l2lExpandArrays.ml 53 additions, 30 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandNodes.ml 7 additions, 1 deletionsrc/l2lExpandNodes.ml
- src/lic2soc.ml 19 additions, 29 deletionssrc/lic2soc.ml
- src/licDump.ml 3 additions, 2 deletionssrc/licDump.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/socPredef.ml 3 additions, 3 deletionssrc/socPredef.ml
- src/socPredef2cHeap.ml 1 addition, 1 deletionsrc/socPredef2cHeap.ml
- test/Makefile 1 addition, 1 deletiontest/Makefile
- test/lus2lic.sum 14 additions, 14 deletionstest/lus2lic.sum
- test/lus2lic.time 9 additions, 9 deletionstest/lus2lic.time
Loading
Please register or sign in to comment