[INFO] cloning repository https://github.com/flammel/rustasata [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/flammel/rustasata" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fflammel%2Frustasata", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fflammel%2Frustasata'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ef02642a60bda40deaa415b2b91f357230d853d3 [INFO] testing flammel/rustasata against 1.59.0 for beta-1.60-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fflammel%2Frustasata" "/workspace/builds/worker-26/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-26/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/flammel/rustasata on toolchain 1.59.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.59.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/flammel/rustasata [INFO] finished tweaking git repo https://github.com/flammel/rustasata [INFO] tweaked toml for git repo https://github.com/flammel/rustasata written to /workspace/builds/worker-26/source/Cargo.toml [INFO] crate git repo https://github.com/flammel/rustasata already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.59.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 19faddd4d914a4c30f91cb7d80085ebfcbd439bf0d1d8e005b4dfb7d03b522d5 [INFO] running `Command { std: "docker" "start" "-a" "19faddd4d914a4c30f91cb7d80085ebfcbd439bf0d1d8e005b4dfb7d03b522d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "19faddd4d914a4c30f91cb7d80085ebfcbd439bf0d1d8e005b4dfb7d03b522d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "19faddd4d914a4c30f91cb7d80085ebfcbd439bf0d1d8e005b4dfb7d03b522d5", kill_on_drop: false }` [INFO] [stdout] 19faddd4d914a4c30f91cb7d80085ebfcbd439bf0d1d8e005b4dfb7d03b522d5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/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" "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" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b74e1aa7fb23797005de60b261509210553f1f438738e4f2343c1bd063a9f2a9 [INFO] running `Command { std: "docker" "start" "-a" "b74e1aa7fb23797005de60b261509210553f1f438738e4f2343c1bd063a9f2a9", kill_on_drop: false }` [INFO] [stderr] Compiling cfg-if v0.1.5 [INFO] [stderr] Compiling indexmap v0.4.1 [INFO] [stderr] Compiling log v0.4.4 [INFO] [stderr] Compiling fern v0.5.6 [INFO] [stderr] Compiling priority-queue v0.5.2 [INFO] [stderr] Compiling rustasata v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/solver.rs:269:21 [INFO] [stdout] | [INFO] [stdout] 269 | let mut clauses = self [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `literals` [INFO] [stdout] --> src/solver.rs:52:5 [INFO] [stdout] | [INFO] [stdout] 52 | literals: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused return value of `Vec::::split_off` that must be used [INFO] [stdout] --> src/solver.rs:414:9 [INFO] [stdout] | [INFO] [stdout] 414 | self.trail_lim.split_off(to_level); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: use `.truncate()` if you don't need the other half [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.12s [INFO] running `Command { std: "docker" "inspect" "b74e1aa7fb23797005de60b261509210553f1f438738e4f2343c1bd063a9f2a9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b74e1aa7fb23797005de60b261509210553f1f438738e4f2343c1bd063a9f2a9", kill_on_drop: false }` [INFO] [stdout] b74e1aa7fb23797005de60b261509210553f1f438738e4f2343c1bd063a9f2a9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/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" "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" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 794b9dd1be9600be6f74299d11d8160c11f98427c9731ec019e808a235c14d3c [INFO] running `Command { std: "docker" "start" "-a" "794b9dd1be9600be6f74299d11d8160c11f98427c9731ec019e808a235c14d3c", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.43 [INFO] [stderr] Compiling proc-macro2 v0.4.17 [INFO] [stderr] Compiling num-traits v0.2.5 [INFO] [stderr] Compiling version_check v0.1.4 [INFO] [stderr] Compiling serde v1.0.76 [INFO] [stderr] Compiling cc v1.0.23 [INFO] [stderr] Compiling num-integer v0.1.39 [INFO] [stderr] Compiling unicode-xid v0.0.4 [INFO] [stderr] Compiling ryu v0.2.6 [INFO] [stderr] Compiling regex v1.0.4 [INFO] [stderr] Compiling ucd-util v0.1.1 [INFO] [stderr] Compiling byteorder v1.2.6 [INFO] [stderr] Compiling quote v0.3.15 [INFO] [stderr] Compiling failure_derive v0.1.2 [INFO] [stderr] Compiling itoa v0.4.2 [INFO] [stderr] Compiling cast v0.2.2 [INFO] [stderr] Compiling pest v1.0.6 [INFO] [stderr] Compiling either v1.5.0 [INFO] [stderr] Compiling rustc-demangle v0.1.9 [INFO] [stderr] Compiling utf8-ranges v1.0.1 [INFO] [stderr] Compiling unicode-width v0.1.5 [INFO] [stderr] Compiling quick-error v1.2.2 [INFO] [stderr] Compiling bitflags v1.0.4 [INFO] [stderr] Compiling same-file v1.0.3 [INFO] [stderr] Compiling strsim v0.7.0 [INFO] [stderr] Compiling thread-scoped v1.0.2 [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/solver.rs:269:21 [INFO] [stdout] | [INFO] [stdout] 269 | let mut clauses = self [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `literals` [INFO] [stdout] --> src/solver.rs:52:5 [INFO] [stdout] | [INFO] [stdout] 52 | literals: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused return value of `Vec::::split_off` that must be used [INFO] [stdout] --> src/solver.rs:414:9 [INFO] [stdout] | [INFO] [stdout] 414 | self.trail_lim.split_off(to_level); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: use `.truncate()` if you don't need the other half [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling textwrap v0.10.0 [INFO] [stderr] Compiling itertools v0.7.8 [INFO] [stderr] Compiling synom v0.11.3 [INFO] [stderr] Compiling regex-syntax v0.6.2 [INFO] [stderr] Compiling term v0.5.1 [INFO] [stderr] Compiling walkdir v2.2.5 [INFO] [stderr] Compiling syn v0.11.11 [INFO] [stderr] Compiling lazy_static v1.1.0 [INFO] [stderr] Compiling memchr v2.0.2 [INFO] [stderr] Compiling time v0.1.40 [INFO] [stderr] Compiling rand v0.4.3 [INFO] [stderr] Compiling atty v0.2.11 [INFO] [stderr] Compiling num_cpus v1.8.0 [INFO] [stderr] Compiling clap v2.32.0 [INFO] [stderr] Compiling aho-corasick v0.6.8 [INFO] [stderr] Compiling csv-core v0.1.4 [INFO] [stderr] Compiling backtrace-sys v0.1.24 [INFO] [stderr] Compiling criterion-plot v0.2.5 [INFO] [stderr] Compiling quote v0.6.8 [INFO] [stderr] Compiling syn v0.14.9 [INFO] [stderr] Compiling thread_local v0.3.6 [INFO] [stderr] Compiling itertools-num v0.1.2 [INFO] [stderr] Compiling criterion-stats v0.2.5 [INFO] [stderr] Compiling pest_derive v1.0.8 [INFO] [stderr] Compiling chrono v0.4.6 [INFO] [stderr] Compiling simplelog v0.5.2 [INFO] [stderr] Compiling backtrace v0.3.9 [INFO] [stderr] Compiling synstructure v0.9.0 [INFO] [stderr] Compiling serde_json v1.0.26 [INFO] [stderr] Compiling csv v1.0.1 [INFO] [stderr] Compiling serde_derive v1.0.76 [INFO] [stderr] Compiling handlebars v0.32.4 [INFO] [stderr] Compiling failure v0.1.2 [INFO] [stderr] Compiling criterion v0.2.5 [INFO] [stderr] Compiling rustasata v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/solver.rs:269:21 [INFO] [stdout] | [INFO] [stdout] 269 | let mut clauses = self [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `literals` [INFO] [stdout] --> src/solver.rs:52:5 [INFO] [stdout] | [INFO] [stdout] 52 | literals: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused return value of `Vec::::split_off` that must be used [INFO] [stdout] --> src/solver.rs:414:9 [INFO] [stdout] | [INFO] [stdout] 414 | self.trail_lim.split_off(to_level); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: use `.truncate()` if you don't need the other half [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 12.17s [INFO] running `Command { std: "docker" "inspect" "794b9dd1be9600be6f74299d11d8160c11f98427c9731ec019e808a235c14d3c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "794b9dd1be9600be6f74299d11d8160c11f98427c9731ec019e808a235c14d3c", kill_on_drop: false }` [INFO] [stdout] 794b9dd1be9600be6f74299d11d8160c11f98427c9731ec019e808a235c14d3c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/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" "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" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] ff9034b761950e29355a905c672e7ae9938fe535f885813d3ab4b5c3ac4f5edb [INFO] running `Command { std: "docker" "start" "-a" "ff9034b761950e29355a905c672e7ae9938fe535f885813d3ab4b5c3ac4f5edb", kill_on_drop: false }` [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/solver.rs:269:21 [INFO] [stderr] | [INFO] [stderr] 269 | let mut clauses = self [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: field is never read: `literals` [INFO] [stderr] --> src/solver.rs:52:5 [INFO] [stderr] | [INFO] [stderr] 52 | literals: usize, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused return value of `Vec::::split_off` that must be used [INFO] [stderr] --> src/solver.rs:414:9 [INFO] [stderr] | [INFO] [stderr] 414 | self.trail_lim.split_off(to_level); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_must_use)]` on by default [INFO] [stderr] = note: use `.truncate()` if you don't need the other half [INFO] [stderr] [INFO] [stderr] warning: `rustasata` (lib) generated 3 warnings [INFO] [stderr] warning: `rustasata` (lib test) generated 3 warnings (3 duplicates) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/rustasata-f87d432db07f16ba) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test clause::tests::propagate_swaps_literals_and_returns_new_watched ... ok [INFO] [stdout] test clause::tests::watched_literals_returns_first_two ... ok [INFO] [stdout] test clause::tests::watched_literals_returns_unit ... ok [INFO] [stdout] test solver::tests::backtrack ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/rustasata-2366faae3df15542) [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; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/tests.rs (/opt/rustwide/target/debug/deps/tests-ea1d0d5770ea699a) [INFO] [stdout] [INFO] [stdout] running 27 tests [INFO] [stdout] test test_bcp_2 ... ok [INFO] [stdout] test test_bcp_1 ... ok [INFO] [stdout] test test_bcp_3 ... ok [INFO] [stdout] test test_bcp_5 ... ok [INFO] [stdout] test test_bcp_4 ... ok [INFO] [stdout] test test_bcp_6 ... ok [INFO] [stdout] test test_bcp_7 ... ok [INFO] [stdout] test test_contradiction ... ok [INFO] [stdout] test test_double_negative ... ok [INFO] [stdout] test test_file_easy_1 ... ignored [INFO] [stdout] test test_file_satlib_uf125_538 ... ignored [INFO] [stdout] test test_file_satlib_uf20_91 ... ignored [INFO] [stdout] test test_file_satlib_uuf125_538 ... ignored [INFO] [stdout] test test_file_trivial_1 ... ignored [INFO] [stdout] test test_double_positive ... ok [INFO] [stdout] test test_file_trivial_2 ... ignored [INFO] [stdout] test test_file_trivial_3 ... ignored [INFO] [stdout] test test_file_trivial_4 ... ignored [INFO] [stdout] test test_file_trivial_5 ... ignored [INFO] [stdout] test test_file_trivial_6 ... ignored [INFO] [stdout] test test_file_trivial_7 ... ignored [INFO] [stdout] test test_empty_formula ... ok [INFO] [stdout] test test_one_clause_duplicate_literals ... ok [INFO] [stdout] test test_tiny_sat_instance_1 ... ok [INFO] [stdout] test test_tiny_sat_instance_2 ... ok [INFO] [stdout] test test_tiny_sat_instance_3 ... ok [INFO] [stdout] test test_tiny_sat_instance_4 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 16 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests rustasata [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; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "ff9034b761950e29355a905c672e7ae9938fe535f885813d3ab4b5c3ac4f5edb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ff9034b761950e29355a905c672e7ae9938fe535f885813d3ab4b5c3ac4f5edb", kill_on_drop: false }` [INFO] [stdout] ff9034b761950e29355a905c672e7ae9938fe535f885813d3ab4b5c3ac4f5edb