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

Bug 97 - Engine crash when syntax checking
Summary: Engine crash when syntax checking
Status: CLOSED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.4.4
Hardware: All All
: P1 major
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2004-04-12 11:01 CEST by Ulrik Nyman
Modified: 2005-02-18 11:06 CET (History)
0 users

See Also:
Architecture:

Attachments
Test case (bug.xta) (289 bytes, text/plain)
2004-04-13 08:32 CEST, Gerd Behrmann 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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
http://www.cs.aau.dk/~ulrikl/uppaal/twoconst.xml
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.