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		19%		11%	14	18	33	41	5	8	0	1
CommonPredicateNode		0%		0%	10	10	25	25	8	8	1	1
CommonMPIContractExpressionNode		29%		12%	20	26	33	47	5	10	0	1
CommonExtendedQuantifiedExpressionNode		23%		0%	16	22	25	33	5	11	0	1
CommonMPIContractAbsentNode		18%		0%	11	15	21	26	6	10	0	1
CommonAllocationNode		0%		0%	13	13	19	19	8	8	1	1
CommonMemoryEventNode		27%		0%	14	18	17	24	6	10	0	1
CommonObjectOrRegionOfNode		0%		0%	13	13	19	19	10	10	1	1
CommonMPICollectiveBlockNode		24%		0%	11	15	14	21	4	8	0	1
CommonCallEventNode		21%		0%	10	14	13	18	3	7	0	1
CommonBehaviorNode		21%		0%	10	14	13	18	3	7	0	1
CommonCompletenessNode		0%		0%	12	12	16	16	8	8	1	1
CommonWaitsforNode		0%		0%	9	9	14	14	6	6	1	1
CommonAssignsOrReadsNode		29%		20%	8	13	13	19	4	8	0	1
CommonCompositeEventNode		29%		0%	7	11	11	17	4	8	0	1
CommonInvariantNode		22%		0%	8	11	13	18	4	7	0	1
CommonEnsuresNode		30%		0%	7	11	10	17	4	8	0	1
CommonRequiresNode		30%		0%	7	11	10	17	4	8	0	1
CommonAssumesNode		23%		0%	6	9	9	13	3	6	0	1
CommonDependsNode		42%		0%	5	9	8	13	2	6	0	1
CommonGuardNode		42%		0%	5	9	8	13	2	6	0	1
CommonMPIConstantNode		37%		n/a	6	7	8	13	6	7	0	1
CommonNothingNode		23%		n/a	5	7	6	9	5	7	0	1
CommonAnyactNode		0%		n/a	4	4	6	6	4	4	1	1
CommonContractNode		65%		n/a	1	4	2	7	1	4	0	1
CommonNoactNode		75%		n/a	1	4	2	6	1	4	0	1
CommonDependsEventNode		100%		n/a	0	4	0	7	0	4	0	1