File Line Coverage Functions
base.rs 88.71% 88.71% 330 / 372 38.04% 35 / 92
bubble.rs 91.84% 91.84% 45 / 49 21.43% 3 / 14
cnf.rs 0% 0% 0 / 1 0% 0 / 2
constant.rs 93.65% 93.65% 118 / 126 33.75% 27 / 80
minion.rs 87.7% 87.7% 278 / 317 37.84% 28 / 74
partial_eval.rs 82.63% 82.63% 176 / 213 25% 1 / 4
utils.rs 77.36% 77.36% 41 / 53 38.89% 7 / 18