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:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	major	CC:	saulius
Priority:	P2
Version:	3.5.7
Hardware:	All
OS:	All
Architecture:

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.