Sessions
Test Coverage Report for SARL trunk r2891
>
edu.udel.cis.vsl.sarl.prove.common
>
CommonModelResult
CommonModelResult
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
10 of 10
0%
0 of 0
n/a
2
2
4
4
2
2
CommonModelResult(Map)
0%
n/a
1
1
3
3
1
1
getModel()
0%
n/a
1
1
1
1
1
1