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

Bug 97

Summary: Engine crash when syntax checking
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: major    
Priority: P1    
Version: 3.4.4   
Hardware: All   
OS: All   
Attachments: Test case (bug.xta)

Description Ulrik Nyman 2004-04-12 11:01:58 CEST
Original text submitted by Matt O'Conner:

The following scenario causes uppaal to crash when opening a file.  If
two constants are declared, say const a and const b, and if a guard
contains a(b), uppaal crashes when opening the file or loading the
process into the simulator.

The following file is a simple example
Comment 1 Gerd Behrmann 2004-04-13 08:32:11 CEST
Created attachment 19 [details]
Test case (bug.xta)
Comment 2 Gerd Behrmann 2004-04-13 10:08:12 CEST
A fix has been checked into CVS.