Project

General

Profile

Bug #93

C code generation ERROR when node is stateless

Added by Hamza Bourbouh over 1 year ago. Updated 9 days ago.

Status:
Closed
Priority:
High
Category:
Bug
Start date:
01/07/2020
Due date:
% Done:

0%


Description

lustrec -node Abs_TestGen5_PP Abs_TestGen5_PP.LUSTREC.lus

make -f Abs_TestGen5_PP.LUSTREC.makefile

gcc -O0 -I/Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/include/lustrec -I. -c Abs_TestGen5_PP.LUSTREC.c
Abs_TestGen5_PP.LUSTREC.c:332:40: error: use of undeclared identifier '__ERROR__'
arrow_step (1, 0, &_reset_7_032_1, ERROR->ni_3);
^
Abs_TestGen5_PP.LUSTREC.c:332:40: error: use of undeclared identifier '__ERROR__'
Abs_TestGen5_PP.LUSTREC.c:336:38: error: use of undeclared identifier '__ERROR__'
reset_7_032_3 = (R_cond_1 && (!__ERROR->reg._reset_7_032_2));
^
Abs_TestGen5_PP.LUSTREC.c:338:3: error: use of undeclared identifier '__ERROR__'
ERROR->reg._reset_7_032_2 = R_cond_1;
^
4 errors generated.
make: *** [Abs_TestGen5_PP.LUSTREC_run] Error 1

Abs_TestGen5_PP.LUSTREC.lus (7.43 KB) Hamza Bourbouh, 01/07/2020 05:35 AM

Abs_TestGen5_PP.LUSTREC.c Magnifier (11 KB) Hamza Bourbouh, 01/07/2020 05:35 AM

History

#1 Updated by Anonymous about 1 year ago

Comment

Solved in commit 2120af730

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

  • Status changed from New to Resolved

#3 Updated by Pierre-Loïc Garoche about 1 year ago

  • Status changed from Resolved to Closed

#4 Updated by Anonymous 9 days ago

Comment

Your composition ought to be typed and double spaced on standard-sized paper (8.5 x11 ), together with inch margins around either side. ... The operating mind is an abbreviated form of one's documents name and can't exceed 50 characters including punctuation and spacing. https://www.peeweepc.com/writing-poetry-essay.html

Also available in: Atom PDF