dev.civl.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	23	38	4	7	0	2
Configurations.java		26%		66%	6	9	23	32	4	6	0	1
ProverInfo.java		100%		n/a	0	1	0	6	0	1	0	1