edu.udel.cis.vsl.civl.predicate

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	24 of 462	95%	7 of 52	87%	8	39	9	105	1	13	0	2
Deadlock		95%		87%	8	34	9	98	1	8	0	1
StandardPredicate		100%		n/a	0	5	0	7	0	5	0	1