Sessions
Test Coverage Report for CIVL 1.20 r5259 Regression Suite
>
edu.udel.cis.vsl.civl.transform.analysisIF
>
ArrayReferenceDependencyAnalyzer.new Predicate() {...}
ArrayReferenceDependencyAnalyzer.new Predicate() {...}
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
35 of 35
0%
4 of 4
0%
4
4
6
6
2
2
test(ReadWriteDataStructures.RWSetElement)
0%
0%
3
3
4
4
1
1
{...}
0%
n/a
1
1
2
2
1
1