Sessions
Test Coverage Report for CIVL-MC 1.22.1.22 r5854 Regression Suite
>
dev.civl.mc.run.IF
>
Verifier.UpdaterRunnable
Verifier.UpdaterRunnable
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
0 of 24
100%
0 of 2
100%
0
3
0
9
0
2
run()
100%
100%
0
2
0
6
0
1
Verifier.UpdaterRunnable(Verifier, long)
100%
n/a
0
1
0
3
0
1