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

Bug 383

Summary:	Invariants are ignored for locations with comments
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	critical
Priority:	P2
Version:	4.0.3
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2006-12-21 16:28:43 CET

For locations with text in the documentation tab, the invariant is not evaluated.

Comment 1 Gerd Behrmann 2006-12-21 16:31:23 CET

Fixed on the 4.0 branch from rev. 2866.

Comment 2 Gerd Behrmann 2006-12-22 10:34:33 CET

Fixed on the trunk from rev. 2873.