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

Bug 206

Summary:	Range on return value is ignored
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P1
Version:	3.5.9
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case Query file for test case

Description Gerd Behrmann 2005-10-04 17:25:37 CEST

For functions with integer return types, the range of the integer is ignored.

Comment 1 Gerd Behrmann 2005-10-04 17:26:05 CEST

Created attachment 63 [details]
Test case

Comment 2 Gerd Behrmann 2005-10-04 17:26:23 CEST

Created attachment 64 [details]
Query file for test case

Comment 3 Gerd Behrmann 2006-03-17 10:25:31 CET

Fixed on the trunk from rev. 1661.