src/main.ml · d7dc94ef488b21601e641eedbcbf41bc03f918c6 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

9 years ago
d7dc94ef
--gen-autotest: also generates an arocle to compare lustre programs with lesar · d7dc94ef
Erwan Jahier authored 9 years ago
```
+ the utils/lustrequiv script that tries to state that 2 nodes a equivalent or not
using lesar and lurette.
```
d7dc94ef

History
--gen-autotest: also generates an arocle to compare lustre programs with lesar
Erwan Jahier authored 9 years ago
```
+ the utils/lustrequiv script that tries to state that 2 nodes a equivalent or not
using lesar and lurette.
```