Directory Line Coverage Functions Branches
crates/aterm/src 67.98% 67.98% 830 / 1221 53.76% 643 / 1196 94.74% 72 / 76
crates/aterm/src/storage 86.49% 86.49% 749 / 866 78.6% 338 / 430 97.5% 78 / 80
crates/aterm/tests 100% 100% 5 / 5 100% 1 / 1 100% 0 / 0
crates/collections/src 78.24% 78.24% 755 / 965 65.87% 467 / 709 85.11% 80 / 94
crates/data/src 82.45% 82.45% 296 / 359 55.97% 178 / 318 88.89% 48 / 54
crates/io/src 83.19% 83.19% 188 / 226 68.13% 124 / 182 73.68% 28 / 38
crates/ldd/src 88.57% 88.57% 899 / 1015 67.33% 136 / 202 89.25% 166 / 186
crates/ldd/src/storage 90.05% 90.05% 190 / 211 72% 72 / 100 100% 10 / 10
crates/lts/src 81.44% 81.44% 952 / 1169 58.02% 282 / 486 93.94% 124 / 132
crates/macros/src 88.98% 88.98% 113 / 127 73.91% 17 / 23 100% 14 / 14
crates/number/src 100% 100% 93 / 93 82.5% 33 / 40 100% 12 / 12
crates/rec-tests/src 79.45% 79.45% 116 / 146 60.87% 14 / 23 75% 6 / 8
crates/rec-tests/tests 100% 100% 44 / 44 100% 5 / 5 100% 0 / 0
crates/reduction/src 88.97% 88.97% 1428 / 1605 45.71% 240 / 525 90.76% 216 / 238
crates/refinement/src 69.09% 69.09% 228 / 330 69.23% 27 / 39 76.92% 40 / 52
crates/sabre/src 92.58% 92.58% 424 / 458 44.23% 23 / 52 87.8% 72 / 82
crates/sabre/src/matching 91.04% 91.04% 61 / 67 71.43% 15 / 21 100% 8 / 8
crates/sabre/src/set_automaton 79.13% 79.13% 402 / 508 35.42% 34 / 96 96.08% 98 / 102
crates/sabre/src/utilities 77.8% 77.8% 494 / 635 60% 81 / 135 81.82% 54 / 66
crates/sharedmutex/benchmarks/src 0% 0% 0 / 53 0% 0 / 4 100% 0 / 0
crates/sharedmutex/src 90.66% 90.66% 369 / 407 85.93% 116 / 135 100% 26 / 26
crates/symbolic/src 79.2% 79.2% 1249 / 1577 42.78% 157 / 367 84.38% 108 / 128
crates/syntax/src 79.39% 79.39% 909 / 1145 52.48% 127 / 242 87.8% 72 / 82
crates/syntax/tests 81.74% 81.74% 94 / 115 100% 15 / 15 100% 2 / 2
crates/tools/src 0% 0% 0 / 54 0% 0 / 10 100% 0 / 0
crates/unsafety/src 74.35% 74.35% 545 / 733 52.2% 202 / 387 82.35% 28 / 34
crates/utilities/src 67.81% 67.81% 257 / 379 56.85% 282 / 496 72.73% 16 / 22
crates/vpg/src 82.27% 82.27% 1197 / 1455 53.14% 169 / 318 80.23% 138 / 172
crates/vpg/src/parity_games 76.7% 76.7% 632 / 824 49% 123 / 251 83.33% 50 / 60
crates/xtask/src 0% 0% 0 / 203 0% 0 / 15 100% 0 / 0
tools/lts/src 0% 0% 0 / 171 0% 0 / 22 100% 0 / 0
tools/rewrite/src 0% 0% 0 / 140 0% 0 / 8 100% 0 / 0
tools/sym/src 0% 0% 0 / 146 0% 0 / 20 100% 0 / 0
tools/vpg/src 0% 0% 0 / 272 0% 0 / 34 100% 0 / 0