32 – Uppaal crashes if int template parameters without a range are used

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

Bug 32 - Uppaal crashes if int template parameters without a range are used

Summary: Uppaal crashes if int template parameters without a range are used

Attachments
Model which triggers the problem (977 bytes, application/octet-stream) 2003-07-16 13:15 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 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.