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:	libutap	Assignee:	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.