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

Bug 88

Summary: Parser does not recognise non-constant initialiser
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: normal    
Priority: P2    
Version: 3.4.4   
Hardware: All   
OS: All   
Attachments: Test case triggering the bug

Description Gerd Behrmann 2004-01-27 21:12:49 CET
In the attached system an integer variable is initialised from another integer
variable. This should not be allowed, but the parser does not detect the error.

Reported by Ferdy Hanssen.
Comment 1 Gerd Behrmann 2004-01-27 21:13:33 CET
Created attachment 17 [details]
Test case triggering the bug
Comment 2 Gerd Behrmann 2004-01-29 18:57:38 CET
The fix is in CVS now.