[INFO] cloning repository https://github.com/Baseng0815/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/Baseng0815/sat-solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBaseng0815%2Fsat-solver", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBaseng0815%2Fsat-solver'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c849449ec21bc88b925d8922f1cdf3d0126316cc [INFO] testing Baseng0815/sat-solver/c849449ec21bc88b925d8922f1cdf3d0126316cc against 1.83.0 for beta-1.84.0-4 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBaseng0815%2Fsat-solver" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Baseng0815/sat-solver on toolchain 1.83.0 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Baseng0815/sat-solver [INFO] finished tweaking git repo https://github.com/Baseng0815/sat-solver [INFO] tweaked toml for git repo https://github.com/Baseng0815/sat-solver written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/Baseng0815/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.83.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded chumsky v1.0.0-alpha.7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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" "+1.83.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 152b2b61a7d9b066f93ef17bc07f8dddc4907df92b8246d5f03f3c85d6a08103 [INFO] running `Command { std: "docker" "start" "-a" "152b2b61a7d9b066f93ef17bc07f8dddc4907df92b8246d5f03f3c85d6a08103", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "152b2b61a7d9b066f93ef17bc07f8dddc4907df92b8246d5f03f3c85d6a08103", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "152b2b61a7d9b066f93ef17bc07f8dddc4907df92b8246d5f03f3c85d6a08103", kill_on_drop: false }` [INFO] [stdout] 152b2b61a7d9b066f93ef17bc07f8dddc4907df92b8246d5f03f3c85d6a08103 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fea87a5fce7fc438c51dfbcc19f5cd99e5c46589f570989404ce89a344c7e312 [INFO] running `Command { std: "docker" "start" "-a" "fea87a5fce7fc438c51dfbcc19f5cd99e5c46589f570989404ce89a344c7e312", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.89 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling libc v0.2.161 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling once_cell v1.20.2 [INFO] [stderr] Compiling chumsky v1.0.0-alpha.7 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling colored v2.1.0 [INFO] [stderr] Compiling cc v1.1.36 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling syn v2.0.87 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling psm v0.1.23 [INFO] [stderr] Compiling stacker v0.1.17 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling ppv-lite86 v0.2.20 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling sat-solver v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `error::Error` [INFO] [stdout] --> src/parser.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::HashMap, error::Error, fs, path::Path}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `container::Seq` and `error::Simple` [INFO] [stdout] --> src/parser.rs:3:15 [INFO] [stdout] | [INFO] [stdout] 3 | use chumsky::{container::Seq, error::Simple, pratt::{infix, prefix, right}, primitive::{choice, just}, recursive::recursive, text, Parser}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `process::exit` [INFO] [stdout] --> src/solver/dpll.rs:3:33 [INFO] [stdout] | [INFO] [stdout] 3 | use std::{collections::HashSet, process::exit}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: use of unstable library feature 'isqrt' [INFO] [stdout] --> src/main.rs:51:31 [INFO] [stdout] | [INFO] [stdout] 51 | for block_row in 0..N.isqrt() { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #116226 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: use of unstable library feature 'isqrt' [INFO] [stdout] --> src/main.rs:52:35 [INFO] [stdout] | [INFO] [stdout] 52 | for block_col in 0..N.isqrt() { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #116226 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: use of unstable library feature 'isqrt' [INFO] [stdout] --> src/main.rs:55:37 [INFO] [stdout] | [INFO] [stdout] 55 | for off_row in 0..N.isqrt() { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #116226 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: use of unstable library feature 'isqrt' [INFO] [stdout] --> src/main.rs:56:41 [INFO] [stdout] | [INFO] [stdout] 56 | for off_col in 0..N.isqrt() { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #116226 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: use of unstable library feature 'isqrt' [INFO] [stdout] --> src/main.rs:57:49 [INFO] [stdout] | [INFO] [stdout] 57 | let row = block_row * N.isqrt() + off_row; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #116226 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: use of unstable library feature 'isqrt' [INFO] [stdout] --> src/main.rs:58:49 [INFO] [stdout] | [INFO] [stdout] 58 | let col = block_col * N.isqrt() + off_col; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #116226 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Container` [INFO] [stdout] --> src/solver/dpll.rs:5:26 [INFO] [stdout] | [INFO] [stdout] 5 | use chumsky::container::{Container, Seq}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cnf` [INFO] [stdout] --> src/solver/dpll.rs:154:20 [INFO] [stdout] | [INFO] [stdout] 154 | fn choose_variable(cnf: &DpllCNF, max_id: VariableId, assignment: &Assignment) -> Option { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_cnf` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `initial_assignment` [INFO] [stdout] --> src/main.rs:95:9 [INFO] [stdout] | [INFO] [stdout] 95 | let initial_assignment = Assignment::from([ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_initial_assignment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0658`. [INFO] [stdout] [INFO] [stderr] error: could not compile `sat-solver` (bin "sat-solver") due to 6 previous errors; 6 warnings emitted [INFO] running `Command { std: "docker" "inspect" "fea87a5fce7fc438c51dfbcc19f5cd99e5c46589f570989404ce89a344c7e312", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fea87a5fce7fc438c51dfbcc19f5cd99e5c46589f570989404ce89a344c7e312", kill_on_drop: false }` [INFO] [stdout] fea87a5fce7fc438c51dfbcc19f5cd99e5c46589f570989404ce89a344c7e312