Spinroot

A forum for Spin users

You are not logged in.

#1 Re: General » Syntax Error with Promela Code » 2011-09-30 21:10:17

Yes... this might happen..  it looks like the parser saw a '(' character where it did not expect one.

Board footer

Powered by FluxBB