Sessions
Test Coverage Report for CIVL 1.13 r4606 Regression Suite
>
edu.udel.cis.vsl.civl.semantics.IF
>
SymbolicAnalyzer
SymbolicAnalyzer
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
0 of 14
100%
1 of 4
75%
1
3
0
2
0
1
isConcretePointer(SymbolicExpression)
100%
75%
1
3
0
2
0
1