[INFO] fetching crate boolector 0.4.0...
[INFO] testing boolector-0.4.0 against 1.45.2 for beta-1.46-1
[INFO] extracting crate boolector 0.4.0 into /workspace/builds/worker-12/source
[INFO] validating manifest of crates.io crate boolector 0.4.0 on toolchain 1.45.2
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.45.2" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking crates.io crate boolector 0.4.0
[INFO] finished tweaking crates.io crate boolector 0.4.0
[INFO] tweaked toml for crates.io crate boolector 0.4.0 written to /workspace/builds/worker-12/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.45.2" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.45.2" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+1.45.2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2bbbcd003916278ee905bb98fe2cfb05baf45232affc14d9c72cc952344ed1a3
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "2bbbcd003916278ee905bb98fe2cfb05baf45232affc14d9c72cc952344ed1a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2bbbcd003916278ee905bb98fe2cfb05baf45232affc14d9c72cc952344ed1a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2bbbcd003916278ee905bb98fe2cfb05baf45232affc14d9c72cc952344ed1a3", kill_on_drop: false }`
[INFO] [stdout] 2bbbcd003916278ee905bb98fe2cfb05baf45232affc14d9c72cc952344ed1a3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+1.45.2" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 65363df24225e2d3d5ed5e40eef334d7d386ead4b02b91fdc9b81acbfb819c4b
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "65363df24225e2d3d5ed5e40eef334d7d386ead4b02b91fdc9b81acbfb819c4b", kill_on_drop: false }`
[INFO] [stderr]    Compiling boolector-sys v0.5.0
[INFO] [stderr]    Compiling boolector v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.92s
[INFO] running `Command { std: "docker" "inspect" "65363df24225e2d3d5ed5e40eef334d7d386ead4b02b91fdc9b81acbfb819c4b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "65363df24225e2d3d5ed5e40eef334d7d386ead4b02b91fdc9b81acbfb819c4b", kill_on_drop: false }`
[INFO] [stdout] 65363df24225e2d3d5ed5e40eef334d7d386ead4b02b91fdc9b81acbfb819c4b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+1.45.2" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 38029580b31ae7c29baa3162ed7bbc31a30ea158b6da84b46a94e63640e1a6e8
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "38029580b31ae7c29baa3162ed7bbc31a30ea158b6da84b46a94e63640e1a6e8", kill_on_drop: false }`
[INFO] [stderr]    Compiling boolector v0.4.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: linking with `cc` failed: exit code: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/boolector-c53c29f12aa0af1d.boolector.4wlf2anm-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/boolector-c53c29f12aa0af1d.boolector.4wlf2anm-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/boolector-c53c29f12aa0af1d.boolector.4wlf2anm-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/boolector-c53c29f12aa0af1d.boolector.4wlf2anm-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/boolector-c53c29f12aa0af1d.boolector.4wlf2anm-cgu.4.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/boolector-c53c29f12aa0af1d" "/opt/rustwide/target/debug/deps/boolector-c53c29f12aa0af1d.41nlq1bwmxl6qmb0.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ad1ab5f7ba3783f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-be4838eb8e86accd.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d7f97d30aca9ddf1.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-2e806a0559ee0b3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9137a404219e7a82.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-8d91840fa9dc45d3.rlib" "/opt/rustwide/target/debug/deps/liblibc-809b3ff95751964d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8bb11f807a7b6b4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ca8087507780d964.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-259c92b387c1c166.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-16e0a2fbbb8e14b3.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-8a1651b8e23d2aaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-23bdd98b0574083e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-855a92055ec33e2e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-24c70dd44fbacdfb.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-b326273841bae587.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ac3c1f0e16507051.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a5729542b65954aa.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-09bd1119ab1cad7d.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-9a787681bfbeaf61.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-5a0398ee67f74664.rlib" "-Wl,-Bdynamic" "-lboolector" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lboolector
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `boolector`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `Command { std: "docker" "inspect" "38029580b31ae7c29baa3162ed7bbc31a30ea158b6da84b46a94e63640e1a6e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "38029580b31ae7c29baa3162ed7bbc31a30ea158b6da84b46a94e63640e1a6e8", kill_on_drop: false }`
[INFO] [stdout] 38029580b31ae7c29baa3162ed7bbc31a30ea158b6da84b46a94e63640e1a6e8