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

Bug 90 - Warnings during verification produce bad line numbers with XML file
Summary: Warnings during verification produce bad line numbers with XML file
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.5.7
Hardware: All All
: P1 minor
Assignee: Gerd Behrmann
Depends on:
Reported: 2004-01-29 11:43 CET by Gerd Behrmann
Modified: 2006-01-09 18:28 CET (History)
0 users

See Also:


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