[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 master#733b47ea4b1b86216f14ef56e49440c33933f230+rustflags=-Copt-level=3 for pr-138759
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F1arie1%2Fcargo-certora-sbf" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/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-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/1arie1/cargo-certora-sbf on toolchain 733b47ea4b1b86216f14ef56e49440c33933f230
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a9fd4cc45ff5a4747a36f5c193a5564d01dd0c9739f4781e11e2d97894bb6090
[INFO] running `Command { std: "docker" "start" "-a" "a9fd4cc45ff5a4747a36f5c193a5564d01dd0c9739f4781e11e2d97894bb6090", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a9fd4cc45ff5a4747a36f5c193a5564d01dd0c9739f4781e11e2d97894bb6090", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a9fd4cc45ff5a4747a36f5c193a5564d01dd0c9739f4781e11e2d97894bb6090", kill_on_drop: false }`
[INFO] [stdout] a9fd4cc45ff5a4747a36f5c193a5564d01dd0c9739f4781e11e2d97894bb6090
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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 -Copt-level=3" "-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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4730af9233ce11ddfb5f1642b13e5f32d354b17da0cc8efbb431e21677e7fdd9
[INFO] running `Command { std: "docker" "start" "-a" "4730af9233ce11ddfb5f1642b13e5f32d354b17da0cc8efbb431e21677e7fdd9", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling once_cell v1.21.2
[INFO] [stderr]    Compiling cc v1.2.17
[INFO] [stderr]    Compiling socket2 v0.5.8
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling rustls-pki-types v1.11.0
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling anstyle-parse v0.2.6
[INFO] [stderr]    Compiling anstyle v1.0.10
[INFO] [stderr]    Compiling colorchoice v1.0.3
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]    Compiling anstyle-query v1.1.2
[INFO] [stderr]    Compiling serde_json v1.0.140
[INFO] [stderr]    Compiling rustls v0.23.25
[INFO] [stderr]    Compiling miniz_oxide v0.8.5
[INFO] [stderr]    Compiling brotli-decompressor v4.0.2
[INFO] [stderr]    Compiling http-body v0.4.6
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling rustix v1.0.3
[INFO] [stderr]    Compiling portable-atomic v1.11.0
[INFO] [stderr]    Compiling clap_lex v0.7.4
[INFO] [stderr]    Compiling camino v1.1.9
[INFO] [stderr]    Compiling anstream v0.6.18
[INFO] [stderr]    Compiling tracing-core v0.1.33
[INFO] [stderr]    Compiling unicode-width v0.2.0
[INFO] [stderr]    Compiling bitflags v2.9.0
[INFO] [stderr]    Compiling tokio v1.44.1
[INFO] [stderr]    Compiling clap_builder v4.5.35
[INFO] [stderr]    Compiling linux-raw-sys v0.9.3
[INFO] [stderr]    Compiling tracing v0.1.41
[INFO] [stderr]    Compiling flate2 v1.1.0
[INFO] [stderr]    Compiling indexmap v2.8.0
[INFO] [stderr]    Compiling semver v1.0.26
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling brotli v7.0.0
[INFO] [stderr]    Compiling webpki-roots v0.26.8
[INFO] [stderr]    Compiling sync_wrapper v0.1.2
[INFO] [stderr]    Compiling number_prefix v0.4.0
[INFO] [stderr]    Compiling webpki-roots v0.25.4
[INFO] [stderr]    Compiling rustls-pemfile v2.2.0
[INFO] [stderr]    Compiling filetime v0.2.25
[INFO] [stderr]    Compiling jiff v0.2.5
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling home v0.5.11
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling indicatif v0.17.11
[INFO] [stderr] error: could not compile `syn` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/733b47ea4b1b86216f14ef56e49440c33933f230/bin/rustc --crate-name syn --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/syn-2.0.100/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 --cfg 'feature="clone-impls"' --cfg 'feature="default"' --cfg 'feature="derive"' --cfg 'feature="extra-traits"' --cfg 'feature="fold"' --cfg 'feature="full"' --cfg 'feature="parsing"' --cfg 'feature="printing"' --cfg 'feature="proc-macro"' --cfg 'feature="visit"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("clone-impls", "default", "derive", "extra-traits", "fold", "full", "parsing", "printing", "proc-macro", "test", "visit", "visit-mut"))' -C metadata=b8776ed1c397625c -C extra-filename=-e27f8947a260de48 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-86a817c89672e19d.rmeta --extern quote=/opt/rustwide/target/debug/deps/libquote-261f1b128ef357b1.rmeta --extern unicode_ident=/opt/rustwide/target/debug/deps/libunicode_ident-59080bf303a6834d.rmeta --cap-lints allow --cap-lints=forbid -Copt-level=3` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[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/733b47ea4b1b86216f14ef56e49440c33933f230/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=a1187bb2c2268154 -C extra-filename=-ff3493ca376822a2 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern futures_core=/opt/rustwide/target/debug/deps/libfutures_core-6a962cd5a09a8a6c.rmeta --extern futures_io=/opt/rustwide/target/debug/deps/libfutures_io-5d05528a5f18af34.rmeta --extern futures_sink=/opt/rustwide/target/debug/deps/libfutures_sink-0f6e1bb6dc26a643.rmeta --extern futures_task=/opt/rustwide/target/debug/deps/libfutures_task-3a4d5f580eabc392.rmeta --extern memchr=/opt/rustwide/target/debug/deps/libmemchr-608d6d24a619d2bf.rmeta --extern pin_project_lite=/opt/rustwide/target/debug/deps/libpin_project_lite-669ab13378d6d882.rmeta --extern pin_utils=/opt/rustwide/target/debug/deps/libpin_utils-c09967ab85f7644d.rmeta --extern slab=/opt/rustwide/target/debug/deps/libslab-72d35c5b8bd97d50.rmeta --cap-lints allow --cap-lints=forbid -Copt-level=3` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `brotli` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/733b47ea4b1b86216f14ef56e49440c33933f230/bin/rustc --crate-name brotli --edition=2015 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/brotli-7.0.0/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 --cfg 'feature="alloc-stdlib"' --cfg 'feature="default"' --cfg 'feature="std"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("alloc-stdlib", "benchmark", "billing", "default", "disable-timer", "disallow_large_window_size", "external-literal-probability", "ffi-api", "float64", "floating_point_context_mixing", "no-stdlib-ffi-binding", "pass-through-ffi-panics", "seccomp", "sha2", "simd", "std", "validation", "vector_scratch_space"))' -C metadata=d19fa706b966db28 -C extra-filename=-19cd429f69a3f130 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern alloc_no_stdlib=/opt/rustwide/target/debug/deps/liballoc_no_stdlib-9e17c6809a7de202.rmeta --extern alloc_stdlib=/opt/rustwide/target/debug/deps/liballoc_stdlib-f9a879c9d69800f1.rmeta --extern brotli_decompressor=/opt/rustwide/target/debug/deps/libbrotli_decompressor-9d51ab72041e6581.rmeta --cap-lints allow --cap-lints=forbid -Copt-level=3` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `tokio` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/733b47ea4b1b86216f14ef56e49440c33933f230/bin/rustc --crate-name tokio --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tokio-1.44.1/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=unexpected_cfgs --check-cfg 'cfg(fuzzing)' --check-cfg 'cfg(loom)' --check-cfg 'cfg(mio_unsupported_force_poll_poll)' --check-cfg 'cfg(tokio_allow_from_blocking_fd)' --check-cfg 'cfg(tokio_internal_mt_counters)' --check-cfg 'cfg(tokio_no_parking_lot)' --check-cfg 'cfg(tokio_no_tuning_tests)' --check-cfg 'cfg(tokio_taskdump)' --check-cfg 'cfg(tokio_unstable)' --cfg 'feature="bytes"' --cfg 'feature="default"' --cfg 'feature="io-util"' --cfg 'feature="libc"' --cfg 'feature="mio"' --cfg 'feature="net"' --cfg 'feature="rt"' --cfg 'feature="socket2"' --cfg 'feature="sync"' --cfg 'feature="time"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("bytes", "default", "fs", "full", "io-std", "io-util", "libc", "macros", "mio", "net", "parking_lot", "process", "rt", "rt-multi-thread", "signal", "signal-hook-registry", "socket2", "sync", "test-util", "time", "tokio-macros", "tracing", "windows-sys"))' -C metadata=eee1ea16610c63da -C extra-filename=-76b70eccb2786783 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern bytes=/opt/rustwide/target/debug/deps/libbytes-ac1de41d75287ad9.rmeta --extern libc=/opt/rustwide/target/debug/deps/liblibc-e32a93349dc8633c.rmeta --extern mio=/opt/rustwide/target/debug/deps/libmio-3a362d89e3deb172.rmeta --extern pin_project_lite=/opt/rustwide/target/debug/deps/libpin_project_lite-669ab13378d6d882.rmeta --extern socket2=/opt/rustwide/target/debug/deps/libsocket2-5862349c8f621e3f.rmeta --cap-lints allow --cap-lints=forbid -Copt-level=3` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "4730af9233ce11ddfb5f1642b13e5f32d354b17da0cc8efbb431e21677e7fdd9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4730af9233ce11ddfb5f1642b13e5f32d354b17da0cc8efbb431e21677e7fdd9", kill_on_drop: false }`
[INFO] [stdout] 4730af9233ce11ddfb5f1642b13e5f32d354b17da0cc8efbb431e21677e7fdd9
