Bug #77
lustrec-seal branch failed to compile a valid lustre file (compiled by master branch)
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:
History
#1 Updated by Pierre-Loïc Garoche 7 days ago
- Status changed from New to Closed
Solved by commit 2200179cdf52c7509b2