Spinroot

A forum for Spin users

You are not logged in.

#1 2011-01-04 17:18:00

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

new version 6.0.3 of iSpin

Small glitch in the earlier versions of iSpin.
By default, when you do a verification, the earlier versions did not stop at the first error found, but complete the verification run fully without writing error trails. (This is the behavior when you give ./pan the flag -c0.)
The correct default is -c1, which makes the model checker stop at the first error found, and write an error trail that can then be used in a guided simulation.

iSpin Version 6.0.3, dated January 4, 2011, fixes this problem.  You can download it from the usual place: [url]http://spinroot.com/spin/Src/ispin.tcl[/url]

Offline

Board footer

Powered by FluxBB