Sessions
Test Coverage Report for SARL 1.22.1.22 r5854 Regression Suite
>
dev.civl.sarl.simplify.simplifier
>
LinearVariableSet.new BinaryPredicate() {...}
LinearVariableSet.new BinaryPredicate() {...}
Element
Missed Instructions
Cov.
Missed Branches
Cov.
Missed
Cxty
Missed
Lines
Missed
Methods
Total
0 of 30
100%
1 of 6
83%
1
5
0
4
0
2
apply(Monic, Monic)
100%
83%
1
4
0
3
0
1
{...}
100%
n/a
0
1
0
1
0
1