[INFO] fetching crate why3 0.5.0... [INFO] testing why3-0.5.0 against try#2440211fe03bc45c89b6dc1a3df18382ce91e32b for pr-146098-1 [INFO] extracting crate why3 0.5.0 into /workspace/builds/worker-7-tc2/source [INFO] started tweaking crates.io crate why3 0.5.0 [INFO] finished tweaking crates.io crate why3 0.5.0 [INFO] tweaked toml for crates.io crate why3 0.5.0 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate why3 0.5.0 on toolchain 2440211fe03bc45c89b6dc1a3df18382ce91e32b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate why3 0.5.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" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] aa3e1ca66591c25f47e0ac91a2787bc54b16fdf2f075e3ee72a2f6cc456e8eab [INFO] running `Command { std: "docker" "start" "-a" "aa3e1ca66591c25f47e0ac91a2787bc54b16fdf2f075e3ee72a2f6cc456e8eab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "aa3e1ca66591c25f47e0ac91a2787bc54b16fdf2f075e3ee72a2f6cc456e8eab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "aa3e1ca66591c25f47e0ac91a2787bc54b16fdf2f075e3ee72a2f6cc456e8eab", kill_on_drop: false }` [INFO] [stdout] aa3e1ca66591c25f47e0ac91a2787bc54b16fdf2f075e3ee72a2f6cc456e8eab [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c7361653ebe24734f7b0401d7291dcfc36cf45f39d5191ccd1134c23426e0c32 [INFO] running `Command { std: "docker" "start" "-a" "c7361653ebe24734f7b0401d7291dcfc36cf45f39d5191ccd1134c23426e0c32", kill_on_drop: false }` [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling serde v1.0.217 [INFO] [stderr] Compiling foldhash v0.1.5 [INFO] [stderr] Compiling serde_json v1.0.138 [INFO] [stderr] Compiling unicode-width v0.1.14 [INFO] [stderr] Compiling typed-arena v2.0.2 [INFO] [stderr] Compiling arrayvec v0.5.2 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling pretty v0.12.3 [INFO] [stderr] Compiling indexmap v2.7.1 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling string-interner v0.18.0 [INFO] [stderr] Compiling why3 v0.5.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.04s [INFO] running `Command { std: "docker" "inspect" "c7361653ebe24734f7b0401d7291dcfc36cf45f39d5191ccd1134c23426e0c32", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c7361653ebe24734f7b0401d7291dcfc36cf45f39d5191ccd1134c23426e0c32", kill_on_drop: false }` [INFO] [stdout] c7361653ebe24734f7b0401d7291dcfc36cf45f39d5191ccd1134c23426e0c32 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b6cb1924b7737597c8262ec5ebb0bef30c1f765c57c57dd52e7ec60895762de3 [INFO] running `Command { std: "docker" "start" "-a" "b6cb1924b7737597c8262ec5ebb0bef30c1f765c57c57dd52e7ec60895762de3", kill_on_drop: false }` [INFO] [stderr] Compiling rustix v0.38.44 [INFO] [stderr] Compiling getrandom v0.3.1 [INFO] [stderr] Compiling linux-raw-sys v0.4.15 [INFO] [stderr] Compiling bitflags v2.8.0 [INFO] [stderr] Compiling syn v2.0.96 [INFO] [stderr] Compiling once_cell v1.20.2 [INFO] [stderr] Compiling wait-timeout v0.2.0 [INFO] [stderr] Compiling quick-error v1.2.3 [INFO] [stderr] Compiling bit-vec v0.8.0 [INFO] [stderr] Compiling rand_xorshift v0.3.0 [INFO] [stderr] Compiling unarray v0.1.4 [INFO] [stderr] Compiling bit-set v0.8.0 [INFO] [stderr] Compiling tempfile v3.16.0 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling rusty-fork v0.3.0 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling ppv-lite86 v0.2.20 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling proptest v1.6.0 [INFO] [stderr] Compiling why3 v0.5.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 18.61s [INFO] running `Command { std: "docker" "inspect" "b6cb1924b7737597c8262ec5ebb0bef30c1f765c57c57dd52e7ec60895762de3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b6cb1924b7737597c8262ec5ebb0bef30c1f765c57c57dd52e7ec60895762de3", kill_on_drop: false }` [INFO] [stdout] b6cb1924b7737597c8262ec5ebb0bef30c1f765c57c57dd52e7ec60895762de3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 8eb0d7fc18c22f836b73e286240fa2f7489882285248831b0774d32daafc3c8a [INFO] running `Command { std: "docker" "start" "-a" "8eb0d7fc18c22f836b73e286240fa2f7489882285248831b0774d32daafc3c8a", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.08s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/why3-a2c5ba8552e5be11) [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] Doc-tests why3 [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test src/printer.rs - printer::Scope::undo (line 74) ... ignored [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test src/coma.rs - coma::Expr::App (line 33) ... ignored [INFO] [stdout] test src/printer.rs - printer::Scope::undo (line 59) ... ignored [INFO] [stdout] test src/printer.rs - printer::Scope::undo (line 86) ... ignored [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] all doctests ran in 0.41s; merged doctests compilation took 0.41s [INFO] running `Command { std: "docker" "inspect" "8eb0d7fc18c22f836b73e286240fa2f7489882285248831b0774d32daafc3c8a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8eb0d7fc18c22f836b73e286240fa2f7489882285248831b0774d32daafc3c8a", kill_on_drop: false }` [INFO] [stdout] 8eb0d7fc18c22f836b73e286240fa2f7489882285248831b0774d32daafc3c8a