org.osate.verify.verify.impl

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	3,866 of 9,403	58%	714 of 1,132	36%	669	1,128	976	2,012	151	445	7	27
VerificationMethodImpl		52%		48%	93	173	124	275	7	39	0	1
ElseExprImpl		0%		0%	71	71	119	119	19	19	1	1
VerificationPlanImpl		32%		31%	67	93	96	146	11	24	0	1
ClaimImpl		40%		42%	64	100	92	157	10	25	0	1
VerificationActivityImpl		44%		48%	58	103	88	156	9	25	0	1
ThenExprImpl		0%		0%	39	39	67	67	13	13	1	1
VerificationMethodRegistryImpl		28%		26%	41	55	61	88	8	17	0	1
AgreeMethodImpl		0%		0%	22	22	47	47	11	11	1	1
JUnit4MethodImpl		0%		0%	19	19	33	33	10	10	1	1
ManualMethodImpl		0%		0%	19	19	33	33	10	10	1	1
PythonMethodImpl		0%		0%	19	19	33	33	10	10	1	1
VerifyFactoryImpl		56%		57%	24	56	36	87	12	30	0	1
FormalParameterImpl		67%		55%	24	50	22	81	2	17	0	1
JavaMethodImpl		48%		46%	15	29	23	46	3	12	0	1
JavaParameterImpl		54%		40%	16	29	19	49	2	12	0	1
PluginMethodImpl		47%		33%	11	19	15	33	2	10	0	1
AllExprImpl		39%		37%	10	16	16	26	3	8	0	1
VerificationImpl		39%		37%	10	16	16	26	3	8	0	1
VerificationConditionImpl		78%		65%	12	28	10	43	1	10	0	1
ResoluteMethodImpl		70%		50%	10	20	8	33	0	9	0	1
ComputeRefImpl		82%		63%	8	20	6	33	0	9	0	1
RefExprImpl		82%		63%	8	20	6	33	0	9	0	1
VerifyPackageImpl		99%		50%	5	104	1	356	1	100	0	1
VerificationPreconditionImpl		0%		n/a	2	2	3	3	2	2	1	1
ArgumentExprImpl		60%		n/a	1	2	1	3	1	2	0	1
MethodKindImpl		60%		n/a	1	2	1	3	1	2	0	1
VerificationValidationImpl		100%		n/a	0	2	0	3	0	2	0	1