[INFO] fetching crate haybale 0.4.0... [INFO] testing haybale-0.4.0 against beta-2020-06-03 for beta-1.45-1 [INFO] extracting crate haybale 0.4.0 into /workspace/builds/worker-5/source [INFO] validating manifest of crates.io crate haybale 0.4.0 on toolchain beta-2020-06-03 [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate haybale 0.4.0 [INFO] finished tweaking crates.io crate haybale 0.4.0 [INFO] tweaked toml for crates.io crate haybale 0.4.0 written to /workspace/builds/worker-5/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "build" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 093d8835b50f45d9786448efca02431ba1372e1ae3598fd762e0dec1a084515a [INFO] running `"docker" "start" "-a" "093d8835b50f45d9786448efca02431ba1372e1ae3598fd762e0dec1a084515a"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling glob v0.3.0 [INFO] [stderr] Compiling boolector-sys v0.4.0 [INFO] [stderr] Compiling reduce v0.1.2 [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling llvm-sys v90.0.0 [INFO] [stderr] Compiling boolector v0.3.0 [INFO] [stderr] Compiling cpp_demangle v0.2.16 [INFO] [stderr] Compiling llvm-ir v0.5.3 [INFO] [stderr] Compiling haybale v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 28.74s [INFO] running `"docker" "inspect" "093d8835b50f45d9786448efca02431ba1372e1ae3598fd762e0dec1a084515a"` [INFO] running `"docker" "rm" "-f" "093d8835b50f45d9786448efca02431ba1372e1ae3598fd762e0dec1a084515a"` [INFO] [stdout] 093d8835b50f45d9786448efca02431ba1372e1ae3598fd762e0dec1a084515a [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] e3156e3402696cace1be3ff213e25635e1d2097c39016d8b9aae2c50528ed09c [INFO] running `"docker" "start" "-a" "e3156e3402696cace1be3ff213e25635e1d2097c39016d8b9aae2c50528ed09c"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling env_logger v0.7.1 [INFO] [stderr] Compiling haybale v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.linkedlist_tests.1v6uyez1-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36" "/opt/rustwide/target/debug/deps/linkedlist_tests-90f3d298b7bbbf36.zuif6at5d9yesqd.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: could not compile `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.loop_tests.ejpnvi4r-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb" "/opt/rustwide/target/debug/deps/loop_tests-d7881884970d80fb.33sks6zfw4ibsxs6.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.struct_tests.x1sge603-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e" "/opt/rustwide/target/debug/deps/struct_tests-f3a0ab0ddfd4b61e.96s9nm1pyixzgsw.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.may_abort_tests.7i2e4zcf-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89" "/opt/rustwide/target/debug/deps/may_abort_tests-219c293523305f89.ohl9vlg9oykjlfx.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.memory_tests.10o32lw3-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280" "/opt/rustwide/target/debug/deps/memory_tests-2ef981a72e0b0280.2jxz1eu0mgq43lto.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.functionptr_tests.12uivef2-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9" "/opt/rustwide/target/debug/deps/functionptr_tests-35890552e70551b9.d7vgv9tgbv9a332.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.global_tests.2k6pfgwl-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7" "/opt/rustwide/target/debug/deps/global_tests-7fbbbacabbf8b6e7.akl2axov8kkmyvc.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.hook_tests.48jg7anh-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae" "/opt/rustwide/target/debug/deps/hook_tests-d9109d1bfc41adae.38f5sbs2sh6oj35z.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.call_tests.5s3nit5w-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7" "/opt/rustwide/target/debug/deps/call_tests-a3299d9e079a31e7.2tnyjg1b02y97k6u.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.basic_tests.83gkh3b0-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8" "/opt/rustwide/target/debug/deps/basic_tests-7fb9b17140eecaf8.1yt831t3kufjra4h.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.simd_tests.8lxbeis0-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2" "/opt/rustwide/target/debug/deps/simd_tests-084b7394501d5fe2.2udv3g63zb18f57m.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.throwcatch_tests.7kuc0c3j-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1" "/opt/rustwide/target/debug/deps/throwcatch_tests-645751e56e06c2f1.107fwm7z5mjbhzzi.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libhaybale-e5c358e6d3b05b5f.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.haybale.kd69ls3g-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37" "/opt/rustwide/target/debug/deps/haybale-92e6ea4445c6ae37.nvcsi34wziyzx4q.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-9fd67c26f8a02dcf/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcpp_demangle-f614e4e63ed9e85b.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-e96e50af3f31b74f.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-b0aa0fca5eab8966.rlib" "/opt/rustwide/target/debug/deps/libatty-732074f349571b64.rlib" "/opt/rustwide/target/debug/deps/libhumantime-dfd7af29c5915f0f.rlib" "/opt/rustwide/target/debug/deps/libquick_error-a8ed19302f3259f8.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7abde785476cae.rlib" "/opt/rustwide/target/debug/deps/libthread_local-8d83e4901f0f282f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-36bd8bbfaaa85bd1.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-54fdda16b5257135.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-0b4c429c60f353ff.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f8260b06e2dd8573.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0a07979da1fa7aa2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-171ede43b21d034c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ea69ac8b5a0936d1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-6be6d4d5d08eb152.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-c718480fe68c7cec.rlib" "/opt/rustwide/target/debug/deps/libitertools-53813fcc194bc7e8.rlib" "/opt/rustwide/target/debug/deps/libboolector-56708816112adcf2.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-740e160796e2bf53.rlib" "/opt/rustwide/target/debug/deps/libreduce-b8d49e0c7bc981f3.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-96825a490c3cad52.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-35c5346e1ddea670.rlib" "/opt/rustwide/target/debug/deps/liblog-3d65ebee37a7b6c8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d7329a98a9ffead.rlib" "/opt/rustwide/target/debug/deps/libeither-cda11bec59b157f6.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-44e962e5a3b68f4d.rlib" "/opt/rustwide/target/debug/deps/liblibc-2e17c5c99334ee98.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-44f8eb3d0b2fad61.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-abc626f09920d361.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-546e83c8973f1a65.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-12768dfc68674934.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e06867e4497f2ee8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-cbc579f43f6df57b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7abd6d5a7ebf9a23.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-46423c7bc03bd327.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fc3773ed7bc68f07.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-9cdc98176efd27e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-02d88502a763e06b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8cdc9d38dd6cd3ce.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-336f7d63e72901ef.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-57917b1be5233117.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: build failed [INFO] running `"docker" "inspect" "e3156e3402696cace1be3ff213e25635e1d2097c39016d8b9aae2c50528ed09c"` [INFO] running `"docker" "rm" "-f" "e3156e3402696cace1be3ff213e25635e1d2097c39016d8b9aae2c50528ed09c"` [INFO] [stdout] e3156e3402696cace1be3ff213e25635e1d2097c39016d8b9aae2c50528ed09c