undeclared variable _nr_pr
Epispin doesn’t know about the predefined variable _nr_pr.
Spin thinks the program is OK.
book: page 376
…
proctype child () {
printf(“child %d\n”, _pid)
}active proctype parent() {
do
:: (_nr_pr == 1) -> run child();
od}…
Submitted by Kees Pronk on 29 August 2011 at 12:08
Issue Log
On 29 August 2011 at 12:10 Kees Pronk commented:
The formatter in this bug reporter seems to interpret underscores :(
Sorry about not noticing shat.
On 29 August 2011 at 15:04 Danny Groenewegen commented:
You can include code blocks by either indenting the code with 4 spaces or a tab (after selecting a fragment in Eclipse you can simply press tab and then copy), or you can put the code block between verbatim tags.
On 29 August 2011 at 17:25 Bob de Vos commented:
Fixed.
On 29 August 2011 at 17:25 Bob de Vos closed this issue.
On 29 August 2011 at 17:25 Bob de Vos tagged fixed1.0.2
Log in to post comments