[INFO] fetching crate libcprover_rust 6.4.1...
[INFO] checking libcprover_rust-6.4.1 against try#31561a63598a0f21fc74c024747ef1310fdd2eb2 for pr-133536
[INFO] extracting crate libcprover_rust 6.4.1 into /workspace/builds/worker-0-tc2/source
[INFO] validating manifest of crates.io crate libcprover_rust 6.4.1 on toolchain 31561a63598a0f21fc74c024747ef1310fdd2eb2
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate libcprover_rust 6.4.1
[INFO] finished tweaking crates.io crate libcprover_rust 6.4.1
[INFO] tweaked toml for crates.io crate libcprover_rust 6.4.1 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 28 packages to latest compatible versions
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] db03957b4535535e4f12382629672785637fbb0b01b3fb93be2971a355f5616d
[INFO] running `Command { std: "docker" "start" "-a" "db03957b4535535e4f12382629672785637fbb0b01b3fb93be2971a355f5616d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "db03957b4535535e4f12382629672785637fbb0b01b3fb93be2971a355f5616d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "db03957b4535535e4f12382629672785637fbb0b01b3fb93be2971a355f5616d", kill_on_drop: false }`
[INFO] [stdout] db03957b4535535e4f12382629672785637fbb0b01b3fb93be2971a355f5616d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1a1027f5a9175bde15f51e4f1df1f1a40dc9984d7de319a65250e412a0c90728
[INFO] running `Command { std: "docker" "start" "-a" "1a1027f5a9175bde15f51e4f1df1f1a40dc9984d7de319a65250e412a0c90728", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.92
[INFO] [stderr]    Compiling link-cplusplus v1.0.9
[INFO] [stderr]    Compiling scratch v1.0.7
[INFO] [stderr]    Compiling rustversion v1.0.18
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling cxxbridge-flags v1.0.131
[INFO] [stderr]     Checking foldhash v0.1.3
[INFO] [stderr]    Compiling cxx v1.0.131
[INFO] [stderr]    Compiling codespan-reporting v0.11.1
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]    Compiling cxx-build v1.0.131
[INFO] [stderr]    Compiling cxxbridge-macro v1.0.131
[INFO] [stderr]    Compiling libcprover_rust v6.4.1 (/opt/rustwide/workdir)
[INFO] [stderr] error: failed to run custom build command for `libcprover_rust v6.4.1 (/opt/rustwide/workdir)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/libcprover_rust-e2c5183e24ae6443/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stderr
[INFO] [stderr]   thread 'main' panicked at build.rs:67:13:
[INFO] [stderr]   Error: Environment variable `CBMC_INCLUDE_DIR' not set.
[INFO] [stderr]    Advice: Please set the environment variable `CBMC_INCLUDE_DIR' with the path that contains cprover/api.h on your system.
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x63428337721a - std::backtrace_rs::backtrace::libunwind::trace::h49438d59a450c8cd
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stderr]      1:     0x63428337721a - std::backtrace_rs::backtrace::trace_unsynchronized::h00f8204a39c7607d
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x63428337721a - std::sys::backtrace::_print_fmt::hfb4570bcf6575231
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/sys/backtrace.rs:66:9
[INFO] [stderr]      3:     0x63428337721a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::haa24b3ebc15b8405
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/sys/backtrace.rs:39:26
[INFO] [stderr]      4:     0x63428339c123 - core::fmt::rt::Argument::fmt::h640632ca911b1954
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/core/src/fmt/rt.rs:177:76
[INFO] [stderr]      5:     0x63428339c123 - core::fmt::write::hd87dd4a80fd6ed54
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/core/src/fmt/mod.rs:1189:21
[INFO] [stderr]      6:     0x6342833732e3 - std::io::Write::write_fmt::h63c69be3cb79728d
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/io/mod.rs:1887:15
[INFO] [stderr]      7:     0x634283377062 - std::sys::backtrace::BacktraceLock::print::h0cabd5ee17b200b1
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/sys/backtrace.rs:42:9
[INFO] [stderr]      8:     0x63428337825c - std::panicking::default_hook::{{closure}}::hfecf31e00fd6a324
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panicking.rs:268:22
[INFO] [stderr]      9:     0x6342833780a2 - std::panicking::default_hook::h4b1c6fd76f5e43f2
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panicking.rs:295:9
[INFO] [stderr]     10:     0x634283378897 - std::panicking::rust_panic_with_hook::h43e69ada3ffc0134
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panicking.rs:801:13
[INFO] [stderr]     11:     0x63428337872a - std::panicking::begin_panic_handler::{{closure}}::h541e54997b7f9317
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panicking.rs:674:13
[INFO] [stderr]     12:     0x6342833776f9 - std::sys::backtrace::__rust_end_short_backtrace::h77e9f2cf7d6f5724
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/sys/backtrace.rs:170:18
[INFO] [stderr]     13:     0x6342833783bc - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panicking.rs:665:5
[INFO] [stderr]     14:     0x63428339aeb0 - core::panicking::panic_fmt::h8656b4a1ebe7eef6
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/core/src/panicking.rs:76:14
[INFO] [stderr]     15:     0x634283097564 - core::panicking::panic_display::h39b7987eee286332
[INFO] [stderr]     16:     0x634283099ff6 - build_script_build::main::panic_cold_display::hc49a2a633b6049db
[INFO] [stderr]     17:     0x634283099fb6 - build_script_build::main::hbe5f98b1038fe586
[INFO] [stderr]     18:     0x634283096d93 - core::ops::function::FnOnce::call_once::ha87ab9e4873079a1
[INFO] [stderr]     19:     0x634283096a86 - std::sys::backtrace::__rust_begin_short_backtrace::h6dd81d456819215e
[INFO] [stderr]     20:     0x634283096a69 - std::rt::lang_start::{{closure}}::h7df19a3c56ea979e
[INFO] [stderr]     21:     0x63428336ddd7 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h5de4a2bf18b34b48
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     22:     0x63428336ddd7 - std::panicking::try::do_call::h18e58ebf513e1dfb
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panicking.rs:557:40
[INFO] [stderr]     23:     0x63428336ddd7 - std::panicking::try::hd66d4cce67b2d3a6
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panicking.rs:520:19
[INFO] [stderr]     24:     0x63428336ddd7 - std::panic::catch_unwind::h7d20459bfb46fa18
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panic.rs:358:14
[INFO] [stderr]     25:     0x63428336ddd7 - std::rt::lang_start_internal::{{closure}}::h08530640535ea25a
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/rt.rs:174:48
[INFO] [stderr]     26:     0x63428336ddd7 - std::panicking::try::do_call::hef1d5032756af4de
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panicking.rs:557:40
[INFO] [stderr]     27:     0x63428336ddd7 - std::panicking::try::h72abeda96f937582
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panicking.rs:520:19
[INFO] [stderr]     28:     0x63428336ddd7 - std::panic::catch_unwind::hff9195ddaed64075
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/panic.rs:358:14
[INFO] [stderr]     29:     0x63428336ddd7 - std::rt::lang_start_internal::h506b703bddcb88cd
[INFO] [stderr]                                  at /rustc/31561a63598a0f21fc74c024747ef1310fdd2eb2/library/std/src/rt.rs:174:20
[INFO] [stderr]     30:     0x634283096a47 - std::rt::lang_start::hd24cbcf873da62d5
[INFO] [stderr]     31:     0x63428309a035 - main
[INFO] [stderr]     32:     0x751fc8d7cd90 - <unknown>
[INFO] [stderr]     33:     0x751fc8d7ce40 - __libc_start_main
[INFO] [stderr]     34:     0x6342830964b5 - _start
[INFO] [stderr]     35:                0x0 - <unknown>
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "1a1027f5a9175bde15f51e4f1df1f1a40dc9984d7de319a65250e412a0c90728", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a1027f5a9175bde15f51e4f1df1f1a40dc9984d7de319a65250e412a0c90728", kill_on_drop: false }`
[INFO] [stdout] 1a1027f5a9175bde15f51e4f1df1f1a40dc9984d7de319a65250e412a0c90728
