Sessions
Test Coverage Report for ABC 2.0 2.0 39 [4dc4807]
>
dev.civl.abc.ast.node.IF.acsl
>
CompositeEventNode.EventOperator
CompositeEventNode.EventOperator
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
0 of 21
100%
0 of 0
n/a
0
1
0
2
0
1
static {...}
100%
n/a
0
1
0
2
0
1