This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 319

Summary:	Cancel leads to: Lost server connection
Product:	UPPAAL	Reporter:	Ulrik Nyman <ulrik>
Component:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	ASSIGNED ---
Severity:	minor
Priority:	P2
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

Description Ulrik Nyman 2006-04-26 21:43:43 CEST

Pressing Cancel while verifying a property leads to an error message stateing that the server connection has been lost.

This bug was found by loading the fischer_symmetry system and verifying the only property. And then pressing cancel during the verification.

This also leads to the following uotput in the terminal window:


com.uppaal.engine.EngineException: java.io.IOException: Server connection lost
        at com.uppaal.engine.Engine.query(Engine.java:134)
        at com.uppaal.gui.verifier.Verification.a(Unknown Source)
        at q.run(Unknown Source)
        at java.util.concurrent.ThreadPoolExecutor$Worker.runTask(Unknown Source)
        at java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
        at java.lang.Thread.run(Unknown Source)
Caused by: java.io.IOException: Server connection lost
        at com.uppaal.engine.LexicalAnalyser.nextToken(LexicalAnalyser.java:123)        at com.uppaal.engine.Parser.parseId(Parser.java:31)
        at com.uppaal.engine.Parser.parseProlog(Parser.java:20)
        at com.uppaal.engine.Parser.parseQueryResult(Parser.java:288)
        at com.uppaal.engine.EngineStub.query(EngineStub.java:474)
        at com.uppaal.engine.Engine.query(Engine.java:131)
        ... 5 more

Comment 1 Gerd Behrmann 2006-04-26 21:48:48 CEST

This has actually been like this since 3.0. A better message would be apropriate.

Comment 2 Gerd Behrmann 2006-05-16 20:08:29 CEST

Reducing severity and priority. Will be fixed post 4.0.