[INFO] fetching crate why3-ptree 0.3.0...
[INFO] testing why3-ptree-0.3.0 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate why3-ptree 0.3.0 into /workspace/builds/worker-4-tc2/source
[INFO] started tweaking crates.io crate why3-ptree 0.3.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate why3-ptree 0.3.0
[INFO] tweaked toml for crates.io crate why3-ptree 0.3.0 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate why3-ptree 0.3.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate why3-ptree 0.3.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" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412
[INFO] running `Command { std: "docker" "start" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412", 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" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libm v0.2.16
[INFO] [stderr]    Compiling either v1.18.0
[INFO] [stderr]    Compiling bytemuck v1.25.2
[INFO] [stderr]    Compiling malachite-nz v0.11.0
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling zerocopy v0.8.56
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling smallvec v1.16.0
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling foldhash v0.1.5
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling bumpalo v3.20.3
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling safe_arch v1.2.0
[INFO] [stderr]    Compiling ocaml-format v0.1.1
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling wide v1.7.0
[INFO] [stderr]    Compiling malachite-base v0.11.0
[INFO] [stderr]    Compiling internment v0.8.6
[INFO] [stderr]    Compiling malachite-q v0.11.0
[INFO] [stderr]    Compiling malachite-float v0.11.0
[INFO] [stderr]    Compiling malachite v0.11.0
[INFO] [stderr]    Compiling why3-ptree v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 29.40s
[INFO] running `Command { std: "docker" "inspect" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling why3-ptree v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.63s
[INFO] running `Command { std: "docker" "inspect" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/why3-ptree/93d9d5bfa10001de/out/why3_ptree-93d9d5bfa10001de)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/simple_printing.rs (/opt/rustwide/target/debug/build/why3-ptree/e28b3ffb783398a3/out/simple_printing-e28b3ffb783398a3)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_M6 ... ok
[INFO] [stdout] test test_M1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests why3_ptree
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412", kill_on_drop: false }`
[INFO] [stdout] 81ffea17a9699cf5b1afcb127547352430079f2b3ba506a632691cda0c271412
