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

Bug 171

Summary:	Missing return statement is not reported
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P1
Version:	3.5.7
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-07-05 21:17:11 CEST

Missing return statements at the end of functions are not reported as syntax errors.

Comment 1 Gerd Behrmann 2005-11-20 13:12:31 CET

A fix is now in CVS.