Use V4 style clocks when using the --lustre-v4 option
+ more work on the release dir.
Showing
- release-lv6/Makefile 7 additions, 6 deletionsrelease-lv6/Makefile
- release-lv6/rel-skel/test/Makefile 41 additions, 4 deletionsrelease-lv6/rel-skel/test/Makefile
- src/licDump.ml 28 additions, 24 deletionssrc/licDump.ml
- src/test/should_work/Pascal/consensus2.lus 1 addition, 2 deletionssrc/test/should_work/Pascal/consensus2.lus
- src/test/should_work/packEnvTest/complex.lus 3 additions, 3 deletionssrc/test/should_work/packEnvTest/complex.lus
- src/test/test.res.exp 68 additions, 68 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment