Sessions
Test Coverage Report for SARL mile2 r1162
>
edu.udel.cis.vsl.sarl.simplify.common
>
IdentitySimplifierFactory
IdentitySimplifierFactory
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
7 of 13
46%
0 of 0
n/a
1
2
1
4
1
2
newSimplifier(BooleanExpression)
0%
n/a
1
1
1
1
1
1
IdentitySimplifierFactory(PreUniverse)
100%
n/a
0
1
0
3
0
1