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 | 84.09% | 37 / 44 | 50% | 9 / 18 |