Project

General

Profile

Bug #92

expression should have been normalized in EMF backend

Added by Hamza Bourbouh 27 days ago.

Status:
New
Priority:
High
Category:
Bug
Start date:
11/14/2019
Due date:
% Done:

0%


Description

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

test.lus (199 Bytes) Hamza Bourbouh, 11/14/2019 05:15 AM

Also available in: Atom PDF