[INFO] crate z3 0.3.2 is already in cache
[INFO] extracting crate z3 0.3.2 into work/ex/beta-1.38-1/sources/1.37.0/reg/z3/0.3.2
[INFO] extracting crate z3 0.3.2 into work/ex/beta-1.38-1/sources/beta-2019-08-13/reg/z3/0.3.2
[INFO] validating manifest of z3-0.3.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 z3-0.3.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 z3-0.3.2
[INFO] finished frobbing z3-0.3.2
[INFO] frobbed toml for z3-0.3.2 written to work/ex/beta-1.38-1/sources/1.37.0/reg/z3/0.3.2/Cargo.toml
[INFO] started frobbing z3-0.3.2
[INFO] finished frobbing z3-0.3.2
[INFO] frobbed toml for z3-0.3.2 written to work/ex/beta-1.38-1/sources/beta-2019-08-13/reg/z3/0.3.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] testing z3-0.3.2 against beta-2019-08-13 for beta-1.38-1
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-1/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/reg/z3/0.3.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-08-13" "build" "--frozen"`
[INFO] [stdout] 2122e4d5e082b71c7c05aab39049e9138e816621e4d8023e6fe518604d19f069
[INFO] running `"docker" "start" "-a" "2122e4d5e082b71c7c05aab39049e9138e816621e4d8023e6fe518604d19f069"`
[INFO] [stderr]    Compiling z3-sys v0.4.0
[INFO] [stderr]    Compiling z3 v0.3.2 (/opt/crater/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.11s
[INFO] running `"docker" "inspect" "2122e4d5e082b71c7c05aab39049e9138e816621e4d8023e6fe518604d19f069"`
[INFO] running `"docker" "rm" "-f" "2122e4d5e082b71c7c05aab39049e9138e816621e4d8023e6fe518604d19f069"`
[INFO] [stdout] 2122e4d5e082b71c7c05aab39049e9138e816621e4d8023e6fe518604d19f069
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-1/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/reg/z3/0.3.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-08-13" "test" "--frozen" "--no-run"`
[INFO] [stdout] def5d12774886a87483fe0f9ac0c0c4353c2c3aadd870553148fa2c5c28d1892
[INFO] running `"docker" "start" "-a" "def5d12774886a87483fe0f9ac0c0c4353c2c3aadd870553148fa2c5c28d1892"`
[INFO] [stderr]    Compiling atty v0.2.13
[INFO] [stderr]    Compiling env_logger v0.6.2
[INFO] [stderr]    Compiling z3 v0.3.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-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.z3.3gpv18dx-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a" "/opt/crater/target/debug/deps/z3-45c0217252cafc3a.2junbbt6fyndhl4p.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-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-f0d86b2ef6410e4f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-28a84d78fba0104f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-625008d0a6744ece.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-b85c11af396739da.rlib" "/opt/crater/target/debug/deps/libz3_sys-f47a01d94e146c7a.rlib" "/opt/crater/target/debug/deps/liblazy_static-1f7a4359e40a6da9.rlib" "/opt/crater/target/debug/deps/liblog-6796845c78a3960b.rlib" "/opt/crater/target/debug/deps/libcfg_if-c978b2f886ff1de7.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1d6d86bd078a28e9.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e9721e46a424e2a9.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-c07193698f282147.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-6da45690f3863086.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-690797036dd27680.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-d3896ccbfd8eda2b.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-7cccc3739e3d7623.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-5e9ba178a513cd29.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-5ca9f83bf63d1f4b.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-bba1c7ef9e950882.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e23c9de62012deb5.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-9b59dffdcd513d5d.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-17392340ab2e4a97.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ac21508a81e3f7f3.rlib" "-Wl,-Bdynamic" "-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 `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-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.semver_tests.5t2vvlz9-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642" "/opt/crater/target/debug/deps/semver_tests-c09d07c96debf642.2gei4qic4ttg8bsr.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-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-f0d86b2ef6410e4f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-28a84d78fba0104f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-625008d0a6744ece.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-b85c11af396739da.rlib" "/opt/crater/target/debug/deps/libz3-3f671cacfcc9ac6c.rlib" "/opt/crater/target/debug/deps/libz3_sys-f47a01d94e146c7a.rlib" "/opt/crater/target/debug/deps/libsemver-d13aa214b861262f.rlib" "/opt/crater/target/debug/deps/libsemver_parser-872b0e6ae46c91a1.rlib" "/opt/crater/target/debug/deps/libenv_logger-3a8314ca8edc9595.rlib" "/opt/crater/target/debug/deps/libregex-2f54045970e77773.rlib" "/opt/crater/target/debug/deps/libregex_syntax-bd99c61924ee7656.rlib" "/opt/crater/target/debug/deps/libthread_local-2ae771cec36f83c2.rlib" "/opt/crater/target/debug/deps/liblazy_static-1f7a4359e40a6da9.rlib" "/opt/crater/target/debug/deps/libaho_corasick-d762a0026dd53dbb.rlib" "/opt/crater/target/debug/deps/libmemchr-23e7689be8a12a36.rlib" "/opt/crater/target/debug/deps/libatty-e5c1a4fd6106d625.rlib" "/opt/crater/target/debug/deps/liblibc-5c09134a1c616959.rlib" "/opt/crater/target/debug/deps/libhumantime-fe7582828726b442.rlib" "/opt/crater/target/debug/deps/libquick_error-f50ea951eae373ef.rlib" "/opt/crater/target/debug/deps/libtermcolor-79496754b4470ebc.rlib" "/opt/crater/target/debug/deps/liblog-6796845c78a3960b.rlib" "/opt/crater/target/debug/deps/libcfg_if-c978b2f886ff1de7.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1d6d86bd078a28e9.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e9721e46a424e2a9.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-c07193698f282147.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-6da45690f3863086.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-690797036dd27680.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-d3896ccbfd8eda2b.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-7cccc3739e3d7623.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-5e9ba178a513cd29.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-5ca9f83bf63d1f4b.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-bba1c7ef9e950882.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e23c9de62012deb5.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-9b59dffdcd513d5d.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-17392340ab2e4a97.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ac21508a81e3f7f3.rlib" "-Wl,-Bdynamic" "-lz3" "-lc" "-lm" "-lrt" "-lpthread" "-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: 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-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.lib.8ctdz8fb-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd" "/opt/crater/target/debug/deps/lib-e353cf16419e57bd.14zbm46ha4ejksq3.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-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-f0d86b2ef6410e4f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-28a84d78fba0104f.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-625008d0a6744ece.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-b85c11af396739da.rlib" "/opt/crater/target/debug/deps/libz3-3f671cacfcc9ac6c.rlib" "/opt/crater/target/debug/deps/libz3_sys-f47a01d94e146c7a.rlib" "/opt/crater/target/debug/deps/libenv_logger-3a8314ca8edc9595.rlib" "/opt/crater/target/debug/deps/libregex-2f54045970e77773.rlib" "/opt/crater/target/debug/deps/libregex_syntax-bd99c61924ee7656.rlib" "/opt/crater/target/debug/deps/libthread_local-2ae771cec36f83c2.rlib" "/opt/crater/target/debug/deps/liblazy_static-1f7a4359e40a6da9.rlib" "/opt/crater/target/debug/deps/libaho_corasick-d762a0026dd53dbb.rlib" "/opt/crater/target/debug/deps/libmemchr-23e7689be8a12a36.rlib" "/opt/crater/target/debug/deps/libatty-e5c1a4fd6106d625.rlib" "/opt/crater/target/debug/deps/liblibc-5c09134a1c616959.rlib" "/opt/crater/target/debug/deps/libhumantime-fe7582828726b442.rlib" "/opt/crater/target/debug/deps/libquick_error-f50ea951eae373ef.rlib" "/opt/crater/target/debug/deps/libtermcolor-79496754b4470ebc.rlib" "/opt/crater/target/debug/deps/liblog-6796845c78a3960b.rlib" "/opt/crater/target/debug/deps/libcfg_if-c978b2f886ff1de7.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1d6d86bd078a28e9.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e9721e46a424e2a9.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-c07193698f282147.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-6da45690f3863086.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-690797036dd27680.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-d3896ccbfd8eda2b.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-7cccc3739e3d7623.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-5e9ba178a513cd29.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-5ca9f83bf63d1f4b.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-bba1c7ef9e950882.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e23c9de62012deb5.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-9b59dffdcd513d5d.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-17392340ab2e4a97.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ac21508a81e3f7f3.rlib" "-Wl,-Bdynamic" "-lz3" "-lc" "-lm" "-lrt" "-lpthread" "-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 `z3`.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: Could not compile `z3`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "def5d12774886a87483fe0f9ac0c0c4353c2c3aadd870553148fa2c5c28d1892"`
[INFO] running `"docker" "rm" "-f" "def5d12774886a87483fe0f9ac0c0c4353c2c3aadd870553148fa2c5c28d1892"`
[INFO] [stdout] def5d12774886a87483fe0f9ac0c0c4353c2c3aadd870553148fa2c5c28d1892