[INFO] crate seer-z3 0.1.2 is already in cache
[INFO] extracting crate seer-z3 0.1.2 into work/ex/beta-1.38-1/sources/1.37.0/reg/seer-z3/0.1.2
[INFO] extracting crate seer-z3 0.1.2 into work/ex/beta-1.38-1/sources/beta-2019-08-13/reg/seer-z3/0.1.2
[INFO] validating manifest of seer-z3-0.1.2 on toolchain 1.37.0
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of seer-z3-0.1.2 on toolchain beta-2019-08-13
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing seer-z3-0.1.2
[INFO] finished frobbing seer-z3-0.1.2
[INFO] frobbed toml for seer-z3-0.1.2 written to work/ex/beta-1.38-1/sources/1.37.0/reg/seer-z3/0.1.2/Cargo.toml
[INFO] started frobbing seer-z3-0.1.2
[INFO] finished frobbing seer-z3-0.1.2
[INFO] frobbed toml for seer-z3-0.1.2 written to work/ex/beta-1.38-1/sources/beta-2019-08-13/reg/seer-z3/0.1.2/Cargo.toml
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] testing seer-z3-0.1.2 against 1.37.0 for beta-1.38-1
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-3/1.37.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/1.37.0/reg/seer-z3/0.1.2:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.37.0" "build" "--frozen"`
[INFO] [stdout] 14496eaa0672c473953e06bc18e459c93e64987c7e80bc8f848f5e5f23259f74
[INFO] running `"docker" "start" "-a" "14496eaa0672c473953e06bc18e459c93e64987c7e80bc8f848f5e5f23259f74"`
[INFO] [stderr]    Compiling z3-sys v0.3.0
[INFO] [stderr]    Compiling seer-z3 v0.1.2 (/opt/crater/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.13s
[INFO] running `"docker" "inspect" "14496eaa0672c473953e06bc18e459c93e64987c7e80bc8f848f5e5f23259f74"`
[INFO] running `"docker" "rm" "-f" "14496eaa0672c473953e06bc18e459c93e64987c7e80bc8f848f5e5f23259f74"`
[INFO] [stdout] 14496eaa0672c473953e06bc18e459c93e64987c7e80bc8f848f5e5f23259f74
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-3/1.37.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/1.37.0/reg/seer-z3/0.1.2:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.37.0" "test" "--frozen" "--no-run"`
[INFO] [stdout] ab54e4fa6991899af5a9e0d038b429ed8edbb45ebab4feed5c73fc5aeb1fd6a4
[INFO] running `"docker" "start" "-a" "ab54e4fa6991899af5a9e0d038b429ed8edbb45ebab4feed5c73fc5aeb1fd6a4"`
[INFO] [stderr]    Compiling seer-z3 v0.1.2 (/opt/crater/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/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.seer_z3.5nk2uflb-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d" "/opt/crater/target/debug/deps/seer_z3-2ce1c06710a9166d.270g82m6sqyiteuq.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0127509d2e54a846.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-2651f8b4eed9e86e.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-c729851ce6e3efb2.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e8235f0d435d4737.rlib" "/opt/crater/target/debug/deps/liblibc-d019039477cac03b.rlib" "/opt/crater/target/debug/deps/libz3_sys-42816252a2edeeb6.rlib" "/opt/crater/target/debug/deps/liblazy_static-eb33edc716f69401.rlib" "/opt/crater/target/debug/deps/liblog-5ad476e9af8f39be.rlib" "/opt/crater/target/debug/deps/liblog-55cfa8f7ed258bff.rlib" "/opt/crater/target/debug/deps/libcfg_if-3028bdd7b8e15bb5.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-4a76ff35a356aedf.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e11c7b3b3225afe2.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-13217ede3d276f16.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-621a9ee22da6caa1.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-546c844e8071bbeb.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-be9569e4d599746f.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-47d8845cef2a3bc5.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-017511bce73a530c.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-be7979c57a08057b.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d6459c4f0817c67c.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-580035dd98451925.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-aee5c24fff305dea.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-8a55a4098920125a.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-9fc4b5be2ba5cc19.rlib" "-Wl,-Bdynamic" "-lutil" "-lutil" "-lz3" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-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] 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/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.lib.4ze3szd4-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.lib.4ze3szd4-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.lib.4ze3szd4-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.lib.4ze3szd4-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.lib.4ze3szd4-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.lib.4ze3szd4-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.lib.4ze3szd4-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.lib.4ze3szd4-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.lib.4ze3szd4-cgu.8.rcgu.o" "-o" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5" "/opt/crater/target/debug/deps/lib-5db738a6d35647c5.2168fmdrk2euum7.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0127509d2e54a846.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-2651f8b4eed9e86e.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-c729851ce6e3efb2.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e8235f0d435d4737.rlib" "/opt/crater/target/debug/deps/libseer_z3-f4b7422e7d3897e1.rlib" "/opt/crater/target/debug/deps/libz3_sys-42816252a2edeeb6.rlib" "/opt/crater/target/debug/deps/liblazy_static-eb33edc716f69401.rlib" "/opt/crater/target/debug/deps/libenv_logger-a3a6bb31050ce783.rlib" "/opt/crater/target/debug/deps/libregex-731ae796221ba07e.rlib" "/opt/crater/target/debug/deps/libutf8_ranges-7e19cf98379531b4.rlib" "/opt/crater/target/debug/deps/libregex_syntax-55ee28c5615612af.rlib" "/opt/crater/target/debug/deps/libthread_local-13176722f0f46d9b.rlib" "/opt/crater/target/debug/deps/libthread_id-0c9a2ffeb2614ae7.rlib" "/opt/crater/target/debug/deps/libaho_corasick-a0db1c0aaec53012.rlib" "/opt/crater/target/debug/deps/libmemchr-8f6a1866378e5891.rlib" "/opt/crater/target/debug/deps/liblibc-d019039477cac03b.rlib" "/opt/crater/target/debug/deps/liblog-5ad476e9af8f39be.rlib" "/opt/crater/target/debug/deps/liblog-55cfa8f7ed258bff.rlib" "/opt/crater/target/debug/deps/libcfg_if-3028bdd7b8e15bb5.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-4a76ff35a356aedf.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e11c7b3b3225afe2.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-13217ede3d276f16.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-621a9ee22da6caa1.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-546c844e8071bbeb.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-be9569e4d599746f.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-47d8845cef2a3bc5.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-017511bce73a530c.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-be7979c57a08057b.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d6459c4f0817c67c.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-580035dd98451925.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-aee5c24fff305dea.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-8a55a4098920125a.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-9fc4b5be2ba5cc19.rlib" "-Wl,-Bdynamic" "-lz3" "-lutil" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-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] 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/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.semver_tests.b1ztzv7q-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb" "/opt/crater/target/debug/deps/semver_tests-2fa9d9ebed238cdb.275i5g3ooifw0x7n.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0127509d2e54a846.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-2651f8b4eed9e86e.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-c729851ce6e3efb2.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e8235f0d435d4737.rlib" "/opt/crater/target/debug/deps/libseer_z3-f4b7422e7d3897e1.rlib" "/opt/crater/target/debug/deps/libz3_sys-42816252a2edeeb6.rlib" "/opt/crater/target/debug/deps/liblazy_static-eb33edc716f69401.rlib" "/opt/crater/target/debug/deps/libsemver-8e6fc369be0d16c8.rlib" "/opt/crater/target/debug/deps/libnom-f7d0d4d916d0caf7.rlib" "/opt/crater/target/debug/deps/libenv_logger-a3a6bb31050ce783.rlib" "/opt/crater/target/debug/deps/libregex-731ae796221ba07e.rlib" "/opt/crater/target/debug/deps/libutf8_ranges-7e19cf98379531b4.rlib" "/opt/crater/target/debug/deps/libregex_syntax-55ee28c5615612af.rlib" "/opt/crater/target/debug/deps/libthread_local-13176722f0f46d9b.rlib" "/opt/crater/target/debug/deps/libthread_id-0c9a2ffeb2614ae7.rlib" "/opt/crater/target/debug/deps/libaho_corasick-a0db1c0aaec53012.rlib" "/opt/crater/target/debug/deps/libmemchr-8f6a1866378e5891.rlib" "/opt/crater/target/debug/deps/liblibc-d019039477cac03b.rlib" "/opt/crater/target/debug/deps/liblog-5ad476e9af8f39be.rlib" "/opt/crater/target/debug/deps/liblog-55cfa8f7ed258bff.rlib" "/opt/crater/target/debug/deps/libcfg_if-3028bdd7b8e15bb5.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-4a76ff35a356aedf.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e11c7b3b3225afe2.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-13217ede3d276f16.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-621a9ee22da6caa1.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-546c844e8071bbeb.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-be9569e4d599746f.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-47d8845cef2a3bc5.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-017511bce73a530c.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-be7979c57a08057b.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d6459c4f0817c67c.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-580035dd98451925.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-aee5c24fff305dea.rlib" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-8a55a4098920125a.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/1.37.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-9fc4b5be2ba5cc19.rlib" "-Wl,-Bdynamic" "-lz3" "-lutil" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-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" "ab54e4fa6991899af5a9e0d038b429ed8edbb45ebab4feed5c73fc5aeb1fd6a4"`
[INFO] running `"docker" "rm" "-f" "ab54e4fa6991899af5a9e0d038b429ed8edbb45ebab4feed5c73fc5aeb1fd6a4"`
[INFO] [stdout] ab54e4fa6991899af5a9e0d038b429ed8edbb45ebab4feed5c73fc5aeb1fd6a4