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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	4,747 of 5,029	5%	335 of 337	0%	345	404	1,076	1,160	175	233	11	27
CommonFocusLoopTransformNode.java		0%		0%	65	65	455	455	26	26	1	1
CommonFocusOrderedTransformNode.java		0%		0%	47	47	147	147	18	18	1	1
CommonFocusTransformNode.java		0%		0%	31	31	104	104	20	20	1	1
CommonFocusAssertTransformNode.java		0%		0%	23	23	87	87	8	8	1	1
CommonPredicateNode.java		0%		0%	10	10	25	25	8	8	1	1
CommonExtendedQuantifiedExpressionNode.java		23%		0%	16	22	25	33	5	11	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
CommonInsertTransformNode.java		0%		0%	7	7	18	18	4	4	1	1
CommonObjectOrRegionOfNode.java		0%		0%	13	13	19	19	10	10	1	1
CommonBehaviorNode.java		20%		0%	10	14	13	18	3	7	0	1
CommonCallEventNode.java		20%		0%	10	14	13	18	3	7	0	1
CommonCompletenessNode.java		0%		0%	12	12	16	16	8	8	1	1
CommonAssignsOrReadsNode.java		28%		20%	8	13	13	19	4	8	0	1
CommonCompositeEventNode.java		28%		0%	7	11	11	17	4	8	0	1
CommonInvariantNode.java		22%		0%	8	11	13	18	4	7	0	1
CommonRequiresNode.java		23%		0%	8	11	12	17	5	8	0	1
CommonAssumesNode.java		22%		0%	6	9	9	13	3	6	0	1
CommonEnsuresNode.java		22%		0%	6	9	9	13	3	6	0	1
CommonTransformNode.java		0%		n/a	7	7	13	13	7	7	1	1
CommonDependsNode.java		40%		0%	5	9	8	13	2	6	0	1
CommonGuardNode.java		40%		0%	5	9	8	13	2	6	0	1
CommonContractNode.java		35%		n/a	4	7	8	13	4	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
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