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

Bug 189

Summary:	Record return values are not handelled correctly
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	3.5.9
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-08-21 16:56:56 CEST

User defined function with a struct return type are not handelled correctly. The parser accepts such 
functions, but at run-time they are not handelled correctly.

Comment 1 Gerd Behrmann 2005-08-23 16:32:02 CEST

A fix has been committed to CVS.