Sessions
Test Coverage Report for CIVL 1.13 r4606 Regression Suite
>
edu.udel.cis.vsl.civl.transform.IF
>
Pthread2CIVLTransformer
Pthread2CIVLTransformer
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
0 of 15
100%
0 of 0
n/a
0
2
0
3
0
2
transform(AST)
100%
n/a
0
1
0
1
0
1
Pthread2CIVLTransformer(ASTFactory)
100%
n/a
0
1
0
2
0
1