Project

General

Profile

Bug #77

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

Added by Hamza Bourbouh 5 months ago. Updated 2 months ago.

Status:
Closed
Priority:
Normal
Assignee:
Pierre-Loïc Garoche
Category:
-
Start date:
04/17/2019
Due date:
% Done:

0%

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:

MinMaxRunningResettable1_PP.LUSTREC.lus (1.78 KB) Hamza Bourbouh, 04/17/2019 02:26 AM

History

#1 Updated by Pierre-Loïc Garoche 2 months ago

  • Status changed from New to Closed

Solved by commit 2200179cdf52c7509b2

Also available in: Atom PDF