mv lustre test programs that triggers an "#assert" into shoud_fail/assert.
Also, check programs that should fail using lurette instead of just lus2lic. Indeed, some programs are only suposed to fail at runtime. Change the main node names of prog in should_fail as it is necessary for Lurette non-reg scheme
Showing
- test/Makefile 2 additions, 1 deletiontest/Makefile
- test/lus2lic.sum 61 additions, 78 deletionstest/lus2lic.sum
- test/lus2lic.tests/non-reg.exp 4 additions, 2 deletionstest/lus2lic.tests/non-reg.exp
- test/lus2lic.tests/progression.exp 2 additions, 0 deletionstest/lus2lic.tests/progression.exp
- test/lus2lic.time 2 additions, 2 deletionstest/lus2lic.time
- test/should_fail/assert/alarme.lus 0 additions, 0 deletionstest/should_fail/assert/alarme.lus
- test/should_fail/assert/assertion.lus 0 additions, 0 deletionstest/should_fail/assert/assertion.lus
- test/should_fail/assert/drapfab.lus 0 additions, 0 deletionstest/should_fail/assert/drapfab.lus
- test/should_fail/assert/eq1.lus 0 additions, 0 deletionstest/should_fail/assert/eq1.lus
- test/should_fail/assert/lecteur.lus 0 additions, 0 deletionstest/should_fail/assert/lecteur.lus
- test/should_fail/assert/s.lus 0 additions, 0 deletionstest/should_fail/assert/s.lus
- test/should_fail/clock/bad_id.lus 1 addition, 1 deletiontest/should_fail/clock/bad_id.lus
- test/should_fail/clock/clock2.lus 1 addition, 1 deletiontest/should_fail/clock/clock2.lus
- test/should_fail/clock/inonout.lus 1 addition, 1 deletiontest/should_fail/clock/inonout.lus
- test/should_fail/clock/when_enum.lus 1 addition, 1 deletiontest/should_fail/clock/when_enum.lus
- test/should_fail/semantics/const3.lus 2 additions, 0 deletionstest/should_fail/semantics/const3.lus
- test/should_fail/semantics/deploop.lus 1 addition, 1 deletiontest/should_fail/semantics/deploop.lus
- test/should_fail/semantics/parametric_node4.lus 1 addition, 1 deletiontest/should_fail/semantics/parametric_node4.lus
- test/should_fail/semantics/sargs.lus 1 addition, 1 deletiontest/should_fail/semantics/sargs.lus
- test/should_fail/semantics/test_const.lus 1 addition, 1 deletiontest/should_fail/semantics/test_const.lus
Loading
Please register or sign in to comment