edu.udel.cis.vsl.civl.predicate

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	24 of 368	93%	7 of 44	84%	8	35	9	90	1	13	0	2
Deadlock		93%		84%	8	30	9	83	1	8	0	1
StandardPredicate		100%		n/a	0	5	0	7	0	5	0	1