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

Bug 187

Summary:	Initialising booleans to non-boolean values causes crash
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:

Description Gerd Behrmann 2005-08-20 21:19:04 CEST

If booleans variables are initialised to other values than 0 or 1 (false and true), the engine crashes. The 
intended interpretation is the non-zero values are interpreted as the value true.

The same is true with arguments to boolean parameters.

Comment 1 Gerd Behrmann 2005-08-21 16:47:19 CEST

A fix has been checked into CVS.