lustrec-seal branch failed to compile a valid lustre file (compiled by master branch)
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
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: