dev.civl.sarl.IF.config

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	53 of 105	49%	2 of 6	66%	6	10	20	35	4	7	0	2
Configurations		26%		66%	6	9	20	29	4	6	0	1
ProverInfo.ProverKind		100%		n/a	0	1	0	6	0	1	0	1