[INFO] fetching crate merc_vpg 2.0.0...
[INFO] documenting merc_vpg-2.0.0 against 824336ad4127ce295849937a24c08a4aeff6ada7 for pr-162169
[INFO] extracting crate merc_vpg 2.0.0 into /workspace/builds/worker-5-tc1/source
[INFO] started tweaking crates.io crate merc_vpg 2.0.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate merc_vpg 2.0.0
[INFO] tweaked toml for crates.io crate merc_vpg 2.0.0 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate merc_vpg 2.0.0 on toolchain 824336ad4127ce295849937a24c08a4aeff6ada7
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+824336ad4127ce295849937a24c08a4aeff6ada7" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate merc_vpg 2.0.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+824336ad4127ce295849937a24c08a4aeff6ada7" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded nanorand v0.8.0
[INFO] [stderr]   Downloaded oxidd v0.11.0
[INFO] [stderr]   Downloaded oxidd-rules-zbdd v0.11.0
[INFO] [stderr]   Downloaded oxidd-dump v0.6.0
[INFO] [stderr]   Downloaded oxidd-core v0.11.0
[INFO] [stderr]   Downloaded oxidd-derive v0.11.0
[INFO] [stderr]   Downloaded merc_macros v2.0.0
[INFO] [stderr]   Downloaded merc_refinement v2.0.0
[INFO] [stderr]   Downloaded oxidd-rules-mtbdd v0.6.0
[INFO] [stderr]   Downloaded merc_unsafety v2.0.0
[INFO] [stderr]   Downloaded merc_pest_consume v2.0.0
[INFO] [stderr]   Downloaded merc_utilities v2.0.0
[INFO] [stderr]   Downloaded merc_io v2.0.0
[INFO] [stderr]   Downloaded oxidd-cache v0.11.1
[INFO] [stderr]   Downloaded merc_syntax v2.0.0
[INFO] [stderr]   Downloaded merc_number v2.0.0
[INFO] [stderr]   Downloaded merc_pest_consume_macros v2.0.0
[INFO] [stderr]   Downloaded merc_ldd v2.0.0
[INFO] [stderr]   Downloaded shared_child v1.1.1
[INFO] [stderr]   Downloaded shared_thread v0.2.0
[INFO] [stderr]   Downloaded sigchld v0.2.4
[INFO] [stderr]   Downloaded arcslab v0.1.2
[INFO] [stderr]   Downloaded merc_data v2.0.0
[INFO] [stderr]   Downloaded sptr v0.3.2
[INFO] [stderr]   Downloaded oxidd-rules-tdd v0.6.0
[INFO] [stderr]   Downloaded oxidd-reorder v0.6.1
[INFO] [stderr]   Downloaded oxidd-manager-index v0.11.0
[INFO] [stderr]   Downloaded generator v0.8.8
[INFO] [stderr]   Downloaded linear-hashtbl v0.1.4
[INFO] [stderr]   Downloaded hugealloc v0.1.1
[INFO] [stderr]   Downloaded is_sorted v0.1.1
[INFO] [stderr]   Downloaded merc_collections v2.0.0
[INFO] [stderr]   Downloaded merc_sharedmutex v2.0.0
[INFO] [stderr]   Downloaded oxidd-manager-pointer v0.6.0
[INFO] [stderr]   Downloaded no_std_io2 v0.9.3
[INFO] [stderr]   Downloaded duct v1.1.1
[INFO] [stderr]   Downloaded merc_reduction v2.0.0
[INFO] [stderr]   Downloaded merc_lts v2.0.0
[INFO] [stderr]   Downloaded allocator-api2 v0.4.0
[INFO] [stderr]   Downloaded merc_symbolic v2.0.0
[INFO] [stderr]   Downloaded oxidd-rules-bdd v0.11.0
[INFO] [stderr]   Downloaded merc_aterm v2.0.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820
[INFO] running `Command { std: "docker" "start" "e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820" "/opt/rustwide/cargo-home/bin/cargo" "+824336ad4127ce295849937a24c08a4aeff6ada7" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820" "/opt/rustwide/cargo-home/bin/cargo" "+824336ad4127ce295849937a24c08a4aeff6ada7" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.185
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]     Checking log v0.4.29
[INFO] [stderr]     Checking jiff v0.2.23
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking object v0.37.3
[INFO] [stderr]     Checking pest v2.8.6
[INFO] [stderr]    Compiling delegate v0.13.5
[INFO] [stderr]     Checking rustc-demangle v0.1.27
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking no_std_io2 v0.9.3
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]     Checking bitstream-io v4.10.0
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]     Checking nanorand v0.8.0
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking env_filter v1.0.1
[INFO] [stderr]     Checking hashbrown v0.17.0
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]     Checking rustc-hash v2.1.2
[INFO] [stderr]     Checking oxidd-core v0.11.0
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]    Compiling merc_pest_consume_macros v2.0.0
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling bindgen v0.72.1
[INFO] [stderr]     Checking allocator-api2 v0.4.0
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling merc_macros v2.0.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling litrs v1.0.0
[INFO] [stderr]     Checking fixedbitset v0.5.7
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]     Checking getrandom v0.4.2
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling pest_meta v2.8.6
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking dashmap v7.0.0-rc2
[INFO] [stderr]     Checking rand v0.10.1
[INFO] [stderr]    Compiling document-features v0.2.12
[INFO] [stderr]    Compiling cargo-emit v0.2.1
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking is_sorted v0.1.1
[INFO] [stderr]    Compiling oxidd-derive v0.11.0
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling indoc v2.0.7
[INFO] [stderr]    Compiling signal-hook v0.3.18
[INFO] [stderr]     Checking sptr v0.3.2
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]    Compiling derive-where v1.6.1
[INFO] [stderr]     Checking bumpalo v3.20.2
[INFO] [stderr]     Checking os_pipe v1.2.3
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking linear-hashtbl v0.1.4
[INFO] [stderr]     Checking sigchld v0.2.4
[INFO] [stderr]     Checking hugealloc v0.1.1
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]     Checking oxidd-cache v0.11.1
[INFO] [stderr]     Checking shared_child v1.1.1
[INFO] [stderr]     Checking shared_thread v0.2.0
[INFO] [stderr]     Checking flume v0.11.1
[INFO] [stderr]    Compiling pest_generator v2.8.6
[INFO] [stderr]     Checking duct v1.1.1
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]     Checking oxidd-dump v0.6.0
[INFO] [stderr]    Compiling pest_derive v2.8.6
[INFO] [stderr]     Checking arcslab v0.1.2
[INFO] [stderr]     Checking oxidd-rules-bdd v0.11.0
[INFO] [stderr]     Checking oxidd-rules-mtbdd v0.6.0
[INFO] [stderr]     Checking oxidd-rules-zbdd v0.11.0
[INFO] [stderr]     Checking merc_pest_consume v2.0.0
[INFO] [stderr]     Checking clap v4.6.1
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]     Checking env_logger v0.11.10
[INFO] [stderr]     Checking backtrace v0.3.76
[INFO] [stderr]     Checking oxidd-reorder v0.6.1
[INFO] [stderr]     Checking oxidd-manager-index v0.11.0
[INFO] [stderr]     Checking oxidd-manager-pointer v0.6.0
[INFO] [stderr]     Checking oxidd v0.11.0
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking merc_utilities v2.0.0
[INFO] [stderr]     Checking merc_number v2.0.0
[INFO] [stderr]     Checking merc_sharedmutex v2.0.0
[INFO] [stderr]     Checking merc_io v2.0.0
[INFO] [stderr]     Checking merc_collections v2.0.0
[INFO] [stderr]     Checking merc_unsafety v2.0.0
[INFO] [stderr]     Checking merc_aterm v2.0.0
[INFO] [stderr]     Checking merc_data v2.0.0
[INFO] [stderr]     Checking merc_ldd v2.0.0
[INFO] [stderr]    Compiling merc_lts v2.0.0
[INFO] [stderr]     Checking merc_reduction v2.0.0
[INFO] [stderr]     Checking merc_symbolic v2.0.0
[INFO] [stderr]     Checking merc_refinement v2.0.0
[INFO] [stderr]     Checking merc_syntax v2.0.0
[INFO] [stderr]  Documenting merc_vpg v2.0.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unresolved link to `a`
[INFO] [stdout]    --> src/modal_equation_system.rs:208:10
[INFO] [stdout]     |
[INFO] [stdout] 208 | /// RHS([a]f) = [a]RHS(f)
[INFO] [stdout]     |          ^ no item named `a` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout]     = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `a`
[INFO] [stdout]    --> src/modal_equation_system.rs:208:18
[INFO] [stdout]     |
[INFO] [stdout] 208 | /// RHS([a]f) = [a]RHS(f)
[INFO] [stdout]     |                  ^ no item named `a` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `a`
[INFO] [stdout]    --> src/translate.rs:455:43
[INFO] [stdout]     |
[INFO] [stdout] 455 |     /// Translates a modality vertex (s, [a]Ψ) or (s, <a>Ψ) into the variability parity game vertex and its outgoing edges.
[INFO] [stdout]     |                                           ^ no item named `a` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `a`
[INFO] [stdout]    --> src/translate.rs:461:16
[INFO] [stdout]     |
[INFO] [stdout] 461 |     /// > (s, [a] Ψ) → odd, (s', Ψ) for all s' with s -a-> s', 0
[INFO] [stdout]     |                ^ no item named `a` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `a`
[INFO] [stdout]    --> src/modal_equation_system.rs:207:9
[INFO] [stdout]     |
[INFO] [stdout] 207 | /// RHS(<a>f) = <a>RHS(f)
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(rustdoc::invalid_html_tags)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `a`
[INFO] [stdout]    --> src/modal_equation_system.rs:207:17
[INFO] [stdout]     |
[INFO] [stdout] 207 | /// RHS(<a>f) = <a>RHS(f)
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `a`
[INFO] [stdout]    --> src/translate.rs:455:55
[INFO] [stdout]     |
[INFO] [stdout] 455 |     /// Translates a modality vertex (s, [a]Ψ) or (s, <a>Ψ) into the variability parity game vertex and its outgoing edges.
[INFO] [stdout]     |                                                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `a`
[INFO] [stdout]    --> src/translate.rs:462:15
[INFO] [stdout]     |
[INFO] [stdout] 462 |     /// > (s, <a> Ψ) → even, (s', Ψ) for all s' with s -a-> s', 0
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 46.95s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/merc_vpg/index.html
[INFO] running `Command { std: "docker" "inspect" "e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "RUSTC_BOOTSTRAP=1" "-e" "DOCS_RS=1" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820" "/opt/rustwide/cargo-home/bin/cargo" "+824336ad4127ce295849937a24c08a4aeff6ada7" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--document-private-items\"]" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]  Documenting merc_vpg v2.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.16s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/merc_vpg/index.html
[INFO] running `Command { std: "docker" "inspect" "e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820", kill_on_drop: false }`
[INFO] [stdout] e01a72b0d1c69bb38ba81572456ec18b53865ce3346dbc9a6c0939eff941d820
