[INFO] fetching crate saguaro 0.1.0...
[INFO] testing saguaro-0.1.0 against 1.90.0 for beta-1.91-3
[INFO] extracting crate saguaro 0.1.0 into /workspace/builds/worker-0-tc1/source
[INFO] started tweaking crates.io crate saguaro 0.1.0
[INFO] finished tweaking crates.io crate saguaro 0.1.0
[INFO] tweaked toml for crates.io crate saguaro 0.1.0 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate saguaro 0.1.0 on toolchain 1.90.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate saguaro 0.1.0 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.90.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0a23db5d840f02ed02119d8343f8e7424db7bdec7c6d6f26269689b41c590b64
[INFO] running `Command { std: "docker" "start" "-a" "0a23db5d840f02ed02119d8343f8e7424db7bdec7c6d6f26269689b41c590b64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0a23db5d840f02ed02119d8343f8e7424db7bdec7c6d6f26269689b41c590b64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0a23db5d840f02ed02119d8343f8e7424db7bdec7c6d6f26269689b41c590b64", kill_on_drop: false }`
[INFO] [stdout] 0a23db5d840f02ed02119d8343f8e7424db7bdec7c6d6f26269689b41c590b64
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "RUSTDOCFLAGS=--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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9f18bac566daddfe29a9e769ba289d3bb34c310154d1e3667fe85e90959065b7
[INFO] running `Command { std: "docker" "start" "-a" "9f18bac566daddfe29a9e769ba289d3bb34c310154d1e3667fe85e90959065b7", kill_on_drop: false }`
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.100
[INFO] [stderr]    Compiling bumpalo v3.17.0
[INFO] [stderr]    Compiling wasm-bindgen v0.2.100
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.100
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.100
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.100
[INFO] [stderr]    Compiling saguaro v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: type alias `Var` is never used
[INFO] [stdout]  --> src/cnf.rs:1:10
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub type Var = i32;
[INFO] [stdout]   |          ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eval` is never used
[INFO] [stdout]   --> src/solver.rs:11:8
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub fn eval(cnf: &Cnf, assign: &HashSet<Lit>) -> bool {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `var_of_lit` is never used
[INFO] [stdout]    --> src/solver.rs:262:4
[INFO] [stdout]     |
[INFO] [stdout] 262 | fn var_of_lit(lit: &Lit) -> Var {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `to_graphviz` is never used
[INFO] [stdout]    --> src/trail.rs:143:12
[INFO] [stdout]     |
[INFO] [stdout]  40 | impl Trail {
[INFO] [stdout]     | ---------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 143 |     pub fn to_graphviz(&self) -> String {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Var` is never used
[INFO] [stdout]  --> src/cnf.rs:1:10
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub type Var = i32;
[INFO] [stdout]   |          ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Lit` is never used
[INFO] [stdout]  --> src/cnf.rs:2:10
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub type Lit = i32;
[INFO] [stdout]   |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Clause` is never used
[INFO] [stdout]  --> src/cnf.rs:3:10
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub type Clause = Vec<Lit>;
[INFO] [stdout]   |          ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Cnf` is never constructed
[INFO] [stdout]  --> src/cnf.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct Cnf {
[INFO] [stdout]   |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `clauses`, `add_clause`, and `num_vars` are never used
[INFO] [stdout]   --> src/cnf.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | impl Cnf {
[INFO] [stdout]    | -------- associated items in this implementation
[INFO] [stdout] 11 |     pub fn new(clauses: Vec<Clause>, num_vars: usize) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 18 |     pub fn clauses(&self) -> &Vec<Clause> {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn add_clause(&mut self, clause: Clause) {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 26 |     pub fn num_vars(&self) -> usize {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse` is never used
[INFO] [stdout]  --> src/parser.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn parse(str: String) -> Option<Cnf> {
[INFO] [stdout]   |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eat` is never used
[INFO] [stdout]   --> src/parser.rs:24:4
[INFO] [stdout]    |
[INFO] [stdout] 24 | fn eat(chars: &mut Peekable<Chars>, seq: &str) -> Result<(), ()> {
[INFO] [stdout]    |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `scan_int` is never used
[INFO] [stdout]   --> src/parser.rs:36:4
[INFO] [stdout]    |
[INFO] [stdout] 36 | fn scan_int(chars: &mut Peekable<Chars>) -> Result<i32, ()> {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_problem_def` is never used
[INFO] [stdout]   --> src/parser.rs:59:4
[INFO] [stdout]    |
[INFO] [stdout] 59 | fn parse_problem_def(chars: &mut Peekable<Chars>) -> Option<(usize, usize)> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_clauses` is never used
[INFO] [stdout]   --> src/parser.rs:80:4
[INFO] [stdout]    |
[INFO] [stdout] 80 | fn parse_clauses(chars: &mut Peekable<Chars>, num_clauses: usize) -> Option<Vec<Clause>> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_clause` is never used
[INFO] [stdout]   --> src/parser.rs:95:4
[INFO] [stdout]    |
[INFO] [stdout] 95 | fn parse_clause(chars: &mut Peekable<Chars>) -> Option<Clause> {
[INFO] [stdout]    |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `skip_irrelevant` is never used
[INFO] [stdout]    --> src/parser.rs:112:4
[INFO] [stdout]     |
[INFO] [stdout] 112 | fn skip_irrelevant(chars: &mut Peekable<Chars>) {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `see_comment` is never used
[INFO] [stdout]    --> src/parser.rs:119:4
[INFO] [stdout]     |
[INFO] [stdout] 119 | fn see_comment(chars: &mut Peekable<Chars>) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `skip_comment` is never used
[INFO] [stdout]    --> src/parser.rs:123:4
[INFO] [stdout]     |
[INFO] [stdout] 123 | fn skip_comment(chars: &mut Peekable<Chars>) {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `see_whitespace` is never used
[INFO] [stdout]    --> src/parser.rs:129:4
[INFO] [stdout]     |
[INFO] [stdout] 129 | fn see_whitespace(chars: &mut Peekable<Chars>) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `skip_whitespace` is never used
[INFO] [stdout]    --> src/parser.rs:133:4
[INFO] [stdout]     |
[INFO] [stdout] 133 | fn skip_whitespace(chars: &mut Peekable<Chars>) {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `skip_until` is never used
[INFO] [stdout]    --> src/parser.rs:139:4
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn skip_until(chars: &mut Peekable<Chars>,
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `KAPPA` is never used
[INFO] [stdout]  --> src/solver.rs:9:7
[INFO] [stdout]   |
[INFO] [stdout] 9 | const KAPPA: Lit = 0;
[INFO] [stdout]   |       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eval` is never used
[INFO] [stdout]   --> src/solver.rs:11:8
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub fn eval(cnf: &Cnf, assign: &HashSet<Lit>) -> bool {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `solve` is never used
[INFO] [stdout]   --> src/solver.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub fn solve(cnf: &mut Cnf) -> Result<HashSet<Lit>, ()> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `cdcl` is never used
[INFO] [stdout]   --> src/solver.rs:22:4
[INFO] [stdout]    |
[INFO] [stdout] 22 | fn cdcl(cnf: &mut Cnf, trail: &mut Trail)
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `unit_prop_and_learn` is never used
[INFO] [stdout]   --> src/solver.rs:64:4
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn unit_prop_and_learn(unsat_clauses: &Vec<&Clause>,
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `backtrack` is never used
[INFO] [stdout]    --> src/solver.rs:104:4
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn backtrack(trail: &mut Trail) {
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `find_uip_cut_set` is never used
[INFO] [stdout]    --> src/solver.rs:124:4
[INFO] [stdout]     |
[INFO] [stdout] 124 | fn find_uip_cut_set(trail: &Trail) -> HashSet<Lit> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `unit_prop` is never used
[INFO] [stdout]    --> src/solver.rs:153:4
[INFO] [stdout]     |
[INFO] [stdout] 153 | fn unit_prop<'a>(unsat_clauses: &Vec<&Clause>,
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_inverse_clause` is never used
[INFO] [stdout]    --> src/solver.rs:234:4
[INFO] [stdout]     |
[INFO] [stdout] 234 | fn get_inverse_clause(set: &HashSet<Lit>) -> Clause {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_next_unassigned` is never used
[INFO] [stdout]    --> src/solver.rs:240:4
[INFO] [stdout]     |
[INFO] [stdout] 240 | fn get_next_unassigned<'a>(cnf: &'a Cnf, trail: &Trail) -> Option<&'a Lit> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_clause_unsat` is never used
[INFO] [stdout]    --> src/solver.rs:248:4
[INFO] [stdout]     |
[INFO] [stdout] 248 | fn is_clause_unsat(clause: &Clause, trail: &Trail) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_clause_unit` is never used
[INFO] [stdout]    --> src/solver.rs:252:4
[INFO] [stdout]     |
[INFO] [stdout] 252 | fn is_clause_unit(clause: &Clause, trail: &Trail) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `var_of_lit` is never used
[INFO] [stdout]    --> src/solver.rs:262:4
[INFO] [stdout]     |
[INFO] [stdout] 262 | fn var_of_lit(lit: &Lit) -> Var {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `TrailNodeDecorator` is never used
[INFO] [stdout]  --> src/trail.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub enum TrailNodeDecorator {
[INFO] [stdout]   |          ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TrailNode` is never constructed
[INFO] [stdout]   --> src/trail.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub struct TrailNode {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Trail` is never constructed
[INFO] [stdout]   --> src/trail.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct Trail {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/trail.rs:41:12
[INFO] [stdout]     |
[INFO] [stdout]  40 | impl Trail {
[INFO] [stdout]     | ---------- associated items in this implementation
[INFO] [stdout]  41 |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  48 |     pub fn push(&mut self, lit: Lit, decorator: TrailNodeDecorator) {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout]  56 |     pub fn pop(&mut self) -> Option<TrailNode> {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  69 |     pub fn dec_level(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  73 |     pub fn contains_node(&self, lit: &Lit) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  78 |     pub fn get_latest_decision_children(&self) -> HashSet<Lit> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  98 |     pub fn get_parents(&self, lit: &Lit) -> HashSet<Lit> {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 118 |     pub fn get_latest_in_set(&self, set: &HashSet<Lit>) -> Lit {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 129 |     pub fn remove(&mut self, lit: &Lit) {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 136 |     pub fn get_assignments(&self) -> HashSet<Lit> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 143 |     pub fn to_graphviz(&self) -> String {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 11.43s
[INFO] running `Command { std: "docker" "inspect" "9f18bac566daddfe29a9e769ba289d3bb34c310154d1e3667fe85e90959065b7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9f18bac566daddfe29a9e769ba289d3bb34c310154d1e3667fe85e90959065b7", kill_on_drop: false }`
[INFO] [stdout] 9f18bac566daddfe29a9e769ba289d3bb34c310154d1e3667fe85e90959065b7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "RUSTDOCFLAGS=--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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8ce5ef0c77adba68c412eca9fdad6e91af7291d0cd181b3150481d8c3bc7ebfa
[INFO] running `Command { std: "docker" "start" "-a" "8ce5ef0c77adba68c412eca9fdad6e91af7291d0cd181b3150481d8c3bc7ebfa", kill_on_drop: false }`
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]    Compiling toml_datetime v0.6.8
[INFO] [stderr]    Compiling winnow v0.7.4
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling indexmap v2.8.0
[INFO] [stderr]    Compiling toml_edit v0.22.24
[INFO] [stderr]    Compiling proc-macro-crate v3.3.0
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.100
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling rstest_macros v0.25.0
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.100
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.100
[INFO] [stderr]    Compiling wasm-bindgen v0.2.100
[INFO] [stderr]    Compiling rstest v0.25.0
[INFO] [stderr]    Compiling saguaro v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: type alias `Var` is never used
[INFO] [stdout]  --> src/cnf.rs:1:10
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub type Var = i32;
[INFO] [stdout]   |          ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eval` is never used
[INFO] [stdout]   --> src/solver.rs:11:8
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub fn eval(cnf: &Cnf, assign: &HashSet<Lit>) -> bool {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `var_of_lit` is never used
[INFO] [stdout]    --> src/solver.rs:262:4
[INFO] [stdout]     |
[INFO] [stdout] 262 | fn var_of_lit(lit: &Lit) -> Var {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `to_graphviz` is never used
[INFO] [stdout]    --> src/trail.rs:143:12
[INFO] [stdout]     |
[INFO] [stdout]  40 | impl Trail {
[INFO] [stdout]     | ---------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 143 |     pub fn to_graphviz(&self) -> String {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Assignments`
[INFO] [stdout]   --> src/solver/tests.rs:19:18
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let assign = Assignments::from(assign_lits, num_vars);
[INFO] [stdout]    |                  ^^^^^^^^^^^ use of undeclared type `Assignments`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Assignments`
[INFO] [stdout]   --> src/solver/tests.rs:40:18
[INFO] [stdout]    |
[INFO] [stdout] 40 |     let assign = Assignments::from(assign_lits, num_vars);
[INFO] [stdout]    |                  ^^^^^^^^^^^ use of undeclared type `Assignments`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Assignments`
[INFO] [stdout]   --> src/solver/tests.rs:41:22
[INFO] [stdout]    |
[INFO] [stdout] 41 |     let exp_assign = Assignments::from(exp_assign_lits, num_vars);
[INFO] [stdout]    |                      ^^^^^^^^^^^ use of undeclared type `Assignments`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/solver/tests.rs:44:34
[INFO] [stdout]     |
[INFO] [stdout]  44 |     assert_eq!(Ok(()), unit_prop(&cnf, &mut m_assign));
[INFO] [stdout]     |                        --------- ^^^^ expected `&Vec<&Vec<i32>>`, found `&Cnf`
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        arguments to this function are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected reference `&Vec<&Vec<i32>>`
[INFO] [stdout]                found reference `&cnf::Cnf`
[INFO] [stdout] note: function defined here
[INFO] [stdout]    --> src/solver.rs:153:4
[INFO] [stdout]     |
[INFO] [stdout] 153 | fn unit_prop<'a>(unsat_clauses: &Vec<&Clause>,
[INFO] [stdout]     |    ^^^^^^^^^     ----------------------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Assignments`
[INFO] [stdout]   --> src/solver/tests.rs:56:18
[INFO] [stdout]    |
[INFO] [stdout] 56 |     let assign = Assignments::from(assign_lits, num_vars);
[INFO] [stdout]    |                  ^^^^^^^^^^^ use of undeclared type `Assignments`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/solver/tests.rs:59:41
[INFO] [stdout]     |
[INFO] [stdout]  59 |     assert_eq!(true, matches!(unit_prop(&cnf, &mut m_assign), Err(_)));
[INFO] [stdout]     |                               --------- ^^^^ expected `&Vec<&Vec<i32>>`, found `&Cnf`
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               arguments to this function are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected reference `&Vec<&Vec<i32>>`
[INFO] [stdout]                found reference `&cnf::Cnf`
[INFO] [stdout] note: function defined here
[INFO] [stdout]    --> src/solver.rs:153:4
[INFO] [stdout]     |
[INFO] [stdout] 153 | fn unit_prop<'a>(unsat_clauses: &Vec<&Clause>,
[INFO] [stdout]     |    ^^^^^^^^^     ----------------------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Assignments`
[INFO] [stdout]   --> src/solver/tests.rs:73:18
[INFO] [stdout]    |
[INFO] [stdout] 73 |     let assign = Assignments::from(assign_lits, num_vars);
[INFO] [stdout]    |                  ^^^^^^^^^^^ use of undeclared type `Assignments`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Assignments`
[INFO] [stdout]   --> src/solver/tests.rs:91:18
[INFO] [stdout]    |
[INFO] [stdout] 91 |     let assign = Assignments::from(assign_lits, num_vars);
[INFO] [stdout]    |                  ^^^^^^^^^^^ use of undeclared type `Assignments`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `get_unit_unassigned` in this scope
[INFO] [stdout]    --> src/solver/tests.rs:93:26
[INFO] [stdout]     |
[INFO] [stdout]  93 |     assert_eq!(expected, get_unit_unassigned(&clause, &assign));
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^ help: a function with a similar name exists: `get_next_unassigned`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/solver.rs:240:1
[INFO] [stdout]     |
[INFO] [stdout] 240 | fn get_next_unassigned<'a>(cnf: &'a Cnf, trail: &Trail) -> Option<&'a Lit> {
[INFO] [stdout]     | -------------------------------------------------------------------------- similarly named function `get_next_unassigned` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0308, E0425, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0308`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `saguaro` (lib test) due to 9 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "8ce5ef0c77adba68c412eca9fdad6e91af7291d0cd181b3150481d8c3bc7ebfa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8ce5ef0c77adba68c412eca9fdad6e91af7291d0cd181b3150481d8c3bc7ebfa", kill_on_drop: false }`
[INFO] [stdout] 8ce5ef0c77adba68c412eca9fdad6e91af7291d0cd181b3150481d8c3bc7ebfa
