TTool: minimization: observable events cannot be selected (from TTool installed with the graphic installer : Thursday 12h35)
Debugging trace:
Preparing plugins
Server side of the launcher Version: 0.61 Using port: 8375 Process running:0 Waiting for command openLast=true Deactivating syntax checking Deactivating syntax checking Loading model Deactivating syntax checking Making validated with val=Wallet;CoffeeMachine;CoffeeButton;TeaButton; Making ignored with ign=null Action=nbOfCoins = nbOfCoins + x Action=nbOfCoins = nbOfCoins - x Action=nbOfCoins = 0 Action=nbOfCoins = 0 Action=nbOfCoins = 0 Action=nbOfCoins = 0 Action=nbOfCoins = nbOfCoins + x Execute avatar model checker Generating Avatar from TML Thread started String model checking Reworking Avatar specification State found:entrance__Beverage ID=209 / in state Beverage ID=81 nexts= 0:avatar transition_clone/ ID=201 Found 2 states state1=entrance__Beverage state2=WaitingForSelection Starting the model checking Threads terminated Model checking done Model checking done Expanding Path because of graphs Exception in thread "Thread-16" java.lang.NoClassDefFoundError: rationals/NoSuchStateException at ui.window.JFrameMinimize.computeListOfActions(JFrameMinimize.java:525) at ui.window.JFrameMinimize.run(JFrameMinimize.java:553) at java.lang.Thread.run(Thread.java:745) Caused by: java.lang.ClassNotFoundException: rationals.NoSuchStateException at java.net.URLClassLoader$1.run(URLClassLoader.java:372) at java.net.URLClassLoader$1.run(URLClassLoader.java:361) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:360) at java.lang.ClassLoader.loadClass(ClassLoader.java:424) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:308) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) ... 3 more
Submitted by external user pdss@isae.fr