edu.udel.cis.vsl.tass.verify.impl

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	53 of 790	93%	6 of 50	88%	6	31	9	150	0	6	0	1
CollectiveVerifier		93%		88%	6	31	9	150	0	6	0	1