| File | Line Coverage | Functions | |||
|---|---|---|---|---|---|
| base.rs | 32.91% | 103 / 313 | 25% | 19 / 76 | |
| bubble.rs | 23.68% | 18 / 76 | 22.22% | 4 / 18 | |
| cnf.rs | 100% | 0 / 0 | 0% | 0 / 2 | |
| constant.rs | 39.01% | 55 / 141 | 10.98% | 9 / 82 | |
| minion.rs | 23.68% | 81 / 342 | 21.05% | 16 / 76 | |
| partial_eval.rs | 4.72% | 10 / 212 | 25% | 1 / 4 | |
| utils.rs | 18.75% | 6 / 32 | 6.25% | 1 / 16 | |