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

Bug 47

Summary:	No check to prevent assignment between ints with non overlapping ranges.
Product:	UPPAAL	Reporter:	Ulrik Nyman <ulrik>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	major
Priority:	P3
Version:	3.3.38
Hardware:	All
OS:	All
URL:	http://www.cs.auc.dk/~ulrikl/uppaal/norangecheck.xml
Architecture:

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.