vigna / webgraph-rs

71%

main: 71%

LAST BUILD ON BRANCH pr171-orig

branch: pr171-orig

CHANGE BRANCH

x

Reset

• pr171-orig
• MemoryFactory-unaligned
• arclistgraph-iter_from
• batch-codec
• bvcomp-empty-lender
• bvcomp-pl
• ci-scope-workflow-triggers
• comp-early-chunk-cleaning
• create-tmpdir
• edition2024
• epserde-sccs
• feat/bit-serde-codes
• fix-compil
• impl-sortediterator
• labeled_pairs
• llp-mmap-labels
• main
• memcase
• minmax
• nth
• par-sort-pairs
• par_sort_graph_rayon
• par_sort_pairs-crossbeam
• parsortpairs-drop-threadstate
• parsortpairs-result
• patch-2
• review-fixes
• rightiterator-sorted
• sccs-copy
• theft
• top-k-analysis
• webgraph-0.4.0
• webgraph-0.5.0
• webgraph-0.6.0
• webgraph-0.6.1
• webgraph-0.6.2
• webgraph-algo-0.4.0
• webgraph-algo-0.5.0
• webgraph-algo-0.6.0
• webgraph-algo-0.6.1
• webgraph-algo-0.6.2
• webgraph-cli-0.2.0
• webgraph-cli-0.3.0
• webgraph-cli-0.4.0
• webgraph-cli-0.4.1
• webgraph-cli-0.4.2

Build # 29114020038

Build Type

Pull #171

github

Committed by zommiommy

Commit Message

test(webgraph): isolate the single-thread-pool par_map_fold regression

Co-scheduled with the ordered par_map_fold tests in test_utils_coverage, this test's one-thread Rayon pool perturbs Miri's cooperative scheduler enough to trip experimental Tree Borrows in rayon-core's in_place_scope teardown (reproduced at -Zmiri-seed=6 --test-threads=4; the ordered tests pass once it is isolated). Moving it to its own test binary keeps the deadlock regression under both normal CI and Miri without the cross-test interaction. cargo miri test --workspace now passes.

Pull Request Pull Request #171: Fixes from a full-workspace code review: correctness, error handling, robustness

Coverage Stats

331 of 466 new or added lines in 58 files covered. (71.03%)

8008 of 11210 relevant lines covered (71.44%)

48687869.25 hits per line