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

Bug 173

Summary: Line numbers in out of range warnings are wrong
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: major CC: saulius
Priority: P2    
Version: 3.5.7   
Hardware: All   
OS: All   

Description Gerd Behrmann 2005-07-06 20:42:47 CEST
When running verifyta, line number reported with out of range errors (such as when indexing an array) are 
incorrect. In some cases, this can even lead to segmentation faults.
Comment 1 Gerd Behrmann 2005-07-06 21:05:53 CEST
A fix has been checked into CVS.