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

Bug 90

Summary:	Warnings during verification produce bad line numbers with XML file
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	P1
Version:	3.5.7
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2004-01-29 11:43:44 CET

When using an XML file with verifyta, warnings generated during verification
(such as division by zero or array index out of range) do not contain the XPATH
to the failing expression - only the line number within the expression element
of the XML file.

Comment 1 Gerd Behrmann 2004-03-14 11:52:28 CET

Unfortunately, in the current implementation the XPATH information is no longer
available once the verification begins. This needs to be fixed. However, since
this is a minor bug I will not make these changes in the stable series. This
should be fixed in 3.5.

Comment 2 Gerd Behrmann 2005-06-29 21:15:16 CEST

Moved bug to 3.5.7, as 3.4 is a stable release series and fixing a minor bug is not worth the risk.

Comment 3 Gerd Behrmann 2006-01-09 18:28:55 CET

Fixed on the trunk.