edu.udel.cis.vsl.tass.kripke.IF

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	213 of 580	63%	13 of 46	72%	13	28	23	108	1	5	0	1
VerificationUtility		63%		72%	13	28	23	108	1	5	0	1