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