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

Bug 262

Summary:	Missing int to bool conversion
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal	CC:	hjoe4156
Priority:	P1
Version:	3.6 Alpha 4
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case remote team tool

Description Gerd Behrmann 2006-02-07 18:03:27 CET

When using an int variable as an initialiser for a bool variable for function
local variables, then the integer value is not converted to a boolean value.
Hence if the integer has a value different from 0 or 1, an error is generated.

Comment 1 Gerd Behrmann 2006-02-07 18:03:46 CET

Created attachment 85 [details]
Test case

Comment 2 Gerd Behrmann 2006-02-20 20:14:23 CET

Fixed on the trunk (rev. 1542).

Comment 3 harryjoe 2020-03-30 19:10:09 CEST

https://www.taskade.com/

Comment 4 harryjoe 2020-03-30 19:12:19 CEST

https://www.taskade.com/

Comment 5 harryjoe 2020-03-30 19:15:17 CEST

(In reply to Gerd Behrmann from comment #2)
> Fixed on the trunk (rev. 1542).

https://www.taskade.com/

Comment 6 harryjoe 2020-03-30 19:18:08 CEST

Created attachment 342 [details]
remote team tool

https://www.taskade.com/