dev.civl.sarl.prove.why3

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	5,743 of 5,743	0%	394 of 394	0%	396	396	1,248	1,248	171	171	16	16
Why3Translator		0%		0%	181	181	602	602	65	65	1	1
Why3PermutTranslator		0%		0%	29	29	143	143	13	13	1	1
Why3Primitives		0%		0%	49	49	122	122	28	28	1	1
RobustWhy3ProvePlatform		0%		0%	36	36	138	138	8	8	1	1
Why3TranslationState		0%		0%	44	44	90	90	26	26	1	1
Why3ConcurrentRunner		0%		0%	23	23	73	73	6	6	1	1
Why3Primitives.Why3Type		0%		0%	10	10	19	19	7	7	1	1
Why3Primitives.Why3Lib		0%		n/a	1	1	2	2	1	1	1	1
Why3Primitives.Why3BuiltinFunction		0%		0%	6	6	12	12	3	3	1	1
Why3Primitives.Why3UninterpretedType		0%		0%	3	3	9	9	2	2	1	1
RobustWhy3ProvePlatformFactory		0%		n/a	3	3	8	8	3	3	1	1
Why3Primitives.Why3FunctionType		0%		0%	3	3	8	8	2	2	1	1
Why3Primitives.Why3TupleType		0%		0%	3	3	7	7	2	2	1	1
Why3Primitives.Axiom		0%		n/a	2	2	6	6	2	2	1	1
Why3TranslationState.TupleTypeSigniture		0%		n/a	2	2	6	6	2	2	1	1
Why3Primitives.Why3InfixOperator		0%		n/a	1	1	3	3	1	1	1	1