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: EngineAssignee: Gerd Behrmann <behrmann>
Severity: minor    
Priority: P1    
Version: 3.5.7   
Hardware: All   
OS: All   

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.