strange place for error indicator
In the following program:
mtype = {aap, noot, mies, wim, zus};
chan s41 = [0] of {mtype};
active proctype f4() {
mtype ff1 = wim;
do
:: s41 : ff1;
od;
}init{
skip;
}there exist a clear error: the colon after the s41 label in the do-loop (should be an exclamation mark or a question mark).
Submitted by Kees Pronk on 21 August 2011 at 21:54
This error is correctly pointed out by spin.
However, in Epispin, the error indicator is in the very first (blank) line.
When the blank line is deleted, the error indicator points to the mtype definition.
Issue Log
On 26 August 2011 at 13:11 Bob de Vos closed this issue.
On 26 August 2011 at 13:11 Bob de Vos commented:
I added the error message for labels that are used as first statements in do and if structures, which fixes the issue.
On 26 August 2011 at 13:13 Bob de Vos tagged fixed1.0.2
Log in to post comments