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

Bug 322

Summary: Mixing documentation and invariant causes syntax errors
Product: UPPAAL Reporter: Kim Algreen <algreen>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P1    
Version: 3.6 Beta 3   
Hardware: All   
OS: All   
Architecture:

Description Kim Algreen 2006-05-01 15:39:19 CEST
When a location have both an invariant and documentation text, the following two syntax errors appear: Missing initial state and Missing system tag. This happens no matter where in the model the location is placed.
Comment 1 Gerd Behrmann 2006-05-10 20:44:48 CEST
Fixed on the trunk from rev. 1800.