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

Bug 322 - Mixing documentation and invariant causes syntax errors
Summary: Mixing documentation and invariant causes syntax errors
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 3.6 Beta 3
Hardware: All All
: P1 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-05-01 15:39 CEST by Kim Algreen
Modified: 2006-05-10 20:44 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.