[INFO] cloning repository https://github.com/SuperInstance/sat-solver
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SuperInstance/sat-solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSuperInstance%2Fsat-solver", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSuperInstance%2Fsat-solver'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ea79233aad8edf2563e65bf887160e3dd8f99bc4
[INFO] testing SuperInstance/sat-solver against 1.97.0-beta.6 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSuperInstance%2Fsat-solver" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/SuperInstance/sat-solver
[INFO] finished tweaking git repo https://github.com/SuperInstance/sat-solver
[INFO] tweaked toml for git repo https://github.com/SuperInstance/sat-solver written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/SuperInstance/sat-solver on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/SuperInstance/sat-solver already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788
[INFO] running `Command { std: "docker" "start" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling sat-dpll v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `analyzer` is never read
[INFO] [stdout]   --> src/solver.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub struct Solver {
[INFO] [stdout]    |            ------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 44 |     analyzer: ConflictAnalyzer,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Solver` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.65s
[INFO] running `Command { std: "docker" "inspect" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling sat-dpll v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `analyzer` is never read
[INFO] [stdout]   --> src/solver.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub struct Solver {
[INFO] [stdout]    |            ------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 44 |     analyzer: ConflictAnalyzer,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Solver` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `solver`
[INFO] [stdout]    --> src/solver.rs:310:13
[INFO] [stdout]     |
[INFO] [stdout] 310 |         let solver = Solver::new();
[INFO] [stdout]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_solver`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `analyzer` is never read
[INFO] [stdout]   --> src/solver.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub struct Solver {
[INFO] [stdout]    |            ------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 44 |     analyzer: ConflictAnalyzer,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Solver` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.68s
[INFO] running `Command { std: "docker" "inspect" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: field `analyzer` is never read
[INFO] [stderr]   --> src/solver.rs:44:5
[INFO] [stderr]    |
[INFO] [stderr] 36 | pub struct Solver {
[INFO] [stderr]    |            ------ field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 44 |     analyzer: ConflictAnalyzer,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Solver` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `sat-dpll` (lib) generated 1 warning
[INFO] [stderr] warning: unused variable: `solver`
[INFO] [stderr]    --> src/solver.rs:310:13
[INFO] [stderr]     |
[INFO] [stderr] 310 |         let solver = Solver::new();
[INFO] [stderr]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_solver`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `sat-dpll` (lib test) generated 2 warnings (1 duplicate) (run `cargo fix --lib -p sat-dpll --tests` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/sat_dpll-a75ee5de587b99a3)
[INFO] [stdout] 
[INFO] [stdout] running 45 tests
[INFO] [stdout] test backtrack::tests::test_backtrack ... ok
[INFO] [stdout] test backtrack::tests::test_clear ... ok
[INFO] [stdout] test backtrack::tests::test_empty_stack ... ok
[INFO] [stdout] test backtrack::tests::test_is_assigned ... ok
[INFO] [stdout] test backtrack::tests::test_push_decision ... ok
[INFO] [stdout] test backtrack::tests::test_to_assignment ... ok
[INFO] [stdout] test clause::tests::test_duplicate_literals_deduped ... ok
[INFO] [stdout] test clause::tests::test_empty_clause ... ok
[INFO] [stdout] test clause::tests::test_evaluate_falsified ... ok
[INFO] [stdout] test backtrack::tests::test_push_propagation ... ok
[INFO] [stdout] test clause::tests::test_clause_from_literals ... ok
[INFO] [stdout] test clause::tests::test_evaluate_satisfied ... ok
[INFO] [stdout] test clause::tests::test_evaluate_unresolved ... ok
[INFO] [stdout] test clause::tests::test_from_ints ... ok
[INFO] [stdout] test clause::tests::test_learned_clause ... ok
[INFO] [stdout] test clause::tests::test_resolve_clauses ... ok
[INFO] [stdout] test clause::tests::test_unit_clause ... ok
[INFO] [stdout] test clause::tests::test_unit_literal_detection ... ok
[INFO] [stdout] test conflict::tests::test_analyze_with_antecedent ... ok
[INFO] [stdout] test conflict::tests::test_analyze_simple ... ok
[INFO] [stdout] test conflict::tests::test_conflict_analyzer_creation ... ok
[INFO] [stdout] test conflict::tests::test_with_max_steps ... ok
[INFO] [stdout] test literal::tests::test_display_format ... ok
[INFO] [stdout] test literal::tests::test_evaluate_assigned ... ok
[INFO] [stdout] test literal::tests::test_evaluate_unassigned ... ok
[INFO] [stdout] test literal::tests::test_negation ... ok
[INFO] [stdout] test literal::tests::test_from_int ... ok
[INFO] [stdout] test literal::tests::test_ordering ... ok
[INFO] [stdout] test solver::tests::test_from_dimacs_style ... ok
[INFO] [stdout] test solver::tests::test_four_variable_unsat ... ok
[INFO] [stdout] test solver::tests::test_implication_chain ... ok
[INFO] [stdout] test solver::tests::test_num_clauses_tracking ... ok
[INFO] [stdout] test solver::tests::test_large_tautological ... ok
[INFO] [stdout] test solver::tests::test_pure_literal_elimination ... ok
[INFO] [stdout] test solver::tests::test_pigeon_hole_small ... ok
[INFO] [stdout] test solver::tests::test_single_unit_clause ... ok
[INFO] [stdout] test literal::tests::test_negative_literal ... ok
[INFO] [stdout] test literal::tests::test_positive_literal ... ok
[INFO] [stdout] test solver::tests::test_three_variable_sat ... ok
[INFO] [stdout] test solver::tests::test_unit_propagation_only ... ok
[INFO] [stdout] test solver::tests::test_simple_unsat ... ok
[INFO] [stdout] test solver::tests::test_two_variable_sat ... ok
[INFO] [stdout] test solver::tests::test_all_negative_unsat ... ok
[INFO] [stdout] test conflict::tests::test_simple_conflict_resolution ... ok
[INFO] [stderr]    Doc-tests sat_dpll
[INFO] [stdout] test solver::tests::test_empty_formula_is_sat ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 45 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test src/lib.rs - (line 16) ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/lib.rs - (line 16) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `sat_solver`
[INFO] [stdout]   --> src/lib.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use sat_solver::{Literal, Clause, Solver};
[INFO] [stdout]    |     ^^^^^^^^^^ use of unresolved module or unlinked crate `sat_solver`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `sat_solver`, use `cargo add sat_solver` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/lib.rs - (line 16)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] running `Command { std: "docker" "inspect" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788", kill_on_drop: false }`
[INFO] [stdout] 1f8780151ad7f05cf58abd8e9e7d026b278f5f7cfca53f9c626aacff778c3788
