edu.udel.cis.vsl.civl.predicate.IF

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	64 of 749	91%	17 of 96	82%	17	64	21	176	1	16	0	2
PotentialDeadlock		90%		77%	12	34	13	96	1	8	0	1
Deadlock		93%		89%	5	30	8	80	0	8	0	1