[INFO] updating cached repository https://github.com/danielschemmel/drsat [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] 9b61bf57d84caa5800084df3a4e587c74480b6c5 [INFO] testing danielschemmel/drsat against beta-2019-09-28 for beta-1.39-1 [INFO] running `"git" "clone" "work/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdanielschemmel%2Fdrsat" "work/builds/worker-1/source"` [INFO] [stderr] Cloning into 'work/builds/worker-1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/danielschemmel/drsat on toolchain beta-2019-09-28 [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+beta-2019-09-28" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking git repo https://github.com/danielschemmel/drsat [INFO] finished tweaking git repo https://github.com/danielschemmel/drsat [INFO] tweaked toml for git repo https://github.com/danielschemmel/drsat written to work/builds/worker-1/source/Cargo.toml [INFO] crate git repo https://github.com/danielschemmel/drsat already has a lockfile, it will not be regenerated [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+beta-2019-09-28" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-1/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" "+beta-2019-09-28" "build" "--frozen"` [INFO] [stdout] 55c1aa78566892a99b337aee109975afc88761910b9b3ae90482d3ff2a7967b6 [INFO] running `"docker" "start" "-a" "55c1aa78566892a99b337aee109975afc88761910b9b3ae90482d3ff2a7967b6"` [INFO] [stderr] Compiling cmake v0.1.33 [INFO] [stderr] Compiling miniz-sys v0.1.10 [INFO] [stderr] Compiling openssl-sys v0.9.35 [INFO] [stderr] Compiling libz-sys v1.0.20 [INFO] [stderr] Compiling curl-sys v0.4.8 [INFO] [stderr] Compiling filetime v0.2.1 [INFO] [stderr] Compiling error-chain v0.12.0 [INFO] [stderr] Compiling lzma-sys v0.1.10 [INFO] [stderr] Compiling libssh2-sys v0.2.10 [INFO] [stderr] Compiling libgit2-sys v0.7.7 [INFO] [stderr] Compiling xz2 v0.1.5 [INFO] [stderr] Compiling flate2 v1.0.2 [INFO] [stderr] Compiling git2 v0.7.5 [INFO] [stderr] Compiling drsat v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> build.rs:13:2 [INFO] [stderr] | [INFO] [stderr] 13 | error_chain! { [INFO] [stderr] | _____^ [INFO] [stderr] 14 | | foreign_links { [INFO] [stderr] 15 | | Io(::std::io::Error); [INFO] [stderr] 16 | | Git(::git2::Error); [INFO] [stderr] ... | [INFO] [stderr] 22 | | } [INFO] [stderr] 23 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> build.rs:13:2 [INFO] [stderr] | [INFO] [stderr] 13 | error_chain! { [INFO] [stderr] | _____^ [INFO] [stderr] 14 | | foreign_links { [INFO] [stderr] 15 | | Io(::std::io::Error); [INFO] [stderr] 16 | | Git(::git2::Error); [INFO] [stderr] ... | [INFO] [stderr] 22 | | } [INFO] [stderr] 23 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/literal.rs:33:54 [INFO] [stderr] | [INFO] [stderr] 33 | pub fn print(&self, f: &mut io::Write, name: &T) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/clause.rs:72:54 [INFO] [stderr] | [INFO] [stderr] 72 | pub fn print(&self, f: &mut io::Write, variable_names: &IndexedVec) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:8:35 [INFO] [stderr] | [INFO] [stderr] 8 | pub fn print(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:17:41 [INFO] [stderr] | [INFO] [stderr] 17 | pub fn print_model(&self, writer: &mut io::Write, indent: &str) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:26:43 [INFO] [stderr] | [INFO] [stderr] 26 | pub fn print_clauses(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:39:50 [INFO] [stderr] | [INFO] [stderr] 39 | pub fn print_conflict_histo(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:51:42 [INFO] [stderr] | [INFO] [stderr] 51 | pub fn print_dimacs(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/util.rs:5:28 [INFO] [stderr] | [INFO] [stderr] 5 | pub fn print_stats(f: &mut io::Write, indent: &str) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/driver/stats.rs:20:18 [INFO] [stderr] | [INFO] [stderr] 20 | fn print(f: &mut Write) -> Result<()> { [INFO] [stderr] | ^^^^^ help: use `dyn`: `dyn Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/gp/ast/util.rs:4:28 [INFO] [stderr] | [INFO] [stderr] 4 | pub fn print_stats(f: &mut Write, indent: &str) -> Result<(), Error> { [INFO] [stderr] | ^^^^^ help: use `dyn`: `dyn Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/io/open.rs:10:44 [INFO] [stderr] | [INFO] [stderr] 10 | pub fn open_file(path: &str) -> Result> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:12:25 [INFO] [stderr] | [INFO] [stderr] 12 | fn skip_ws(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:32:31 [INFO] [stderr] | [INFO] [stderr] 32 | fn skip_past_eol(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:50:31 [INFO] [stderr] | [INFO] [stderr] 50 | fn skip_comments(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:68:29 [INFO] [stderr] | [INFO] [stderr] 68 | fn parse_usize(reader: &mut BufRead) -> Result { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:107:30 [INFO] [stderr] | [INFO] [stderr] 107 | fn parse_header(reader: &mut BufRead) -> Result<(usize, usize)> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:131:32 [INFO] [stderr] | [INFO] [stderr] 131 | fn parse_variable(reader: &mut BufRead) -> Result<(usize, bool)> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:145:30 [INFO] [stderr] | [INFO] [stderr] 145 | fn parse_clause(reader: &mut BufRead, builder: &mut ProblemBuilder) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:163:27 [INFO] [stderr] | [INFO] [stderr] 163 | pub fn parse(reader: &mut BufRead) -> Result> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:12:25 [INFO] [stderr] | [INFO] [stderr] 12 | fn skip_ws(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:32:31 [INFO] [stderr] | [INFO] [stderr] 32 | fn skip_past_eol(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:50:31 [INFO] [stderr] | [INFO] [stderr] 50 | fn skip_comments(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:68:29 [INFO] [stderr] | [INFO] [stderr] 68 | fn parse_usize(reader: &mut BufRead) -> Result { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:107:30 [INFO] [stderr] | [INFO] [stderr] 107 | fn parse_header(reader: &mut BufRead) -> Result<(usize, usize)> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:131:32 [INFO] [stderr] | [INFO] [stderr] 131 | fn parse_variable(reader: &mut BufRead) -> Result<(usize, bool)> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:145:30 [INFO] [stderr] | [INFO] [stderr] 145 | fn parse_clause(reader: &mut BufRead, builder: &mut ProblemBuilder) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:163:27 [INFO] [stderr] | [INFO] [stderr] 163 | pub fn parse(reader: &mut BufRead) -> Result> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/sudoku.rs:7:27 [INFO] [stderr] | [INFO] [stderr] 7 | pub fn parse(reader: &mut Read, rows: usize, cols: usize) -> Result { [INFO] [stderr] | ^^^^ help: use `dyn`: `dyn Read` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/sudoku/board.rs:256:42 [INFO] [stderr] | [INFO] [stderr] 256 | pub fn print_dimacs(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/util/indexed_vec.rs:136:19 [INFO] [stderr] | [INFO] [stderr] 136 | (&self.data as &fmt::Debug).fmt(f) [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn fmt::Debug` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/driver/errors.rs:4:1 [INFO] [stderr] | [INFO] [stderr] 4 | / error_chain! { [INFO] [stderr] 5 | | links { [INFO] [stderr] 6 | | Io(::io::errors::Error, ::io::errors::ErrorKind); [INFO] [stderr] 7 | | } [INFO] [stderr] ... | [INFO] [stderr] 17 | | } [INFO] [stderr] 18 | | } [INFO] [stderr] | |_^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/driver/errors.rs:4:1 [INFO] [stderr] | [INFO] [stderr] 4 | / error_chain! { [INFO] [stderr] 5 | | links { [INFO] [stderr] 6 | | Io(::io::errors::Error, ::io::errors::ErrorKind); [INFO] [stderr] 7 | | } [INFO] [stderr] ... | [INFO] [stderr] 17 | | } [INFO] [stderr] 18 | | } [INFO] [stderr] | |_^ [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/io/errors.rs:3:1 [INFO] [stderr] | [INFO] [stderr] 3 | / error_chain! { [INFO] [stderr] 4 | | foreign_links { [INFO] [stderr] 5 | | Io(io::Error); [INFO] [stderr] 6 | | } [INFO] [stderr] 7 | | } [INFO] [stderr] | |_^ [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/parser/errors.rs:1:1 [INFO] [stderr] | [INFO] [stderr] 1 | / error_chain! { [INFO] [stderr] 2 | | foreign_links { [INFO] [stderr] 3 | | Io(::std::io::Error); [INFO] [stderr] 4 | | } [INFO] [stderr] ... | [INFO] [stderr] 33 | | } [INFO] [stderr] 34 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/cnf/problem/precompute.rs:6:19 [INFO] [stderr] | [INFO] [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { [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: variable does not need to be mutable [INFO] [stderr] --> src/cnf/problem/precompute.rs:6:73 [INFO] [stderr] | [INFO] [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 11s [INFO] running `"docker" "inspect" "55c1aa78566892a99b337aee109975afc88761910b9b3ae90482d3ff2a7967b6"` [INFO] running `"docker" "rm" "-f" "55c1aa78566892a99b337aee109975afc88761910b9b3ae90482d3ff2a7967b6"` [INFO] [stdout] 55c1aa78566892a99b337aee109975afc88761910b9b3ae90482d3ff2a7967b6 [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-1/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" "+beta-2019-09-28" "test" "--frozen" "--no-run"` [INFO] [stdout] 2106c99357d209fdc2fb20004851f3dbd6a2fb39805994b22706759bb53dbb08 [INFO] running `"docker" "start" "-a" "2106c99357d209fdc2fb20004851f3dbd6a2fb39805994b22706759bb53dbb08"` [INFO] [stderr] Compiling drsat v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/literal.rs:33:54 [INFO] [stderr] | [INFO] [stderr] 33 | pub fn print(&self, f: &mut io::Write, name: &T) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/clause.rs:72:54 [INFO] [stderr] | [INFO] [stderr] 72 | pub fn print(&self, f: &mut io::Write, variable_names: &IndexedVec) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:8:35 [INFO] [stderr] | [INFO] [stderr] 8 | pub fn print(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:17:41 [INFO] [stderr] | [INFO] [stderr] 17 | pub fn print_model(&self, writer: &mut io::Write, indent: &str) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:26:43 [INFO] [stderr] | [INFO] [stderr] 26 | pub fn print_clauses(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:39:50 [INFO] [stderr] | [INFO] [stderr] 39 | pub fn print_conflict_histo(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/problem/print.rs:51:42 [INFO] [stderr] | [INFO] [stderr] 51 | pub fn print_dimacs(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/cnf/util.rs:5:28 [INFO] [stderr] | [INFO] [stderr] 5 | pub fn print_stats(f: &mut io::Write, indent: &str) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/driver/stats.rs:20:18 [INFO] [stderr] | [INFO] [stderr] 20 | fn print(f: &mut Write) -> Result<()> { [INFO] [stderr] | ^^^^^ help: use `dyn`: `dyn Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/gp/ast/util.rs:4:28 [INFO] [stderr] | [INFO] [stderr] 4 | pub fn print_stats(f: &mut Write, indent: &str) -> Result<(), Error> { [INFO] [stderr] | ^^^^^ help: use `dyn`: `dyn Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/io/open.rs:10:44 [INFO] [stderr] | [INFO] [stderr] 10 | pub fn open_file(path: &str) -> Result> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:12:25 [INFO] [stderr] | [INFO] [stderr] 12 | fn skip_ws(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:32:31 [INFO] [stderr] | [INFO] [stderr] 32 | fn skip_past_eol(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:50:31 [INFO] [stderr] | [INFO] [stderr] 50 | fn skip_comments(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:68:29 [INFO] [stderr] | [INFO] [stderr] 68 | fn parse_usize(reader: &mut BufRead) -> Result { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:107:30 [INFO] [stderr] | [INFO] [stderr] 107 | fn parse_header(reader: &mut BufRead) -> Result<(usize, usize)> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:131:32 [INFO] [stderr] | [INFO] [stderr] 131 | fn parse_variable(reader: &mut BufRead) -> Result<(usize, bool)> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:145:30 [INFO] [stderr] | [INFO] [stderr] 145 | fn parse_clause(reader: &mut BufRead, builder: &mut ProblemBuilder) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/dimacs.rs:163:27 [INFO] [stderr] | [INFO] [stderr] 163 | pub fn parse(reader: &mut BufRead) -> Result> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:12:25 [INFO] [stderr] | [INFO] [stderr] 12 | fn skip_ws(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:32:31 [INFO] [stderr] | [INFO] [stderr] 32 | fn skip_past_eol(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:50:31 [INFO] [stderr] | [INFO] [stderr] 50 | fn skip_comments(reader: &mut BufRead) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:68:29 [INFO] [stderr] | [INFO] [stderr] 68 | fn parse_usize(reader: &mut BufRead) -> Result { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:107:30 [INFO] [stderr] | [INFO] [stderr] 107 | fn parse_header(reader: &mut BufRead) -> Result<(usize, usize)> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:131:32 [INFO] [stderr] | [INFO] [stderr] 131 | fn parse_variable(reader: &mut BufRead) -> Result<(usize, bool)> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:145:30 [INFO] [stderr] | [INFO] [stderr] 145 | fn parse_clause(reader: &mut BufRead, builder: &mut ProblemBuilder) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/npn.rs:163:27 [INFO] [stderr] | [INFO] [stderr] 163 | pub fn parse(reader: &mut BufRead) -> Result> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn BufRead` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/parser/sudoku.rs:7:27 [INFO] [stderr] | [INFO] [stderr] 7 | pub fn parse(reader: &mut Read, rows: usize, cols: usize) -> Result { [INFO] [stderr] | ^^^^ help: use `dyn`: `dyn Read` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/sudoku/board.rs:256:42 [INFO] [stderr] | [INFO] [stderr] 256 | pub fn print_dimacs(&self, writer: &mut io::Write) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn io::Write` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/util/indexed_vec.rs:136:19 [INFO] [stderr] | [INFO] [stderr] 136 | (&self.data as &fmt::Debug).fmt(f) [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn fmt::Debug` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/driver/errors.rs:4:1 [INFO] [stderr] | [INFO] [stderr] 4 | / error_chain! { [INFO] [stderr] 5 | | links { [INFO] [stderr] 6 | | Io(::io::errors::Error, ::io::errors::ErrorKind); [INFO] [stderr] 7 | | } [INFO] [stderr] ... | [INFO] [stderr] 17 | | } [INFO] [stderr] 18 | | } [INFO] [stderr] | |_^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/driver/errors.rs:4:1 [INFO] [stderr] | [INFO] [stderr] 4 | / error_chain! { [INFO] [stderr] 5 | | links { [INFO] [stderr] 6 | | Io(::io::errors::Error, ::io::errors::ErrorKind); [INFO] [stderr] 7 | | } [INFO] [stderr] ... | [INFO] [stderr] 17 | | } [INFO] [stderr] 18 | | } [INFO] [stderr] | |_^ [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/io/errors.rs:3:1 [INFO] [stderr] | [INFO] [stderr] 3 | / error_chain! { [INFO] [stderr] 4 | | foreign_links { [INFO] [stderr] 5 | | Io(io::Error); [INFO] [stderr] 6 | | } [INFO] [stderr] 7 | | } [INFO] [stderr] | |_^ [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/parser/errors.rs:1:1 [INFO] [stderr] | [INFO] [stderr] 1 | / error_chain! { [INFO] [stderr] 2 | | foreign_links { [INFO] [stderr] 3 | | Io(::std::io::Error); [INFO] [stderr] 4 | | } [INFO] [stderr] ... | [INFO] [stderr] 33 | | } [INFO] [stderr] 34 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/cnf/problem/precompute.rs:6:19 [INFO] [stderr] | [INFO] [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { [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: variable does not need to be mutable [INFO] [stderr] --> src/cnf/problem/precompute.rs:6:73 [INFO] [stderr] | [INFO] [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2.54s [INFO] running `"docker" "inspect" "2106c99357d209fdc2fb20004851f3dbd6a2fb39805994b22706759bb53dbb08"` [INFO] running `"docker" "rm" "-f" "2106c99357d209fdc2fb20004851f3dbd6a2fb39805994b22706759bb53dbb08"` [INFO] [stdout] 2106c99357d209fdc2fb20004851f3dbd6a2fb39805994b22706759bb53dbb08 [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-1/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" "+beta-2019-09-28" "test" "--frozen"` [INFO] [stdout] bcab2b8e9b17b7f15e9f8f92d16b2add0908633ccb58983cfb646c36b20dc72f [INFO] running `"docker" "start" "-a" "bcab2b8e9b17b7f15e9f8f92d16b2add0908633ccb58983cfb646c36b20dc72f"` [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/libdrsat-a188ca2e95b92cd7 [INFO] [stdout] [INFO] [stdout] running 43 tests [INFO] [stdout] test cnf::literal::tests::literal_order1 ... ok [INFO] [stdout] test cnf::literal::tests::literal_order2 ... ok [INFO] [stdout] test cnf::literal::tests::literal_test2 ... ok [INFO] [stdout] test cnf::literal::tests::literal_test1 ... ok [INFO] [stdout] test cnf::tests::sat1 ... ok [INFO] [stdout] test cnf::tests::sat4 ... ok [INFO] [stdout] test cnf::tests::sat2 ... ok [INFO] [stdout] test cnf::tests::unsat1 ... ok [INFO] [stdout] test cnf::tests::sat3 ... ok [INFO] [stdout] test sudoku::tests::invalid1_deduced ... ok [INFO] [stdout] test cnf::tests::unsat2 ... ok [INFO] [stdout] test sudoku::tests::invalid3_deduced ... ok [INFO] [stdout] test sudoku::tests::invalid2_deduced ... ok [INFO] [stdout] test sudoku::tests::simple1 ... ok [INFO] [stdout] test sudoku::tests::simple2 ... ok [INFO] [stdout] test sudoku::tests::simple3 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_10 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_12 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_14 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_1 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_11 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_13 ... ok [INFO] [stdout] test sudoku::tests::simple4 ... ok [INFO] [stdout] test sudoku::tests::simple4_deduced ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_16 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_17 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_20 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_18 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_15 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_2 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_22 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_4 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_5 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_3 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_6 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_7 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_9 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_8 ... ok [INFO] [stdout] test sudoku::tests::invalid1 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_19 ... ok [INFO] [stdout] test util::stopwatch::tests::test_format_duration_21 ... ok [INFO] [stdout] test sudoku::tests::invalid3 ... ok [INFO] [stdout] test sudoku::tests::invalid2 ... ok [INFO] [stderr] Running /opt/rustwide/target/debug/deps/comp-6a6dd01740ed813f [INFO] [stdout] [INFO] [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [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] [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] [stderr] Running /opt/rustwide/target/debug/deps/dimacs-03ae8d881631123e [INFO] [stderr] Running /opt/rustwide/target/debug/deps/drsat-97f12240a382b23f [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] [stderr] Running /opt/rustwide/target/debug/deps/npn-e8367b05790fb9c9 [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] [stderr] Running /opt/rustwide/target/debug/deps/sudoku-0a7327dcdbf07554 [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] [stderr] Doc-tests libdrsat [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" "bcab2b8e9b17b7f15e9f8f92d16b2add0908633ccb58983cfb646c36b20dc72f"` [INFO] running `"docker" "rm" "-f" "bcab2b8e9b17b7f15e9f8f92d16b2add0908633ccb58983cfb646c36b20dc72f"` [INFO] [stdout] bcab2b8e9b17b7f15e9f8f92d16b2add0908633ccb58983cfb646c36b20dc72f