[INFO] cloning repository https://github.com/1arie1/cargo-certora-sbf
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/1arie1/cargo-certora-sbf" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F1arie1%2Fcargo-certora-sbf", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F1arie1%2Fcargo-certora-sbf'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ca3b35629e0933fd9bfc9edd656b92036df652bf
[INFO] testing 1arie1/cargo-certora-sbf against 1.93.0 for beta-1.94-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F1arie1%2Fcargo-certora-sbf" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/1arie1/cargo-certora-sbf
[INFO] finished tweaking git repo https://github.com/1arie1/cargo-certora-sbf
[INFO] tweaked toml for git repo https://github.com/1arie1/cargo-certora-sbf written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/1arie1/cargo-certora-sbf on toolchain 1.93.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.93.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/1arie1/cargo-certora-sbf 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.93.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded quinn-udp v0.5.11
[INFO] [stderr]   Downloaded solana-file-download v2.2.1
[INFO] [stderr]   Downloaded xattr v1.5.0
[INFO] [stderr]   Downloaded clap-cargo v0.15.2
[INFO] [stderr]   Downloaded once_cell v1.21.2
[INFO] [stderr]   Downloaded clap-verbosity-flag v3.0.2
[INFO] [stderr]   Downloaded assert_cmd v2.0.16
[INFO] [stderr]   Downloaded globset v0.4.16
[INFO] [stderr]   Downloaded assert_fs v1.1.2
[INFO] [stderr]   Downloaded bzip2 v0.5.2
[INFO] [stderr]   Downloaded quinn v0.11.7
[INFO] [stderr]   Downloaded jiff-static v0.2.5
[INFO] [stderr]   Downloaded flate2 v1.1.0
[INFO] [stderr]   Downloaded async-compression v0.4.22
[INFO] [stderr]   Downloaded webpki-roots v0.26.8
[INFO] [stderr]   Downloaded quinn-proto v0.11.10
[INFO] [stderr]   Downloaded jiff v0.2.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6f597a70ff99753bd38c7f5022743f628820c53553a246fd4633f476fbfbf1b6
[INFO] running `Command { std: "docker" "start" "-a" "6f597a70ff99753bd38c7f5022743f628820c53553a246fd4633f476fbfbf1b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6f597a70ff99753bd38c7f5022743f628820c53553a246fd4633f476fbfbf1b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6f597a70ff99753bd38c7f5022743f628820c53553a246fd4633f476fbfbf1b6", kill_on_drop: false }`
[INFO] [stdout] 6f597a70ff99753bd38c7f5022743f628820c53553a246fd4633f476fbfbf1b6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] da6fec74b6843894301fb6911e949bb16226c4b62f8becc445255451d164816a
[INFO] running `Command { std: "docker" "start" "-a" "da6fec74b6843894301fb6911e949bb16226c4b62f8becc445255451d164816a", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[INFO] [stderr]    Compiling libc v0.2.171
[INFO] [stderr]    Compiling once_cell v1.21.2
[INFO] [stderr]    Compiling cc v1.2.17
[INFO] [stderr]    Compiling icu_locid_transform_data v1.5.1
[INFO] [stderr]    Compiling icu_properties_data v1.5.1
[INFO] [stderr]    Compiling smallvec v1.14.0
[INFO] [stderr]    Compiling icu_normalizer_data v1.5.1
[INFO] [stderr]    Compiling rustls-pki-types v1.11.0
[INFO] [stderr]    Compiling http v1.3.1
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]    Compiling rustls v0.21.12
[INFO] [stderr]    Compiling adler2 v2.0.0
[INFO] [stderr]    Compiling rustls v0.23.25
[INFO] [stderr]    Compiling serde_json v1.0.140
[INFO] [stderr]    Compiling tracing-core v0.1.33
[INFO] [stderr]    Compiling brotli-decompressor v4.0.2
[INFO] [stderr]    Compiling http-body v0.4.6
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling rustix v1.0.3
[INFO] [stderr]    Compiling miniz_oxide v0.8.5
[INFO] [stderr]    Compiling portable-atomic v1.11.0
[INFO] [stderr]    Compiling clap_builder v4.5.35
[INFO] [stderr]    Compiling linux-raw-sys v0.9.3
[INFO] [stderr]    Compiling unicode-width v0.2.0
[INFO] [stderr]    Compiling bitflags v2.9.0
[INFO] [stderr]    Compiling tracing v0.1.41
[INFO] [stderr]    Compiling http-body v1.0.1
[INFO] [stderr]    Compiling indexmap v2.8.0
[INFO] [stderr]    Compiling camino v1.1.9
[INFO] [stderr]    Compiling flate2 v1.1.0
[INFO] [stderr]    Compiling semver v1.0.26
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling rustls-pemfile v1.0.4
[INFO] [stderr]    Compiling mio v1.0.3
[INFO] [stderr]    Compiling socket2 v0.5.8
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling brotli v7.0.0
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling webpki-roots v0.26.8
[INFO] [stderr]    Compiling encoding_rs v0.8.35
[INFO] [stderr]    Compiling tokio v1.44.1
[INFO] [stderr]    Compiling number_prefix v0.4.0
[INFO] [stderr]    Compiling webpki-roots v0.25.4
[INFO] [stderr]    Compiling filetime v0.2.25
[INFO] [stderr]    Compiling http-body-util v0.1.3
[INFO] [stderr]    Compiling rustls-pemfile v2.2.0
[INFO] [stderr]    Compiling jiff v0.2.5
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling bzip2-sys v0.1.13+1.0.8
[INFO] [stderr]    Compiling indicatif v0.17.11
[INFO] [stderr]    Compiling xattr v1.5.0
[INFO] [stderr] error: could not compile `futures-util` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.93.0-x86_64-unknown-linux-gnu/bin/rustc --crate-name futures_util --edition=2018 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/futures-util-0.3.31/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --warn=unreachable_pub --warn=unexpected_cfgs --warn=single_use_lifetimes --warn=rust_2018_idioms --warn=missing_debug_implementations --check-cfg 'cfg(futures_sanitizer)' --cfg 'feature="alloc"' --cfg 'feature="futures-io"' --cfg 'feature="futures-sink"' --cfg 'feature="io"' --cfg 'feature="memchr"' --cfg 'feature="sink"' --cfg 'feature="slab"' --cfg 'feature="std"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("alloc", "async-await", "async-await-macro", "bilock", "cfg-target-has-atomic", "channel", "compat", "default", "futures-channel", "futures-io", "futures-macro", "futures-sink", "futures_01", "io", "io-compat", "memchr", "portable-atomic", "sink", "slab", "std", "tokio-io", "unstable", "write-all-vectored"))' -C metadata=5a15b3f1e36a10c9 -C extra-filename=-c88feb31eb9a163e --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern futures_core=/opt/rustwide/target/debug/deps/libfutures_core-b526e2d63a3cce64.rmeta --extern futures_io=/opt/rustwide/target/debug/deps/libfutures_io-2b6dcc5529cdbb3e.rmeta --extern futures_sink=/opt/rustwide/target/debug/deps/libfutures_sink-4365a42df23ad453.rmeta --extern futures_task=/opt/rustwide/target/debug/deps/libfutures_task-a96d38811435c62a.rmeta --extern memchr=/opt/rustwide/target/debug/deps/libmemchr-eeffc1ae2ce351c3.rmeta --extern pin_project_lite=/opt/rustwide/target/debug/deps/libpin_project_lite-e64416de6d949529.rmeta --extern pin_utils=/opt/rustwide/target/debug/deps/libpin_utils-c581989270ffef18.rmeta --extern slab=/opt/rustwide/target/debug/deps/libslab-397a52d4f6ac9bb8.rmeta --cap-lints allow --cap-lints=warn` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "da6fec74b6843894301fb6911e949bb16226c4b62f8becc445255451d164816a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "da6fec74b6843894301fb6911e949bb16226c4b62f8becc445255451d164816a", kill_on_drop: false }`
[INFO] [stdout] da6fec74b6843894301fb6911e949bb16226c4b62f8becc445255451d164816a
