edu.udel.cis.vsl.civl.predicate

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	52 of 462	89%	15 of 62	76%	16	39	9	92	1	8	0	2
Deadlock		89%		77%	14	35	7	84	0	5	0	1
StandardPredicate		81%		50%	2	4	2	8	1	3	0	1