edu.udel.cis.vsl.sarl.prove.why3

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	5,787 of 5,787	0%	422 of 422	0%	410	410	1,249	1,249	171	171	16	16
Why3Translator		0%		0%	181	181	602	602	65	65	1	1
Why3PermutTranslator		0%		0%	31	31	143	143	13	13	1	1
Why3Primitives		0%		0%	52	52	122	122	28	28	1	1
RobustWhy3ProvePlatform		0%		0%	40	40	139	139	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%	12	12	19	19	7	7	1	1
Why3Primitives.Why3BuiltinFunction		0%		0%	9	9	12	12	3	3	1	1
Why3Primitives.Why3Lib		0%		n/a	1	1	2	2	1	1	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