edu.udel.cis.vsl.civl.kripke

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	219 of 683	68%	26 of 78	67%	35	72	43	154	15	33	0	2
Enabler		68%		73%	21	48	31	113	8	17	0	1
StateManager		69%		44%	14	24	12	41	7	16	0	1