|Summary:||Warnings during verification produce bad line numbers with XML file|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
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.