| File | Line Coverage | Functions | |||
|---|---|---|---|---|---|
| base.rs | 90.96% | 342 / 376 | 38.04% | 35 / 92 | |
| bubble.rs | 91.07% | 51 / 56 | 21.43% | 3 / 14 | |
| cnf.rs | 0% | 0 / 1 | 0% | 0 / 2 | |
| constant.rs | 89.13% | 123 / 138 | 35% | 28 / 80 | |
| minion.rs | 87.57% | 303 / 346 | 34.09% | 30 / 88 | |
| partial_eval.rs | 83.1% | 177 / 213 | 25% | 1 / 4 | |
| utils.rs | 88.1% | 37 / 42 | 50% | 9 / 18 | |