Directory | Line Coverage | Functions | |||
---|---|---|---|---|---|
conjure_oxide/src | 47.92% | 23 / 48 | 25% | 1 / 4 | |
conjure_oxide/src/utils | 52.76% | 172 / 326 | 34.78% | 16 / 46 | |
conjure_oxide/tests | 90.74% | 1048 / 1155 | 83.61% | 51 / 61 | |
crates/conjure_core/src | 52.76% | 67 / 127 | 24.49% | 24 / 98 | |
crates/conjure_core/src/ast | 55.41% | 205 / 370 | 20.39% | 104 / 510 | |
crates/conjure_core/src/parse | 92.6% | 313 / 338 | 44.23% | 23 / 52 | |
crates/conjure_core/src/rule_engine | 75.36% | 312 / 414 | 35.59% | 42 / 118 | |
crates/conjure_core/src/rules | 86.36% | 943 / 1092 | 21.9% | 97 / 443 | |
crates/conjure_core/src/solver | 67.32% | 103 / 153 | 18.99% | 15 / 79 | |
crates/conjure_core/src/solver/adaptors | 51.72% | 241 / 466 | 21.55% | 25 / 116 | |
crates/conjure_core/src/stats | 80% | 12 / 15 | 37.5% | 3 / 8 | |
crates/conjure_macros/src | 94.96% | 113 / 119 | 42.31% | 11 / 26 | |
crates/enum_compatability_macro/src | 100% | 83 / 83 | 50% | 8 / 16 | |
solvers/kissat/src | 95.24% | 20 / 21 | 100% | 1 / 1 | |
solvers/minion/src | 73.86% | 568 / 769 | 48.28% | 42 / 87 | |
solvers/minion/tests | 100% | 32 / 32 | 100% | 2 / 2 |