edu.udel.cis.vsl.civl.predicate

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	235 of 371	37%	30 of 44	32%	24	35	55	90	6	13	0	2
Deadlock		34%		32%	22	30	53	83	4	8	0	1
StandardPredicate		68%		n/a	2	5	2	7	2	5	0	1