Directory Line Coverage Functions Branches
crates/aterm/src 71.04% 71.04% 905 / 1274 58.26% 839 / 1440 94.74% 72 / 76
crates/aterm/src/storage 85.57% 85.57% 842 / 984 80.06% 506 / 632 87.18% 68 / 78
crates/aterm/tests 100% 100% 72 / 72 100% 10 / 10 100% 0 / 0
crates/collections/src 78.48% 78.48% 1021 / 1301 62.23% 636 / 1022 86.21% 100 / 116
crates/data/src 89.45% 89.45% 390 / 436 69.21% 236 / 341 84.38% 54 / 64
crates/explore/src 60.35% 60.35% 659 / 1092 37.76% 148 / 392 50.77% 66 / 130
crates/explore/tests 64.19% 64.19% 233 / 363 60.67% 54 / 89 33.33% 8 / 24
crates/io/src 92.74% 92.74% 409 / 441 61.54% 224 / 364 96.43% 54 / 56
crates/lts/src 71.38% 71.38% 1140 / 1597 46.3% 401 / 866 85.71% 132 / 154
crates/macros/src 88.32% 88.32% 121 / 137 73.91% 17 / 23 100% 14 / 14
crates/number/src 100% 100% 127 / 127 88.24% 45 / 51 100% 14 / 14
crates/rec-tests/src 78.26% 78.26% 126 / 161 55.17% 16 / 29 57.14% 8 / 14
crates/rec-tests/tests 96.15% 96.15% 50 / 52 100% 10 / 10 100% 0 / 0
crates/reduction/src 93.64% 93.64% 2164 / 2311 37.28% 519 / 1392 95.6% 304 / 318
crates/reduction/tests 51.65% 51.65% 47 / 91 66.67% 8 / 12 100% 2 / 2
crates/refinement/src 91.6% 91.6% 709 / 774 59.92% 142 / 237 100% 94 / 94
crates/sabre/src 92.61% 92.61% 464 / 501 46.55% 27 / 58 90.48% 76 / 84
crates/sabre/src/matching 91.04% 91.04% 61 / 67 85.71% 18 / 21 100% 8 / 8
crates/sabre/src/set_automaton 81.36% 81.36% 419 / 515 37.25% 38 / 102 96.08% 98 / 102
crates/sabre/src/utilities 82.08% 82.08% 568 / 692 64.29% 90 / 140 87.5% 56 / 64
crates/sabre/tests 100% 100% 24 / 24 100% 5 / 5 100% 0 / 0
crates/sabre_compiling/sabre_ffi/src 60.27% 60.27% 88 / 146 26.76% 19 / 71 66.67% 4 / 6
crates/sabre_compiling/src 83.27% 83.27% 433 / 520 91.43% 32 / 35 82.61% 38 / 46
crates/sharedmutex/benchmarks/src 0% 0% 0 / 53 0% 0 / 4 100% 0 / 0
crates/sharedmutex/src 91.76% 91.76% 501 / 546 92.11% 175 / 190 100% 36 / 36
crates/symbolic/src 68.18% 68.18% 690 / 1012 36.67% 99 / 270 78.38% 58 / 74
crates/symbolic/src/bdd 81.88% 81.88% 1582 / 1932 48.37% 163 / 337 87.65% 142 / 162
crates/symbolic/src/ldd 86.89% 86.89% 742 / 854 50.23% 109 / 217 85.71% 96 / 112
crates/syntax/src 83.04% 83.04% 1812 / 2182 45.16% 224 / 496 77.45% 158 / 204
crates/syntax/tests 87.39% 87.39% 298 / 341 87.72% 50 / 57 100% 6 / 6
crates/tools/src 50.34% 50.34% 75 / 149 51.85% 14 / 27 100% 12 / 12
crates/typecheck/src 72.78% 72.78% 353 / 485 80% 48 / 60 100% 78 / 78
crates/unsafety/benchmarks/src 0% 0% 0 / 77 0% 0 / 12 100% 0 / 0
crates/unsafety/src 84.15% 84.15% 1502 / 1785 63.92% 1256 / 1965 89.83% 106 / 118
crates/utilities/benchmarks/src 0% 0% 0 / 42 0% 0 / 4 100% 0 / 0
crates/utilities/src 70.87% 70.87% 309 / 436 53.92% 474 / 879 84.62% 22 / 26
crates/vpg/src 84.05% 84.05% 1618 / 1925 51.52% 288 / 559 93.66% 266 / 284
crates/vpg/src/parity_games 84.21% 84.21% 1045 / 1241 55.44% 260 / 469 91.8% 112 / 122
crates/vpg/tests 83.23% 83.23% 134 / 161 84.62% 22 / 26 60% 6 / 10
crates/xtask/src 0% 0% 0 / 208 0% 0 / 15 100% 0 / 0
tools/lts/src 0% 0% 0 / 250 0% 0 / 42 100% 0 / 0
tools/rewrite/src 0% 0% 0 / 166 0% 0 / 16 100% 0 / 0
tools/sym/src 0% 0% 0 / 239 0% 0 / 23 100% 0 / 0
tools/vpg/src 0% 0% 0 / 287 0% 0 / 35 100% 0 / 0