edu.udel.cis.vsl.civl.predicate

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	24 of 495	95%	8 of 60	87%	9	43	9	117	1	13	0	2
Deadlock		95%		87%	9	38	9	110	1	8	0	1
StandardPredicate		100%		n/a	0	5	0	7	0	5	0	1