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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	4,749 of 5,047	5%	335 of 337	0%	346	409	1,076	1,166	176	238	11	28
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	86	86	8	8	1	1
CommonPredicateNode		0%		0%	10	10	25	25	8	8	1	1
CommonExtendedQuantifiedExpressionNode		23%		0%	16	22	25	33	5	11	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
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
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		23%		0%	8	11	12	17	5	8	0	1
CommonEnsuresNode		22%		0%	6	9	9	13	3	6	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
CommonContractNode		45%		n/a	3	7	6	13	3	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
CommonPureNode		54%		n/a	2	5	3	7	2	5	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