Spinroot

A forum for Spin users

You are not logged in.

#1 2011-01-05 10:43:26

KeesPronk
Member
Registered: 2011-01-04
Posts: 12

ispin

I'm having a problem with the new ispin:

When I load a promela program and start a verification I get the error message

invalid command name ".f.fVp.top.right.row0.ent"
invalid command name ".f.fVp.top.right.row0.ent"
    while executing
"$t.top.right.row0.ent get"
    (procedure "run_ver" line 67)
    invoked from within
"run_ver .f.fVp "
    invoked from within
".f.fVp.top.fourth.row6.go invoke"
    ("uplevel" body line 1)
    invoked from within
"uplevel #0 [list $w invoke]"
    (procedure "tk::ButtonUp" line 22)
    invoked from within
"tk::ButtonUp .f.fVp.top.fourth.row6.go"
    (command bound to event)

The problem disappears if I open the "Show advanced parameter setting" window, and reoccurs when I close that window.
It seems the tcl-code cannot read from a closed window?
The problem occurs both on 64-bit Fedora Linux with Gnome and on a 64-bit Suse installation.
Kees

Offline

#2 2011-01-06 10:38:49

KeesPronk
Member
Registered: 2011-01-04
Posts: 12

Re: ispin

The problem mentioned is solved in the new ispin of Jan 4.
Hoewever, the source distribution (spin601.tar.gz) still contains the old version of ispin.
Kees

Offline

#3 2011-01-07 00:37:31

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

Re: ispin

Will correct this -- thanks for reporting this.

Offline

#4 2011-02-09 07:26:06

suji
Member
Registered: 2011-02-09
Posts: 4

Re: ispin

I had exactly the same issue with ispin some time ago. I am happy to note that the problem has been solved. But it is mentioned here that the source distribution still contains the old version of ispin. So in every probability this problem will recur. Anyway it is reassuring to note that the administrator will be taking care of it.

Offline

Board footer

Powered by FluxBB