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

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.