id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
83	Bug in checking equivalence of array outputs	zirkel	ywei	When an output variable is an array, the output from the spec is currently being compared to itself rather than to the output from the impl.  This may be a bug in the verify package.  	defect	closed	major		symbolic	1.0	fixed	verify, array, output, cvc3