Project

General

Profile

Edit Actions

Bug #77

closed

lustrec-seal branch failed to compile a valid lustre file (compiled by master branch)

Added by Hamza Bourbouh over 2 years ago. Updated 16 days ago.

Status:
Closed
Priority:
Normal
Category:
-
Start date:
04/17/2019
Due date:
% Done:

0%

Estimated time:

Description

lustrec -version
Lustrec compiler, version 1.7-1031-lustrec-seal (Xia/Huai-dev)

Attached is a lustre file that is compilable by master branch and Kind2 but not with the above version:
It gives the following error:

.. Phase 2 : Machines generation
.. scheduling
Algebraic loop detected: solving mode actived
Import error: node UnitDelayWithPreviewResettable_98_254 is already defined.
File "MinMaxRunningResettable1_PP.LUSTREC.lus", line 21, characters 0-399:


Files

Edit Actions

Also available in: Atom PDF