[INFO] crate rust_smt 0.2.0 is already in cache [INFO] testing rust_smt-0.2.0 against try#41997647ba6a77908f6ef64401414feb00bccf16 for pr-71274 [INFO] extracting crate rust_smt 0.2.0 into /workspace/builds/worker-0/source [INFO] validating manifest of crates.io crate rust_smt 0.2.0 on toolchain 41997647ba6a77908f6ef64401414feb00bccf16 [INFO] running `"/workspace/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate rust_smt 0.2.0 [INFO] finished tweaking crates.io crate rust_smt 0.2.0 [INFO] tweaked toml for crates.io crate rust_smt 0.2.0 written to /workspace/builds/worker-0/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "+41997647ba6a77908f6ef64401414feb00bccf16" "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] 4cc5ae9b9390fe8b2ed4d997f6ce11d2b3ea8e039e22a9435abf3292860b9b72 [INFO] running `"docker" "start" "-a" "4cc5ae9b9390fe8b2ed4d997f6ce11d2b3ea8e039e22a9435abf3292860b9b72"` [INFO] [stderr] Compiling z3-sys v0.4.0 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling rust_smt v0.2.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:82:60 [INFO] [stderr] | [INFO] [stderr] 82 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:144:64 [INFO] [stderr] | [INFO] [stderr] 144 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:195:60 [INFO] [stderr] | [INFO] [stderr] 195 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:297:56 [INFO] [stderr] | [INFO] [stderr] 297 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:374:63 [INFO] [stderr] | [INFO] [stderr] 374 | result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:383:63 [INFO] [stderr] | [INFO] [stderr] 383 | result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:392:63 [INFO] [stderr] | [INFO] [stderr] 392 | result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:406:67 [INFO] [stderr] | [INFO] [stderr] 406 | ... result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:498:56 [INFO] [stderr] | [INFO] [stderr] 498 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:523:56 [INFO] [stderr] | [INFO] [stderr] 523 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:628:64 [INFO] [stderr] | [INFO] [stderr] 628 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 11 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3.21s [INFO] running `"docker" "inspect" "4cc5ae9b9390fe8b2ed4d997f6ce11d2b3ea8e039e22a9435abf3292860b9b72"` [INFO] running `"docker" "rm" "-f" "4cc5ae9b9390fe8b2ed4d997f6ce11d2b3ea8e039e22a9435abf3292860b9b72"` [INFO] [stdout] 4cc5ae9b9390fe8b2ed4d997f6ce11d2b3ea8e039e22a9435abf3292860b9b72 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "+41997647ba6a77908f6ef64401414feb00bccf16" "test" "--frozen" "--no-run"` [INFO] [stdout] 99204a99cf45fa632e29aaac1caf7f2f5f4daf3e36469e2acee151827aa53870 [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" "99204a99cf45fa632e29aaac1caf7f2f5f4daf3e36469e2acee151827aa53870"` [INFO] [stderr] Compiling rust_smt v0.2.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:82:60 [INFO] [stderr] | [INFO] [stderr] 82 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:144:64 [INFO] [stderr] | [INFO] [stderr] 144 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:195:60 [INFO] [stderr] | [INFO] [stderr] 195 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:297:56 [INFO] [stderr] | [INFO] [stderr] 297 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:374:63 [INFO] [stderr] | [INFO] [stderr] 374 | result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:383:63 [INFO] [stderr] | [INFO] [stderr] 383 | result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:392:63 [INFO] [stderr] | [INFO] [stderr] 392 | result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:406:67 [INFO] [stderr] | [INFO] [stderr] 406 | ... result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:498:56 [INFO] [stderr] | [INFO] [stderr] 498 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:523:56 [INFO] [stderr] | [INFO] [stderr] 523 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:628:64 [INFO] [stderr] | [INFO] [stderr] 628 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 11 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:82:60 [INFO] [stderr] | [INFO] [stderr] 82 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:144:64 [INFO] [stderr] | [INFO] [stderr] 144 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:195:60 [INFO] [stderr] | [INFO] [stderr] 195 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:297:56 [INFO] [stderr] | [INFO] [stderr] 297 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:374:63 [INFO] [stderr] | [INFO] [stderr] 374 | result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:383:63 [INFO] [stderr] | [INFO] [stderr] 383 | result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:392:63 [INFO] [stderr] | [INFO] [stderr] 392 | result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:406:67 [INFO] [stderr] | [INFO] [stderr] 406 | ... result = Err(SMTError::new_internal(e.description())); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:498:56 [INFO] [stderr] | [INFO] [stderr] 498 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:523:56 [INFO] [stderr] | [INFO] [stderr] 523 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/z3.rs:628:64 [INFO] [stderr] | [INFO] [stderr] 628 | Err(e) => Err(SMTError::new_internal(e.description())), [INFO] [stderr] | ^^^^^^^^^^^ [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/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.rust_smt.spxv52th-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330" "/opt/rustwide/target/debug/deps/rust_smt-98bbf3566562a330.2tp4iviqzbj04s4i.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-a6274e2eaafd361e.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-2c85f64fb49c1603.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ed84df1a106a13ed.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e159833bdb71170b.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-5f1c8c824853fda4.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-844618272e5d9c99.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-62f93208e14fa8f0.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b2c4dbe979cef5e2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-8b9b66cb3e9f891d.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5998b08bf29f56ac.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-efd1670396ccb585.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-6435b9209e888961.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-866e5dfb603b34d2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-75eac3089695b3b4.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-35744537b4825584.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-f7ee5081d96fb2cd.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-5b28479cb639d76c.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-f827473dd3b319fa.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-53f9c299c549c6a9.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-44132fbb3fcc18d3.rlib" "-Wl,-Bdynamic" "-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; 11 warnings emitted [INFO] [stderr] [INFO] [stderr] error: could not compile `rust_smt`. [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/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.test.3fjya71i-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388" "/opt/rustwide/target/debug/deps/test-ff9966d94abcd388.3pshifmng1h2efy5.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-a6274e2eaafd361e.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-2c85f64fb49c1603.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ed84df1a106a13ed.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e159833bdb71170b.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-5f1c8c824853fda4.rlib" "/opt/rustwide/target/debug/deps/librust_smt-ec1c619bc25d3939.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-844618272e5d9c99.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-62f93208e14fa8f0.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b2c4dbe979cef5e2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-8b9b66cb3e9f891d.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5998b08bf29f56ac.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-efd1670396ccb585.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-6435b9209e888961.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-866e5dfb603b34d2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-75eac3089695b3b4.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-35744537b4825584.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-f7ee5081d96fb2cd.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-5b28479cb639d76c.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-f827473dd3b319fa.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-53f9c299c549c6a9.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-44132fbb3fcc18d3.rlib" "-Wl,-Bdynamic" "-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 `rust_smt`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "99204a99cf45fa632e29aaac1caf7f2f5f4daf3e36469e2acee151827aa53870"` [INFO] running `"docker" "rm" "-f" "99204a99cf45fa632e29aaac1caf7f2f5f4daf3e36469e2acee151827aa53870"` [INFO] [stdout] 99204a99cf45fa632e29aaac1caf7f2f5f4daf3e36469e2acee151827aa53870