edu.udel.cis.vsl.sarl.reason.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	2,439 of 3,930	37%	300 of 402	25%	241	327	579	910	70	122	8	17
TaylorSubstituter.java		0%		0%	83	83	216	216	18	18	3	3
CommonReasoner.java		0%		0%	43	43	117	117	17	17	1	1
StatefulArrayLambdaAdaptor.java		28%		23%	29	37	74	108	6	11	1	2
ContextMinimizingReasoner.java		61%		56%	35	74	73	193	6	26	0	1
SimpleReasoner.java		0%		0%	23	23	45	45	16	16	1	1
ArrayLambdaCanonicalization.java		25%		25%	2	5	21	29	0	3	0	1
Why3ReasonerFactory.java		0%		0%	9	9	16	16	4	4	1	1
CommonReasonerFactory.java		0%		0%	5	5	13	13	3	3	1	1
StatefulSigmaAdaptor.java		97%		76%	6	23	3	119	0	10	0	2
ContextMinimizingReasonerFactory.java		91%		60%	4	11	0	19	0	6	0	1
ReasonerCacheKey.java		94%		50%	2	5	1	10	0	3	0	1
ExpressionVisitor.java		100%		100%	0	6	0	16	0	2	0	1
SARLProverAdaptor.java		100%		n/a	0	3	0	9	0	3	0	1