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

Bug 248

Summary:	Increment operator will not work boolean right-hand side value
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P1
Version:	3.6 Alpha 3
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2006-01-09 19:14:56 CET

An expression like 

i += b;

for b being a boolean should be valid (i = i + b is). But in alpha 3 it is rejected.

Comment 1 Gerd Behrmann 2006-01-11 16:44:26 CET

Fixed on the trunk (revision 1450).