[INFO] cloning repository https://github.com/texmex76/babyelim-rust-template
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/texmex76/babyelim-rust-template" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftexmex76%2Fbabyelim-rust-template", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftexmex76%2Fbabyelim-rust-template'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] a3a2d8e2e2e849bfd40b18fac1cfa54e43d55999
[INFO] testing texmex76/babyelim-rust-template against beta-2024-12-08 for beta-1.84.0-4-retry
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftexmex76%2Fbabyelim-rust-template" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/texmex76/babyelim-rust-template on toolchain beta-2024-12-08
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/texmex76/babyelim-rust-template
[INFO] finished tweaking git repo https://github.com/texmex76/babyelim-rust-template
[INFO] tweaked toml for git repo https://github.com/texmex76/babyelim-rust-template written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/texmex76/babyelim-rust-template 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" "+beta-2024-12-08" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bda46752117260956002d5f49fdcdccd675ca2cce5bba03733f495f881496616
[INFO] running `Command { std: "docker" "start" "-a" "bda46752117260956002d5f49fdcdccd675ca2cce5bba03733f495f881496616", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bda46752117260956002d5f49fdcdccd675ca2cce5bba03733f495f881496616", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bda46752117260956002d5f49fdcdccd675ca2cce5bba03733f495f881496616", kill_on_drop: false }`
[INFO] [stdout] bda46752117260956002d5f49fdcdccd675ca2cce5bba03733f495f881496616
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bb5dd9e8deb14d196d3fe4c14008764b13e5c9becda6218323986cab276e5dcc
[INFO] running `Command { std: "docker" "start" "-a" "bb5dd9e8deb14d196d3fe4c14008764b13e5c9becda6218323986cab276e5dcc", kill_on_drop: false }`
[INFO] [stderr]    Compiling pkg-config v0.3.30
[INFO] [stderr]    Compiling cc v1.0.95
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling autocfg v1.2.0
[INFO] [stderr]    Compiling crc32fast v1.4.0
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling adler v1.0.2
[INFO] [stderr]    Compiling os_str_bytes v6.6.1
[INFO] [stderr]    Compiling miniz_oxide v0.7.2
[INFO] [stderr]    Compiling clap_lex v0.2.4
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling textwrap v0.16.1
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling flate2 v1.0.30
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v3.2.25
[INFO] [stderr]    Compiling bzip2-sys v0.1.11+1.0.8
[INFO] [stderr]    Compiling lzma-sys v0.1.20
[INFO] [stderr]    Compiling xz2 v0.1.7
[INFO] [stderr]    Compiling bzip2 v0.4.4
[INFO] [stderr]    Compiling babyelim-rust v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:453:16
[INFO] [stdout]     |
[INFO] [stdout] 453 | fn trace_added(ctx: &SATContext) {
[INFO] [stdout]     |                ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:457:18
[INFO] [stdout]     |
[INFO] [stdout] 457 | fn trace_deleted(ctx: &SATContext, clause: &Vec<i32>) {
[INFO] [stdout]     |                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]    --> src/main.rs:457:36
[INFO] [stdout]     |
[INFO] [stdout] 457 | fn trace_deleted(ctx: &SATContext, clause: &Vec<i32>) {
[INFO] [stdout]     |                                    ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause_ref`
[INFO] [stdout]    --> src/main.rs:512:13
[INFO] [stdout]     |
[INFO] [stdout] 512 |         for clause_ref in ctx.formula.matrix[lit].clone() {
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause_ref`
[INFO] [stdout]    --> src/main.rs:534:13
[INFO] [stdout]     |
[INFO] [stdout] 534 |         for clause_ref in ctx.formula.matrix[unit].clone() {
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `limit`
[INFO] [stdout]    --> src/main.rs:717:9
[INFO] [stdout]     |
[INFO] [stdout] 717 |     let limit = pos + neg + ctx.config.bound_limit;
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_limit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:732:18
[INFO] [stdout]     |
[INFO] [stdout] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stdout]     |                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause_ref`
[INFO] [stdout]    --> src/main.rs:732:40
[INFO] [stdout]     |
[INFO] [stdout] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stdout]     |                                        ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other_ref`
[INFO] [stdout]    --> src/main.rs:732:63
[INFO] [stdout]     |
[INFO] [stdout] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stdout]     |                                                               ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_other_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:758:50
[INFO] [stdout]     |
[INFO] [stdout] 758 | fn disconnect_and_delete_all_clause_with_literal(ctx: &mut SATContext, lit: i32) {
[INFO] [stdout]     |                                                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lit`
[INFO] [stdout]    --> src/main.rs:758:72
[INFO] [stdout]     |
[INFO] [stdout] 758 | fn disconnect_and_delete_all_clause_with_literal(ctx: &mut SATContext, lit: i32) {
[INFO] [stdout]     |                                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `resolutions` and `resolved` are never read
[INFO] [stdout]    --> src/main.rs:119:5
[INFO] [stdout]     |
[INFO] [stdout] 114 | struct Stats {
[INFO] [stdout]     |        ----- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 119 |     resolutions: usize,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 120 |     resolved: usize,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.91s
[INFO] running `Command { std: "docker" "inspect" "bb5dd9e8deb14d196d3fe4c14008764b13e5c9becda6218323986cab276e5dcc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bb5dd9e8deb14d196d3fe4c14008764b13e5c9becda6218323986cab276e5dcc", kill_on_drop: false }`
[INFO] [stdout] bb5dd9e8deb14d196d3fe4c14008764b13e5c9becda6218323986cab276e5dcc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 200c209c05456ff4b8d2267e015c96b976476e0ec72e5494074038b54d98c36c
[INFO] running `Command { std: "docker" "start" "-a" "200c209c05456ff4b8d2267e015c96b976476e0ec72e5494074038b54d98c36c", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling num-traits v0.2.18
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling doc-comment v0.3.3
[INFO] [stderr]    Compiling predicates-core v1.0.6
[INFO] [stderr]    Compiling anstyle v1.0.6
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling termtree v0.4.1
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling assert_cmd v2.0.14
[INFO] [stderr]    Compiling predicates-tree v1.0.9
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:453:16
[INFO] [stdout]     |
[INFO] [stdout] 453 | fn trace_added(ctx: &SATContext) {
[INFO] [stdout]     |                ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:457:18
[INFO] [stdout]     |
[INFO] [stdout] 457 | fn trace_deleted(ctx: &SATContext, clause: &Vec<i32>) {
[INFO] [stdout]     |                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]    --> src/main.rs:457:36
[INFO] [stdout]     |
[INFO] [stdout] 457 | fn trace_deleted(ctx: &SATContext, clause: &Vec<i32>) {
[INFO] [stdout]     |                                    ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause_ref`
[INFO] [stdout]    --> src/main.rs:512:13
[INFO] [stdout]     |
[INFO] [stdout] 512 |         for clause_ref in ctx.formula.matrix[lit].clone() {
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause_ref`
[INFO] [stdout]    --> src/main.rs:534:13
[INFO] [stdout]     |
[INFO] [stdout] 534 |         for clause_ref in ctx.formula.matrix[unit].clone() {
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `limit`
[INFO] [stdout]    --> src/main.rs:717:9
[INFO] [stdout]     |
[INFO] [stdout] 717 |     let limit = pos + neg + ctx.config.bound_limit;
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_limit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:732:18
[INFO] [stdout]     |
[INFO] [stdout] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stdout]     |                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause_ref`
[INFO] [stdout]    --> src/main.rs:732:40
[INFO] [stdout]     |
[INFO] [stdout] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stdout]     |                                        ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other_ref`
[INFO] [stdout]    --> src/main.rs:732:63
[INFO] [stdout]     |
[INFO] [stdout] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stdout]     |                                                               ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_other_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:758:50
[INFO] [stdout]     |
[INFO] [stdout] 758 | fn disconnect_and_delete_all_clause_with_literal(ctx: &mut SATContext, lit: i32) {
[INFO] [stdout]     |                                                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lit`
[INFO] [stdout]    --> src/main.rs:758:72
[INFO] [stdout]     |
[INFO] [stdout] 758 | fn disconnect_and_delete_all_clause_with_literal(ctx: &mut SATContext, lit: i32) {
[INFO] [stdout]     |                                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `resolutions` and `resolved` are never read
[INFO] [stdout]    --> src/main.rs:119:5
[INFO] [stdout]     |
[INFO] [stdout] 114 | struct Stats {
[INFO] [stdout]     |        ----- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 119 |     resolutions: usize,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 120 |     resolved: usize,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling float-cmp v0.9.0
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling regex v1.10.4
[INFO] [stderr]    Compiling bstr v1.9.1
[INFO] [stderr]    Compiling predicates v3.1.0
[INFO] [stderr]    Compiling babyelim-rust v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:453:16
[INFO] [stdout]     |
[INFO] [stdout] 453 | fn trace_added(ctx: &SATContext) {
[INFO] [stdout]     |                ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:457:18
[INFO] [stdout]     |
[INFO] [stdout] 457 | fn trace_deleted(ctx: &SATContext, clause: &Vec<i32>) {
[INFO] [stdout]     |                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]    --> src/main.rs:457:36
[INFO] [stdout]     |
[INFO] [stdout] 457 | fn trace_deleted(ctx: &SATContext, clause: &Vec<i32>) {
[INFO] [stdout]     |                                    ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause_ref`
[INFO] [stdout]    --> src/main.rs:512:13
[INFO] [stdout]     |
[INFO] [stdout] 512 |         for clause_ref in ctx.formula.matrix[lit].clone() {
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause_ref`
[INFO] [stdout]    --> src/main.rs:534:13
[INFO] [stdout]     |
[INFO] [stdout] 534 |         for clause_ref in ctx.formula.matrix[unit].clone() {
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `limit`
[INFO] [stdout]    --> src/main.rs:717:9
[INFO] [stdout]     |
[INFO] [stdout] 717 |     let limit = pos + neg + ctx.config.bound_limit;
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_limit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:732:18
[INFO] [stdout]     |
[INFO] [stdout] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stdout]     |                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause_ref`
[INFO] [stdout]    --> src/main.rs:732:40
[INFO] [stdout]     |
[INFO] [stdout] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stdout]     |                                        ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other_ref`
[INFO] [stdout]    --> src/main.rs:732:63
[INFO] [stdout]     |
[INFO] [stdout] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stdout]     |                                                               ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_other_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/main.rs:758:50
[INFO] [stdout]     |
[INFO] [stdout] 758 | fn disconnect_and_delete_all_clause_with_literal(ctx: &mut SATContext, lit: i32) {
[INFO] [stdout]     |                                                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lit`
[INFO] [stdout]    --> src/main.rs:758:72
[INFO] [stdout]     |
[INFO] [stdout] 758 | fn disconnect_and_delete_all_clause_with_literal(ctx: &mut SATContext, lit: i32) {
[INFO] [stdout]     |                                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `resolutions` and `resolved` are never read
[INFO] [stdout]    --> src/main.rs:119:5
[INFO] [stdout]     |
[INFO] [stdout] 114 | struct Stats {
[INFO] [stdout]     |        ----- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 119 |     resolutions: usize,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 120 |     resolved: usize,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 24.07s
[INFO] running `Command { std: "docker" "inspect" "200c209c05456ff4b8d2267e015c96b976476e0ec72e5494074038b54d98c36c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "200c209c05456ff4b8d2267e015c96b976476e0ec72e5494074038b54d98c36c", kill_on_drop: false }`
[INFO] [stdout] 200c209c05456ff4b8d2267e015c96b976476e0ec72e5494074038b54d98c36c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 9a573a52afb13e5e051a7d1fddde432c61ba1bc9902c85bc94e2830728dc260d
[INFO] running `Command { std: "docker" "start" "-a" "9a573a52afb13e5e051a7d1fddde432c61ba1bc9902c85bc94e2830728dc260d", kill_on_drop: false }`
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]    --> src/main.rs:453:16
[INFO] [stderr]     |
[INFO] [stderr] 453 | fn trace_added(ctx: &SATContext) {
[INFO] [stderr]     |                ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]    --> src/main.rs:457:18
[INFO] [stderr]     |
[INFO] [stderr] 457 | fn trace_deleted(ctx: &SATContext, clause: &Vec<i32>) {
[INFO] [stderr]     |                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `clause`
[INFO] [stderr]    --> src/main.rs:457:36
[INFO] [stderr]     |
[INFO] [stderr] 457 | fn trace_deleted(ctx: &SATContext, clause: &Vec<i32>) {
[INFO] [stderr]     |                                    ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `clause_ref`
[INFO] [stderr]    --> src/main.rs:512:13
[INFO] [stderr]     |
[INFO] [stderr] 512 |         for clause_ref in ctx.formula.matrix[lit].clone() {
[INFO] [stderr]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `clause_ref`
[INFO] [stderr]    --> src/main.rs:534:13
[INFO] [stderr]     |
[INFO] [stderr] 534 |         for clause_ref in ctx.formula.matrix[unit].clone() {
[INFO] [stderr]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `limit`
[INFO] [stderr]    --> src/main.rs:717:9
[INFO] [stderr]     |
[INFO] [stderr] 717 |     let limit = pos + neg + ctx.config.bound_limit;
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_limit`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]    --> src/main.rs:732:18
[INFO] [stderr]     |
[INFO] [stderr] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stderr]     |                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `clause_ref`
[INFO] [stderr]    --> src/main.rs:732:40
[INFO] [stderr]     |
[INFO] [stderr] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stderr]     |                                        ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause_ref`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `other_ref`
[INFO] [stderr]    --> src/main.rs:732:63
[INFO] [stderr]     |
[INFO] [stderr] 732 | fn add_resolvent(ctx: &mut SATContext, clause_ref: ClauseRef, other_ref: ClauseRef) {
[INFO] [stderr]     |                                                               ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_other_ref`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]    --> src/main.rs:758:50
[INFO] [stderr]     |
[INFO] [stderr] 758 | fn disconnect_and_delete_all_clause_with_literal(ctx: &mut SATContext, lit: i32) {
[INFO] [stderr]     |                                                  ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `lit`
[INFO] [stderr]    --> src/main.rs:758:72
[INFO] [stderr]     |
[INFO] [stderr] 758 | fn disconnect_and_delete_all_clause_with_literal(ctx: &mut SATContext, lit: i32) {
[INFO] [stderr]     |                                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stderr] 
[INFO] [stderr] warning: fields `resolutions` and `resolved` are never read
[INFO] [stderr]    --> src/main.rs:119:5
[INFO] [stderr]     |
[INFO] [stderr] 114 | struct Stats {
[INFO] [stderr]     |        ----- fields in this struct
[INFO] [stderr] ...
[INFO] [stderr] 119 |     resolutions: usize,
[INFO] [stderr]     |     ^^^^^^^^^^^
[INFO] [stderr] 120 |     resolved: usize,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `babyelim-rust` (bin "babyelim-rust") generated 12 warnings
[INFO] [stderr] warning: `babyelim-rust` (bin "babyelim-rust" test) generated 12 warnings (12 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/babyelim_rust-8dd21ab47ec34209)
[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/integration_test.rs (/opt/rustwide/target/debug/deps/integration_test-51271c7b5c5d6b7c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test run_all_tests ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- run_all_tests stdout ----
[INFO] [stdout] Error: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stderr] error: test failed, to rerun pass `--test integration_test`
[INFO] [stdout]     run_all_tests
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9a573a52afb13e5e051a7d1fddde432c61ba1bc9902c85bc94e2830728dc260d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9a573a52afb13e5e051a7d1fddde432c61ba1bc9902c85bc94e2830728dc260d", kill_on_drop: false }`
[INFO] [stdout] 9a573a52afb13e5e051a7d1fddde432c61ba1bc9902c85bc94e2830728dc260d
