Fix some non-reg tests lustre files.
Showing
- src/TODO 8 additions, 2 deletionssrc/TODO
- src/test/should_fail/clock/clock.lus 3 additions, 3 deletionssrc/test/should_fail/clock/clock.lus
- src/test/should_work/NONREG/simple.lus 5 additions, 4 deletionssrc/test/should_work/NONREG/simple.lus
- src/test/should_work/demo/decl.lus 4 additions, 4 deletionssrc/test/should_work/demo/decl.lus
- src/test/should_work/lionel/triSel.lus 33 additions, 33 deletionssrc/test/should_work/lionel/triSel.lus
- src/test/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus 1 addition, 1 deletion...ntSelectionInArray/contractForElementSelectionInArray.lus
- src/test/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus 6 additions, 5 deletions...rk/packEnvTest/contractForElementSelectionInArray/tri.lus
- src/test/test.res.exp 259 additions, 6 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment