edu.udel.cis.vsl.civl.kripke

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	243 of 611	60%	28 of 72	61%	37	68	42	127	15	32	0	2
Enabler		58%		66%	23	45	30	90	8	17	0	1
StateManager		66%		44%	14	23	12	37	7	15	0	1