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

Bug 135

Summary: Engine crash during syntax check
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: major    
Priority: P2    
Version: 3.4.7   
Hardware: PC   
OS: All   

Description Ulrik Nyman 2005-03-15 10:07:22 CET
If anaything that triggers an error message in a guard is followed by a comma
then the server connection is lost during the syntax check.
Comment 1 Gerd Behrmann 2005-03-21 12:57:31 CET
Comment 2 Gerd Behrmann 2005-03-30 17:31:44 CEST
This was caused by a simple bug in a recovery rule in the parser. A fix for 3.4
and 3.5 has been checked into CVS.