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: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.5.9   
Hardware: All   
OS: All   

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.