[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] checking texmex76/babyelim-rust-template against master#b44e14f762fd4062faeba97f8f2bc470298ec1ac for pr-135331 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftexmex76%2Fbabyelim-rust-template" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/texmex76/babyelim-rust-template on toolchain b44e14f762fd4062faeba97f8f2bc470298ec1ac [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b44e14f762fd4062faeba97f8f2bc470298ec1ac" "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-2-tc1/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" "+b44e14f762fd4062faeba97f8f2bc470298ec1ac" "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/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+b44e14f762fd4062faeba97f8f2bc470298ec1ac" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] fc72651127550a0af5b8823c05f80997f0ddf1119d216c9f485f8a5989306e7e [INFO] running `Command { std: "docker" "start" "-a" "fc72651127550a0af5b8823c05f80997f0ddf1119d216c9f485f8a5989306e7e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "fc72651127550a0af5b8823c05f80997f0ddf1119d216c9f485f8a5989306e7e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fc72651127550a0af5b8823c05f80997f0ddf1119d216c9f485f8a5989306e7e", kill_on_drop: false }` [INFO] [stdout] fc72651127550a0af5b8823c05f80997f0ddf1119d216c9f485f8a5989306e7e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "+b44e14f762fd4062faeba97f8f2bc470298ec1ac" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6f33f941c6e3e1ca9eccaa5d67198d13e1ee3f70e3fcd823051ca95f3539d206 [INFO] running `Command { std: "docker" "start" "-a" "6f33f941c6e3e1ca9eccaa5d67198d13e1ee3f70e3fcd823051ca95f3539d206", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling cc v1.0.95 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Checking regex-syntax v0.8.3 [INFO] [stderr] Compiling crc32fast v1.4.0 [INFO] [stderr] Checking predicates-core v1.0.6 [INFO] [stderr] Checking os_str_bytes v6.6.1 [INFO] [stderr] Compiling doc-comment v0.3.3 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking adler v1.0.2 [INFO] [stderr] Checking miniz_oxide v0.7.2 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking termtree v0.4.1 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Checking anstyle v1.0.6 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking float-cmp v0.9.0 [INFO] [stderr] Checking difflib v0.4.0 [INFO] [stderr] Checking normalize-line-endings v0.3.0 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking textwrap v0.16.1 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Compiling assert_cmd v2.0.14 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking predicates-tree v1.0.9 [INFO] [stderr] Checking flate2 v1.0.30 [INFO] [stderr] Checking clap v3.2.25 [INFO] [stderr] Compiling lzma-sys v0.1.20 [INFO] [stderr] Compiling bzip2-sys v0.1.11+1.0.8 [INFO] [stderr] Checking xz2 v0.1.7 [INFO] [stderr] Checking bzip2 v0.4.4 [INFO] [stderr] Checking regex-automata v0.4.6 [INFO] [stderr] Checking 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) { [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) { [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] Checking regex v1.10.4 [INFO] [stderr] Checking bstr v1.9.1 [INFO] [stderr] Checking predicates v3.1.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) { [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) { [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 18.44s [INFO] running `Command { std: "docker" "inspect" "6f33f941c6e3e1ca9eccaa5d67198d13e1ee3f70e3fcd823051ca95f3539d206", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6f33f941c6e3e1ca9eccaa5d67198d13e1ee3f70e3fcd823051ca95f3539d206", kill_on_drop: false }` [INFO] [stdout] 6f33f941c6e3e1ca9eccaa5d67198d13e1ee3f70e3fcd823051ca95f3539d206