edu.udel.cis.vsl.civl.predicate

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	53 of 462	89%	15 of 62	76%	17	39	10	92	2	8	0	2
Deadlock		89%		75%	16	35	9	84	1	5	0	1
StandardPredicate		87%		100%	1	4	1	8	1	3	0	1