Sessions
Test Coverage Report for CIVL 1.7.2 r3714 Regression Suite
>
edu.udel.cis.vsl.civl.transform.IF
>
ContractTransformer
ContractTransformer
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
20 of 20
0%
0 of 0
n/a
2
2
5
5
2
2
ContractTransformer(ASTFactory, String)
0%
n/a
1
1
3
3
1
1
transform(AST)
0%
n/a
1
1
2
2
1
1