[INFO] updating cached repository https://github.com/mkeeter/nmbr9-z3 [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/big/crater/work/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"` [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 103368b9cb2cfdff2d4cc1831a2946fbafbe58cf [INFO] testing mkeeter/nmbr9-z3 against 1.38.0 for beta-1.39-1 [INFO] running `"git" "clone" "work/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmkeeter%2Fnmbr9-z3" "work/builds/worker-2/source"` [INFO] [stderr] Cloning into 'work/builds/worker-2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mkeeter/nmbr9-z3 on toolchain 1.38.0 [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+1.38.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking git repo https://github.com/mkeeter/nmbr9-z3 [INFO] finished tweaking git repo https://github.com/mkeeter/nmbr9-z3 [INFO] tweaked toml for git repo https://github.com/mkeeter/nmbr9-z3 written to work/builds/worker-2/source/Cargo.toml [INFO] crate git repo https://github.com/mkeeter/nmbr9-z3 already has a lockfile, it will not be regenerated [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+1.38.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-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" "+1.38.0" "build" "--frozen"` [INFO] [stdout] 08fbdc9b95d2da64610ad723209ae4748229260887f23a051521171646fe9b93 [INFO] running `"docker" "start" "-a" "08fbdc9b95d2da64610ad723209ae4748229260887f23a051521171646fe9b93"` [INFO] [stderr] Compiling z3-sys v0.4.0 (https://github.com/prove-rs/z3.rs#b39aa9f8) [INFO] [stderr] Compiling rand v0.6.4 [INFO] [stderr] Compiling crossbeam-epoch v0.3.1 [INFO] [stderr] Compiling rand_chacha v0.1.1 [INFO] [stderr] Compiling rand_os v0.1.1 [INFO] [stderr] Compiling crossbeam-deque v0.2.0 [INFO] [stderr] Compiling z3 v0.3.2 (https://github.com/prove-rs/z3.rs#b39aa9f8) [INFO] [stderr] Compiling rayon-core v1.4.1 [INFO] [stderr] Compiling rayon v1.0.3 [INFO] [stderr] Compiling nmbr9-z3 v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:490:9 [INFO] [stderr] | [INFO] [stderr] 490 | for t in targets { [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_t` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `i` [INFO] [stderr] --> src/main.rs:505:9 [INFO] [stderr] | [INFO] [stderr] 505 | for i in 0..10 { [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_i` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `k` [INFO] [stderr] --> src/main.rs:176:17 [INFO] [stderr] | [INFO] [stderr] 176 | for k in 0..(i % 3) { [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_k` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `most_pieces` [INFO] [stderr] --> src/main.rs:262:13 [INFO] [stderr] | [INFO] [stderr] 262 | let most_pieces = self.0.iter().map(|v| v.len()).max().unwrap_or(0); [INFO] [stderr] | ^^^^^^^^^^^ help: consider prefixing with an underscore: `_most_pieces` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:472:9 [INFO] [stderr] | [INFO] [stderr] 472 | let mut base = (1..(3 as usize).pow(5)) [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `as_u128` [INFO] [stderr] --> src/main.rs:185:5 [INFO] [stderr] | [INFO] [stderr] 185 | fn as_u128(&self) -> u128 { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [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/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.nmbr9_z3.1wqg5j6u-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27" "/opt/rustwide/target/debug/deps/nmbr9_z3-be73e83aac80aa27.f6z27roro615612.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/librayon-e24f29600d949c2b.rlib" "/opt/rustwide/target/debug/deps/libeither-6b7239188857df3d.rlib" "/opt/rustwide/target/debug/deps/librayon_core-098c0a2ec7c2db11.rlib" "/opt/rustwide/target/debug/deps/libnum_cpus-6513aafdaeb8315a.rlib" "/opt/rustwide/target/debug/deps/libcrossbeam_deque-2de0783eae8e3021.rlib" "/opt/rustwide/target/debug/deps/libcrossbeam_epoch-33414eb469cb636a.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-5d24109de20616f8.rlib" "/opt/rustwide/target/debug/deps/libmemoffset-eb3783781a55ffc1.rlib" "/opt/rustwide/target/debug/deps/libcrossbeam_utils-0a36bb8e598d731d.rlib" "/opt/rustwide/target/debug/deps/libarrayvec-7eedab7f8bfec471.rlib" "/opt/rustwide/target/debug/deps/libnodrop-0ca5cda255c03c42.rlib" "/opt/rustwide/target/debug/deps/librand-4db19d8d25116264.rlib" "/opt/rustwide/target/debug/deps/librand_xorshift-009f33e960e85253.rlib" "/opt/rustwide/target/debug/deps/librand_pcg-20b42d540749cb14.rlib" "/opt/rustwide/target/debug/deps/librand_hc-b628065875fde09f.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-8b78742482634530.rlib" "/opt/rustwide/target/debug/deps/librand_isaac-a8772aee7221c586.rlib" "/opt/rustwide/target/debug/deps/librand_os-bc57bee58912ec14.rlib" "/opt/rustwide/target/debug/deps/liblibc-9673394c3eaedc38.rlib" "/opt/rustwide/target/debug/deps/librand_core-169bbb58a8b1ad4b.rlib" "/opt/rustwide/target/debug/deps/libz3-2958018b20cafb8c.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-dc9e21d4ec0b0e13.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7f0036cdc569d1c1.rlib" "/opt/rustwide/target/debug/deps/liblog-0987b2fc6805bb1d.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-346f95c6920bbf4f.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-12ce12f1efc08aa3.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-5d3cd1b3ddab72e4.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-f8222943dfd167e2.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-0cd00b2d3108cd48.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-485c05ba6ce1b438.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-63e6b1072426ba59.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-a421aff1d43911ee.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-3deef8ef4fe80dff.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-f65a176f0586269e.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ad46d4080f4d7e57.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-da6c590582bf0885.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-837ca740df32db0a.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-db27c965e824589f.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-68a4f8466685ed76.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 `nmbr9-z3`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "08fbdc9b95d2da64610ad723209ae4748229260887f23a051521171646fe9b93"` [INFO] running `"docker" "rm" "-f" "08fbdc9b95d2da64610ad723209ae4748229260887f23a051521171646fe9b93"` [INFO] [stdout] 08fbdc9b95d2da64610ad723209ae4748229260887f23a051521171646fe9b93