nimble-code / Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

How do I run `iSpin`?

maxvonhippel opened this issue · comments

The installation instructions on spinroot.com appear to be outdated, pointing to a iSpin directory which does not exist in this project. I do find optional_guii/ispin.tcl, and I installed tcl, but when I run tclsh ispin.tcl I get:

invalid command name "wm"
while executing
"wm title . "ispin""
(file "ispin.tcl" line 11)

I am on the latest version of Linux Mint; any help is much appreciated.

you can just make ispin.tcl executable (or put in in /usr/local/bin/ispin and make it executable.
or, if you want to start it manually, say: wish ispin.tcl