Project

General

Profile

Bug #76

Import error: Load error: imported node real_to_int declared in a regular Lustre file. File "include/conv.lusi", line 1, characters 0-64:

Added by Hamza Bourbouh 6 months ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Start date:
04/03/2019
Due date:
% Done:

0%

Description

Branch used: Seal version 1.7-1000-lustrec-seal (Xia/Huai-dev)
lustrec -horn -d toto -algebraic-loop-solve ap_12BAdaptedInlined.LUSTREC.lus
.. parsing source file ./ap_12BAdaptedInlined.LUSTREC.lus
.. Phase 1 : Normalisation
.. expanding automata

.. Library /Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/include/lustrec/conv

.. Library /Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/include/lustrec/lustrec_math
ok1
ok2
ok3
.. checking stateless/stateful status .. typing .. clock calculus
.. normalization
.. generating compiled header file toto/ap_12BAdaptedInlined.LUSTREC.lusic
.. keeping floating-point numbers
.. Phase 2 : Machines generation
.. scheduling
Algebraic loop detected: solving mode actived
Import error: Load error: imported node real_to_int declared in a regular Lustre file.
File "include/conv.lusi", line 1, characters 0-64:

ap_12BAdaptedInlined.LUSTREC.lus (138 KB) Hamza Bourbouh, 04/03/2019 04:00 AM

Also available in: Atom PDF