[INFO] crate seer-z3 0.1.2 is already in cache
[INFO] extracting crate seer-z3 0.1.2 into work/ex/beta-1.37-6/sources/1.36.0/reg/seer-z3/0.1.2
[INFO] extracting crate seer-z3 0.1.2 into work/ex/beta-1.37-6/sources/beta-2019-07-23/reg/seer-z3/0.1.2
[INFO] validating manifest of seer-z3-0.1.2 on toolchain 1.36.0
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of seer-z3-0.1.2 on toolchain beta-2019-07-23
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "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.37-6/sources/1.36.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.37-6/sources/beta-2019-07-23/reg/seer-z3/0.1.2/Cargo.toml
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] [stderr]     Blocking waiting for file lock on package cache lock
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] testing seer-z3-0.1.2 against beta-2019-07-23 for beta-1.37-6
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-0/beta-2019-07-23:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/beta-2019-07-23/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" "+beta-2019-07-23" "build" "--frozen"`
[INFO] [stdout] d8240d1c788d2e9f5133c20dfc0587d73cdfcc5bfab52c443c1d3f714051906d
[INFO] running `"docker" "start" "-a" "d8240d1c788d2e9f5133c20dfc0587d73cdfcc5bfab52c443c1d3f714051906d"`
[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 1.78s
[INFO] running `"docker" "inspect" "d8240d1c788d2e9f5133c20dfc0587d73cdfcc5bfab52c443c1d3f714051906d"`
[INFO] running `"docker" "rm" "-f" "d8240d1c788d2e9f5133c20dfc0587d73cdfcc5bfab52c443c1d3f714051906d"`
[INFO] [stdout] d8240d1c788d2e9f5133c20dfc0587d73cdfcc5bfab52c443c1d3f714051906d
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-0/beta-2019-07-23:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/beta-2019-07-23/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" "+beta-2019-07-23" "test" "--frozen" "--no-run"`
[INFO] [stdout] 2a43938e862db7ac448fc0079cfadf588f8235708e7e8abf28013e2ee8eaa144
[INFO] running `"docker" "start" "-a" "2a43938e862db7ac448fc0079cfadf588f8235708e7e8abf28013e2ee8eaa144"`
[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/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.seer_z3.8ops54hh-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd" "/opt/crater/target/debug/deps/seer_z3-f69849be4194c3bd.1uidqdi4ujj92zuk.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-7d9df032c0eb8a14.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-77300aa0d630d98f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-4d48ca12b265d456.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8869eee15acf0f54.rlib" "/opt/crater/target/debug/deps/liblibc-15b143653abd1ffe.rlib" "/opt/crater/target/debug/deps/libz3_sys-d26621b62d589bf0.rlib" "/opt/crater/target/debug/deps/liblazy_static-6a4e8ea56a445919.rlib" "/opt/crater/target/debug/deps/liblog-bbe9110cf0409309.rlib" "/opt/crater/target/debug/deps/liblog-4d4ce27474bb9998.rlib" "/opt/crater/target/debug/deps/libcfg_if-17244d8fcea476bd.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-a80a1e8e09cafef8.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e0e6351da805c468.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e04f54bafc95e331.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-67901d3322495bd5.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-bd390b1abaceaec1.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-312dd37fdc7bedfc.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-8ed0e51d58d644a3.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-8a423c320a6c707f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-d6a95598e2238263.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d231614b153016eb.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-3821619027f463e4.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-1cfd794d18771a44.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-dcf33cf10c2452ef.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-c258fea34bf64bce.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/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/lib-562e6f38be864551.lib.d0mc4um1-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/lib-562e6f38be864551.lib.d0mc4um1-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/lib-562e6f38be864551.lib.d0mc4um1-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/lib-562e6f38be864551.lib.d0mc4um1-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/lib-562e6f38be864551.lib.d0mc4um1-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/lib-562e6f38be864551.lib.d0mc4um1-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/lib-562e6f38be864551.lib.d0mc4um1-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/lib-562e6f38be864551.lib.d0mc4um1-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/lib-562e6f38be864551.lib.d0mc4um1-cgu.8.rcgu.o" "-o" "/opt/crater/target/debug/deps/lib-562e6f38be864551" "/opt/crater/target/debug/deps/lib-562e6f38be864551.3j5lhdn3d6lm9v3c.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-7d9df032c0eb8a14.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-77300aa0d630d98f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-4d48ca12b265d456.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8869eee15acf0f54.rlib" "/opt/crater/target/debug/deps/libseer_z3-fad1f16853ca4110.rlib" "/opt/crater/target/debug/deps/libz3_sys-d26621b62d589bf0.rlib" "/opt/crater/target/debug/deps/liblazy_static-6a4e8ea56a445919.rlib" "/opt/crater/target/debug/deps/libenv_logger-30ebe8c8dc6fc443.rlib" "/opt/crater/target/debug/deps/libregex-7a89e5ff12444aa7.rlib" "/opt/crater/target/debug/deps/libutf8_ranges-02a9ee482eb041c6.rlib" "/opt/crater/target/debug/deps/libregex_syntax-a5eed8ba2f170ebb.rlib" "/opt/crater/target/debug/deps/libthread_local-467dae077cd561f0.rlib" "/opt/crater/target/debug/deps/libthread_id-2e10ab5c4aab4cfe.rlib" "/opt/crater/target/debug/deps/libaho_corasick-4952c6174dfb8028.rlib" "/opt/crater/target/debug/deps/libmemchr-450a102319cb1f3f.rlib" "/opt/crater/target/debug/deps/liblibc-15b143653abd1ffe.rlib" "/opt/crater/target/debug/deps/liblog-bbe9110cf0409309.rlib" "/opt/crater/target/debug/deps/liblog-4d4ce27474bb9998.rlib" "/opt/crater/target/debug/deps/libcfg_if-17244d8fcea476bd.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-a80a1e8e09cafef8.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e0e6351da805c468.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e04f54bafc95e331.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-67901d3322495bd5.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-bd390b1abaceaec1.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-312dd37fdc7bedfc.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-8ed0e51d58d644a3.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-8a423c320a6c707f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-d6a95598e2238263.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d231614b153016eb.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-3821619027f463e4.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-1cfd794d18771a44.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-dcf33cf10c2452ef.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-c258fea34bf64bce.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/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.semver_tests.322txls7-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804" "/opt/crater/target/debug/deps/semver_tests-99b8527345c4b804.1a6yk0ib6fmwyi4g.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-7d9df032c0eb8a14.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-77300aa0d630d98f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-4d48ca12b265d456.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8869eee15acf0f54.rlib" "/opt/crater/target/debug/deps/libseer_z3-fad1f16853ca4110.rlib" "/opt/crater/target/debug/deps/libz3_sys-d26621b62d589bf0.rlib" "/opt/crater/target/debug/deps/liblazy_static-6a4e8ea56a445919.rlib" "/opt/crater/target/debug/deps/libsemver-8b5e66b4ea0bf6f4.rlib" "/opt/crater/target/debug/deps/libnom-558f2ecebaa8937c.rlib" "/opt/crater/target/debug/deps/libenv_logger-30ebe8c8dc6fc443.rlib" "/opt/crater/target/debug/deps/libregex-7a89e5ff12444aa7.rlib" "/opt/crater/target/debug/deps/libutf8_ranges-02a9ee482eb041c6.rlib" "/opt/crater/target/debug/deps/libregex_syntax-a5eed8ba2f170ebb.rlib" "/opt/crater/target/debug/deps/libthread_local-467dae077cd561f0.rlib" "/opt/crater/target/debug/deps/libthread_id-2e10ab5c4aab4cfe.rlib" "/opt/crater/target/debug/deps/libaho_corasick-4952c6174dfb8028.rlib" "/opt/crater/target/debug/deps/libmemchr-450a102319cb1f3f.rlib" "/opt/crater/target/debug/deps/liblibc-15b143653abd1ffe.rlib" "/opt/crater/target/debug/deps/liblog-bbe9110cf0409309.rlib" "/opt/crater/target/debug/deps/liblog-4d4ce27474bb9998.rlib" "/opt/crater/target/debug/deps/libcfg_if-17244d8fcea476bd.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-a80a1e8e09cafef8.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e0e6351da805c468.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-e04f54bafc95e331.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-67901d3322495bd5.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-bd390b1abaceaec1.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-312dd37fdc7bedfc.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-8ed0e51d58d644a3.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-8a423c320a6c707f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-d6a95598e2238263.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d231614b153016eb.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-3821619027f463e4.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-1cfd794d18771a44.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-dcf33cf10c2452ef.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/beta-2019-07-23-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-c258fea34bf64bce.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" "2a43938e862db7ac448fc0079cfadf588f8235708e7e8abf28013e2ee8eaa144"`
[INFO] running `"docker" "rm" "-f" "2a43938e862db7ac448fc0079cfadf588f8235708e7e8abf28013e2ee8eaa144"`
[INFO] [stdout] 2a43938e862db7ac448fc0079cfadf588f8235708e7e8abf28013e2ee8eaa144