Project

General

Profile

Edit Actions

Bug #92

open

expression should have been normalized in EMF backend

Added by Hamza Bourbouh over 2 years ago. Updated about 4 hours ago.

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

0%

Estimated time:

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


Files

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

Also available in: Atom PDF