[INFO] fetching crate bolero-kani 0.13.0... [INFO] testing bolero-kani-0.13.0 against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_getrandom_patch_0 [INFO] extracting crate bolero-kani 0.13.0 into /workspace/builds/worker-1-tc1/source [INFO] started tweaking crates.io crate bolero-kani 0.13.0 [INFO] finished tweaking crates.io crate bolero-kani 0.13.0 [INFO] tweaked toml for crates.io crate bolero-kani 0.13.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate bolero-kani 0.13.0 on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate bolero-kani 0.13.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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded bolero-engine v0.13.0 [INFO] [stderr] Downloaded pretty-hex v0.4.1 [INFO] [stderr] Downloaded bolero-generator-derive v0.13.0 [INFO] [stderr] Downloaded proc-macro-crate v2.0.2 [INFO] [stderr] Downloaded bolero-generator v0.13.0 [INFO] [stderr] Downloaded rand_core v0.9.2 [INFO] [stderr] Downloaded toml_edit v0.20.2 [INFO] [stderr] Downloaded zerocopy-derive v0.8.20 [INFO] [stderr] Downloaded zerocopy v0.8.20 [INFO] [stderr] Downloaded libc v0.2.166 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b6678656b53eba21e35491fb776b2fee039277e4134cb2fd0aedc7e6788c5d8b [INFO] running `Command { std: "docker" "start" "-a" "b6678656b53eba21e35491fb776b2fee039277e4134cb2fd0aedc7e6788c5d8b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b6678656b53eba21e35491fb776b2fee039277e4134cb2fd0aedc7e6788c5d8b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b6678656b53eba21e35491fb776b2fee039277e4134cb2fd0aedc7e6788c5d8b", kill_on_drop: false }` [INFO] [stdout] b6678656b53eba21e35491fb776b2fee039277e4134cb2fd0aedc7e6788c5d8b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] ad609fc09e830a6182f12abc5eab5430c7bff94f33e6b0d2c0dfc378184ede4d [INFO] running `Command { std: "docker" "start" "-a" "ad609fc09e830a6182f12abc5eab5430c7bff94f33e6b0d2c0dfc378184ede4d", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling toml_datetime v0.6.3 [INFO] [stderr] Compiling winnow v0.5.40 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling zerocopy v0.8.20 [INFO] [stderr] Compiling libc v0.2.166 [INFO] [stderr] Compiling gimli v0.31.1 [INFO] [stderr] Compiling adler2 v2.0.0 [INFO] [stderr] Compiling anyhow v1.0.93 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling rustc-demangle v0.1.24 [INFO] [stderr] Compiling pretty-hex v0.4.1 [INFO] [stderr] Compiling indexmap v2.6.0 [INFO] [stderr] Compiling miniz_oxide v0.8.0 [INFO] [stderr] Compiling object v0.36.5 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling rand_core v0.9.2 [INFO] [stderr] Compiling toml_edit v0.20.2 [INFO] [stderr] Compiling addr2line v0.24.2 [INFO] [stderr] Compiling proc-macro-crate v2.0.2 [INFO] [stderr] Compiling backtrace v0.3.74 [INFO] [stderr] Compiling bolero-generator-derive v0.13.0 [INFO] [stderr] Compiling bolero-generator v0.13.0 [INFO] [stderr] Compiling bolero-engine v0.13.0 [INFO] [stderr] Compiling bolero-kani v0.13.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.23s [INFO] running `Command { std: "docker" "inspect" "ad609fc09e830a6182f12abc5eab5430c7bff94f33e6b0d2c0dfc378184ede4d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ad609fc09e830a6182f12abc5eab5430c7bff94f33e6b0d2c0dfc378184ede4d", kill_on_drop: false }` [INFO] [stdout] ad609fc09e830a6182f12abc5eab5430c7bff94f33e6b0d2c0dfc378184ede4d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--no-run" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] ed4320bf45f15ccae6648929c5c50c870e260c7fb603c5f7e566c2992d043bea [INFO] running `Command { std: "docker" "start" "-a" "ed4320bf45f15ccae6648929c5c50c870e260c7fb603c5f7e566c2992d043bea", kill_on_drop: false }` [INFO] [stderr] Compiling bolero-kani v0.13.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.39s [INFO] running `Command { std: "docker" "inspect" "ed4320bf45f15ccae6648929c5c50c870e260c7fb603c5f7e566c2992d043bea", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ed4320bf45f15ccae6648929c5c50c870e260c7fb603c5f7e566c2992d043bea", kill_on_drop: false }` [INFO] [stdout] ed4320bf45f15ccae6648929c5c50c870e260c7fb603c5f7e566c2992d043bea [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] 764bb43c5de47755eef840f64ea1dfaa44574dd6b86660333321cbf3e624924a [INFO] running `Command { std: "docker" "start" "-a" "764bb43c5de47755eef840f64ea1dfaa44574dd6b86660333321cbf3e624924a", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/bolero_kani-464f234b7712b2fc) [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" "764bb43c5de47755eef840f64ea1dfaa44574dd6b86660333321cbf3e624924a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "764bb43c5de47755eef840f64ea1dfaa44574dd6b86660333321cbf3e624924a", kill_on_drop: false }` [INFO] [stdout] 764bb43c5de47755eef840f64ea1dfaa44574dd6b86660333321cbf3e624924a