edu.udel.cis.vsl.tass.verify

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	14 of 84	83%	2 of 4	50%	5	7	3	17	3	5	0	1
Verify		83%		50%	5	7	3	17	3	5	0	1