dev.civl.abc.ast.node.common.acsl

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	5,248 of 5,682	7%	401 of 408	1%	416	496	1,198	1,326	207	284	12	33
CommonFocusLoopTransformNode		0%		0%	65	65	455	455	26	26	1	1
CommonFocusOrderedTransformNode		0%		0%	47	47	147	147	18	18	1	1
CommonFocusTransformNode		0%		0%	31	31	104	104	20	20	1	1
CommonFocusAssertTransformNode		0%		0%	23	23	87	87	8	8	1	1
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
CommonMPICollectiveBlockNode		23%		0%	11	15	14	21	4	8	0	1
CommonObjectOrRegionOfNode		0%		0%	13	13	19	19	10	10	1	1
CommonInsertTransformNode		0%		0%	7	7	18	18	4	4	1	1
CommonCallEventNode		20%		0%	10	14	13	18	3	7	0	1
CommonBehaviorNode		20%		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		28%		20%	8	13	13	19	4	8	0	1
CommonCompositeEventNode		28%		0%	7	11	11	17	4	8	0	1
CommonInvariantNode		22%		0%	8	11	13	18	4	7	0	1
CommonRequiresNode		29%		0%	7	11	10	17	4	8	0	1
CommonEnsuresNode		29%		0%	7	11	10	17	4	8	0	1
CommonAssumesNode		22%		0%	6	9	9	13	3	6	0	1
CommonTransformNode		0%		n/a	7	7	13	13	7	7	1	1
CommonGuardNode		40%		0%	5	9	8	13	2	6	0	1
CommonDependsNode		40%		0%	5	9	8	13	2	6	0	1
CommonMPIConstantNode		37%		n/a	6	7	8	13	6	7	0	1
CommonContractNode		35%		n/a	4	7	8	13	4	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
CommonNoactNode		75%		n/a	1	4	2	6	1	4	0	1
CommonDependsEventNode		100%		n/a	0	4	0	7	0	4	0	1