traceforge 0.2.1

TraceForge is a model checker for concurrent and distributed programs written in Rust
Documentation
Build #3139219 2026-04-14 17:15:14

# rustc version rustc 1.97.0-nightly (17584a181 2026-04-13)

# docs.rs version docsrs 0.0.0 (15f7e1e9dfac4fc5b7cc4abfd7682239002ba909 2026-04-08 )

# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder/builds/traceforge-0.2.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder/builds/traceforge-0.2.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace-builder/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace-builder/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "6442450944" "--cpuset-cpus" "12-15" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "sleep" "infinity", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 102bf8b37938e35cb428abccf7e5aafb980d45158460d1b0da4b2a49d38eb58e [INFO] running `Command { std: "docker" "start" "102bf8b37938e35cb428abccf7e5aafb980d45158460d1b0da4b2a49d38eb58e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "--user" "1001:1001" "102bf8b37938e35cb428abccf7e5aafb980d45158460d1b0da4b2a49d38eb58e" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20260413-1.97.0-nightly-17584a181\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j4" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }` [INFO] [stderr] warning: Rustdoc did not scrape the following examples because they require dev-dependencies: hard_to_find, simple [INFO] [stderr] If you want Rustdoc to scrape these examples, then add `doc-scrape-examples = true` [INFO] [stderr] to the [[example]] target configuration of at least one example. [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting traceforge v0.2.1 (/opt/rustwide/workdir) [INFO] [stderr] warning: unresolved link to `tokio::sync::atomic` [INFO] [stderr] --> src/sync/atomic.rs:1:38 [INFO] [stderr] | [INFO] [stderr] 1 | //! TraceForge's implementation of [`tokio::sync::atomic`]. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ no item named `atomic` in module `sync` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `traceforge` (lib doc) generated 1 warning [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.20s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/traceforge/index.html [INFO] running `Command { std: "docker" "stop" "-t" "1" "102bf8b37938e35cb428abccf7e5aafb980d45158460d1b0da4b2a49d38eb58e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "102bf8b37938e35cb428abccf7e5aafb980d45158460d1b0da4b2a49d38eb58e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "102bf8b37938e35cb428abccf7e5aafb980d45158460d1b0da4b2a49d38eb58e", kill_on_drop: false }` [INFO] [stdout] 102bf8b37938e35cb428abccf7e5aafb980d45158460d1b0da4b2a49d38eb58e