_pid handling
Epispin is unable to handle the following program (which Spin thinks is ok):
…init{
skip;}
never {
do
:: (_last != 1);
:: else -> break;
od;
accept:
do
:: (_last !=1) -> (_last == 1);
od}
book: page 374
Submitted by Kees Pronk on 29 August 2011 at 11:53
…
Issue Log
On 29 August 2011 at 17:24 Bob de Vos commented:
Fixed
On 29 August 2011 at 17:24 Bob de Vos closed this issue.
On 29 August 2011 at 17:24 Bob de Vos tagged fixed1.0.2
Log in to post comments