[INFO] crate rust_smt 0.2.0 is already in cache
[INFO] extracting crate rust_smt 0.2.0 into work/ex/beta-1.38-1/sources/1.37.0/reg/rust_smt/0.2.0
[INFO] extracting crate rust_smt 0.2.0 into work/ex/beta-1.38-1/sources/beta-2019-08-13/reg/rust_smt/0.2.0
[INFO] validating manifest of rust_smt-0.2.0 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 rust_smt-0.2.0 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 rust_smt-0.2.0
[INFO] finished frobbing rust_smt-0.2.0
[INFO] frobbed toml for rust_smt-0.2.0 written to work/ex/beta-1.38-1/sources/1.37.0/reg/rust_smt/0.2.0/Cargo.toml
[INFO] started frobbing rust_smt-0.2.0
[INFO] finished frobbing rust_smt-0.2.0
[INFO] frobbed toml for rust_smt-0.2.0 written to work/ex/beta-1.38-1/sources/beta-2019-08-13/reg/rust_smt/0.2.0/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 rust_smt-0.2.0 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/rust_smt/0.2.0:/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] 600cfc5fdd2bec4b7744beba5920a46063f7ae9f945a196661b114dc99c4c3bb
[INFO] running `"docker" "start" "-a" "600cfc5fdd2bec4b7744beba5920a46063f7ae9f945a196661b114dc99c4c3bb"`
[INFO] [stderr]    Compiling z3-sys v0.4.0
[INFO] [stderr]    Compiling rust_smt v0.2.0 (/opt/crater/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.00s
[INFO] running `"docker" "inspect" "600cfc5fdd2bec4b7744beba5920a46063f7ae9f945a196661b114dc99c4c3bb"`
[INFO] running `"docker" "rm" "-f" "600cfc5fdd2bec4b7744beba5920a46063f7ae9f945a196661b114dc99c4c3bb"`
[INFO] [stdout] 600cfc5fdd2bec4b7744beba5920a46063f7ae9f945a196661b114dc99c4c3bb
[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/rust_smt/0.2.0:/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] 0f62deb61bcab15d3aeb0540d9d1a6ef5070700d4dc0e636555ce81715640f89
[INFO] running `"docker" "start" "-a" "0f62deb61bcab15d3aeb0540d9d1a6ef5070700d4dc0e636555ce81715640f89"`
[INFO] [stderr]    Compiling rust_smt v0.2.0 (/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/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.rust_smt.f0nlsyqm-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209" "/opt/crater/target/debug/deps/rust_smt-0b146998cd52e209.3t57wqzd08v03z0d.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/libz3_sys-1582240d8c5085bd.rlib" "/opt/crater/target/debug/deps/liblazy_static-eb33edc716f69401.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" "-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 `rust_smt`.
[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/test-ef89d71abdbe91ac.test.37acm88e-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.test.37acm88e-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac" "/opt/crater/target/debug/deps/test-ef89d71abdbe91ac.34rhiopxhqfp6hcb.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/librust_smt-4c5e267c5b33b060.rlib" "/opt/crater/target/debug/deps/libz3_sys-1582240d8c5085bd.rlib" "/opt/crater/target/debug/deps/liblazy_static-eb33edc716f69401.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" "-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 `rust_smt`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "0f62deb61bcab15d3aeb0540d9d1a6ef5070700d4dc0e636555ce81715640f89"`
[INFO] running `"docker" "rm" "-f" "0f62deb61bcab15d3aeb0540d9d1a6ef5070700d4dc0e636555ce81715640f89"`
[INFO] [stdout] 0f62deb61bcab15d3aeb0540d9d1a6ef5070700d4dc0e636555ce81715640f89