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

Bug 550 - rate and then also cost going negative / overflowing / ...
Summary: rate and then also cost going negative / overflowing / ...
Status: ASSIGNED
Alias: None
Product: UPPAAL CORA
Classification: Unclassified
Component: Verification Engine (show other bugs)
Version: 060910
Hardware: PC Windows NT
: P5 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2013-04-19 11:48 CEST by Pepijn
Modified: 2019-10-21 10:18 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
zip of 3 different xml files: bug, fix (more like a work-around) and problem. (2.45 KB, application/zip)
2013-04-19 11:48 CEST, Pepijn 		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 Pepijn 2013-04-19 11:48:16 CEST 
Created attachment 259 [details]
zip of 3 different xml files: bug, fix (more like a work-around) and problem.

By making constructor integers non-const the rate and then also the costs are obtaining ridiculous values (-1, -1073741823) eventually resulting in the crash of server.exe
Observe two files in the attachment, bug.xml which has a int predecessor constructor, fix.xml which has made this a const.
This disables some possibilities for constructing a schedule (such as problem.xml in the attachment, you can't change to a const int there)
Comment 1 Marius Mikučionis 2019-10-21 10:18:49 CEST 
taking over