non-reg test: add assert to help lutin to generate sensible stimuli.
Showing
- test/should_work/CURRENT.lus 1 addition, 0 deletionstest/should_work/CURRENT.lus
- test/should_work/PCOND.lus 1 addition, 0 deletionstest/should_work/PCOND.lus
- test/should_work/X.lus 1 addition, 0 deletionstest/should_work/X.lus
- test/should_work/X2.lus 1 addition, 0 deletionstest/should_work/X2.lus
- test/should_work/X6.lus 1 addition, 0 deletionstest/should_work/X6.lus
- test/should_work/aa.lus 2 additions, 2 deletionstest/should_work/aa.lus
- test/should_work/bob.lus 1 addition, 1 deletiontest/should_work/bob.lus
- test/should_work/ck2.lus 1 addition, 0 deletionstest/should_work/ck2.lus
- test/should_work/ck3.lus 2 additions, 0 deletionstest/should_work/ck3.lus
- test/should_work/ck4.lus 1 addition, 0 deletionstest/should_work/ck4.lus
- test/should_work/ck6.lus 2 additions, 0 deletionstest/should_work/ck6.lus
- test/should_work/ck7.lus 1 addition, 0 deletionstest/should_work/ck7.lus
- test/should_work/clock1_2ms.lus 1 addition, 0 deletionstest/should_work/clock1_2ms.lus
- test/should_work/clock_ite.lus 1 addition, 0 deletionstest/should_work/clock_ite.lus
- test/should_work/filliter.lus 1 addition, 0 deletionstest/should_work/filliter.lus
- test/should_work/hanane.lus 1 addition, 0 deletionstest/should_work/hanane.lus
- test/should_work/lustre_test1_ok.lus 2 additions, 0 deletionstest/should_work/lustre_test1_ok.lus
- test/should_work/multiclock.lus 1 addition, 0 deletionstest/should_work/multiclock.lus
- test/should_work/onlyroll.lus 1 addition, 1 deletiontest/should_work/onlyroll.lus
- test/should_work/pack1.lus 1 addition, 0 deletionstest/should_work/pack1.lus
Loading
Please register or sign in to comment