VerifyFactoryImpl

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	116 of 268	56%	12 of 28	57%	24	56	36	87	12	30
create(EClass)		52%		57%	11	26	11	27	0	1
init()		64%		50%	1	2	3	6	0	1
createArgumentExpr()		0%		n/a	1	1	2	2	1	1
createVerificationCondition()		0%		n/a	1	1	2	2	1	1
createMethodKind()		0%		n/a	1	1	2	2	1	1
createPythonMethod()		0%		n/a	1	1	2	2	1	1
createManualMethod()		0%		n/a	1	1	2	2	1	1
createAgreeMethod()		0%		n/a	1	1	2	2	1	1
createJUnit4Method()		0%		n/a	1	1	2	2	1	1
createThenExpr()		0%		n/a	1	1	2	2	1	1
createElseExpr()		0%		n/a	1	1	2	2	1	1
createVerificationPrecondition()		0%		n/a	1	1	2	2	1	1
getVerifyPackage()		0%		n/a	1	1	1	1	1	1
getPackage()		0%		n/a	1	1	1	1	1	1
createVerification()		100%		n/a	0	1	0	2	0	1
createVerificationPlan()		100%		n/a	0	1	0	2	0	1
createClaim()		100%		n/a	0	1	0	2	0	1
createComputeRef()		100%		n/a	0	1	0	2	0	1
createVerificationActivity()		100%		n/a	0	1	0	2	0	1
createVerificationMethodRegistry()		100%		n/a	0	1	0	2	0	1
createFormalParameter()		100%		n/a	0	1	0	2	0	1
createVerificationMethod()		100%		n/a	0	1	0	2	0	1
createResoluteMethod()		100%		n/a	0	1	0	2	0	1
createJavaMethod()		100%		n/a	0	1	0	2	0	1
createPluginMethod()		100%		n/a	0	1	0	2	0	1
createJavaParameter()		100%		n/a	0	1	0	2	0	1
createAllExpr()		100%		n/a	0	1	0	2	0	1
createRefExpr()		100%		n/a	0	1	0	2	0	1
createVerificationValidation()		100%		n/a	0	1	0	2	0	1
VerifyFactoryImpl()		100%		n/a	0	1	0	2	0	1