src/lv6errors.ml · 05c1267ccd57eafbedcaf4dbb7f352ccd431c9e8 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

6 years ago
a07e17b8
Lus2licRun: catch errors properly (duplicating the work done in main.ml). · a07e17b8
erwan authored 6 years ago
```
By not catching errors, rdbg and (thus) lurette were silently do nothing
in presence of errors in Lustre files.
```
a07e17b8

History
Lus2licRun: catch errors properly (duplicating the work done in main.ml).
erwan authored 6 years ago
```
By not catching errors, rdbg and (thus) lurette were silently do nothing
in presence of errors in Lustre files.
```