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:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	major
Priority:	P1
Version:	3.4.4
Hardware:	All
OS:	All
Architecture:
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
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.