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

Bug 205

Summary:	Crash when calling functions from invariants
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:
Attachments:	Minimal test case

Description Gerd Behrmann 2005-10-02 14:10:47 CEST

If the return value of a function is used to bound a clock in an invariant or a
guard, the engine segfaults (or fails in an assertion if assertions are enabled)
if the return type of the function is not explicitly bounded.

Comment 1 Gerd Behrmann 2005-10-02 14:11:19 CEST

Created attachment 62 [details]
Minimal test case

Comment 2 Gerd Behrmann 2005-10-04 16:40:56 CEST

A fix has been checkd into CVS.