Project

General

Profile

Bug #75

exception File "checks/algebraicLoop.ml", line 368, characters 16-22: Assertion failed

Added by Hamza Bourbouh 8 months ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Start date:
04/03/2019
Due date:
% Done:

0%


Description

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

ap_12BAdaptedInlined.LUSTREC.lus (138 KB) Hamza Bourbouh, 04/03/2019 03:58 AM

Also available in: Atom PDF