id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
122	add option to not stop after finding violation	Stephen Siegel		If the verifier can't prove an array index is in bounds, it could report the possible violation, save the trace, and then add the assumption that the index is in bounds and continue the search.   Ditto for other classes of errors.  This would allow the tool to find many errors at once.	enhancement	closed	major	Release 1.0	verify	1.0	fixed	multiple error