Fix the behavior of condact in the -exec mode.
Indeed, once the activation condition has been true, and when it is false it wax returning the default value instead of the previous one. # of expected passes 1512 -> 1519 # of unexpected failures 84 -> 78
Showing
- src/socExec.ml 89 additions, 89 deletionssrc/socExec.ml
- src/socPredef.ml 1 addition, 4 deletionssrc/socPredef.ml
- test/lus2lic.sum 11 additions, 12 deletionstest/lus2lic.sum
- test/lus2lic.tests/non-reg.exp 9 additions, 4 deletionstest/lus2lic.tests/non-reg.exp
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
- test/should_work/decl.lus 1 addition, 0 deletionstest/should_work/decl.lus
- test/should_work/multiclock.lus 2 additions, 4 deletionstest/should_work/multiclock.lus
- todo.org 3 additions, 35 deletionstodo.org
- todo.org_archive 62 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment