A forum for Spin users
You are not logged in.
Pages: 1
when i m running verification from "ltl property manager" i received the following errors:
spin: pan_in:14, Error: syntax error saw 'operator: ?'
spin: pan_in:3, Error: proctype never_0 not found
spin: 1 error(s) - aborting
Pages: 1