Sessions
Test Coverage Report for CIVL-MC 1.22.trunk r6036 Regression Suite
>
dev.civl.mc.semantics.IF
>
Evaluation
Evaluation
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
8 of 17
52%
0 of 0
n/a
1
2
1
5
1
2
toString()
0%
n/a
1
1
1
1
1
1
Evaluation(State, SymbolicExpression)
100%
n/a
0
1
0
4
0
1