CristalCaveGem » LustreC

Branch used: unstable (up to date)
lustrec -I /Users/hbourbou/Documents/cavale/local/include/lustrec -horn -d toto -algebraic-loop-solve ap_12BAdaptedInlined.LUSTREC.lus
Raised by primitive operation at file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_compiler.ml", line 151, characters 4-37
.. parsing source file ./ap_12BAdaptedInlined.LUSTREC.lus
.. Phase 1 : Normalisation
.. expanding automata
.. extracting dependencies
Library /Users/hbourbou/Documents/cavale/local/include/lustrec/conv
.. extracting dependencies

Library /Users/hbourbou/Documents/cavale/local/include/lustrec/lustrec_math
.. extracting dependencies

.. checking stateless/stateful status
.. typing
.. clock calculus
.. generating compiled header file toto/ap_12BAdaptedInlined.LUSTREC.lusic
.. normalization
.. keeping floating-point numbers

.. Phase 2 : Machines generation
.. Fatal error: exception File "checks/algebraicLoop.ml", line 368, characters 16-22: Assertion failed
Raised by primitive operation at file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_compiler.ml", line 151, characters 4-37