Project

General

Profile

Bug #71

C code generation failed

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

Status:
Closed
Priority:
High
Category:
Bug
Start date:
03/11/2019
Due date:
% Done:

100%


Description

lustrec -node ForIterator_bio_bug_PP ForIterator_bio_bug_PP.LUSTREC.lus
make -f ForIterator_bio_bug_PP.LUSTREC.makefile

ForIterator_bio_bug_PP.LUSTREC.c:144:64: error: use of undeclared identifier '__ERROR__'
_arrow_step (1, 0, &__IfActionSubsystem_81_058_condExecSS_1, __ERROR__->ni_1);

Lustrec generated an ERROR identifier that does not exist in Lustre code.

ForIterator_bio_bug_PP.LUSTREC.lus (4.37 KB) Hamza Bourbouh, 03/11/2019 09:55 PM

History

#1 Updated by Hamza Bourbouh 5 months ago

  • Status changed from New to Closed
  • Assignee changed from Pierre-Loïc Garoche to Hamza Bourbouh
  • % Done changed from 0 to 100

every operator was using a boolean expression instead of a bool clock variable. Solved by creating local variable of type "bool clock" and assign the boolean expression to it.

Also available in: Atom PDF