edu.udel.cis.vsl.civl.transform.common.contracts

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	4,181 of 7,320	42%	416 of 656	36%	346	502	945	1,669	81	166	6	22
ContractClauseTransformer		31%		36%	77	113	285	434	18	33	0	1
MemoryLocationManager		1%		0%	74	76	261	267	14	16	0	1
ClauseTransformGuideGenerator		17%		21%	51	64	203	245	14	24	0	1
ContractTransformerWorker		78%		57%	48	79	78	376	4	17	0	1
FunctionContractBlock		67%		52%	26	43	27	81	4	13	0	1
SpecialContractExpressionFinder		82%		67%	19	45	23	101	1	10	0	1
ValueAtNodeSubstituteGuide		0%		0%	7	7	7	7	3	3	1	1
MPIContractUtilities		0%		0%	12	12	16	16	10	10	1	1
MPIContractTransformState		0%		0%	14	14	13	13	8	8	1	1
FunctionContractBlock.ConditionalClauses		62%		0%	4	12	7	23	2	10	0	1
ContractTransformerWorker.FunctionContractTransformGuide		69%		50%	4	9	4	20	0	5	0	1
MPIContractUtilities.MemoryAllocation		0%		0%	3	3	8	8	1	1	1	1
FunctionContractBlock.ContractClause		82%		71%	2	9	4	21	0	5	0	1
MemoryLocationManager.MemoryBlock		0%		n/a	1	1	5	5	1	1	1	1
MemoryLocationManager.MemorySetBoundVariableSubstitution		0%		n/a	1	1	4	4	1	1	1	1
CommonASTNodeSubstituteGuide		82%		50%	3	6	0	5	0	3	0	1
ContractTransformerWorker.SourceFileWithContractedFunctions		100%		100%	0	3	0	9	0	1	0	1
SpecialContractExpressionFinder.SpecialContractHub		100%		n/a	0	1	0	10	0	1	0	1
ClauseTransformGuideGenerator.ClauseTransformGuide		100%		n/a	0	1	0	11	0	1	0	1
ContractTransformerWorker.SourceFileWithContractedFunctions.ContractedFunction		100%		n/a	0	1	0	5	0	1	0	1
ContractTransformerWorker.FunctionContractTransformGuide.REGuidePair		100%		n/a	0	1	0	4	0	1	0	1
ContractClauseTransformer.TransformedPair		100%		n/a	0	1	0	4	0	1	0	1