[INFO] fetching crate libcprover_rust 6.7.1... [INFO] testing libcprover_rust-6.7.1 against 1.90.0 for beta-1.91-3 [INFO] extracting crate libcprover_rust 6.7.1 into /workspace/builds/worker-3-tc1/source [INFO] started tweaking crates.io crate libcprover_rust 6.7.1 [INFO] finished tweaking crates.io crate libcprover_rust 6.7.1 [INFO] tweaked toml for crates.io crate libcprover_rust 6.7.1 written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate libcprover_rust 6.7.1 on toolchain 1.90.0 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate libcprover_rust 6.7.1 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.90.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded link-cplusplus v1.0.9 [INFO] [stderr] Downloaded cxxbridge-flags v1.0.128 [INFO] [stderr] Downloaded scratch v1.0.7 [INFO] [stderr] Downloaded cxxbridge-macro v1.0.128 [INFO] [stderr] Downloaded cxx-build v1.0.128 [INFO] [stderr] Downloaded cc v1.1.15 [INFO] [stderr] Downloaded cxx v1.0.128 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1b1098c605f9ead859f84f749e51656eff03f0593a58e0c2e359f575c0769665 [INFO] running `Command { std: "docker" "start" "-a" "1b1098c605f9ead859f84f749e51656eff03f0593a58e0c2e359f575c0769665", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1b1098c605f9ead859f84f749e51656eff03f0593a58e0c2e359f575c0769665", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1b1098c605f9ead859f84f749e51656eff03f0593a58e0c2e359f575c0769665", kill_on_drop: false }` [INFO] [stdout] 1b1098c605f9ead859f84f749e51656eff03f0593a58e0c2e359f575c0769665 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9a0475338737988ad42a8d8bfef2df3d52416e2273f2df4120106331485d6054 [INFO] running `Command { std: "docker" "start" "-a" "9a0475338737988ad42a8d8bfef2df3d52416e2273f2df4120106331485d6054", kill_on_drop: false }` [INFO] [stderr] Compiling cc v1.1.15 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling scratch v1.0.7 [INFO] [stderr] Compiling cxxbridge-flags v1.0.128 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling unicode-width v0.1.13 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling codespan-reporting v0.11.1 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.77 [INFO] [stderr] Compiling link-cplusplus v1.0.9 [INFO] [stderr] Compiling cxx v1.0.128 [INFO] [stderr] Compiling cxx-build v1.0.128 [INFO] [stderr] Compiling cxxbridge-macro v1.0.128 [INFO] [stderr] Compiling libcprover_rust v6.7.1 (/opt/rustwide/workdir) [INFO] [stderr] error: failed to run custom build command for `libcprover_rust v6.7.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-6d6f17a6ae64a06a/build-script-build` (exit status: 101) [INFO] [stderr] --- stderr [INFO] [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: 0x56bb5fd7aa42 - std::backtrace_rs::backtrace::libunwind::trace::h2d45396358f41939 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stderr] 1: 0x56bb5fd7aa42 - std::backtrace_rs::backtrace::trace_unsynchronized::hffcefc0b67f1d6e2 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stderr] 2: 0x56bb5fd7aa42 - std::sys::backtrace::_print_fmt::hd72f71d23b436b92 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:66:9 [INFO] [stderr] 3: 0x56bb5fd7aa42 - ::fmt::hdcfcb6d4c8489523 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:39:26 [INFO] [stderr] 4: 0x56bb5fd9efa3 - core::fmt::rt::Argument::fmt::h2c56b3114963061a [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/fmt/rt.rs:173:76 [INFO] [stderr] 5: 0x56bb5fd9efa3 - core::fmt::write::h8a494366950f23bb [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/fmt/mod.rs:1468:25 [INFO] [stderr] 6: 0x56bb5fd76f43 - std::io::default_write_fmt::ha27fbccbc65eb6fa [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/io/mod.rs:639:11 [INFO] [stderr] 7: 0x56bb5fd76f43 - std::io::Write::write_fmt::h6556609fca33d0b1 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/io/mod.rs:1954:13 [INFO] [stderr] 8: 0x56bb5fd7a892 - std::sys::backtrace::BacktraceLock::print::hb2a626a81e06b2dc [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:42:9 [INFO] [stderr] 9: 0x56bb5fd7c893 - std::panicking::default_hook::{{closure}}::h4f78485264f12d10 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:300:27 [INFO] [stderr] 10: 0x56bb5fd7c675 - std::panicking::default_hook::h2c66fc99e962531d [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:327:9 [INFO] [stderr] 11: 0x56bb5fd7d2a5 - std::panicking::rust_panic_with_hook::h33ac55f64bbd807d [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:833:13 [INFO] [stderr] 12: 0x56bb5fd7d03a - std::panicking::begin_panic_handler::{{closure}}::h30e7cb89678a57fe [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:706:13 [INFO] [stderr] 13: 0x56bb5fd7af49 - std::sys::backtrace::__rust_end_short_backtrace::hed60f27456c16ced [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:174:18 [INFO] [stderr] 14: 0x56bb5fd7cccd - __rustc[de2ca18b4c54d5b8]::rust_begin_unwind [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:697:5 [INFO] [stderr] 15: 0x56bb5fd9de10 - core::panicking::panic_fmt::h62f63d096dd276af [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panicking.rs:75:14 [INFO] [stderr] 16: 0x56bb5faa39e8 - core::panicking::panic_display::h6a49d38fbe121345 [INFO] [stderr] 17: 0x56bb5faa5ef6 - build_script_build::main::panic_cold_display::hd3dc711a67899cc9 [INFO] [stderr] 18: 0x56bb5faa5ebe - build_script_build::main::hfff22365b96f6d33 [INFO] [stderr] 19: 0x56bb5faa3283 - core::ops::function::FnOnce::call_once::h49b5cad849bc5456 [INFO] [stderr] 20: 0x56bb5faa3026 - std::sys::backtrace::__rust_begin_short_backtrace::hb3728d268ee7c805 [INFO] [stderr] 21: 0x56bb5faa3009 - std::rt::lang_start::{{closure}}::h3aa1655748287a7e [INFO] [stderr] 22: 0x56bb5fd70fe0 - core::ops::function::impls:: for &F>::call_once::h638295a043b40957 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:290:21 [INFO] [stderr] 23: 0x56bb5fd70fe0 - std::panicking::catch_unwind::do_call::hbd68098bdea1ca50 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:589:40 [INFO] [stderr] 24: 0x56bb5fd70fe0 - std::panicking::catch_unwind::h50591d85bf847c7c [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:552:19 [INFO] [stderr] 25: 0x56bb5fd70fe0 - std::panic::catch_unwind::h2487b4c4f2ae22c6 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panic.rs:359:14 [INFO] [stderr] 26: 0x56bb5fd70fe0 - std::rt::lang_start_internal::{{closure}}::h61f0945cc6c9a811 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/rt.rs:175:24 [INFO] [stderr] 27: 0x56bb5fd70fe0 - std::panicking::catch_unwind::do_call::h34b9c3722acd6bd1 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:589:40 [INFO] [stderr] 28: 0x56bb5fd70fe0 - std::panicking::catch_unwind::hf9a822ea043fb0d6 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:552:19 [INFO] [stderr] 29: 0x56bb5fd70fe0 - std::panic::catch_unwind::h5b3cac802237ed89 [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panic.rs:359:14 [INFO] [stderr] 30: 0x56bb5fd70fe0 - std::rt::lang_start_internal::h34f9328d113fd60a [INFO] [stderr] at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/rt.rs:171:5 [INFO] [stderr] 31: 0x56bb5faa2ff1 - std::rt::lang_start::hf7ba4577a865ad8f [INFO] [stderr] 32: 0x56bb5faa5f35 - main [INFO] [stderr] 33: 0x7c56a1e251ca - [INFO] [stderr] 34: 0x7c56a1e2528b - __libc_start_main [INFO] [stderr] 35: 0x56bb5faa2a95 - _start [INFO] [stderr] 36: 0x0 - [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "9a0475338737988ad42a8d8bfef2df3d52416e2273f2df4120106331485d6054", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9a0475338737988ad42a8d8bfef2df3d52416e2273f2df4120106331485d6054", kill_on_drop: false }` [INFO] [stdout] 9a0475338737988ad42a8d8bfef2df3d52416e2273f2df4120106331485d6054