Spinroot

A forum for Spin users

You are not logged in.

#1 Re: General » Syntax Error with Promela Code » 2012-07-13 09:28:52

Ivy

The same error you receive if you call a function with a name other then the one you defined,so check before testing with spin.

Board footer

Powered by FluxBB