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

Bug 32

Summary:	Uppaal crashes if int template parameters without a range are used
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	major
Priority:	P2
Version:	3.3.36
Hardware:	All
OS:	All
Architecture:
Attachments:	Model which triggers the problem

Description Gerd Behrmann 2003-07-16 13:14:23 CEST

Using an int parameter without specifying a range causes the server and verifyta
to crash.

Comment 1 Gerd Behrmann 2003-07-16 13:15:19 CEST

Created attachment 2 [details]
Model which triggers the problem

Comment 2 Gerd Behrmann 2003-07-17 11:50:36 CEST

A fix has been checked into CVS.