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

Bug 226

Summary:	Missing type check on return statements
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P1
Version:	3.6 Alpha 1
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-11-20 13:14:00 CET

Returns statements are currently not type checked. I.e. there is no check
comparing the type of the return value with the value given in return statements.

Comment 1 Gerd Behrmann 2005-11-22 20:14:54 CET

A fix is in CVS.