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

Bug 173 - Line numbers in out of range warnings are wrong
Summary: Line numbers in out of range warnings are wrong
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.5.7
Hardware: All All
: P2 major
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-07-06 20:42 CEST by Gerd Behrmann
Modified: 2005-07-06 21:05 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

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