[INFO] cloning repository mkeeter/nmbr9-z3
[INFO] running `"git" "clone" "--bare" "git://github.com/mkeeter/nmbr9-z3.git" "work/cache/sources/gh/mkeeter/nmbr9-z3"`
[INFO] [stderr] Cloning into bare repository 'work/cache/sources/gh/mkeeter/nmbr9-z3'...
[INFO] running `"git" "clone" "work/cache/sources/gh/mkeeter/nmbr9-z3" "work/ex/pr-62008/sources/master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1/gh/mkeeter/nmbr9-z3"`
[INFO] [stderr] Cloning into 'work/ex/pr-62008/sources/master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1/gh/mkeeter/nmbr9-z3'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/mkeeter/nmbr9-z3" "work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/gh/mkeeter/nmbr9-z3"`
[INFO] [stderr] Cloning into 'work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/gh/mkeeter/nmbr9-z3'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 103368b9cb2cfdff2d4cc1831a2946fbafbe58cf
[INFO] sha for GitHub repo mkeeter/nmbr9-z3: 103368b9cb2cfdff2d4cc1831a2946fbafbe58cf
[INFO] validating manifest of mkeeter/nmbr9-z3 on toolchain master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of mkeeter/nmbr9-z3 on toolchain try#8f81d0bf6baf07b92f1246696722485c4ca0b049
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing mkeeter/nmbr9-z3
[INFO] finished frobbing mkeeter/nmbr9-z3
[INFO] frobbed toml for mkeeter/nmbr9-z3 written to work/ex/pr-62008/sources/master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1/gh/mkeeter/nmbr9-z3/Cargo.toml
[INFO] started frobbing mkeeter/nmbr9-z3
[INFO] finished frobbing mkeeter/nmbr9-z3
[INFO] frobbed toml for mkeeter/nmbr9-z3 written to work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/gh/mkeeter/nmbr9-z3/Cargo.toml
[INFO] crate mkeeter/nmbr9-z3 already has a lockfile, it will not be regenerated
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking mkeeter/nmbr9-z3 against try#8f81d0bf6baf07b92f1246696722485c4ca0b049 for pr-62008
[INFO] running `"docker" "create" "-v" "/mnt/big/ec2-user/crater/work/local/target-dirs/pr-62008/worker-6/try#8f81d0bf6baf07b92f1246696722485c4ca0b049:/opt/crater/target:rw,Z" "-v" "/mnt/big/ec2-user/crater/work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/gh/mkeeter/nmbr9-z3:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/ec2-user/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/ec2-user/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=forbid" "-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" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 5882f038ed3fa5b3c7f90f6a1e0e81f39e81c6cee4fc27eaa1ed559b3d46afdd
[INFO] running `"docker" "start" "-a" "5882f038ed3fa5b3c7f90f6a1e0e81f39e81c6cee4fc27eaa1ed559b3d46afdd"`
[INFO] [stderr]     Checking z3-sys v0.4.0 (https://github.com/prove-rs/z3.rs#b39aa9f8)
[INFO] [stderr]     Checking rand v0.6.4
[INFO] [stderr]     Checking z3 v0.3.2 (https://github.com/prove-rs/z3.rs#b39aa9f8)
[INFO] [stderr]     Checking nmbr9-z3 v0.1.0 (/opt/crater/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: 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] 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]     Finished dev [unoptimized + debuginfo] target(s) in 5.97s
[INFO] running `"docker" "inspect" "5882f038ed3fa5b3c7f90f6a1e0e81f39e81c6cee4fc27eaa1ed559b3d46afdd"`
[INFO] running `"docker" "rm" "-f" "5882f038ed3fa5b3c7f90f6a1e0e81f39e81c6cee4fc27eaa1ed559b3d46afdd"`
[INFO] [stdout] 5882f038ed3fa5b3c7f90f6a1e0e81f39e81c6cee4fc27eaa1ed559b3d46afdd