Skip to content
Snippets Groups Projects
Commit a07e17b8 authored by erwan's avatar erwan
Browse files

Lus2licRun: catch errors properly (duplicating the work done in main.ml). 

By not catching errors, rdbg and (thus) lurette were silently do nothing
in presence of errors in Lustre files.
parent 8abbfca9
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment