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

Bug 47 - No check to prevent assignment between ints with non overlapping ranges.
Summary: No check to prevent assignment between ints with non overlapping ranges.
Status: CLOSED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.3.38
Hardware: All All
: P3 major
Assignee: Gerd Behrmann
URL: http://www.cs.auc.dk/~ulrikl/uppaal/n...
Depends on:
Blocks:
 
Reported: 2003-09-10 15:30 CEST by Ulrik Nyman
Modified: 2003-09-22 16:32 CEST (History)
0 users

See Also:
Architecture:

Attachments
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 Ulrik Nyman 2003-09-10 15:30:29 CEST 
The above URL gives a model where the following two integers are defined:
int[1,2] lowRange;
int[3,4] highRange;
and an assignment between them is performed. If this model is simulated the
engine fails when the transition with the assignmnet is taken.
Comment 1 Ulrik Nyman 2003-09-10 15:37:02 CEST 
Relates to bug #48
Comment 2 Gerd Behrmann 2003-09-12 07:18:58 CEST 
A fix for the engine crash has been checked into CVS.