[INFO] fetching crate haybale 0.5.0...
[INFO] testing haybale-0.5.0 against 1.45.2 for beta-1.46-1
[INFO] extracting crate haybale 0.5.0 into /workspace/builds/worker-12/source
[INFO] validating manifest of crates.io crate haybale 0.5.0 on toolchain 1.45.2
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.45.2" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking crates.io crate haybale 0.5.0
[INFO] finished tweaking crates.io crate haybale 0.5.0
[INFO] tweaked toml for crates.io crate haybale 0.5.0 written to /workspace/builds/worker-12/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.45.2" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.45.2" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+1.45.2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0d271fe2adf1809844997c263af634b3f2b9273de31b56d758fdea67c5ae8a0a
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "0d271fe2adf1809844997c263af634b3f2b9273de31b56d758fdea67c5ae8a0a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0d271fe2adf1809844997c263af634b3f2b9273de31b56d758fdea67c5ae8a0a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0d271fe2adf1809844997c263af634b3f2b9273de31b56d758fdea67c5ae8a0a", kill_on_drop: false }`
[INFO] [stdout] 0d271fe2adf1809844997c263af634b3f2b9273de31b56d758fdea67c5ae8a0a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+1.45.2" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2c7f201a16755bcca146b25cad7ad35c2e3796669a808ebb8cc326c753a3d5d2
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "2c7f201a16755bcca146b25cad7ad35c2e3796669a808ebb8cc326c753a3d5d2", kill_on_drop: false }`
[INFO] [stderr]    Compiling reduce v0.1.3
[INFO] [stderr]    Compiling cpp_demangle v0.2.16
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling boolector-sys v0.5.0
[INFO] [stderr]    Compiling llvm-sys v100.1.0
[INFO] [stderr]    Compiling boolector v0.4.0
[INFO] [stderr]    Compiling llvm-ir v0.6.0
[INFO] [stderr]    Compiling haybale v0.5.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 22.45s
[INFO] running `Command { std: "docker" "inspect" "2c7f201a16755bcca146b25cad7ad35c2e3796669a808ebb8cc326c753a3d5d2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2c7f201a16755bcca146b25cad7ad35c2e3796669a808ebb8cc326c753a3d5d2", kill_on_drop: false }`
[INFO] [stdout] 2c7f201a16755bcca146b25cad7ad35c2e3796669a808ebb8cc326c753a3d5d2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+1.45.2" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 410ffc7ba0420e188c7e97c11e8a0bb12236cd2af35e418dd2a37048010ff14e
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "410ffc7ba0420e188c7e97c11e8a0bb12236cd2af35e418dd2a37048010ff14e", kill_on_drop: false }`
[INFO] [stderr]    Compiling env_logger v0.7.1
[INFO] [stderr]    Compiling haybale v0.5.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: linking with `cc` failed: exit code: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.linkedlist_tests.3h8l2dgc-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346" "/opt/rustwide/target/debug/deps/linkedlist_tests-02f35edafef17346.3xjiakf8m1axwstx.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-eceb49a3c0122722/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-61ac5940bfce3af7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-a3544bc2316d4651.rlib" "/opt/rustwide/target/debug/deps/libatty-ec605c38cac3edca.rlib" "/opt/rustwide/target/debug/deps/libhumantime-6c195576bab721d4.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c22e30eaeceace11.rlib" "/opt/rustwide/target/debug/deps/libregex-347800da6df6c271.rlib" "/opt/rustwide/target/debug/deps/libthread_local-87cfd577652377a1.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-660ab907323d6aba.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c234f626249548c1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-97b2f11ab4a5d4c6.rlib" "/opt/rustwide/target/debug/deps/libmemchr-994f1cb85517744c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ad1ab5f7ba3783f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-be4838eb8e86accd.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d7f97d30aca9ddf1.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-2e806a0559ee0b3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9137a404219e7a82.rlib" "/opt/rustwide/target/debug/deps/libhaybale-f9c87882669cb38e.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-85e1a4aa89f3312f.rlib" "/opt/rustwide/target/debug/deps/libitertools-d76719789822668b.rlib" "/opt/rustwide/target/debug/deps/libboolector-fb13a26d2b093493.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-8d91840fa9dc45d3.rlib" "/opt/rustwide/target/debug/deps/libreduce-de911dd265c984c0.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e37d6a94bb5dbdd4.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-729badfdc770f305.rlib" "/opt/rustwide/target/debug/deps/liblog-f4faf1fa578e34f7.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-ab1bd98be96b57b3.rlib" "/opt/rustwide/target/debug/deps/libeither-c099265b15df2eb0.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-1368c75271dc4383.rlib" "/opt/rustwide/target/debug/deps/liblibc-809b3ff95751964d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8bb11f807a7b6b4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ca8087507780d964.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-259c92b387c1c166.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-16e0a2fbbb8e14b3.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-8a1651b8e23d2aaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-23bdd98b0574083e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-855a92055ec33e2e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-24c70dd44fbacdfb.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-b326273841bae587.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ac3c1f0e16507051.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a5729542b65954aa.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-09bd1119ab1cad7d.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-9a787681bfbeaf61.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-5a0398ee67f74664.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lboolector
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `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] [stdout] error: linking with `cc` failed: exit code: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.simd_tests.a19bjj3b-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a" "/opt/rustwide/target/debug/deps/simd_tests-19f8174dcb83fd8a.3e7z864e41sg0ko5.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-eceb49a3c0122722/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-61ac5940bfce3af7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-a3544bc2316d4651.rlib" "/opt/rustwide/target/debug/deps/libatty-ec605c38cac3edca.rlib" "/opt/rustwide/target/debug/deps/libhumantime-6c195576bab721d4.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c22e30eaeceace11.rlib" "/opt/rustwide/target/debug/deps/libregex-347800da6df6c271.rlib" "/opt/rustwide/target/debug/deps/libthread_local-87cfd577652377a1.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-660ab907323d6aba.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c234f626249548c1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-97b2f11ab4a5d4c6.rlib" "/opt/rustwide/target/debug/deps/libmemchr-994f1cb85517744c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ad1ab5f7ba3783f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-be4838eb8e86accd.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d7f97d30aca9ddf1.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-2e806a0559ee0b3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9137a404219e7a82.rlib" "/opt/rustwide/target/debug/deps/libhaybale-f9c87882669cb38e.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-85e1a4aa89f3312f.rlib" "/opt/rustwide/target/debug/deps/libitertools-d76719789822668b.rlib" "/opt/rustwide/target/debug/deps/libboolector-fb13a26d2b093493.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-8d91840fa9dc45d3.rlib" "/opt/rustwide/target/debug/deps/libreduce-de911dd265c984c0.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e37d6a94bb5dbdd4.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-729badfdc770f305.rlib" "/opt/rustwide/target/debug/deps/liblog-f4faf1fa578e34f7.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-ab1bd98be96b57b3.rlib" "/opt/rustwide/target/debug/deps/libeither-c099265b15df2eb0.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-1368c75271dc4383.rlib" "/opt/rustwide/target/debug/deps/liblibc-809b3ff95751964d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8bb11f807a7b6b4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ca8087507780d964.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-259c92b387c1c166.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-16e0a2fbbb8e14b3.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-8a1651b8e23d2aaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-23bdd98b0574083e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-855a92055ec33e2e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-24c70dd44fbacdfb.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-b326273841bae587.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ac3c1f0e16507051.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a5729542b65954aa.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-09bd1119ab1cad7d.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-9a787681bfbeaf61.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-5a0398ee67f74664.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lboolector
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit code: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.memory_tests.p08eyds9-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2" "/opt/rustwide/target/debug/deps/memory_tests-01c88f66946865f2.23kxue2ybgd6rtih.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-eceb49a3c0122722/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-61ac5940bfce3af7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-a3544bc2316d4651.rlib" "/opt/rustwide/target/debug/deps/libatty-ec605c38cac3edca.rlib" "/opt/rustwide/target/debug/deps/libhumantime-6c195576bab721d4.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c22e30eaeceace11.rlib" "/opt/rustwide/target/debug/deps/libregex-347800da6df6c271.rlib" "/opt/rustwide/target/debug/deps/libthread_local-87cfd577652377a1.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-660ab907323d6aba.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c234f626249548c1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-97b2f11ab4a5d4c6.rlib" "/opt/rustwide/target/debug/deps/libmemchr-994f1cb85517744c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ad1ab5f7ba3783f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-be4838eb8e86accd.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d7f97d30aca9ddf1.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-2e806a0559ee0b3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9137a404219e7a82.rlib" "/opt/rustwide/target/debug/deps/libhaybale-f9c87882669cb38e.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-85e1a4aa89f3312f.rlib" "/opt/rustwide/target/debug/deps/libitertools-d76719789822668b.rlib" "/opt/rustwide/target/debug/deps/libboolector-fb13a26d2b093493.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-8d91840fa9dc45d3.rlib" "/opt/rustwide/target/debug/deps/libreduce-de911dd265c984c0.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e37d6a94bb5dbdd4.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-729badfdc770f305.rlib" "/opt/rustwide/target/debug/deps/liblog-f4faf1fa578e34f7.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-ab1bd98be96b57b3.rlib" "/opt/rustwide/target/debug/deps/libeither-c099265b15df2eb0.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-1368c75271dc4383.rlib" "/opt/rustwide/target/debug/deps/liblibc-809b3ff95751964d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8bb11f807a7b6b4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ca8087507780d964.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-259c92b387c1c166.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-16e0a2fbbb8e14b3.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-8a1651b8e23d2aaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-23bdd98b0574083e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-855a92055ec33e2e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-24c70dd44fbacdfb.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-b326273841bae587.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ac3c1f0e16507051.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a5729542b65954aa.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-09bd1119ab1cad7d.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-9a787681bfbeaf61.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-5a0398ee67f74664.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lboolector
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit code: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.may_abort_tests.6zm75o8n-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b" "/opt/rustwide/target/debug/deps/may_abort_tests-9655584f16ec812b.1hc318iprmnxmjxt.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-eceb49a3c0122722/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-61ac5940bfce3af7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-a3544bc2316d4651.rlib" "/opt/rustwide/target/debug/deps/libatty-ec605c38cac3edca.rlib" "/opt/rustwide/target/debug/deps/libhumantime-6c195576bab721d4.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c22e30eaeceace11.rlib" "/opt/rustwide/target/debug/deps/libregex-347800da6df6c271.rlib" "/opt/rustwide/target/debug/deps/libthread_local-87cfd577652377a1.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-660ab907323d6aba.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c234f626249548c1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-97b2f11ab4a5d4c6.rlib" "/opt/rustwide/target/debug/deps/libmemchr-994f1cb85517744c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ad1ab5f7ba3783f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-be4838eb8e86accd.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d7f97d30aca9ddf1.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-2e806a0559ee0b3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9137a404219e7a82.rlib" "/opt/rustwide/target/debug/deps/libhaybale-f9c87882669cb38e.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-85e1a4aa89f3312f.rlib" "/opt/rustwide/target/debug/deps/libitertools-d76719789822668b.rlib" "/opt/rustwide/target/debug/deps/libboolector-fb13a26d2b093493.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-8d91840fa9dc45d3.rlib" "/opt/rustwide/target/debug/deps/libreduce-de911dd265c984c0.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e37d6a94bb5dbdd4.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-729badfdc770f305.rlib" "/opt/rustwide/target/debug/deps/liblog-f4faf1fa578e34f7.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-ab1bd98be96b57b3.rlib" "/opt/rustwide/target/debug/deps/libeither-c099265b15df2eb0.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-1368c75271dc4383.rlib" "/opt/rustwide/target/debug/deps/liblibc-809b3ff95751964d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8bb11f807a7b6b4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ca8087507780d964.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-259c92b387c1c166.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-16e0a2fbbb8e14b3.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-8a1651b8e23d2aaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-23bdd98b0574083e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-855a92055ec33e2e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-24c70dd44fbacdfb.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-b326273841bae587.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ac3c1f0e16507051.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a5729542b65954aa.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-09bd1119ab1cad7d.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-9a787681bfbeaf61.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-5a0398ee67f74664.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lboolector
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit code: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.functionptr_tests.b31g9q0k-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9" "/opt/rustwide/target/debug/deps/functionptr_tests-c6c4aef5c67d0af9.7mo7lntu93tx9pr.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-eceb49a3c0122722/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-61ac5940bfce3af7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-a3544bc2316d4651.rlib" "/opt/rustwide/target/debug/deps/libatty-ec605c38cac3edca.rlib" "/opt/rustwide/target/debug/deps/libhumantime-6c195576bab721d4.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c22e30eaeceace11.rlib" "/opt/rustwide/target/debug/deps/libregex-347800da6df6c271.rlib" "/opt/rustwide/target/debug/deps/libthread_local-87cfd577652377a1.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-660ab907323d6aba.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c234f626249548c1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-97b2f11ab4a5d4c6.rlib" "/opt/rustwide/target/debug/deps/libmemchr-994f1cb85517744c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ad1ab5f7ba3783f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-be4838eb8e86accd.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d7f97d30aca9ddf1.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-2e806a0559ee0b3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9137a404219e7a82.rlib" "/opt/rustwide/target/debug/deps/libhaybale-f9c87882669cb38e.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-85e1a4aa89f3312f.rlib" "/opt/rustwide/target/debug/deps/libitertools-d76719789822668b.rlib" "/opt/rustwide/target/debug/deps/libboolector-fb13a26d2b093493.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-8d91840fa9dc45d3.rlib" "/opt/rustwide/target/debug/deps/libreduce-de911dd265c984c0.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e37d6a94bb5dbdd4.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-729badfdc770f305.rlib" "/opt/rustwide/target/debug/deps/liblog-f4faf1fa578e34f7.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-ab1bd98be96b57b3.rlib" "/opt/rustwide/target/debug/deps/libeither-c099265b15df2eb0.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-1368c75271dc4383.rlib" "/opt/rustwide/target/debug/deps/liblibc-809b3ff95751964d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8bb11f807a7b6b4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ca8087507780d964.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-259c92b387c1c166.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-16e0a2fbbb8e14b3.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-8a1651b8e23d2aaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-23bdd98b0574083e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-855a92055ec33e2e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-24c70dd44fbacdfb.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-b326273841bae587.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ac3c1f0e16507051.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a5729542b65954aa.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-09bd1119ab1cad7d.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-9a787681bfbeaf61.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-5a0398ee67f74664.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lboolector
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit code: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.struct_tests.9368u38s-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865" "/opt/rustwide/target/debug/deps/struct_tests-a05d992883587865.4zrehsaggwwdo7bs.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-eceb49a3c0122722/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-61ac5940bfce3af7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-a3544bc2316d4651.rlib" "/opt/rustwide/target/debug/deps/libatty-ec605c38cac3edca.rlib" "/opt/rustwide/target/debug/deps/libhumantime-6c195576bab721d4.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c22e30eaeceace11.rlib" "/opt/rustwide/target/debug/deps/libregex-347800da6df6c271.rlib" "/opt/rustwide/target/debug/deps/libthread_local-87cfd577652377a1.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-660ab907323d6aba.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c234f626249548c1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-97b2f11ab4a5d4c6.rlib" "/opt/rustwide/target/debug/deps/libmemchr-994f1cb85517744c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ad1ab5f7ba3783f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-be4838eb8e86accd.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d7f97d30aca9ddf1.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-2e806a0559ee0b3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9137a404219e7a82.rlib" "/opt/rustwide/target/debug/deps/libhaybale-f9c87882669cb38e.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-85e1a4aa89f3312f.rlib" "/opt/rustwide/target/debug/deps/libitertools-d76719789822668b.rlib" "/opt/rustwide/target/debug/deps/libboolector-fb13a26d2b093493.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-8d91840fa9dc45d3.rlib" "/opt/rustwide/target/debug/deps/libreduce-de911dd265c984c0.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e37d6a94bb5dbdd4.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-729badfdc770f305.rlib" "/opt/rustwide/target/debug/deps/liblog-f4faf1fa578e34f7.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-ab1bd98be96b57b3.rlib" "/opt/rustwide/target/debug/deps/libeither-c099265b15df2eb0.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-1368c75271dc4383.rlib" "/opt/rustwide/target/debug/deps/liblibc-809b3ff95751964d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8bb11f807a7b6b4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ca8087507780d964.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-259c92b387c1c166.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-16e0a2fbbb8e14b3.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-8a1651b8e23d2aaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-23bdd98b0574083e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-855a92055ec33e2e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-24c70dd44fbacdfb.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-b326273841bae587.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ac3c1f0e16507051.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a5729542b65954aa.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-09bd1119ab1cad7d.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-9a787681bfbeaf61.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-5a0398ee67f74664.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lboolector
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit code: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.loop_tests.epxtvi1q-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d" "/opt/rustwide/target/debug/deps/loop_tests-04adae188ce9f35d.3utr4ihrqmuw96um.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-eceb49a3c0122722/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-61ac5940bfce3af7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-a3544bc2316d4651.rlib" "/opt/rustwide/target/debug/deps/libatty-ec605c38cac3edca.rlib" "/opt/rustwide/target/debug/deps/libhumantime-6c195576bab721d4.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c22e30eaeceace11.rlib" "/opt/rustwide/target/debug/deps/libregex-347800da6df6c271.rlib" "/opt/rustwide/target/debug/deps/libthread_local-87cfd577652377a1.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-660ab907323d6aba.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c234f626249548c1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-97b2f11ab4a5d4c6.rlib" "/opt/rustwide/target/debug/deps/libmemchr-994f1cb85517744c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ad1ab5f7ba3783f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-be4838eb8e86accd.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d7f97d30aca9ddf1.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-2e806a0559ee0b3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9137a404219e7a82.rlib" "/opt/rustwide/target/debug/deps/libhaybale-f9c87882669cb38e.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-85e1a4aa89f3312f.rlib" "/opt/rustwide/target/debug/deps/libitertools-d76719789822668b.rlib" "/opt/rustwide/target/debug/deps/libboolector-fb13a26d2b093493.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-8d91840fa9dc45d3.rlib" "/opt/rustwide/target/debug/deps/libreduce-de911dd265c984c0.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e37d6a94bb5dbdd4.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-729badfdc770f305.rlib" "/opt/rustwide/target/debug/deps/liblog-f4faf1fa578e34f7.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-ab1bd98be96b57b3.rlib" "/opt/rustwide/target/debug/deps/libeither-c099265b15df2eb0.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-1368c75271dc4383.rlib" "/opt/rustwide/target/debug/deps/liblibc-809b3ff95751964d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8bb11f807a7b6b4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ca8087507780d964.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-259c92b387c1c166.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-16e0a2fbbb8e14b3.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-8a1651b8e23d2aaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-23bdd98b0574083e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-855a92055ec33e2e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-24c70dd44fbacdfb.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-b326273841bae587.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ac3c1f0e16507051.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a5729542b65954aa.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-09bd1119ab1cad7d.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-9a787681bfbeaf61.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-5a0398ee67f74664.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lboolector
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit code: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.global_tests.a784k4oz-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b" "/opt/rustwide/target/debug/deps/global_tests-f3d47a21a976779b.z4ewra3k92xjudp.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-eceb49a3c0122722/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-61ac5940bfce3af7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-a3544bc2316d4651.rlib" "/opt/rustwide/target/debug/deps/libatty-ec605c38cac3edca.rlib" "/opt/rustwide/target/debug/deps/libhumantime-6c195576bab721d4.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c22e30eaeceace11.rlib" "/opt/rustwide/target/debug/deps/libregex-347800da6df6c271.rlib" "/opt/rustwide/target/debug/deps/libthread_local-87cfd577652377a1.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-660ab907323d6aba.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c234f626249548c1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-97b2f11ab4a5d4c6.rlib" "/opt/rustwide/target/debug/deps/libmemchr-994f1cb85517744c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3ad1ab5f7ba3783f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-be4838eb8e86accd.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d7f97d30aca9ddf1.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-2e806a0559ee0b3f.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9137a404219e7a82.rlib" "/opt/rustwide/target/debug/deps/libhaybale-f9c87882669cb38e.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-85e1a4aa89f3312f.rlib" "/opt/rustwide/target/debug/deps/libitertools-d76719789822668b.rlib" "/opt/rustwide/target/debug/deps/libboolector-fb13a26d2b093493.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-8d91840fa9dc45d3.rlib" "/opt/rustwide/target/debug/deps/libreduce-de911dd265c984c0.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e37d6a94bb5dbdd4.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-729badfdc770f305.rlib" "/opt/rustwide/target/debug/deps/liblog-f4faf1fa578e34f7.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-ab1bd98be96b57b3.rlib" "/opt/rustwide/target/debug/deps/libeither-c099265b15df2eb0.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-1368c75271dc4383.rlib" "/opt/rustwide/target/debug/deps/liblibc-809b3ff95751964d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8bb11f807a7b6b4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ca8087507780d964.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-259c92b387c1c166.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-16e0a2fbbb8e14b3.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-8a1651b8e23d2aaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-23bdd98b0574083e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-855a92055ec33e2e.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-24c70dd44fbacdfb.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-b326273841bae587.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ac3c1f0e16507051.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a5729542b65954aa.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-09bd1119ab1cad7d.rlib" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-9a787681bfbeaf61.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.45.2-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-5a0398ee67f74664.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lboolector
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: build failed
[INFO] running `Command { std: "docker" "inspect" "410ffc7ba0420e188c7e97c11e8a0bb12236cd2af35e418dd2a37048010ff14e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "410ffc7ba0420e188c7e97c11e8a0bb12236cd2af35e418dd2a37048010ff14e", kill_on_drop: false }`
[INFO] [stdout] 410ffc7ba0420e188c7e97c11e8a0bb12236cd2af35e418dd2a37048010ff14e