edu.udel.cis.vsl.abc.ast.node.common.acsl

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	1,491 of 1,925	22%	207 of 214	3%	233	313	368	496	121	198	6	27
CommonMPIContractAbsentEventNode.java		19%		11%	14	18	33	41	5	8	0	1
CommonPredicateNode.java		0%		0%	10	10	25	25	8	8	1	1
CommonMPIContractExpressionNode.java		29%		12%	20	26	33	47	5	10	0	1
CommonExtendedQuantifiedExpressionNode.java		23%		0%	16	22	25	33	5	11	0	1
CommonMPIContractAbsentNode.java		18%		0%	11	15	21	26	6	10	0	1
CommonAllocationNode.java		0%		0%	13	13	19	19	8	8	1	1
CommonMemoryEventNode.java		27%		0%	14	18	17	24	6	10	0	1
CommonObjectOrRegionOfNode.java		0%		0%	13	13	19	19	10	10	1	1
CommonMPICollectiveBlockNode.java		24%		0%	11	15	14	21	4	8	0	1
CommonBehaviorNode.java		21%		0%	10	14	13	18	3	7	0	1
CommonCallEventNode.java		21%		0%	10	14	13	18	3	7	0	1
CommonCompletenessNode.java		0%		0%	12	12	16	16	8	8	1	1
CommonWaitsforNode.java		0%		0%	9	9	14	14	6	6	1	1
CommonAssignsOrReadsNode.java		29%		20%	8	13	13	19	4	8	0	1
CommonCompositeEventNode.java		29%		0%	7	11	11	17	4	8	0	1
CommonInvariantNode.java		22%		0%	8	11	13	18	4	7	0	1
CommonRequiresNode.java		30%		0%	7	11	10	17	4	8	0	1
CommonEnsuresNode.java		30%		0%	7	11	10	17	4	8	0	1
CommonAssumesNode.java		23%		0%	6	9	9	13	3	6	0	1
CommonGuardNode.java		42%		0%	5	9	8	13	2	6	0	1
CommonDependsNode.java		42%		0%	5	9	8	13	2	6	0	1
CommonMPIConstantNode.java		37%		n/a	6	7	8	13	6	7	0	1
CommonNothingNode.java		23%		n/a	5	7	6	9	5	7	0	1
CommonAnyactNode.java		0%		n/a	4	4	6	6	4	4	1	1
CommonContractNode.java		65%		n/a	1	4	2	7	1	4	0	1
CommonNoactNode.java		75%		n/a	1	4	2	6	1	4	0	1
CommonDependsEventNode.java		100%		n/a	0	4	0	7	0	4	0	1