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%	18 of 96	81%	18	64	21	176	1	16	0	2
PotentialDeadlock		90%		77%	12	34	13	96	1	8	0	1
Deadlock		93%		86%	6	30	8	80	0	8	0	1