[INFO] fetching crate libcprover_rust 5.82.0...
[INFO] testing libcprover_rust-5.82.0 against 1.69.0 for beta-1.70-1
[INFO] extracting crate libcprover_rust 5.82.0 into /workspace/builds/worker-2-tc1/source
[INFO] validating manifest of crates.io crate libcprover_rust 5.82.0 on toolchain 1.69.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate libcprover_rust 5.82.0
[INFO] finished tweaking crates.io crate libcprover_rust 5.82.0
[INFO] tweaked toml for crates.io crate libcprover_rust 5.82.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" __CARGO_TEST_CHANNEL_OVERRIDE_DO_NOT_USE_THIS="nightly" "/workspace/cargo-home/bin/cargo" "+1.69.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0b144f2b63b80c31485b49c58bcc88909b7a8b701be98e928568bb51003cca3a
[INFO] running `Command { std: "docker" "start" "-a" "0b144f2b63b80c31485b49c58bcc88909b7a8b701be98e928568bb51003cca3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0b144f2b63b80c31485b49c58bcc88909b7a8b701be98e928568bb51003cca3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0b144f2b63b80c31485b49c58bcc88909b7a8b701be98e928568bb51003cca3a", kill_on_drop: false }`
[INFO] [stdout] 0b144f2b63b80c31485b49c58bcc88909b7a8b701be98e928568bb51003cca3a
[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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3407f85174c1da134ea98ffbc8fd2e584e7e946b61c9a001ee9d1dbdb95bd84a
[INFO] running `Command { std: "docker" "start" "-a" "3407f85174c1da134ea98ffbc8fd2e584e7e946b61c9a001ee9d1dbdb95bd84a", kill_on_drop: false }`
[INFO] [stderr]    Compiling scratch v1.0.5
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling termcolor v1.2.0
[INFO] [stderr]    Compiling cxxbridge-flags v1.0.94
[INFO] [stderr]    Compiling link-cplusplus v1.0.8
[INFO] [stderr]    Compiling cxxbridge-macro v1.0.94
[INFO] [stderr]    Compiling cxx v1.0.94
[INFO] [stderr]    Compiling codespan-reporting v0.11.1
[INFO] [stderr]    Compiling cxx-build v1.0.94
[INFO] [stderr]    Compiling libcprover_rust v5.82.0 (/opt/rustwide/workdir)
[INFO] [stderr] error: failed to run custom build command for `libcprover_rust v5.82.0 (/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-57b576a8254e11ca/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stderr
[INFO] [stderr]   thread 'main' panicked at '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.', build.rs:67:13
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x5609240eb2ea - std::backtrace_rs::backtrace::libunwind::trace::ha9053a9a07ca49cb
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stderr]      1:     0x5609240eb2ea - std::backtrace_rs::backtrace::trace_unsynchronized::h9c2852a457ad564e
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x5609240eb2ea - std::sys_common::backtrace::_print_fmt::h457936fbfaa0070f
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:65:5
[INFO] [stderr]      3:     0x5609240eb2ea - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h5779d7bf7f70cb0c
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x56092410cbee - core::fmt::write::h5a4baaff1bcd3eb5
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/fmt/mod.rs:1232:17
[INFO] [stderr]      5:     0x5609240e7d75 - std::io::Write::write_fmt::h4bc1f301cb9e9cce
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/io/mod.rs:1684:15
[INFO] [stderr]      6:     0x5609240eb0b5 - std::sys_common::backtrace::_print::h5fcdc36060f177e8
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      7:     0x5609240eb0b5 - std::sys_common::backtrace::print::h54ca9458b876c8bf
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      8:     0x5609240eca8f - std::panicking::default_hook::{{closure}}::hbe471161c7664ed6
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:271:22
[INFO] [stderr]      9:     0x5609240ec7cb - std::panicking::default_hook::ha3500da57aa4ac4f
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:290:9
[INFO] [stderr]     10:     0x5609240ed038 - std::panicking::rust_panic_with_hook::h50c09d000dc561d2
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:692:13
[INFO] [stderr]     11:     0x5609240ecf39 - std::panicking::begin_panic_handler::{{closure}}::h9e2b2176e00e0d9c
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:583:13
[INFO] [stderr]     12:     0x5609240eb756 - std::sys_common::backtrace::__rust_end_short_backtrace::h5739b8e512c09d02
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:150:18
[INFO] [stderr]     13:     0x5609240ecc42 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:579:5
[INFO] [stderr]     14:     0x560923de2c13 - core::panicking::panic_fmt::hf33a1475b4dc5c3e
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/panicking.rs:64:14
[INFO] [stderr]     15:     0x560923de48c9 - core::panicking::panic_display::h9076bb493fabc1c5
[INFO] [stderr]     16:     0x560923de3cfc - build_script_build::main::h4cbc971575529297
[INFO] [stderr]     17:     0x560923de48e3 - core::ops::function::FnOnce::call_once::h5baedd2f973494d0
[INFO] [stderr]     18:     0x560923de4aa9 - std::sys_common::backtrace::__rust_begin_short_backtrace::hc2fed3a643a484e0
[INFO] [stderr]     19:     0x560923de4749 - std::rt::lang_start::{{closure}}::hfddf24607464825a
[INFO] [stderr]     20:     0x5609240e283c - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::hd6efcd3bec896f2c
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/ops/function.rs:287:13
[INFO] [stderr]     21:     0x5609240e283c - std::panicking::try::do_call::hce04e543bb1f4cbb
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:487:40
[INFO] [stderr]     22:     0x5609240e283c - std::panicking::try::h3342dd4e1f680968
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:451:19
[INFO] [stderr]     23:     0x5609240e283c - std::panic::catch_unwind::h148ce1e59ac0cee7
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panic.rs:140:14
[INFO] [stderr]     24:     0x5609240e283c - std::rt::lang_start_internal::{{closure}}::h25f9dda2057a67fe
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/rt.rs:148:48
[INFO] [stderr]     25:     0x5609240e283c - std::panicking::try::do_call::h7caaaeaf9401650b
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:487:40
[INFO] [stderr]     26:     0x5609240e283c - std::panicking::try::he7d15285746cbbc2
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:451:19
[INFO] [stderr]     27:     0x5609240e283c - std::panic::catch_unwind::h89fb4f50c0301fe0
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panic.rs:140:14
[INFO] [stderr]     28:     0x5609240e283c - std::rt::lang_start_internal::h078acd489417d3c1
[INFO] [stderr]                                  at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/rt.rs:148:20
[INFO] [stderr]     29:     0x560923de4727 - std::rt::lang_start::h7c40251b481b1a09
[INFO] [stderr]     30:     0x560923de45c5 - main
[INFO] [stderr]     31:     0x7f69bda85d90 - <unknown>
[INFO] [stderr]     32:     0x7f69bda85e40 - __libc_start_main
[INFO] [stderr]     33:     0x560923de31e5 - _start
[INFO] [stderr]     34:                0x0 - <unknown>
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "3407f85174c1da134ea98ffbc8fd2e584e7e946b61c9a001ee9d1dbdb95bd84a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3407f85174c1da134ea98ffbc8fd2e584e7e946b61c9a001ee9d1dbdb95bd84a", kill_on_drop: false }`
[INFO] [stdout] 3407f85174c1da134ea98ffbc8fd2e584e7e946b61c9a001ee9d1dbdb95bd84a
