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

Bug 188

Summary:	Boolean constant reference parameters cannot take right value argument
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	P1
Version:	3.5.9
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-08-21 16:45:55 CEST

In line with C++, constant reference parameters can take right value arguments. However with boolean 
parameters this always results in the error message "Incompatible argument". It works fine with integer 
parameters.

Comment 1 Gerd Behrmann 2005-11-20 12:46:01 CET

A fix is in CVS.