|
|
Name |
Coverage |
| |
Line |
Branches Taken |
| Basic |
|
67.3% |
132 / 196 lines |
54.2% |
78 / 144 branches |
| Core |
|
65.6% |
2979 / 4538 lines |
50.5% |
1748 / 3461 branches |
| Expr |
|
81.4% |
1513 / 1858 lines |
67.7% |
1181 / 1744 branches |
| Module |
|
91.1% |
580 / 637 lines |
67.7% |
361 / 533 branches |
| Solver |
|
67.7% |
1051 / 1553 lines |
53.6% |
623 / 1163 branches |
| Support |
|
29.0% |
47 / 162 lines |
11.4% |
10 / 88 branches |
| |
