Sessions
Test Coverage Report for CIVL 1.2 r2429 Regression Suite
>
edu.udel.cis.vsl.civl.semantics.common
>
CommonSymbolicAnalyzer.new Object() {...}
CommonSymbolicAnalyzer.new Object() {...}
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
84 of 605
86%
0 of 0
n/a
0
1
0
4
0
1
static {...}
86%
n/a
0
1
0
4
0
1