[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 beta-2021-09-08 for beta-1.56-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fflammel%2Frustasata" "/workspace/builds/worker-97/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-97/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/flammel/rustasata on toolchain beta-2021-09-08 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-09-08" "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-97/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" "+beta-2021-09-08" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded simplelog v0.5.2 [INFO] [stderr] Downloaded csv v1.0.1 [INFO] [stderr] Downloaded criterion-plot v0.2.5 [INFO] [stderr] Downloaded criterion-stats v0.2.5 [INFO] [stderr] Downloaded criterion v0.2.5 [INFO] [stderr] Downloaded itertools-num v0.1.2 [INFO] [stderr] Downloaded priority-queue v0.5.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-97/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-97/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 6a249b4795d3fc82b66fd6af57501fb91591122d76d01fe7e00124101bf14a88 [INFO] running `Command { std: "docker" "start" "-a" "6a249b4795d3fc82b66fd6af57501fb91591122d76d01fe7e00124101bf14a88", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "6a249b4795d3fc82b66fd6af57501fb91591122d76d01fe7e00124101bf14a88", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6a249b4795d3fc82b66fd6af57501fb91591122d76d01fe7e00124101bf14a88", kill_on_drop: false }` [INFO] [stdout] 6a249b4795d3fc82b66fd6af57501fb91591122d76d01fe7e00124101bf14a88 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-97/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-97/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e18174d7aaa6607398528bde1b39b6b519f6f7b488fb0226db7bc21db5c04940 [INFO] running `Command { std: "docker" "start" "-a" "e18174d7aaa6607398528bde1b39b6b519f6f7b488fb0226db7bc21db5c04940", kill_on_drop: false }` [INFO] [stderr] Compiling cfg-if v0.1.5 [INFO] [stderr] Compiling indexmap v0.4.1 [INFO] [stderr] Compiling vec_map v0.8.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: 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: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.30s [INFO] running `Command { std: "docker" "inspect" "e18174d7aaa6607398528bde1b39b6b519f6f7b488fb0226db7bc21db5c04940", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e18174d7aaa6607398528bde1b39b6b519f6f7b488fb0226db7bc21db5c04940", kill_on_drop: false }` [INFO] [stdout] e18174d7aaa6607398528bde1b39b6b519f6f7b488fb0226db7bc21db5c04940 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-97/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-97/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b8eddb1ebbdf8b3fad3a88233b91f26a242d07cd5f6ee291b061048013f2da12 [INFO] running `Command { std: "docker" "start" "-a" "b8eddb1ebbdf8b3fad3a88233b91f26a242d07cd5f6ee291b061048013f2da12", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling libc v0.2.43 [INFO] [stderr] Compiling proc-macro2 v0.4.17 [INFO] [stderr] Compiling unicode-xid v0.1.0 [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 ryu v0.2.6 [INFO] [stderr] Compiling num-integer v0.1.39 [INFO] [stderr] Compiling failure_derive v0.1.2 [INFO] [stderr] Compiling byteorder v1.2.6 [INFO] [stderr] Compiling regex v1.0.4 [INFO] [stderr] Compiling ucd-util v0.1.1 [INFO] [stderr] Compiling unicode-width v0.1.5 [INFO] [stderr] Compiling itoa v0.4.2 [INFO] [stderr] Compiling rustc-demangle v0.1.9 [INFO] [stderr] Compiling utf8-ranges v1.0.1 [INFO] [stderr] Compiling cast v0.2.2 [INFO] [stderr] Compiling either v1.5.0 [INFO] [stderr] Compiling pest v1.0.6 [INFO] [stderr] Compiling thread-scoped v1.0.2 [INFO] [stderr] Compiling quick-error v1.2.2 [INFO] [stderr] Compiling strsim v0.7.0 [INFO] [stderr] Compiling bitflags v1.0.4 [INFO] [stderr] Compiling same-file v1.0.3 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling syn v0.11.11 [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: 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: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling textwrap v0.10.0 [INFO] [stderr] Compiling itertools v0.7.8 [INFO] [stderr] Compiling regex-syntax v0.6.2 [INFO] [stderr] Compiling walkdir v2.2.5 [INFO] [stderr] Compiling term v0.5.1 [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 num_cpus v1.8.0 [INFO] [stderr] Compiling atty v0.2.11 [INFO] [stderr] Compiling rand v0.4.3 [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 thread_local v0.3.6 [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 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 backtrace v0.3.9 [INFO] [stderr] Compiling simplelog v0.5.2 [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: 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: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 18.91s [INFO] running `Command { std: "docker" "inspect" "b8eddb1ebbdf8b3fad3a88233b91f26a242d07cd5f6ee291b061048013f2da12", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b8eddb1ebbdf8b3fad3a88233b91f26a242d07cd5f6ee291b061048013f2da12", kill_on_drop: false }` [INFO] [stdout] b8eddb1ebbdf8b3fad3a88233b91f26a242d07cd5f6ee291b061048013f2da12 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-97/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-97/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 44a8839e1c6a45f0a357e0c35cdb0cac3fbd33bc428e0c0731e19fa9b141ac9b [INFO] running `Command { std: "docker" "start" "-a" "44a8839e1c6a45f0a357e0c35cdb0cac3fbd33bc428e0c0731e19fa9b141ac9b", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [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: 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 2 warnings [INFO] [stderr] warning: `rustasata` (lib test) generated 2 warnings (2 duplicates) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.53s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/rustasata-117a0fa8649297d5) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test clause::tests::watched_literals_returns_first_two ... ok [INFO] [stdout] test clause::tests::watched_literals_returns_unit ... ok [INFO] [stdout] test clause::tests::propagate_swaps_literals_and_returns_new_watched ... 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-da1ff3e0b38ebbca) [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-fbc4c90b675fba2c) [INFO] [stdout] [INFO] [stdout] running 27 tests [INFO] [stdout] test test_bcp_3 ... ok [INFO] [stdout] test test_bcp_1 ... ok [INFO] [stdout] test test_bcp_4 ... ok [INFO] [stdout] test test_bcp_5 ... ok [INFO] [stdout] test test_bcp_2 ... 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_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_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_double_negative ... ok [INFO] [stdout] test test_empty_formula ... ok [INFO] [stdout] test test_double_positive ... 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" "44a8839e1c6a45f0a357e0c35cdb0cac3fbd33bc428e0c0731e19fa9b141ac9b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "44a8839e1c6a45f0a357e0c35cdb0cac3fbd33bc428e0c0731e19fa9b141ac9b", kill_on_drop: false }` [INFO] [stdout] 44a8839e1c6a45f0a357e0c35cdb0cac3fbd33bc428e0c0731e19fa9b141ac9b