CristalCaveGem » LustreC

10/06/2017

08:23 PM Bug #57 (Closed): horn-traces backend not working when not initialising a pre operator

lustrec -horn error.lus
works
but lustrec -horn-traces error.lus
generates a memory error for variables of type
... Hamza Bourbouh

11:09 AM Bug #56 (Closed): Generation of LUSI file does not contain all nodes signatures.

Solved with commit c4fb63af9a8ea80e Pierre-Loïc Garoche

12:23 AM Bug #56 (Closed): Generation of LUSI file does not contain all nodes signatures.

lustrec -lusi option to generate lustre interface does not contain all nodes.
You can try it on two_counters.lus
I ... Hamza Bourbouh