[INFO] updating cached repository anko9801/N-solver
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/anko9801/N-solver
[INFO] [stderr]  * branch            HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/anko9801/N-solver" "work/ex/beta-1.38-1/sources/1.37.0/gh/anko9801/N-solver"`
[INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/1.37.0/gh/anko9801/N-solver'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/anko9801/N-solver" "work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/anko9801/N-solver"`
[INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/anko9801/N-solver'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 9700c79d62586af1d16c1493dee5bc13e9e6a5f8
[INFO] sha for GitHub repo anko9801/N-solver: 9700c79d62586af1d16c1493dee5bc13e9e6a5f8
[INFO] validating manifest of anko9801/N-solver 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 anko9801/N-solver 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 anko9801/N-solver
[INFO] finished frobbing anko9801/N-solver
[INFO] frobbed toml for anko9801/N-solver written to work/ex/beta-1.38-1/sources/1.37.0/gh/anko9801/N-solver/Cargo.toml
[INFO] started frobbing anko9801/N-solver
[INFO] finished frobbing anko9801/N-solver
[INFO] frobbed toml for anko9801/N-solver written to work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/anko9801/N-solver/Cargo.toml
[INFO] crate anko9801/N-solver already has a lockfile, it will not be regenerated
[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 anko9801/N-solver 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-6/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/anko9801/N-solver:/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] aebd07db22a613a831000c9385316e8bdab7ba67cffc460813711a5dceb57af9
[INFO] running `"docker" "start" "-a" "aebd07db22a613a831000c9385316e8bdab7ba67cffc460813711a5dceb57af9"`
[INFO] [stderr]    Compiling sat-solver v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] warning: type `clause` should have an upper camel case name
[INFO] [stderr]   --> src/main.rs:19:10
[INFO] [stderr]    |
[INFO] [stderr] 19 | pub enum clause {
[INFO] [stderr]    |          ^^^^^^ help: convert the identifier to upper camel case: `Clause`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_camel_case_types)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `...` range patterns are deprecated
[INFO] [stderr]   --> src/main.rs:40:26
[INFO] [stderr]    |
[INFO] [stderr] 40 |                     e @ 1...4 => {
[INFO] [stderr]    |                          ^^^ help: use `..=` for an inclusive range
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(ellipsis_inclusive_range_patterns)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `x`
[INFO] [stderr]   --> src/main.rs:97:8
[INFO] [stderr]    |
[INFO] [stderr] 97 | fn dfs(x: i32, y: i32, v: i32) {
[INFO] [stderr]    |        ^ help: consider prefixing with an underscore: `_x`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `y`
[INFO] [stderr]   --> src/main.rs:97:16
[INFO] [stderr]    |
[INFO] [stderr] 97 | fn dfs(x: i32, y: i32, v: i32) {
[INFO] [stderr]    |                ^ help: consider prefixing with an underscore: `_y`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]   --> src/main.rs:97:24
[INFO] [stderr]    |
[INFO] [stderr] 97 | fn dfs(x: i32, y: i32, v: i32) {
[INFO] [stderr]    |                        ^ help: consider prefixing with an underscore: `_v`
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `dfs`
[INFO] [stderr]   --> src/main.rs:97:1
[INFO] [stderr]    |
[INFO] [stderr] 97 | fn dfs(x: i32, y: i32, v: i32) {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.22s
[INFO] running `"docker" "inspect" "aebd07db22a613a831000c9385316e8bdab7ba67cffc460813711a5dceb57af9"`
[INFO] running `"docker" "rm" "-f" "aebd07db22a613a831000c9385316e8bdab7ba67cffc460813711a5dceb57af9"`
[INFO] [stdout] aebd07db22a613a831000c9385316e8bdab7ba67cffc460813711a5dceb57af9
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-6/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/anko9801/N-solver:/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] ca43066cb757b9fdb90a92fd74021e48527a43018294e4e64aa6ce37fbb219e6
[INFO] running `"docker" "start" "-a" "ca43066cb757b9fdb90a92fd74021e48527a43018294e4e64aa6ce37fbb219e6"`
[INFO] [stderr]    Compiling sat-solver v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] warning: type `clause` should have an upper camel case name
[INFO] [stderr]   --> src/main.rs:19:10
[INFO] [stderr]    |
[INFO] [stderr] 19 | pub enum clause {
[INFO] [stderr]    |          ^^^^^^ help: convert the identifier to upper camel case: `Clause`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_camel_case_types)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `...` range patterns are deprecated
[INFO] [stderr]   --> src/main.rs:40:26
[INFO] [stderr]    |
[INFO] [stderr] 40 |                     e @ 1...4 => {
[INFO] [stderr]    |                          ^^^ help: use `..=` for an inclusive range
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(ellipsis_inclusive_range_patterns)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `x`
[INFO] [stderr]   --> src/main.rs:97:8
[INFO] [stderr]    |
[INFO] [stderr] 97 | fn dfs(x: i32, y: i32, v: i32) {
[INFO] [stderr]    |        ^ help: consider prefixing with an underscore: `_x`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `y`
[INFO] [stderr]   --> src/main.rs:97:16
[INFO] [stderr]    |
[INFO] [stderr] 97 | fn dfs(x: i32, y: i32, v: i32) {
[INFO] [stderr]    |                ^ help: consider prefixing with an underscore: `_y`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]   --> src/main.rs:97:24
[INFO] [stderr]    |
[INFO] [stderr] 97 | fn dfs(x: i32, y: i32, v: i32) {
[INFO] [stderr]    |                        ^ help: consider prefixing with an underscore: `_v`
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `dfs`
[INFO] [stderr]   --> src/main.rs:97:1
[INFO] [stderr]    |
[INFO] [stderr] 97 | fn dfs(x: i32, y: i32, v: i32) {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.81s
[INFO] running `"docker" "inspect" "ca43066cb757b9fdb90a92fd74021e48527a43018294e4e64aa6ce37fbb219e6"`
[INFO] running `"docker" "rm" "-f" "ca43066cb757b9fdb90a92fd74021e48527a43018294e4e64aa6ce37fbb219e6"`
[INFO] [stdout] ca43066cb757b9fdb90a92fd74021e48527a43018294e4e64aa6ce37fbb219e6
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-6/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/anko9801/N-solver:/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"`
[INFO] [stdout] e5bf81967542d4b6b1d4ea889bc498a4c33ab2d00431f2bc909544280d1ebad8
[INFO] running `"docker" "start" "-a" "e5bf81967542d4b6b1d4ea889bc498a4c33ab2d00431f2bc909544280d1ebad8"`
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
[INFO] [stderr]      Running /opt/crater/target/debug/deps/sat_solver-f17a92f1ba453bd6
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `"docker" "inspect" "e5bf81967542d4b6b1d4ea889bc498a4c33ab2d00431f2bc909544280d1ebad8"`
[INFO] running `"docker" "rm" "-f" "e5bf81967542d4b6b1d4ea889bc498a4c33ab2d00431f2bc909544280d1ebad8"`
[INFO] [stdout] e5bf81967542d4b6b1d4ea889bc498a4c33ab2d00431f2bc909544280d1ebad8