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

Bug 31

Summary:	Assigning negative values to boolean variables does not give the correct result
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	normal
Priority:	P2
Version:	3.3.36
Hardware:	All
OS:	All
Architecture:
Attachments:	Text case

Description Gerd Behrmann 2003-07-10 13:59:59 CEST

When a negative value is assigned to a boolean variable, the new value of the
variable should be 'true'. This is not the case (the value becomes 'false').

Comment 1 Gerd Behrmann 2003-07-10 14:00:54 CEST

Created attachment 1 [details]
Text case

Comment 2 Gerd Behrmann 2003-07-22 16:11:32 CEST

A fix has been checked into CVS. The fix contains the addition of a new BOOL
type to libutap and special treatment of the assignment operation for booleans.

As a consequence it is no longer possible to use boolean arguments to integer
reference parameters and vice versa.

Also pre/postfix de/increment is no longer allowed on booleans.