[INFO] fetching crate selen 0.8.4... [INFO] testing selen-0.8.4 against try#2440211fe03bc45c89b6dc1a3df18382ce91e32b for pr-146098-1 [INFO] extracting crate selen 0.8.4 into /workspace/builds/worker-7-tc2/source [INFO] started tweaking crates.io crate selen 0.8.4 [INFO] removed 0 missing examples [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate selen 0.8.4 [INFO] tweaked toml for crates.io crate selen 0.8.4 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate selen 0.8.4 on toolchain 2440211fe03bc45c89b6dc1a3df18382ce91e32b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate selen 0.8.4 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" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b9304013752fa05a140b609c8eb034fb440f9fa8571e2b89ab417df67ae6adf1 [INFO] running `Command { std: "docker" "start" "-a" "b9304013752fa05a140b609c8eb034fb440f9fa8571e2b89ab417df67ae6adf1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b9304013752fa05a140b609c8eb034fb440f9fa8571e2b89ab417df67ae6adf1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b9304013752fa05a140b609c8eb034fb440f9fa8571e2b89ab417df67ae6adf1", kill_on_drop: false }` [INFO] [stdout] b9304013752fa05a140b609c8eb034fb440f9fa8571e2b89ab417df67ae6adf1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7bd92635f4b49869a9d89c80bcfdf68e9e80d0345316a5eb976d717ac8c7eadd [INFO] running `Command { std: "docker" "start" "-a" "7bd92635f4b49869a9d89c80bcfdf68e9e80d0345316a5eb976d717ac8c7eadd", kill_on_drop: false }` [INFO] [stderr] Compiling selen v0.8.4 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> src/variables/view_system/core.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Context` and `ViewRaw` [INFO] [stdout] --> src/variables/view_system/extensions.rs:3:19 [INFO] [stdout] | [INFO] [stdout] 3 | use super::core::{Context, View, ViewRaw}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::variables::Val` [INFO] [stdout] --> src/variables/view_system/extensions.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::variables::Val; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::variables::VarId` [INFO] [stdout] --> src/constraints/propagators/core_framework.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::variables::VarId; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `queue` [INFO] [stdout] --> src/constraints/gac_hybrid.rs:515:17 [INFO] [stdout] | [INFO] [stdout] 515 | let mut queue: VecDeque = VecDeque::new(); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_queue` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/constraints/gac_hybrid.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | let mut queue: VecDeque = VecDeque::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/solvers/sudoku.rs:407:8 [INFO] [stdout] | [INFO] [stdout] 151 | impl SudokuSolver { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 407 | fn apply_box_line_reduction(&mut self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 464 | fn apply_x_wing(&mut self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 706 | fn apply_alternating_inference_chains(&mut self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 718 | fn build_aic_chains_for_digit(&mut self, digit: i32) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 747 | fn build_chain( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 800 | fn find_strong_links(&self, digit: i32, pos: (usize, usize)) -> Vec<(usize, usize)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 857 | fn find_weak_links(&self, digit: i32, pos: (usize, usize)) -> Vec<(usize, usize)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 877 | fn positions_see_each_other(&self, pos1: (usize, usize), pos2: (usize, usize)) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 900 | fn find_aic_elimination(&self, digit: i32, chain: &[((usize, usize), bool)]) -> Option<(usize, usize)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [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 5.51s [INFO] running `Command { std: "docker" "inspect" "7bd92635f4b49869a9d89c80bcfdf68e9e80d0345316a5eb976d717ac8c7eadd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7bd92635f4b49869a9d89c80bcfdf68e9e80d0345316a5eb976d717ac8c7eadd", kill_on_drop: false }` [INFO] [stdout] 7bd92635f4b49869a9d89c80bcfdf68e9e80d0345316a5eb976d717ac8c7eadd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0fabf630570758660c1e4226dc735e762ce58488e9e3d141cd8470c50b8c23ae [INFO] running `Command { std: "docker" "start" "-a" "0fabf630570758660c1e4226dc735e762ce58488e9e3d141cd8470c50b8c23ae", kill_on_drop: false }` [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> src/variables/view_system/core.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Context` and `ViewRaw` [INFO] [stdout] --> src/variables/view_system/extensions.rs:3:19 [INFO] [stdout] | [INFO] [stdout] 3 | use super::core::{Context, View, ViewRaw}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling selen v0.8.4 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `crate::variables::Val` [INFO] [stdout] --> src/variables/view_system/extensions.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::variables::Val; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::variables::VarId` [INFO] [stdout] --> src/constraints/propagators/core_framework.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::variables::VarId; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `queue` [INFO] [stdout] --> src/constraints/gac_hybrid.rs:515:17 [INFO] [stdout] | [INFO] [stdout] 515 | let mut queue: VecDeque = VecDeque::new(); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_queue` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/constraints/gac_hybrid.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | let mut queue: VecDeque = VecDeque::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/solvers/sudoku.rs:407:8 [INFO] [stdout] | [INFO] [stdout] 151 | impl SudokuSolver { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 407 | fn apply_box_line_reduction(&mut self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 464 | fn apply_x_wing(&mut self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 706 | fn apply_alternating_inference_chains(&mut self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 718 | fn build_aic_chains_for_digit(&mut self, digit: i32) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 747 | fn build_chain( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 800 | fn find_strong_links(&self, digit: i32, pos: (usize, usize)) -> Vec<(usize, usize)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 857 | fn find_weak_links(&self, digit: i32, pos: (usize, usize)) -> Vec<(usize, usize)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 877 | fn positions_see_each_other(&self, pos1: (usize, usize), pos2: (usize, usize)) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 900 | fn find_aic_elimination(&self, digit: i32, chain: &[((usize, usize), bool)]) -> Option<(usize, usize)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `easy_propagations` [INFO] [stdout] --> examples/sudoku.rs:79:10 [INFO] [stdout] | [INFO] [stdout] 79 | let (easy_propagations, easy_nodes) = solve_and_display("EASY", &easy_puzzle); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_easy_propagations` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `easy_nodes` [INFO] [stdout] --> examples/sudoku.rs:79:29 [INFO] [stdout] | [INFO] [stdout] 79 | let (easy_propagations, easy_nodes) = solve_and_display("EASY", &easy_puzzle); [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_easy_nodes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `hard_propagations` [INFO] [stdout] --> examples/sudoku.rs:80:10 [INFO] [stdout] | [INFO] [stdout] 80 | let (hard_propagations, hard_nodes) = solve_and_display("HARD", &hard_puzzle); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hard_propagations` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `hard_nodes` [INFO] [stdout] --> examples/sudoku.rs:80:29 [INFO] [stdout] | [INFO] [stdout] 80 | let (hard_propagations, hard_nodes) = solve_and_display("HARD", &hard_puzzle); [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hard_nodes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `extreme_propagations` [INFO] [stdout] --> examples/sudoku.rs:81:10 [INFO] [stdout] | [INFO] [stdout] 81 | let (extreme_propagations, extreme_nodes) = solve_and_display("EXTREME", &extreme_puzzle); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_extreme_propagations` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `extreme_nodes` [INFO] [stdout] --> examples/sudoku.rs:81:32 [INFO] [stdout] | [INFO] [stdout] 81 | let (extreme_propagations, extreme_nodes) = solve_and_display("EXTREME", &extreme_puzzle); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_extreme_nodes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `platinum_propagations` [INFO] [stdout] --> examples/sudoku.rs:82:10 [INFO] [stdout] | [INFO] [stdout] 82 | let (platinum_propagations, platinum_nodes) = solve_and_display("PLATINUM", &platinum_puzzle); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_platinum_propagations` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `platinum_nodes` [INFO] [stdout] --> examples/sudoku.rs:82:33 [INFO] [stdout] | [INFO] [stdout] 82 | let (platinum_propagations, platinum_nodes) = solve_and_display("PLATINUM", &platinum_puzzle); [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_platinum_nodes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Solution` and `SolveStats` [INFO] [stdout] --> tests/test_safe_solution_access.rs:1:19 [INFO] [stdout] | [INFO] [stdout] 1 | use selen::core::{Solution, SolveStats, ValueAccessError}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `VarId` [INFO] [stdout] --> tests/test_safe_solution_access.rs:2:24 [INFO] [stdout] | [INFO] [stdout] 2 | use selen::variables::{VarId, Val}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused return value of `Solution::get_int_unchecked` that must be used [INFO] [stdout] --> tests/test_safe_solution_access.rs:59:5 [INFO] [stdout] | [INFO] [stdout] 59 | solution.get_int_unchecked(float_var); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 59 | let _ = solution.get_int_unchecked(float_var); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `total_time` is assigned to, but never used [INFO] [stdout] --> examples/sudoku_hard.rs:301:13 [INFO] [stdout] | [INFO] [stdout] 301 | let mut total_time = 0.0; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_total_time` instead [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `total_nodes` is assigned to, but never used [INFO] [stdout] --> examples/sudoku_hard.rs:302:13 [INFO] [stdout] | [INFO] [stdout] 302 | let mut total_nodes = 0; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_total_nodes` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `total_propagations` is assigned to, but never used [INFO] [stdout] --> examples/sudoku_hard.rs:303:13 [INFO] [stdout] | [INFO] [stdout] 303 | let mut total_propagations = 0; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_total_propagations` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `solved_count` is assigned to, but never used [INFO] [stdout] --> examples/sudoku_hard.rs:304:13 [INFO] [stdout] | [INFO] [stdout] 304 | let mut solved_count = 0; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_solved_count` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> src/variables/view_system/core.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Context` and `ViewRaw` [INFO] [stdout] --> src/variables/view_system/extensions.rs:3:19 [INFO] [stdout] | [INFO] [stdout] 3 | use super::core::{Context, View, ViewRaw}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::variables::Val` [INFO] [stdout] --> src/variables/view_system/extensions.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::variables::Val; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::variables::VarId` [INFO] [stdout] --> src/constraints/propagators/core_framework.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::variables::VarId; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `queue` [INFO] [stdout] --> src/constraints/gac_hybrid.rs:515:17 [INFO] [stdout] | [INFO] [stdout] 515 | let mut queue: VecDeque = VecDeque::new(); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_queue` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/constraints/gac_hybrid.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | let mut queue: VecDeque = VecDeque::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/solvers/sudoku.rs:407:8 [INFO] [stdout] | [INFO] [stdout] 151 | impl SudokuSolver { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 407 | fn apply_box_line_reduction(&mut self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 464 | fn apply_x_wing(&mut self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 706 | fn apply_alternating_inference_chains(&mut self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 718 | fn build_aic_chains_for_digit(&mut self, digit: i32) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 747 | fn build_chain( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 800 | fn find_strong_links(&self, digit: i32, pos: (usize, usize)) -> Vec<(usize, usize)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 857 | fn find_weak_links(&self, digit: i32, pos: (usize, usize)) -> Vec<(usize, usize)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 877 | fn positions_see_each_other(&self, pos1: (usize, usize), pos2: (usize, usize)) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 900 | fn find_aic_elimination(&self, digit: i32, chain: &[((usize, usize), bool)]) -> Option<(usize, usize)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [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 15.04s [INFO] running `Command { std: "docker" "inspect" "0fabf630570758660c1e4226dc735e762ce58488e9e3d141cd8470c50b8c23ae", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0fabf630570758660c1e4226dc735e762ce58488e9e3d141cd8470c50b8c23ae", kill_on_drop: false }` [INFO] [stdout] 0fabf630570758660c1e4226dc735e762ce58488e9e3d141cd8470c50b8c23ae [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 3a1158a40e8c29d36189d61081919ace219fa4511ca3f765fa3ceca274164d2f [INFO] running `Command { std: "docker" "start" "-a" "3a1158a40e8c29d36189d61081919ace219fa4511ca3f765fa3ceca274164d2f", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `std::marker::PhantomData` [INFO] [stderr] --> src/variables/view_system/core.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::marker::PhantomData; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Context` and `ViewRaw` [INFO] [stderr] --> src/variables/view_system/extensions.rs:3:19 [INFO] [stderr] | [INFO] [stderr] 3 | use super::core::{Context, View, ViewRaw}; [INFO] [stderr] | ^^^^^^^ ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::variables::Val` [INFO] [stderr] --> src/variables/view_system/extensions.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use crate::variables::Val; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::variables::VarId` [INFO] [stderr] --> src/constraints/propagators/core_framework.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use crate::variables::VarId; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `queue` [INFO] [stderr] --> src/constraints/gac_hybrid.rs:515:17 [INFO] [stderr] | [INFO] [stderr] 515 | let mut queue: VecDeque = VecDeque::new(); [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_queue` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/constraints/gac_hybrid.rs:515:13 [INFO] [stderr] | [INFO] [stderr] 515 | let mut queue: VecDeque = VecDeque::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: multiple methods are never used [INFO] [stderr] --> src/solvers/sudoku.rs:407:8 [INFO] [stderr] | [INFO] [stderr] 151 | impl SudokuSolver { [INFO] [stderr] | ----------------- methods in this implementation [INFO] [stderr] ... [INFO] [stderr] 407 | fn apply_box_line_reduction(&mut self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 464 | fn apply_x_wing(&mut self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 706 | fn apply_alternating_inference_chains(&mut self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 718 | fn build_aic_chains_for_digit(&mut self, digit: i32) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 747 | fn build_chain( [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 800 | fn find_strong_links(&self, digit: i32, pos: (usize, usize)) -> Vec<(usize, usize)> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 857 | fn find_weak_links(&self, digit: i32, pos: (usize, usize)) -> Vec<(usize, usize)> { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 877 | fn positions_see_each_other(&self, pos1: (usize, usize), pos2: (usize, usize)) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 900 | fn find_aic_elimination(&self, digit: i32, chain: &[((usize, usize), bool)]) -> Option<(usize, usize)> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `selen` (lib) generated 7 warnings (run `cargo fix --lib -p selen` to apply 5 suggestions) [INFO] [stderr] warning: unused variable: `easy_propagations` [INFO] [stderr] --> examples/sudoku.rs:79:10 [INFO] [stderr] | [INFO] [stderr] 79 | let (easy_propagations, easy_nodes) = solve_and_display("EASY", &easy_puzzle); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_easy_propagations` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `easy_nodes` [INFO] [stderr] --> examples/sudoku.rs:79:29 [INFO] [stderr] | [INFO] [stderr] 79 | let (easy_propagations, easy_nodes) = solve_and_display("EASY", &easy_puzzle); [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_easy_nodes` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `hard_propagations` [INFO] [stderr] --> examples/sudoku.rs:80:10 [INFO] [stderr] | [INFO] [stderr] 80 | let (hard_propagations, hard_nodes) = solve_and_display("HARD", &hard_puzzle); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hard_propagations` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `hard_nodes` [INFO] [stderr] --> examples/sudoku.rs:80:29 [INFO] [stderr] | [INFO] [stderr] 80 | let (hard_propagations, hard_nodes) = solve_and_display("HARD", &hard_puzzle); [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hard_nodes` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `extreme_propagations` [INFO] [stderr] --> examples/sudoku.rs:81:10 [INFO] [stderr] | [INFO] [stderr] 81 | let (extreme_propagations, extreme_nodes) = solve_and_display("EXTREME", &extreme_puzzle); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_extreme_propagations` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `extreme_nodes` [INFO] [stderr] --> examples/sudoku.rs:81:32 [INFO] [stderr] | [INFO] [stderr] 81 | let (extreme_propagations, extreme_nodes) = solve_and_display("EXTREME", &extreme_puzzle); [INFO] [stderr] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_extreme_nodes` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `platinum_propagations` [INFO] [stderr] --> examples/sudoku.rs:82:10 [INFO] [stderr] | [INFO] [stderr] 82 | let (platinum_propagations, platinum_nodes) = solve_and_display("PLATINUM", &platinum_puzzle); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_platinum_propagations` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `platinum_nodes` [INFO] [stderr] --> examples/sudoku.rs:82:33 [INFO] [stderr] | [INFO] [stderr] 82 | let (platinum_propagations, platinum_nodes) = solve_and_display("PLATINUM", &platinum_puzzle); [INFO] [stderr] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_platinum_nodes` [INFO] [stderr] [INFO] [stderr] warning: `selen` (example "sudoku") generated 8 warnings [INFO] [stderr] warning: variable `total_time` is assigned to, but never used [INFO] [stderr] --> examples/sudoku_hard.rs:301:13 [INFO] [stderr] | [INFO] [stderr] 301 | let mut total_time = 0.0; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: consider using `_total_time` instead [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable `total_nodes` is assigned to, but never used [INFO] [stderr] --> examples/sudoku_hard.rs:302:13 [INFO] [stderr] | [INFO] [stderr] 302 | let mut total_nodes = 0; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: consider using `_total_nodes` instead [INFO] [stderr] [INFO] [stderr] warning: variable `total_propagations` is assigned to, but never used [INFO] [stderr] --> examples/sudoku_hard.rs:303:13 [INFO] [stderr] | [INFO] [stderr] 303 | let mut total_propagations = 0; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: consider using `_total_propagations` instead [INFO] [stderr] [INFO] [stderr] warning: variable `solved_count` is assigned to, but never used [INFO] [stderr] --> examples/sudoku_hard.rs:304:13 [INFO] [stderr] | [INFO] [stderr] 304 | let mut solved_count = 0; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: consider using `_solved_count` instead [INFO] [stderr] [INFO] [stderr] warning: `selen` (example "sudoku_hard") generated 4 warnings [INFO] [stderr] warning: unused imports: `Solution` and `SolveStats` [INFO] [stderr] --> tests/test_safe_solution_access.rs:1:19 [INFO] [stderr] | [INFO] [stderr] 1 | use selen::core::{Solution, SolveStats, ValueAccessError}; [INFO] [stderr] | ^^^^^^^^ ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `VarId` [INFO] [stderr] --> tests/test_safe_solution_access.rs:2:24 [INFO] [stderr] | [INFO] [stderr] 2 | use selen::variables::{VarId, Val}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused return value of `Solution::get_int_unchecked` that must be used [INFO] [stderr] --> tests/test_safe_solution_access.rs:59:5 [INFO] [stderr] | [INFO] [stderr] 59 | solution.get_int_unchecked(float_var); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] help: use `let _ = ...` to ignore the resulting value [INFO] [stderr] | [INFO] [stderr] 59 | let _ = solution.get_int_unchecked(float_var); [INFO] [stderr] | +++++++ [INFO] [stderr] [INFO] [stderr] warning: `selen` (test "test_safe_solution_access") generated 3 warnings (run `cargo fix --test "test_safe_solution_access"` to apply 2 suggestions) [INFO] [stderr] warning: `selen` (lib test) generated 7 warnings (7 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/selen-27fd25347ff851ab) [INFO] [stdout] [INFO] [stdout] running 231 tests [INFO] [stdout] test constraints::gac_bitset::tests::test_bitset_domain_basic ... ok [INFO] [stdout] test constraints::boolean_operators::tests::test_bitwise_boolean_operators ... ok [INFO] [stdout] test constraints::gac_bitset::tests::test_bitset_intersection_union ... ok [INFO] [stdout] test constraints::gac_bitset::tests::test_bitset_domain_operations ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_bipartite_graph_hybrid ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_domain_type_operations ... ok [INFO] [stdout] test constraints::gac_bitset::tests::test_bitset_gac_basic ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_hybrid_alldiff_propagation ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_domain_type_from_values ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_hybrid_gac_large_domains ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_domain_type_automatic_selection ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_matching_hybrid ... ok [INFO] [stdout] test constraints::gac_sparseset::sparse_set_gac_tests::test_sparse_set_gac_assignment ... ok [INFO] [stdout] test constraints::gac_sparseset::sparse_set_gac_tests::test_sparse_set_gac_basic ... ok [INFO] [stdout] test constraints::gac_sparseset::sparse_set_gac_tests::test_sparse_set_gac_impossible ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_bipartite_graph_optimization ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_impossible_case ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_large_scale_gac ... ignored, takes too mutch time [INFO] [stdout] test constraints::gac_sparseset::tests::test_impossible_matching ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_optimized_bit_matrix ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_optimized_matching ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_sparse_set_all_diff ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_sparse_set_domain_reduction ... ok [INFO] [stdout] test constraints::math_syntax::tests::test_expr_properties ... ok [INFO] [stdout] test constraints::math_syntax::tests::test_float_constant ... ok [INFO] [stdout] test constraints::math_syntax::tests::test_int_constant ... ok [INFO] [stdout] test constraints::math_syntax::tests::test_math_expressions ... ok [INFO] [stdout] test constraints::math_syntax::tests::test_type_checking ... ok [INFO] [stdout] test constraints::math_syntax::tests::test_type_safety ... ok [INFO] [stdout] test constraints::operators::tests::test_boolean_operators ... ok [INFO] [stdout] test constraints::gac_sparseset::sparse_set_gac_tests::test_sparse_set_gac_domain_operations ... ok [INFO] [stdout] test constraints::operators::tests::test_comparison_operators ... ok [INFO] [stdout] test constraints::props::between::tests::test_between_helper_method ... ok [INFO] [stdout] test constraints::operators::tests::test_model_operator_extensions ... ok [INFO] [stdout] test constraints::gac_sparseset::sparse_set_gac_tests::test_sparse_set_gac_duplicate_assignment ... ok [INFO] [stdout] test constraints::props::between::tests::test_between_constraint_creation ... ok [INFO] [stdout] test constraints::props::cardinality::tests::test_cardinality_helper_methods ... ok [INFO] [stdout] test constraints::props::cardinality::tests::test_cardinality_constraint_creation ... ok [INFO] [stdout] test constraints::props::conditional::tests::test_conditional_constraint_creation ... ok [INFO] [stdout] test constraints::props::count::test_count_direct::test_count_trait_object_dispatch ... ok [INFO] [stdout] test core::error::tests::test_error_context_rich_formatting ... ok [INFO] [stdout] test core::error::tests::test_error_display ... ok [INFO] [stdout] test core::error::tests::test_error_is_error_trait ... ok [INFO] [stdout] test optimization::classification::tests::test_mixed_separable_classification ... ok [INFO] [stdout] test optimization::classification::tests::test_pure_float_classification ... ok [INFO] [stdout] test optimization::classification::tests::test_pure_integer_classification ... ok [INFO] [stdout] test optimization::classification::tests::test_strategy_descriptions ... ok [INFO] [stdout] test optimization::classification::tests::test_variable_analysis ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_constrained_bounds_creation ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_constraint_analysis_placeholder ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_infeasible_bounds ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_infeasible_optimization ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_integer_variable_rejection ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_maximize_and_apply_with_constraints ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_hybrid_gac_mixed ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_hybrid_gac_small_domains ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_minimize_without_constraints ... ok [INFO] [stdout] test constraints::gac_sparseset::sparse_set_gac_tests::test_sparse_set_gac_all_assigned ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_maximize_without_constraints ... ok [INFO] [stdout] test constraints::props::conditional::tests::test_conditional_helper_methods ... ok [INFO] [stdout] test optimization::float_direct::tests::test_apply_optimization_result ... ok [INFO] [stdout] test core::error::tests::test_error_equality ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_minimize_and_apply_with_constraints ... ok [INFO] [stdout] test optimization::float_direct::tests::test_can_optimize_float_variable ... ok [INFO] [stdout] test optimization::float_direct::tests::test_cannot_optimize_integer_variable ... ok [INFO] [stdout] test constraints::props::count::test_count_direct::test_count_constraint_direct ... ok [INFO] [stdout] test optimization::float_direct::tests::test_minimize_and_apply_convenience ... ok [INFO] [stdout] test optimization::float_direct::tests::test_maximize_simple_bounds ... ok [INFO] [stdout] test optimization::float_direct::tests::test_precision_handling ... ok [INFO] [stdout] test optimization::float_direct::tests::test_maximize_and_apply_convenience ... ok [INFO] [stdout] test optimization::float_direct::tests::test_minimize_simple_bounds ... ok [INFO] [stdout] test optimization::model_integration::tests::test_pure_float_optimization_attempt ... ok [INFO] [stdout] test optimization::model_integration::tests::test_router_creation ... ok [INFO] [stdout] test optimization::model_integration::tests::test_simple_variable_extraction ... ok [INFO] [stdout] test optimization::float_direct::tests::test_single_point_domain ... ok [INFO] [stdout] test optimization::precision_handling::tests::test_precision_aware_maximization ... ok [INFO] [stdout] test optimization::precision_optimizer::tests::test_precision_bounds ... ok [INFO] [stdout] test optimization::model_integration::tests::test_mixed_problem_fallback ... ok [INFO] [stdout] test optimization::precision_optimizer::tests::test_ulp_utils ... ok [INFO] [stdout] test optimization::precision_propagator::tests::test_precision_boundary_propagator ... ok [INFO] [stdout] test optimization::subproblem_solving::tests::test_convenience_function_precision_propagation ... ok [INFO] [stdout] test optimization::subproblem_solving::tests::test_precision_mismatch_handling ... ok [INFO] [stdout] test optimization::ulp_utils::tests::test_next_prev_float ... ok [INFO] [stdout] test optimization::precision_propagator::tests::test_boundary_detection ... ok [INFO] [stdout] test optimization::subproblem_solving::tests::test_coordinator_uses_model_precision ... ok [INFO] [stdout] test optimization::ulp_utils::tests::test_ulp_calculation ... ok [INFO] [stdout] test optimization::ulp_utils::tests::test_special_values ... ok [INFO] [stdout] test optimization::ulp_utils::tests::test_strict_bounds ... ok [INFO] [stdout] test runtime_api::tests::test_all_equal_constraint ... ok [INFO] [stdout] test optimization::subproblem_solving::tests::test_float_solver_different_precisions ... ok [INFO] [stdout] test optimization::subproblem_solving::tests::test_float_solver_respects_precision ... ok [INFO] [stdout] test runtime_api::tests::test_all_different_constraint ... ok [INFO] [stdout] test runtime_api::tests::test_cardinality_constraints ... ok [INFO] [stdout] test runtime_api::tests::test_automatic_type_inference ... ok [INFO] [stdout] test runtime_api::tests::test_clean_solution_api_demo ... ok [INFO] [stdout] test runtime_api::tests::test_combined_global_constraints ... ok [INFO] [stdout] test runtime_api::tests::test_constraint_or_with_clean_api ... ok [INFO] [stdout] test runtime_api::tests::test_model_post_methods ... ok [INFO] [stdout] test runtime_api::tests::test_constraint_vec_operations ... ok [INFO] [stdout] test runtime_api::tests::test_count_constraint ... ok [INFO] [stdout] test solvers::sudoku::tests::test_string_parsing ... ok [INFO] [stdout] test utils::config::tests::test_builder_pattern ... ok [INFO] [stdout] test runtime_api::tests::test_global_cardinality_constraint ... ok [INFO] [stdout] test runtime_api::tests::test_phase3_boolean_logic_with_clean_api ... ok [INFO] [stdout] test runtime_api::tests::test_safe_constraint_building_no_panics ... ok [INFO] [stdout] test runtime_api::tests::test_element_constraint ... ok [INFO] [stdout] test utils::utils64::tests::test_float_next_prev_64 ... ok [INFO] [stdout] test utils::config::tests::test_unlimited_config ... ok [INFO] [stdout] test utils::config::tests::test_without_methods ... ok [INFO] [stdout] test utils::utils64::tests::test_almost_equal_as_int64_basic ... ok [INFO] [stdout] test utils::utils::tests::test_almost_equal_as_int ... ok [INFO] [stdout] test utils::utils64::tests::test_float_perturbed_as_int64 ... ok [INFO] [stdout] test utils::utils64::tests::test_zero_crossing_64 ... ok [INFO] [stdout] test variables::core::tests::test_equivalence_with_range_creation ... ok [INFO] [stdout] test variables::core::tests::test_new_var_with_values_duplicates ... ok [INFO] [stdout] test variables::core::tests::test_new_var_with_values_single ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_bit_operations_u128 ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_display ... ok [INFO] [stdout] test variables::core::tests::test_new_var_with_values_basic ... ok [INFO] [stdout] test variables::core::tests::test_var_with_values_assignment ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_backtracking ... ok [INFO] [stdout] test utils::config::tests::test_default_config ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_intersect_with ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_insert_remove ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_invalid_domain_behavior ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_iterator ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_edge_cases ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_is_subset_of ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_gac_mask_operations_u128 ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_new_basic ... ok [INFO] [stdout] test runtime_api::tests::test_comprehensive_clean_api_features ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_new_from_values_empty ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_performance_characteristics ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_remove_all_but_missing ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_remove_all ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_new_empty ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_remove_above ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_new_from_values ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_remove_all_but ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_remove_below ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_sudoku_specific_operations ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_too_large_domain ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_union_with ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_boundary_conditions ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_assign ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_contains ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_display ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_empty_interval ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_floating_point_precision_robustness ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_safe_constructors ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_default_step_size_behavior ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_sudoku_domain ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_u128_upgrade_comprehensive ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_is_fixed ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_intersect ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_negative_intervals ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_mid_respects_step_boundaries ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_mixed_sign_intervals ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_intersection_edge_cases ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_new_interval_swapped ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_next ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_performance_scenarios ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_remove_below ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_remove_above ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_large_intervals ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_new_interval ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_single_step_intervals ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_rounding_precision ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_remove_operations_edge_cases ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_round_to_step ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_step_alignment ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_step_size_consistency ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_step_count ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_save_restore_state ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_very_coarse_steps ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_very_fine_steps ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_zero_width_intervals ... ok [INFO] [stdout] test variables::domain::sparse_set::test::debug ... ok [INFO] [stdout] test variables::domain::sparse_set::test::display ... ok [INFO] [stdout] test variables::domain::sparse_set::test::display2 ... ok [INFO] [stdout] test variables::domain::sparse_set::test::display3 ... ok [INFO] [stdout] test variables::domain::sparse_set::test::is_fixed ... ok [INFO] [stdout] test variables::domain::sparse_set::test::max ... ok [INFO] [stdout] test variables::domain::sparse_set::test::min ... ok [INFO] [stdout] test variables::domain::sparse_set::test::new ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove2 ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove3 ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove_above ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove_above2 ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove_all_but0 ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove_all_but1 ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove_all_but2 ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove_all_but3 ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_very_small_intervals ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_with_step ... ok [INFO] [stdout] test variables::domain::sparse_set::test::contains ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove_below2 ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_backtracking_save_restore ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_backtracking_with_bounds_changes ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_prev ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_bounds_maintenance ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_csp_specific_operations ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_into_iterator ... ok [INFO] [stdout] test variables::domain::sparse_set::test::remove_below ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_backtracking ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_iterator ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_basic ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_multiple_backtrack_levels ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_bounds_operations ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_contiguous ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_duplicates ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_first_last ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_intersect_with ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_empty ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_equality ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_memory_efficiency ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_negative ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_operations ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_single ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_subset_operations ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_unsorted ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_vs_new_equivalence ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_with_set_operations ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_performance_large_domain ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_size_only_backtracking ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_to_vec ... ok [INFO] [stdout] test variables::domain::sparse_set::test::when_empty ... ok [INFO] [stdout] test solvers::sudoku::tests::test_easy_sudoku ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_universe_info ... ok [INFO] [stdout] test solvers::sudoku::tests::test_convenience_functions ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 230 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [INFO] [stderr] Running tests/constraint_macros_programmatic_tests.rs (/opt/rustwide/target/debug/deps/constraint_macros_programmatic_tests-f74b4e6fda44de27) [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] test tests::test_post_macro_alldiff_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_allequal_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_array_syntax_programmatic ... ok [INFO] [stdout] test tests::test_comprehensive_programmatic_api_validation ... ok [INFO] [stdout] test tests::test_post_macro_basic_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_constants_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_logical_operators_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_complex_expressions_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_element_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_mathematical_functions_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_negation_programmatic ... ok [INFO] [stderr] Running tests/debug_step_alignment.rs (/opt/rustwide/target/debug/deps/debug_step_alignment-cfec667f25f94cc3) [INFO] [stdout] test tests::test_post_macro_modulo_programmatic ... ok [INFO] [stdout] test tests::test_postall_macro_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_enhanced_modulo_programmatic ... ok [INFO] [stdout] test tests::test_post_macro_arithmetic_programmatic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Running tests/quick_verify.rs (/opt/rustwide/target/debug/deps/quick_verify-7d1848228e5e61b0) [INFO] [stdout] running 1 test [INFO] [stderr] Running tests/test_basic_gac.rs (/opt/rustwide/target/debug/deps/test_basic_gac-bbcff845f08bfc42) [INFO] [stdout] test debug_step_alignment ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [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] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_assignment_propagation ... ok [INFO] [stderr] Running tests/test_boolean_post.rs (/opt/rustwide/target/debug/deps/test_boolean_post-cea3b7bf545ecdf6) [INFO] [stdout] test test_impossible_bitset_gac ... ok [INFO] [stdout] test test_basic_bitset_gac_propagation ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test test_boolean_post_macro ... ok [INFO] [stderr] Running tests/test_broken_implementation_demo.rs (/opt/rustwide/target/debug/deps/test_broken_implementation_demo-1f1f64b36a2f7566) [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_broken_implementation_simulation ... ok [INFO] [stderr] Running tests/test_callback_api.rs (/opt/rustwide/target/debug/deps/test_callback_api-31534d5429788817) [INFO] [stdout] test test_case_that_would_definitely_expose_bug ... ok [INFO] [stderr] Running tests/test_config_integration.rs (/opt/rustwide/target/debug/deps/test_config_integration-06616e2273e78346) [INFO] [stdout] test test_how_bug_would_manifest_in_practice ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [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] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_config_builder_pattern ... ok [INFO] [stdout] test test_config_vs_legacy_method ... ok [INFO] [stdout] test test_model_with_config_basic ... ok [INFO] [stderr] Running tests/test_constraints_coverage.rs (/opt/rustwide/target/debug/deps/test_constraints_coverage-fb0c73dcb043e8bb) [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 80 tests [INFO] [stdout] test constraints_coverage::test_absolute_value_constraints ... ok [INFO] [stdout] test constraints_coverage::test_at_least_cardinality_constraint ... ok [INFO] [stdout] test constraints_coverage::test_alleq_runtime_api ... ok [INFO] [stdout] test constraints_coverage::test_alldiff_post_macro ... ok [INFO] [stdout] test constraints_coverage::test_at_least_cardinality_impossible ... ok [INFO] [stdout] test constraints_coverage::test_allequal_post_macro ... ok [INFO] [stdout] test constraints_coverage::test_at_most_cardinality_constraint ... ok [INFO] [stdout] test constraints_coverage::test_alldiff_runtime_api ... ok [INFO] [stdout] test constraints_coverage::test_bool_expr_chaining_and ... ok [INFO] [stdout] test constraints_coverage::test_at_most_cardinality_forced ... ok [INFO] [stdout] test constraints_coverage::test_and_operation_false_case ... ok [INFO] [stdout] test constraints_coverage::test_between_constraint_runtime_api ... ok [INFO] [stdout] test constraints_coverage::test_bool_expr_chaining_or ... ok [INFO] [stdout] test constraints_coverage::test_bool_expr_mixed_and_or ... ok [INFO] [stdout] test constraints_coverage::test_boolean_model_post_false ... ok [INFO] [stdout] test constraints_coverage::test_bool_expr_not_chaining ... ok [INFO] [stdout] test constraints_coverage::test_boolean_model_post_true ... ok [INFO] [stdout] test constraints_coverage::test_bool_expr_must_be_false ... ok [INFO] [stdout] test constraints_coverage::test_boolean_logic_basic ... ok [INFO] [stdout] test constraints_coverage::test_bool_expr_must_be_true ... ok [INFO] [stdout] test constraints_coverage::test_boolean_not_logic ... ok [INFO] [stdout] test constraints_coverage::test_cardinality_edge_case_all_count ... ok [INFO] [stdout] test constraints_coverage::test_boolexpr_varid_mixed_operations ... ok [INFO] [stdout] test constraints_coverage::test_boolean_or_logic ... ok [INFO] [stdout] test constraints_coverage::test_boundary_values ... ok [INFO] [stdout] test constraints_coverage::test_cardinality_edge_case_zero_count ... ok [INFO] [stdout] test constraints_coverage::test_cardinality_large_domain ... ok [INFO] [stdout] test constraints_coverage::test_boolean_variables ... ok [INFO] [stdout] test constraints_coverage::test_cardinality_with_different_values ... ok [INFO] [stdout] test constraints_coverage::test_count_constraint_runtime_api ... ok [INFO] [stdout] test constraints_coverage::test_cardinality_with_fixed_variables ... ok [INFO] [stdout] test constraints_coverage::test_cardinality_propagation_effects ... ok [INFO] [stdout] test constraints_coverage::test_division_constraints ... ok [INFO] [stdout] test constraints_coverage::test_element_constraint_runtime_api ... ok [INFO] [stdout] test constraints_coverage::test_element_post_macro ... ok [INFO] [stdout] test constraints_coverage::test_chain_of_constraints ... ok [INFO] [stdout] test constraints_coverage::test_empty_constraint_lists ... ok [INFO] [stdout] test constraints_coverage::test_complex_boolean_expression ... ok [INFO] [stdout] test constraints_coverage::test_gcc_cardinality_constraint ... ok [INFO] [stdout] test constraints_coverage::test_exactly_cardinality_impossible ... ok [INFO] [stdout] test constraints_coverage::test_exactly_cardinality_constraint ... ok [INFO] [stdout] test constraints_coverage::test_greater_than_or_equal_constraints ... ok [INFO] [stdout] test constraints_coverage::test_equality_constraints ... ok [INFO] [stdout] test constraints_coverage::test_greater_than_constraints ... ok [INFO] [stdout] test constraints_coverage::test_inequality_constraints ... ok [INFO] [stdout] test constraints_coverage::test_large_domains ... ok [INFO] [stdout] test constraints_coverage::test_large_logical_arrays ... ok [INFO] [stdout] test constraints_coverage::test_global_cardinality_constraint ... ok [INFO] [stdout] test constraints_coverage::test_atleast_atmost_runtime_api ... ok [INFO] [stdout] test constraints_coverage::test_less_than_constraints ... ok [INFO] [stdout] test constraints_coverage::test_less_than_or_equal_constraints ... ok [INFO] [stdout] test constraints_coverage::test_logical_and_single_variables ... ok [INFO] [stdout] test constraints_coverage::test_logical_and_array_variables ... ok [INFO] [stdout] test constraints_coverage::test_logical_edge_cases ... ok [INFO] [stdout] test constraints_coverage::test_logical_not_single_variable ... ok [INFO] [stdout] test constraints_coverage::test_logical_operations_with_constraints ... ok [INFO] [stdout] test constraints_coverage::test_logical_not_array_variables ... ok [INFO] [stdout] test constraints_coverage::test_logical_or_array_variables ... ok [INFO] [stdout] test constraints_coverage::test_logical_or_single_variables ... ok [INFO] [stdout] test constraints_coverage::test_modulo_constraints ... ok [INFO] [stdout] test constraints_coverage::test_multiple_cardinality_constraints ... ok [INFO] [stdout] test constraints_coverage::test_min_max_constraints ... ok [INFO] [stdout] test constraints_coverage::test_multiple_variable_constraints ... ok [INFO] [stdout] test constraints_coverage::test_mixed_logical_operations ... ok [INFO] [stdout] test constraints_coverage::test_large_constraint_combinations ... ok [INFO] [stdout] test constraints_coverage::test_negative_numbers ... ok [INFO] [stdout] test constraints_coverage::test_not_operation_true_input ... ok [INFO] [stdout] test constraints_coverage::test_not_operation_false_case ... ok [INFO] [stdout] test constraints_coverage::test_or_operation_false_case ... ok [INFO] [stdout] test constraints_coverage::test_unsatisfiable_constraint ... ok [INFO] [stdout] test constraints_coverage::test_sum_constraints_post_macro ... ok [INFO] [stdout] test constraints_coverage::test_postall_runtime_api ... ok [INFO] [stdout] test constraints_coverage::test_varid_bitand_basic_operation ... ok [INFO] [stdout] test constraints_coverage::test_varid_bitor_basic_operation ... ok [INFO] [stdout] test constraints_coverage::test_varid_from_trait ... ok [INFO] [stdout] test constraints_coverage::test_varid_boolexpr_mixed_operations ... ok [INFO] [stdout] test constraints_coverage::test_varid_not_basic_operation ... ok [INFO] [stdout] test constraints_coverage::test_post_and_post_or_runtime_api ... ok [INFO] [stdout] test constraints_coverage::test_zero_handling ... ok [INFO] [stdout] test constraints_coverage::test_runtime_api_new_method ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 80 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s [INFO] [stdout] [INFO] [stderr] Running tests/test_constraints_coverage_2.rs (/opt/rustwide/target/debug/deps/test_constraints_coverage_2-232f9aeb361ad136) [INFO] [stdout] [INFO] [stdout] running 29 tests [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_condition_variables ... ok [INFO] [stdout] test constraints_coverage_2::test_basic_conditional_constraint_if_then ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_different_conditions ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_greater_than_condition ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_greater_than_then ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_impossible ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_if_then_else ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_greater_or_equal_condition ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_less_than_condition ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_greater_or_equal_then ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_less_than_then ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_less_or_equal_then ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_not_equals_condition ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_edge_cases ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_less_or_equal_condition ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_false_condition ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_large_arity ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_basic_binary ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_simple_constraint_variants ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_mixed_values ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_edge_cases ... ok [INFO] [stdout] test constraints_coverage_2::test_conditional_constraint_not_equals_then ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_domain_filtering ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_empty_table ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_no_valid_tuples ... ok [INFO] [stdout] test constraints_coverage_2::test_multiple_conditional_constraints ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_single_tuple ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_three_variables ... ok [INFO] [stdout] test constraints_coverage_2::test_table_constraint_variable_methods ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/test_core_coverage.rs (/opt/rustwide/target/debug/deps/test_core_coverage-171e6340cc473dde) [INFO] [stdout] [INFO] [stdout] running 21 tests [INFO] [stdout] test core_coverage::test_empty_constraint_model ... ok [INFO] [stdout] test core_coverage::test_model_with_optimization ... ok [INFO] [stdout] test core_coverage::test_model_with_sparse_domains ... ok [INFO] [stdout] test core_coverage::test_model_error_conditions_unsatisfiable ... ok [INFO] [stdout] test core_coverage::test_model_with_invalid_domains ... ok [INFO] [stdout] test core_coverage::test_solution_completeness_and_consistency ... ok [INFO] [stdout] test core_coverage::test_memory_limit_configuration ... ok [INFO] [stdout] test core_coverage::test_solution_access_methods ... ok [INFO] [stdout] test core_coverage::test_model_error_handling_empty_domains ... ok [INFO] [stdout] test core_coverage::test_model_state_and_configuration ... ok [INFO] [stdout] test core_coverage::test_model_statistics_and_introspection ... ok [INFO] [stdout] test core_coverage::test_solution_with_boolean_variables ... ok [INFO] [stdout] test core_coverage::test_solution_with_edge_case_values ... ok [INFO] [stdout] test core_coverage::test_validation_with_conflicting_constraints ... ok [INFO] [stdout] test core_coverage::test_validation_system_edge_cases ... ok [INFO] [stdout] test core_coverage::test_validation_with_float_precision ... ok [INFO] [stdout] test core_coverage::test_zero_memory_limit_edge_case ... ok [INFO] [stdout] test core_coverage::test_validation_mixed_constraint_types ... ok [INFO] [stdout] test core_coverage::test_validation_with_many_variables ... ok [INFO] [stdout] test core_coverage::test_timeout_edge_case ... ok [INFO] [stdout] test core_coverage::test_model_with_large_domains ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.82s [INFO] [stdout] [INFO] [stderr] Running tests/test_div.rs (/opt/rustwide/target/debug/deps/test_div-a2915e4bef3bfc75) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stderr] Running tests/test_easy_sudoku.rs (/opt/rustwide/target/debug/deps/test_easy_sudoku-922154784baec043) [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] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_easy_sudoku_solution ... ok [INFO] [stdout] test test_sudoku_performance_reasonable ... ok [INFO] [stdout] test test_sudoku_constraint_validation ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s [INFO] [stdout] [INFO] [stderr] Running tests/test_error_handling.rs (/opt/rustwide/target/debug/deps/test_error_handling-002243a9e084676d) [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test test_error_display_formatting ... ok [INFO] [stdout] test test_min_max_with_single_variable ... ok [INFO] [stdout] test test_validation_system_catches_constraint_issues ... ok [INFO] [stdout] test test_validation_catches_invalid_constraints ... ok [INFO] [stdout] test test_min_empty_list_caught_by_validation ... ok [INFO] [stdout] test test_model_solving_with_constraints ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stderr] Running tests/test_magic_basic.rs (/opt/rustwide/target/debug/deps/test_magic_basic-d1ff9323093d7708) [INFO] [stderr] Running tests/test_metadata_collection.rs (/opt/rustwide/target/debug/deps/test_metadata_collection-e2740a28420a18c6) [INFO] [stdout] [INFO] [stderr] Running tests/test_min_max_error_handling.rs (/opt/rustwide/target/debug/deps/test_min_max_error_handling-07f10fef68ef003c) [INFO] [stdout] running 0 tests [INFO] [stderr] Running tests/test_min_max_validation.rs (/opt/rustwide/target/debug/deps/test_min_max_validation-d751e21f6cef31fc) [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] [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] [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] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test test_min_max_validation_with_edge_cases ... ok [INFO] [stdout] test test_validation_catches_domain_issues ... ok [INFO] [stdout] test test_validation_error_messages ... ok [INFO] [stdout] test test_validation_architecture_works ... ok [INFO] [stdout] test test_validation_with_complex_constraints ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/test_mini_sudoku.rs (/opt/rustwide/target/debug/deps/test_mini_sudoku-be3734cc8f2ffb39) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test test_mini_sudoku_solution ... ok [INFO] [stdout] test test_mini_sudoku_uniqueness ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/test_operators.rs (/opt/rustwide/target/debug/deps/test_operators-8ed02704a7dadb88) [INFO] [stdout] [INFO] [stdout] running 16 tests [INFO] [stdout] test test_boolean_or_constraint_with_operators ... ok [INFO] [stdout] test test_boolean_and_constraint_with_operators ... ok [INFO] [stdout] test test_boolean_not_constraint_with_operators ... ok [INFO] [stdout] test test_boolean_trait_usage ... ok [INFO] [stdout] test test_inequality_constraint_with_operators ... ok [INFO] [stdout] test test_comparison_trait_usage ... ok [INFO] [stdout] test test_equality_constraint_with_operators ... ok [INFO] [stdout] test test_model_boolean_extension_methods ... ok [INFO] [stdout] test test_less_than_constraint_with_operators ... ok [INFO] [stdout] test test_mixed_multiplication_constraints ... ok [INFO] [stdout] test test_model_extension_methods ... ok [INFO] [stdout] test test_multiplication_with_float_constants ... ok [INFO] [stdout] test test_multiplication_with_constants_inequalities ... ok [INFO] [stdout] test test_multiplication_with_float_constants_optimization ... ok [INFO] [stdout] test test_mixed_constraints_with_operators ... ok [INFO] [stdout] test test_multiplication_with_int_constants ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s [INFO] [stdout] [INFO] [stderr] Running tests/test_optimization_coverage.rs (/opt/rustwide/target/debug/deps/test_optimization_coverage-404e915d116f6737) [INFO] [stdout] [INFO] [stdout] running 16 tests [INFO] [stdout] test optimization_coverage::test_classification_with_complex_constraints ... ok [INFO] [stdout] test optimization_coverage::test_optimization_on_float_variables ... ok [INFO] [stdout] test optimization_coverage::test_constraint_metadata_indirectly ... ok [INFO] [stdout] test optimization_coverage::test_optimization_with_large_domains ... ok [INFO] [stdout] test optimization_coverage::test_optimization_with_precision_handling ... ok [INFO] [stdout] test optimization_coverage::test_problem_classification_pure_float ... ok [INFO] [stdout] test optimization_coverage::test_problem_classification_pure_integer ... ok [INFO] [stdout] test optimization_coverage::test_constraint_integration_basic ... ok [INFO] [stdout] test optimization_coverage::test_optimization_error_handling ... ok [INFO] [stdout] test optimization_coverage::test_solution_integration_indirectly ... ok [INFO] [stdout] test optimization_coverage::test_precision_propagation_indirectly ... ok [INFO] [stdout] test optimization_coverage::test_ulp_utils_functionality ... ok [INFO] [stdout] test optimization_coverage::test_problem_classification_mixed ... ok [INFO] [stderr] Running tests/test_panic_fix_complete.rs (/opt/rustwide/target/debug/deps/test_panic_fix_complete-8536e410a2ba09f3) [INFO] [stderr] Running tests/test_platinum_sudoku.rs (/opt/rustwide/target/debug/deps/test_platinum_sudoku-46a0de37401b2a01) [INFO] [stdout] test optimization_coverage::test_precision_optimizer_basic ... ok [INFO] [stdout] test optimization_coverage::test_variable_partitioning_indirectly ... ok [INFO] [stdout] test optimization_coverage::test_model_integration_with_optimization ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [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] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test test_platinum_performance_stress ... ignored, teaske a lot of time [INFO] [stdout] test test_platinum_sudoku_solution ... ignored, tekes a loot of time without --release [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/test_precision_bug_demo.rs (/opt/rustwide/target/debug/deps/test_precision_bug_demo-466f6238409dafcc) [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_precision_bug_would_be_caught ... ok [INFO] [stdout] test test_precision_bug_would_show_non_alignment ... ok [INFO] [stdout] test test_extreme_precision_differences ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/test_precision_config.rs (/opt/rustwide/target/debug/deps/test_precision_config-ed7e2fea183a695b) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test test_custom_precision_configuration ... ok [INFO] [stdout] test test_precision_independence ... ok [INFO] [stdout] test test_default_precision_configuration ... ok [INFO] [stdout] test test_extreme_precision_values ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/test_runtime_api.rs (/opt/rustwide/target/debug/deps/test_runtime_api-5f13333783ece52c) [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] test tests::test_runtime_api_alldiff ... ok [INFO] [stdout] test tests::test_runtime_api_allequal ... ok [INFO] [stdout] test tests::test_runtime_api_arithmetic ... ok [INFO] [stdout] test tests::test_runtime_api_complex_expressions ... ok [INFO] [stdout] test tests::test_runtime_api_logical_operators ... ok [INFO] [stdout] test tests::test_runtime_api_comprehensive_validation ... ok [INFO] [stdout] test tests::test_runtime_api_element ... ok [INFO] [stdout] test tests::test_runtime_api_constants ... ok [INFO] [stdout] test tests::test_runtime_api_array_syntax ... ok [INFO] [stdout] test tests::test_runtime_api_basic_constraints ... ok [INFO] [stderr] Running tests/test_safe_solution_access.rs (/opt/rustwide/target/debug/deps/test_safe_solution_access-d81834ff2cb7dd55) [INFO] [stdout] test tests::test_runtime_api_enhanced_modulo ... ok [INFO] [stdout] test tests::test_runtime_api_mathematical_functions ... ok [INFO] [stdout] test tests::test_runtime_api_negation ... ok [INFO] [stdout] test tests::test_runtime_api_postall ... ok [INFO] [stdout] test tests::test_runtime_api_modulo ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test test_safe_solution_access ... ok [INFO] [stdout] test test_unchecked_methods_still_panic - should panic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stderr] Running tests/test_simple_alldiff.rs (/opt/rustwide/target/debug/deps/test_simple_alldiff-75cbcfaa3dd4d007) [INFO] [stdout] test simple_alldiff_test::test_simple_without_alldiff ... ok [INFO] [stdout] test simple_alldiff_test::test_simple_alldiff ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/test_solution_coverage.rs (/opt/rustwide/target/debug/deps/test_solution_coverage-16e6cdf7d235f287) [INFO] [stdout] [INFO] [stdout] running 18 tests [INFO] [stdout] test solution_coverage::test_solution_consistency_check ... ok [INFO] [stdout] test solution_coverage::test_solution_edge_case_values ... ok [INFO] [stdout] test solution_coverage::test_solution_float_boundary_conditions ... ok [INFO] [stdout] test solution_coverage::test_solution_large_variable_set ... ok [INFO] [stdout] test solution_coverage::test_solution_single_variable_domains ... ok [INFO] [stdout] test solution_coverage::test_solution_precision_edge_cases ... ok [INFO] [stdout] test solution_coverage::test_solution_memory_efficiency ... ok [INFO] [stdout] test solution_coverage::test_solution_float_precision_handling ... ok [INFO] [stdout] test solution_coverage::test_solution_type_safety ... ok [INFO] [stdout] test solution_coverage::test_solution_variable_ordering ... ok [INFO] [stdout] test solution_coverage::test_solution_error_boundary_access ... ok [INFO] [stdout] test solution_coverage::test_solution_variable_reuse_access ... ok [INFO] [stdout] test solution_coverage::test_solution_basic_access ... ok [INFO] [stdout] test solution_coverage::test_solution_with_boolean_simulation ... ok [INFO] [stdout] test solution_coverage::test_solution_mixed_types_comprehensive ... ok [INFO] [stdout] test solution_coverage::test_solution_with_constraints_verification ... ok [INFO] [stdout] test solution_coverage::test_solution_with_multiple_variables ... ok [INFO] [stdout] test solution_coverage::test_solution_with_sparse_domains ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.90s [INFO] [stdout] [INFO] [stderr] Running tests/test_validation_comprehensive.rs (/opt/rustwide/target/debug/deps/test_validation_comprehensive-3bb55f8e1f831bd1) [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test test_validation_alldiff_duplicate_variables ... ok [INFO] [stdout] test test_validation_large_domain_handling ... ignored, takes too mutch time [INFO] [stdout] test test_validation_constraint_parameter_validation ... ok [INFO] [stdout] test test_minimize_with_validation ... ok [INFO] [stdout] test test_validation_empty_domain ... ok [INFO] [stdout] test test_validation_conflicting_equality_constraints ... ok [INFO] [stdout] test test_validation_invalid_float_bounds ... ok [INFO] [stdout] test test_validation_mixed_constraints ... ok [INFO] [stdout] test test_validation_nan_float_handling ... ok [INFO] [stdout] test test_validation_passes_valid_model ... ok [INFO] [stdout] test test_validation_comprehensive_model ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 10 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.05s [INFO] [stdout] [INFO] [stderr] Running tests/test_validation_integration.rs (/opt/rustwide/target/debug/deps/test_validation_integration-8d595bf9714d2e52) [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/test_variables_coverage.rs (/opt/rustwide/target/debug/deps/test_variables_coverage-1058f8584f8f5abe) [INFO] [stdout] [INFO] [stdout] running 20 tests [INFO] [stdout] test variables_coverage::test_float_precision_edge_cases ... ok [INFO] [stdout] test variables_coverage::test_boolean_variable_basic ... ok [INFO] [stdout] test variables_coverage::test_multiple_variable_types ... ok [INFO] [stdout] test variables_coverage::test_variable_boundary_conditions ... ok [INFO] [stdout] test variables_coverage::test_float_variable_with_step ... ok [INFO] [stdout] test variables_coverage::test_float_variable_precision ... ok [INFO] [stdout] test variables_coverage::test_variable_domain_constraints ... ok [INFO] [stdout] test variables_coverage::test_variable_bounds_with_constraints ... ok [INFO] [stdout] test variables_coverage::test_variable_constraint_interaction ... ok [INFO] [stdout] test variables_coverage::test_variable_constraint_propagation ... ok [INFO] [stdout] test variables_coverage::test_variable_creation_basic ... ok [INFO] [stdout] test variables_coverage::test_variable_domain_reduction ... ok [INFO] [stdout] test variables_coverage::test_variable_infeasible_constraints ... ok [INFO] [stdout] test variables_coverage::test_variable_equality_constraints ... ok [INFO] [stdout] test variables_coverage::test_variable_with_simple_arithmetic ... ok [INFO] [stdout] test variables_coverage::test_variable_negative_domain ... ok [INFO] [stdout] test variables_coverage::test_variable_sparse_domain_simulation ... ok [INFO] [stdout] test variables_coverage::test_variable_single_value_domain ... ok [INFO] [stdout] test variables_coverage::test_variable_edge_case_domains ... ok [INFO] [stderr] Doc-tests selen [INFO] [stdout] test variables_coverage::test_variable_large_domain ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.81s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 70 tests [INFO] [stdout] test src/constraints/boolean_operators.rs - constraints::boolean_operators (line 8) ... ok [INFO] [stdout] test src/constraints/boolean_operators.rs - constraints::boolean_operators (line 21) ... ok [INFO] [stdout] test src/constraints/math_syntax.rs - constraints::math_syntax::abs (line 140) ... ok [INFO] [stdout] test src/constraints/math_syntax.rs - constraints::math_syntax::int (line 112) ... ok [INFO] [stdout] test src/constraints/math_syntax.rs - constraints::math_syntax::float (line 125) ... ok [INFO] [stdout] test src/constraints/math_syntax.rs - constraints::math_syntax::max (line 155) ... ok [INFO] [stdout] test src/constraints/math_syntax.rs - constraints::math_syntax::min (line 170) ... ok [INFO] [stdout] test src/constraints/operators.rs - constraints::operators (line 8) ... ok [INFO] [stdout] test src/core/solution.rs - core::solution (line 22) ... ok [INFO] [stdout] test src/core/solution.rs - core::solution (line 59) ... ok [INFO] [stdout] test src/core/error.rs - core::error (line 17) ... ok [INFO] [stdout] test src/core/validation.rs - core::validation (line 22) ... ok [INFO] [stdout] test src/lib.rs - (line 103) ... ok [INFO] [stdout] test src/lib.rs - (line 198) ... ok [INFO] [stdout] test src/lib.rs - (line 13) ... ok [INFO] [stdout] test src/lib.rs - (line 175) ... ok [INFO] [stdout] test src/lib.rs - (line 67) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::bool_and (line 454) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::add (line 19) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::abs (line 224) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::bool_not (line 491) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::bool_or (line 473) ... ok [INFO] [stdout] test src/lib.rs - (line 156) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::max (line 358) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::sum (line 413) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::mul (line 60) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::sum_iter (line 427) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::modulo (line 157) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::sub (line 39) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::min (line 298) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::constraint_count (line 205) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::enumerate (line 735) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::config (line 122) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::enumerate_with_stats (line 773) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::enumerate_with_stats (line 792) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::float_precision_digits (line 85) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::engine (line 564) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::maximize (line 428) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::minimize (line 311) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::maximize_and_iterate (line 481) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::optimize_constraint_order (line 545) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::minimize_and_iterate (line 396) ... ok [INFO] [stdout] test src/model/constraints.rs - model::constraints::Model::div (line 98) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::float_step_size (line 104) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::solve (line 589) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::variable_count (line 184) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::float (line 54) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::floats (line 161) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::maximize_and_iterate (line 466) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::int (line 34) ... ok [INFO] [stdout] test src/lib.rs - (line 84) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::bools (line 183) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::with_float_precision (line 34) ... ok [INFO] [stdout] test src/lib.rs - (line 126) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig (line 23) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::with_config (line 56) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::bool (line 73) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::ints (line 137) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::intset (line 99) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::with_timeout_seconds (line 108) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::without_memory_limit (line 155) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::with_float_precision (line 93) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::unlimited (line 172) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::without_timeout (line 123) ... ok [INFO] [stdout] test src/solvers/sudoku.rs - solvers::sudoku::SudokuSolver::parse_string (line 1063) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::with_max_memory_mb (line 140) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::new (line 77) ... ok [INFO] [stdout] test src/variables/core.rs - variables::core::Vars::new_var_with_values (line 515) ... ok [INFO] [stdout] test src/solvers/sudoku.rs - solvers::sudoku::solve_sudoku (line 1128) ... ok [INFO] [stdout] test src/solvers/sudoku.rs - solvers::sudoku::SudokuSolver::new (line 158) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 70 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "3a1158a40e8c29d36189d61081919ace219fa4511ca3f765fa3ceca274164d2f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3a1158a40e8c29d36189d61081919ace219fa4511ca3f765fa3ceca274164d2f", kill_on_drop: false }` [INFO] [stdout] 3a1158a40e8c29d36189d61081919ace219fa4511ca3f765fa3ceca274164d2f