sequence needs at least one statement
Epispin accepts the following program, whereas Spin states:
Error: sequence must have at least one statement
init{
{ int x; int k = 1; }}
Adding a skip after the declaration of k solves the problem.
Submitted by Kees Pronk on 8 September 2011 at 22:57
Issue Log
On 13 October 2011 at 18:14 Bob de Vos closed this issue.
On 13 October 2011 at 18:14 Bob de Vos commented:
Fixed 1.0.3
On 13 October 2011 at 18:14 Bob de Vos tagged fixed1.0.3
Log in to post comments