CristalCaveGem » LustreC

lustrec -emf test.lus
.. parsing source file ./test.lus
.. Phase 1 : Normalisation
.. expanding automata
.. checking stateless/stateful status
.. typing
.. clock calculus
.. normalization
.. generating compiled header file ./test.lusic
.. keeping floating-point numbers

.. Phase 2 : Machines generation
.. scheduling

.. machines generation

Fun expression should have been normalized: + (j(L), 1)
Raised by primitive operation at file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_compiler.ml", line 139, characters 4-37
Fatal error: exception File "backends/EMF/EMF_common.ml", line 318, characters 87-93: Assertion failed
Raised by primitive operation at file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_compiler.ml", line 139, characters 4-37