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.java		52%		48%	93	173	124	275	7	39	0	1
ElseExprImpl.java		0%		0%	71	71	119	119	19	19	1	1
VerificationPlanImpl.java		32%		31%	67	93	96	146	11	24	0	1
ClaimImpl.java		40%		42%	64	100	92	157	10	25	0	1
VerificationActivityImpl.java		44%		48%	58	103	88	156	9	25	0	1
ThenExprImpl.java		0%		0%	39	39	67	67	13	13	1	1
VerificationMethodRegistryImpl.java		28%		26%	41	55	61	88	8	17	0	1
AgreeMethodImpl.java		0%		0%	22	22	47	47	11	11	1	1
PythonMethodImpl.java		0%		0%	19	19	33	33	10	10	1	1
ManualMethodImpl.java		0%		0%	19	19	33	33	10	10	1	1
JUnit4MethodImpl.java		0%		0%	19	19	33	33	10	10	1	1
VerifyFactoryImpl.java		56%		57%	24	56	36	87	12	30	0	1
FormalParameterImpl.java		67%		55%	24	50	22	81	2	17	0	1
JavaMethodImpl.java		48%		46%	15	29	23	46	3	12	0	1
JavaParameterImpl.java		54%		40%	16	29	19	49	2	12	0	1
PluginMethodImpl.java		47%		33%	11	19	15	33	2	10	0	1
VerificationImpl.java		39%		37%	10	16	16	26	3	8	0	1
AllExprImpl.java		39%		37%	10	16	16	26	3	8	0	1
VerificationConditionImpl.java		78%		65%	12	28	10	43	1	10	0	1
ResoluteMethodImpl.java		70%		50%	10	20	8	33	0	9	0	1
ComputeRefImpl.java		82%		63%	8	20	6	33	0	9	0	1
RefExprImpl.java		82%		63%	8	20	6	33	0	9	0	1
VerifyPackageImpl.java		99%		50%	5	104	1	356	1	100	0	1
VerificationPreconditionImpl.java		0%		n/a	2	2	3	3	2	2	1	1
MethodKindImpl.java		60%		n/a	1	2	1	3	1	2	0	1
ArgumentExprImpl.java		60%		n/a	1	2	1	3	1	2	0	1
VerificationValidationImpl.java		100%		n/a	0	2	0	3	0	2	0	1