edu.udel.cis.vsl.sarl.IF.config

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	52 of 104	50%	2 of 6	66%	6	10	22	37	4	7	0	2
Configurations		26%		66%	6	9	22	31	4	6	0	1
ProverInfo.ProverKind		100%		n/a	0	1	0	6	0	1	0	1