Sessions
Test Coverage Report for CIVL 1.13 r4606 Regression Suite
>
edu.udel.cis.vsl.civl.run.IF
>
Verifier.new Runnable() {...}
Verifier.new Runnable() {...}
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
53 of 53
0%
2 of 2
0%
3
3
12
12
2
2
run()
0%
0%
2
2
11
11
1
1
{...}
0%
n/a
1
1
1
1
1
1