[INFO] fetching crate bitwuzla-sys 0.2.0...
[INFO] testing bitwuzla-sys-0.2.0 against 1.76.0 for beta-1.77-1
[INFO] extracting crate bitwuzla-sys 0.2.0 into /workspace/builds/worker-5-tc1/source
[INFO] validating manifest of crates.io crate bitwuzla-sys 0.2.0 on toolchain 1.76.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate bitwuzla-sys 0.2.0
[INFO] finished tweaking crates.io crate bitwuzla-sys 0.2.0
[INFO] tweaked toml for crates.io crate bitwuzla-sys 0.2.0 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded walkdir v2.4.0
[INFO] [stderr]   Downloaded copy_dir v0.1.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3cc6a99788fe6fe677705a854e74d223dceee8be7f983a6774034ee5394a3c49
[INFO] running `Command { std: "docker" "start" "-a" "3cc6a99788fe6fe677705a854e74d223dceee8be7f983a6774034ee5394a3c49", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3cc6a99788fe6fe677705a854e74d223dceee8be7f983a6774034ee5394a3c49", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3cc6a99788fe6fe677705a854e74d223dceee8be7f983a6774034ee5394a3c49", kill_on_drop: false }`
[INFO] [stdout] 3cc6a99788fe6fe677705a854e74d223dceee8be7f983a6774034ee5394a3c49
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ec6e0ebce301e97bde5ee94b71363f4415caa7f5100dfeda29330bf5ec088a60
[INFO] running `Command { std: "docker" "start" "-a" "ec6e0ebce301e97bde5ee94b71363f4415caa7f5100dfeda29330bf5ec088a60", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling bitwuzla-sys v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.03s
[INFO] running `Command { std: "docker" "inspect" "ec6e0ebce301e97bde5ee94b71363f4415caa7f5100dfeda29330bf5ec088a60", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ec6e0ebce301e97bde5ee94b71363f4415caa7f5100dfeda29330bf5ec088a60", kill_on_drop: false }`
[INFO] [stdout] ec6e0ebce301e97bde5ee94b71363f4415caa7f5100dfeda29330bf5ec088a60
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 04f412051c5a3438175e8cb7e8c1ce19c880a60b1cfaf7fa98042c1f09a99776
[INFO] running `Command { std: "docker" "start" "-a" "04f412051c5a3438175e8cb7e8c1ce19c880a60b1cfaf7fa98042c1f09a99776", kill_on_drop: false }`
[INFO] [stderr]    Compiling bitwuzla-sys v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_1` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:186:4
[INFO] [stdout]     |
[INFO] [stdout] 186 | fn bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_1() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info_bindgen_ty_1_bindgen_ty_1`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_2` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:288:4
[INFO] [stdout]     |
[INFO] [stdout] 288 | fn bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_2() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info_bindgen_ty_1_bindgen_ty_2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:383:4
[INFO] [stdout]     |
[INFO] [stdout] 383 | fn bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info_bindgen_ty_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:433:4
[INFO] [stdout]     |
[INFO] [stdout] 433 | fn bindgen_test_layout_BitwuzlaOptionInfo() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcisXxFt/symbols.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-32573bfcadf17012.bitwuzla_sys.1cb4ae456e1c0ba0-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-32573bfcadf17012.uk1b9dvb7gb87xk.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bdynamic" "-lbitwuzla" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/liblibc-50cf0445600f9cae.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-5d722ce3e5d0595e.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-76f5006e4e062e57.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-a18ed5fdf4a57b72.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a14b8d31733ef9e9.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-66d8041607d2929b.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a57e2388c0aea9b1.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-dcd9be90ae2cb505.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-516789932d161b4e.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-1ff34b0cf871cb60.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-0c110dd0650d6cb7.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-a6e97aae2681ad8f.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-b93dac2525ec4d1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-ce1d65fb391ae98b.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-8933a2fb54d88492.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-306712ebb1ee1a3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-349c574f342b0d30.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-65c422a3ad95273d.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-7e6330a6c0cb9441.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-39c59240bfdfab27.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e9d126c51bb8b2bb.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5af394d9b1f07bdc.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-693a8f23970c5917.rlib" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-13fc9d1ed9c7a2bc.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/1.76.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-32573bfcadf17012" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lbitwuzla: No such file or directory
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error; 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `bitwuzla-sys` (lib test) due to 2 previous errors; 4 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "04f412051c5a3438175e8cb7e8c1ce19c880a60b1cfaf7fa98042c1f09a99776", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "04f412051c5a3438175e8cb7e8c1ce19c880a60b1cfaf7fa98042c1f09a99776", kill_on_drop: false }`
[INFO] [stdout] 04f412051c5a3438175e8cb7e8c1ce19c880a60b1cfaf7fa98042c1f09a99776
[INFO] testing bitwuzla-sys-0.2.0 against beta-2024-02-10 for beta-1.77-1
[INFO] extracting crate bitwuzla-sys 0.2.0 into /workspace/builds/worker-5-tc2/source
[INFO] validating manifest of crates.io crate bitwuzla-sys 0.2.0 on toolchain beta-2024-02-10
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate bitwuzla-sys 0.2.0
[INFO] finished tweaking crates.io crate bitwuzla-sys 0.2.0
[INFO] tweaked toml for crates.io crate bitwuzla-sys 0.2.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 342ee2b1ee7f56e1c19c81052ac100831c059a8ec3732731f093dd42c702a411
[INFO] running `Command { std: "docker" "start" "-a" "342ee2b1ee7f56e1c19c81052ac100831c059a8ec3732731f093dd42c702a411", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "342ee2b1ee7f56e1c19c81052ac100831c059a8ec3732731f093dd42c702a411", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "342ee2b1ee7f56e1c19c81052ac100831c059a8ec3732731f093dd42c702a411", kill_on_drop: false }`
[INFO] [stdout] 342ee2b1ee7f56e1c19c81052ac100831c059a8ec3732731f093dd42c702a411
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] aebe240ebd033817d28ed9bf16f0f9f9538ec2864bd3b4aa79b1583650817d05
[INFO] running `Command { std: "docker" "start" "-a" "aebe240ebd033817d28ed9bf16f0f9f9538ec2864bd3b4aa79b1583650817d05", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling bitwuzla-sys v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.82s
[INFO] running `Command { std: "docker" "inspect" "aebe240ebd033817d28ed9bf16f0f9f9538ec2864bd3b4aa79b1583650817d05", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aebe240ebd033817d28ed9bf16f0f9f9538ec2864bd3b4aa79b1583650817d05", kill_on_drop: false }`
[INFO] [stdout] aebe240ebd033817d28ed9bf16f0f9f9538ec2864bd3b4aa79b1583650817d05
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 986fb8eef04b3e1c78b0f0370ae05979a54ba8e5d509751fb9a9e5d2c15bbf04
[INFO] running `Command { std: "docker" "start" "-a" "986fb8eef04b3e1c78b0f0370ae05979a54ba8e5d509751fb9a9e5d2c15bbf04", kill_on_drop: false }`
[INFO] [stderr]    Compiling bitwuzla-sys v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_1` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:186:4
[INFO] [stdout]     |
[INFO] [stdout] 186 | fn bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_1() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info_bindgen_ty_1_bindgen_ty_1`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_2` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:288:4
[INFO] [stdout]     |
[INFO] [stdout] 288 | fn bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_2() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info_bindgen_ty_1_bindgen_ty_2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:383:4
[INFO] [stdout]     |
[INFO] [stdout] 383 | fn bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info_bindgen_ty_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:433:4
[INFO] [stdout]     |
[INFO] [stdout] 433 | fn bindgen_test_layout_BitwuzlaOptionInfo() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcJbu2x1/symbols.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2a3dd7616ec9f5f6.bitwuzla_sys.1d1c53328b0b2a63-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2a3dd7616ec9f5f6.1zc6ay331y2d0aay.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bdynamic" "-lbitwuzla" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/liblibc-db6d1022cbe7c1eb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-7b2522a9e679b88d.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-f94d980056e8955a.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-dfc6ee63d8caa20c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-113d7bdd8cf56a35.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-c3d3f3356130ff3b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-95df42f89c1d4925.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-0d2835f8aa540844.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-370839a40e011065.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-9649e5e19a7f7d26.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-947cba7c5cf68c1c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-ced012bebfb4965d.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-ca1b3bc71d252cc2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-fc6e78e39549a6fa.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-339fe9c79c84af4f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-1568bb4b0be20e00.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-fe9837fa83c5d69d.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4c6008bb65e308f5.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-c9bf4c045d493bdb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-e47cddc003bce885.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-ddda47710dcba33d.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-e46bc3da6d7c462f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-8d1ac131d3cb2645.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-b4e1725cffd81412.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2024-02-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2a3dd7616ec9f5f6" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lbitwuzla: No such file or directory
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error; 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `bitwuzla-sys` (lib test) due to 2 previous errors; 4 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "986fb8eef04b3e1c78b0f0370ae05979a54ba8e5d509751fb9a9e5d2c15bbf04", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "986fb8eef04b3e1c78b0f0370ae05979a54ba8e5d509751fb9a9e5d2c15bbf04", kill_on_drop: false }`
[INFO] [stdout] 986fb8eef04b3e1c78b0f0370ae05979a54ba8e5d509751fb9a9e5d2c15bbf04
