[INFO] crate seer-z3 0.1.2 is already in cache
[INFO] testing seer-z3-0.1.2 against master#28742a1146f10a4f09369baad027a464acb7a766 for pr-71274
[INFO] extracting crate seer-z3 0.1.2 into /workspace/builds/worker-6/source
[INFO] validating manifest of crates.io crate seer-z3 0.1.2 on toolchain 28742a1146f10a4f09369baad027a464acb7a766
[INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking crates.io crate seer-z3 0.1.2
[INFO] finished tweaking crates.io crate seer-z3 0.1.2
[INFO] tweaked toml for crates.io crate seer-z3 0.1.2 written to /workspace/builds/worker-6/source/Cargo.toml
[INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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=forbid" "-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" "+28742a1146f10a4f09369baad027a464acb7a766" "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] 22bc78bbd627d0bb9f824f8fb077496addb681fba531aca723a09704d50884aa
[INFO] running `"docker" "start" "-a" "22bc78bbd627d0bb9f824f8fb077496addb681fba531aca723a09704d50884aa"`
[INFO] [stderr]    Compiling log v0.4.8
[INFO] [stderr]    Compiling z3-sys v0.3.0
[INFO] [stderr]    Compiling log v0.3.9
[INFO] [stderr]    Compiling seer-z3 v0.1.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.78s
[INFO] running `"docker" "inspect" "22bc78bbd627d0bb9f824f8fb077496addb681fba531aca723a09704d50884aa"`
[INFO] running `"docker" "rm" "-f" "22bc78bbd627d0bb9f824f8fb077496addb681fba531aca723a09704d50884aa"`
[INFO] [stdout] 22bc78bbd627d0bb9f824f8fb077496addb681fba531aca723a09704d50884aa
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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=forbid" "-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" "+28742a1146f10a4f09369baad027a464acb7a766" "test" "--frozen" "--no-run"`
[INFO] [stdout] 657e1344bfea18d3988751acee3a03a0c3039eacf2191cbdf9c169b4fab2d9da
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `"docker" "start" "-a" "657e1344bfea18d3988751acee3a03a0c3039eacf2191cbdf9c169b4fab2d9da"`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling nom v1.2.4
[INFO] [stderr]    Compiling memchr v0.1.11
[INFO] [stderr]    Compiling thread-id v2.0.0
[INFO] [stderr]    Compiling thread_local v0.2.7
[INFO] [stderr]    Compiling aho-corasick v0.5.3
[INFO] [stderr]    Compiling regex v0.1.80
[INFO] [stderr]    Compiling semver v0.2.3
[INFO] [stderr]    Compiling env_logger v0.3.5
[INFO] [stderr]    Compiling seer-z3 v0.1.2 (/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/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.lib.22kfy0mk-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3" "/opt/rustwide/target/debug/deps/lib-40933dac36b76ad3.12euf2ii6rz5mlnp.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0d6dc123ac3da8e3.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-6665100adb88b877.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b227005fb2b80a78.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-f520069809185d79.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-918304762f2d1de8.rlib" "/opt/rustwide/target/debug/deps/libseer_z3-4a2edce2c2acbd50.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-90280380184b0141.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-11e8ea2edc7b4738.rlib" "/opt/rustwide/target/debug/deps/libregex-0fe1cca4fe778f5d.rlib" "/opt/rustwide/target/debug/deps/libutf8_ranges-1b60f528dd4155d9.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-00bcdd374c605b4a.rlib" "/opt/rustwide/target/debug/deps/libthread_local-d0deac26d0ce21a1.rlib" "/opt/rustwide/target/debug/deps/libthread_id-c18d7294725d5df8.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-24f120b9502e7d29.rlib" "/opt/rustwide/target/debug/deps/libmemchr-d73c91d9c1d42d79.rlib" "/opt/rustwide/target/debug/deps/liblibc-7f3b8e4c2db2a8d8.rlib" "/opt/rustwide/target/debug/deps/liblog-bd3d795ce9bbd9ff.rlib" "/opt/rustwide/target/debug/deps/liblog-e05329b9ca199b2b.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-7bfa6ddb9b2ff1d3.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1dac1a412c98f50d.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b7841fd014bf83a1.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-338c0763450dca22.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5f2e5d11836e0967.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-81a9070bd3553adf.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-e297830377b95af4.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-b38b87f2dd197fa0.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-601015f2e15e7e26.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-439f3a589bd88586.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-57ab7e6ac23ce11f.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-3aec7f88778e912a.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-b6806800b307d4b9.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-e49d7651b12f7563.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-e8266574e26adcc3.rlib" "-Wl,-Bdynamic" "-lz3" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stderr]   = note: /usr/bin/ld: cannot find -lz3
[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 `seer-z3`.
[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/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.seer_z3.b24rq0lt-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad" "/opt/rustwide/target/debug/deps/seer_z3-dbde942cf082a9ad.1oeijukrcjf7ur7d.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0d6dc123ac3da8e3.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-6665100adb88b877.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b227005fb2b80a78.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-f520069809185d79.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-918304762f2d1de8.rlib" "/opt/rustwide/target/debug/deps/liblibc-7f3b8e4c2db2a8d8.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-90280380184b0141.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "/opt/rustwide/target/debug/deps/liblog-bd3d795ce9bbd9ff.rlib" "/opt/rustwide/target/debug/deps/liblog-e05329b9ca199b2b.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-7bfa6ddb9b2ff1d3.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1dac1a412c98f50d.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b7841fd014bf83a1.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-338c0763450dca22.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5f2e5d11836e0967.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-81a9070bd3553adf.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-e297830377b95af4.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-b38b87f2dd197fa0.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-601015f2e15e7e26.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-439f3a589bd88586.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-57ab7e6ac23ce11f.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-3aec7f88778e912a.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-b6806800b307d4b9.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-e49d7651b12f7563.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-e8266574e26adcc3.rlib" "-Wl,-Bdynamic" "-lutil" "-ldl" "-lutil" "-lz3" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stderr]   = note: /usr/bin/ld: cannot find -lz3
[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 `seer-z3`.
[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/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.semver_tests.f0ba5e8h-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213" "/opt/rustwide/target/debug/deps/semver_tests-48c810fb1f673213.3bnzht58v6lud6n1.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0d6dc123ac3da8e3.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-6665100adb88b877.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b227005fb2b80a78.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-f520069809185d79.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-918304762f2d1de8.rlib" "/opt/rustwide/target/debug/deps/libseer_z3-4a2edce2c2acbd50.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-90280380184b0141.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "/opt/rustwide/target/debug/deps/libsemver-4613e8afebec43fb.rlib" "/opt/rustwide/target/debug/deps/libnom-01272ff2973aecc6.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-11e8ea2edc7b4738.rlib" "/opt/rustwide/target/debug/deps/libregex-0fe1cca4fe778f5d.rlib" "/opt/rustwide/target/debug/deps/libutf8_ranges-1b60f528dd4155d9.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-00bcdd374c605b4a.rlib" "/opt/rustwide/target/debug/deps/libthread_local-d0deac26d0ce21a1.rlib" "/opt/rustwide/target/debug/deps/libthread_id-c18d7294725d5df8.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-24f120b9502e7d29.rlib" "/opt/rustwide/target/debug/deps/libmemchr-d73c91d9c1d42d79.rlib" "/opt/rustwide/target/debug/deps/liblibc-7f3b8e4c2db2a8d8.rlib" "/opt/rustwide/target/debug/deps/liblog-bd3d795ce9bbd9ff.rlib" "/opt/rustwide/target/debug/deps/liblog-e05329b9ca199b2b.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-7bfa6ddb9b2ff1d3.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1dac1a412c98f50d.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b7841fd014bf83a1.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-338c0763450dca22.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5f2e5d11836e0967.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-81a9070bd3553adf.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-e297830377b95af4.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-b38b87f2dd197fa0.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-601015f2e15e7e26.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-439f3a589bd88586.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-57ab7e6ac23ce11f.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-3aec7f88778e912a.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-b6806800b307d4b9.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-e49d7651b12f7563.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-e8266574e26adcc3.rlib" "-Wl,-Bdynamic" "-lz3" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stderr]   = note: /usr/bin/ld: cannot find -lz3
[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 `seer-z3`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "657e1344bfea18d3988751acee3a03a0c3039eacf2191cbdf9c169b4fab2d9da"`
[INFO] running `"docker" "rm" "-f" "657e1344bfea18d3988751acee3a03a0c3039eacf2191cbdf9c169b4fab2d9da"`
[INFO] [stdout] 657e1344bfea18d3988751acee3a03a0c3039eacf2191cbdf9c169b4fab2d9da