[INFO] fetching crate selen 0.15.4... [INFO] testing selen-0.15.4 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-8 [INFO] extracting crate selen 0.15.4 into /workspace/builds/worker-0-tc1/source [INFO] started tweaking crates.io crate selen 0.15.4 [INFO] removed 0 missing examples [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate selen 0.15.4 [INFO] tweaked toml for crates.io crate selen 0.15.4 written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate selen 0.15.4 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate selen 0.15.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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 66ae8abf718aafcc062d10c34dee5b0aede3676700afcdd472d10046fa4a624e [INFO] running `Command { std: "docker" "start" "-a" "66ae8abf718aafcc062d10c34dee5b0aede3676700afcdd472d10046fa4a624e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "66ae8abf718aafcc062d10c34dee5b0aede3676700afcdd472d10046fa4a624e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "66ae8abf718aafcc062d10c34dee5b0aede3676700afcdd472d10046fa4a624e", kill_on_drop: false }` [INFO] [stdout] 66ae8abf718aafcc062d10c34dee5b0aede3676700afcdd472d10046fa4a624e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] df494d53c5884b3cfccf78de0f4a8ac8491e31470f0db48410733d66ed89e04d [INFO] running `Command { std: "docker" "start" "-a" "df494d53c5884b3cfccf78de0f4a8ac8491e31470f0db48410733d66ed89e04d", kill_on_drop: false }` [INFO] [stderr] Compiling selen v0.15.4 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.24s [INFO] running `Command { std: "docker" "inspect" "df494d53c5884b3cfccf78de0f4a8ac8491e31470f0db48410733d66ed89e04d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "df494d53c5884b3cfccf78de0f4a8ac8491e31470f0db48410733d66ed89e04d", kill_on_drop: false }` [INFO] [stdout] df494d53c5884b3cfccf78de0f4a8ac8491e31470f0db48410733d66ed89e04d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 67cbe310f1b38c323475607dae2fd48f85fadad43b82112c83add45d85d2bfda [INFO] running `Command { std: "docker" "start" "-a" "67cbe310f1b38c323475607dae2fd48f85fadad43b82112c83add45d85d2bfda", kill_on_drop: false }` [INFO] [stderr] Compiling selen v0.15.4 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `Solution` and `SolveStats` [INFO] [stdout] --> tests/../tests_all/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/../tests_all/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 import: `selen::prelude` [INFO] [stdout] --> tests/../tests_all/test_error_coverage.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use selen::prelude::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `y_val` [INFO] [stdout] --> tests/../tests_all/test_neq_coverage.rs:68:9 [INFO] [stdout] | [INFO] [stdout] 68 | let y_val = solution[y].as_float().unwrap(); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_y_val` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `y_val` [INFO] [stdout] --> tests/../tests_all/test_neq_coverage.rs:83:9 [INFO] [stdout] | [INFO] [stdout] 83 | let y_val = solution[y].as_float().unwrap(); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_y_val` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `min_result` [INFO] [stdout] --> tests/../tests_all/test_array_float_constraints.rs:371:9 [INFO] [stdout] | [INFO] [stdout] 371 | let min_result = m.array_float_minimum(&array) [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_min_result` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> tests/../tests_all/test_incremental_sum_integration.rs:314:9 [INFO] [stdout] | [INFO] [stdout] 314 | let mut x3 = SparseSet::new(1, 10); [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: unused variable: `sum_mins_except_x2` [INFO] [stdout] --> tests/../tests_all/test_incremental_sum_integration.rs:334:9 [INFO] [stdout] | [INFO] [stdout] 334 | let sum_mins_except_x2 = x1.min() + x3.min(); // 1 + 1 = 2 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sum_mins_except_x2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sum_maxs_except_x2` [INFO] [stdout] --> tests/../tests_all/test_incremental_sum_integration.rs:335:9 [INFO] [stdout] | [INFO] [stdout] 335 | let sum_maxs_except_x2 = x1.max() + x3.max(); // 2 + 10 = 12 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sum_maxs_except_x2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sum_mins_except_x3` [INFO] [stdout] --> tests/../tests_all/test_incremental_sum_integration.rs:337:9 [INFO] [stdout] | [INFO] [stdout] 337 | let sum_mins_except_x3 = x1.min() + x2.min(); // 1 + 3 = 4 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sum_mins_except_x3` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sum_maxs_except_x3` [INFO] [stdout] --> tests/../tests_all/test_incremental_sum_integration.rs:338:9 [INFO] [stdout] | [INFO] [stdout] 338 | let sum_maxs_except_x3 = x1.max() + x2.max(); // 2 + 10 = 12 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sum_maxs_except_x3` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> tests/../tests_all/test_callback_api.rs:4:4 [INFO] [stdout] | [INFO] [stdout] 4 | fn main() -> SolverResult<()> { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> tests/../tests_all/test_min_max_error_handling.rs:3:4 [INFO] [stdout] | [INFO] [stdout] 3 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> tests/../tests_all/test_panic_fix_complete.rs:3:4 [INFO] [stdout] | [INFO] [stdout] 3 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused return value of `Solution::get_int_unchecked` that must be used [INFO] [stdout] --> tests/../tests_all/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] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 6.56s [INFO] running `Command { std: "docker" "inspect" "67cbe310f1b38c323475607dae2fd48f85fadad43b82112c83add45d85d2bfda", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "67cbe310f1b38c323475607dae2fd48f85fadad43b82112c83add45d85d2bfda", kill_on_drop: false }` [INFO] [stdout] 67cbe310f1b38c323475607dae2fd48f85fadad43b82112c83add45d85d2bfda [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] d94e4d59cf51801061df060ab6d4810325649f12e301a6f0d93ce33f0fd2dca1 [INFO] running `Command { std: "docker" "start" "-a" "d94e4d59cf51801061df060ab6d4810325649f12e301a6f0d93ce33f0fd2dca1", kill_on_drop: false }` [INFO] [stderr] warning: unused imports: `Solution` and `SolveStats` [INFO] [stderr] --> tests/../tests_all/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/../tests_all/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 import: `selen::prelude` [INFO] [stderr] --> tests/../tests_all/test_error_coverage.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use selen::prelude::*; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `y_val` [INFO] [stderr] --> tests/../tests_all/test_neq_coverage.rs:68:9 [INFO] [stderr] | [INFO] [stderr] 68 | let y_val = solution[y].as_float().unwrap(); [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_y_val` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `y_val` [INFO] [stderr] --> tests/../tests_all/test_neq_coverage.rs:83:9 [INFO] [stderr] | [INFO] [stderr] 83 | let y_val = solution[y].as_float().unwrap(); [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_y_val` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `min_result` [INFO] [stderr] --> tests/../tests_all/test_array_float_constraints.rs:371:9 [INFO] [stderr] | [INFO] [stderr] 371 | let min_result = m.array_float_minimum(&array) [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_min_result` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> tests/../tests_all/test_incremental_sum_integration.rs:314:9 [INFO] [stderr] | [INFO] [stderr] 314 | let mut x3 = SparseSet::new(1, 10); [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: unused variable: `sum_mins_except_x2` [INFO] [stderr] --> tests/../tests_all/test_incremental_sum_integration.rs:334:9 [INFO] [stderr] | [INFO] [stderr] 334 | let sum_mins_except_x2 = x1.min() + x3.min(); // 1 + 1 = 2 [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sum_mins_except_x2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `sum_maxs_except_x2` [INFO] [stderr] --> tests/../tests_all/test_incremental_sum_integration.rs:335:9 [INFO] [stderr] | [INFO] [stderr] 335 | let sum_maxs_except_x2 = x1.max() + x3.max(); // 2 + 10 = 12 [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sum_maxs_except_x2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `sum_mins_except_x3` [INFO] [stderr] --> tests/../tests_all/test_incremental_sum_integration.rs:337:9 [INFO] [stderr] | [INFO] [stderr] 337 | let sum_mins_except_x3 = x1.min() + x2.min(); // 1 + 3 = 4 [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sum_mins_except_x3` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `sum_maxs_except_x3` [INFO] [stderr] --> tests/../tests_all/test_incremental_sum_integration.rs:338:9 [INFO] [stderr] | [INFO] [stderr] 338 | let sum_maxs_except_x3 = x1.max() + x2.max(); // 2 + 10 = 12 [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sum_maxs_except_x3` [INFO] [stderr] [INFO] [stderr] warning: function `main` is never used [INFO] [stderr] --> tests/../tests_all/test_callback_api.rs:4:4 [INFO] [stderr] | [INFO] [stderr] 4 | fn main() -> SolverResult<()> { [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `main` is never used [INFO] [stderr] --> tests/../tests_all/test_min_max_error_handling.rs:3:4 [INFO] [stderr] | [INFO] [stderr] 3 | fn main() { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `main` is never used [INFO] [stderr] --> tests/../tests_all/test_panic_fix_complete.rs:3:4 [INFO] [stderr] | [INFO] [stderr] 3 | fn main() { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused return value of `Solution::get_int_unchecked` that must be used [INFO] [stderr] --> tests/../tests_all/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 "main_tests") generated 15 warnings (run `cargo fix --test "main_tests" -p selen` to apply 10 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/selen-9260514bfcbdc026) [INFO] [stdout] [INFO] [stdout] running 301 tests [INFO] [stdout] test constraints::gac_bitset::tests::test_bitset_domain_basic ... ok [INFO] [stdout] test constraints::gac_bitset::tests::test_bitset_domain_operations ... ok [INFO] [stdout] test constraints::gac_bitset::tests::test_bitset_intersection_union ... ok [INFO] [stdout] test constraints::gac_bitset::tests::test_bitset_gac_basic ... ok [INFO] [stdout] test constraints::boolean_operators::tests::test_bitwise_boolean_operators ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_bipartite_graph_hybrid ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_domain_type_from_values ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_hybrid_alldiff_propagation ... ok [INFO] [stdout] test constraints::gac_sparseset::sparse_set_gac_tests::test_sparse_set_gac_domain_operations ... ok [INFO] [stdout] test constraints::gac_sparseset::sparse_set_gac_tests::test_sparse_set_gac_all_assigned ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_matching_hybrid ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_hybrid_gac_large_domains ... 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_bipartite_graph_optimization ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_impossible_matching ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_impossible_case ... 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_optimized_matching ... ok [INFO] [stdout] test constraints::gac_sparseset::sparse_set_gac_tests::test_sparse_set_gac_assignment ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_domain_type_operations ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_optimized_bit_matrix ... 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_duplicate_assignment ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_hybrid_gac_mixed ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_sparse_set_all_diff ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_hybrid_gac_small_domains ... ok [INFO] [stdout] test constraints::gac_hybrid::tests::test_domain_type_automatic_selection ... ok [INFO] [stdout] test constraints::gac_sparseset::tests::test_sparse_set_domain_reduction ... ok [INFO] [stdout] test constraints::operators::tests::test_model_operator_extensions ... ok [INFO] [stdout] test constraints::operators::tests::test_boolean_operators ... ok [INFO] [stdout] test constraints::props::conditional::tests::test_conditional_constraint_creation ... ok [INFO] [stdout] test constraints::props::between::tests::test_between_constraint_creation ... 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::props::cardinality::tests::test_cardinality_constraint_creation ... ok [INFO] [stdout] test constraints::props::count::test_count_direct::test_count_constraint_direct ... ok [INFO] [stdout] test core::error::tests::test_error_is_error_trait ... ok [INFO] [stdout] test lpsolver::basis::tests::test_compute_reduced_costs ... ok [INFO] [stdout] test lpsolver::basis::tests::test_find_entering_variable ... ok [INFO] [stdout] test lpsolver::basis::tests::test_objective_value ... ok [INFO] [stdout] test lpsolver::basis::tests::test_primal_feasibility ... ok [INFO] [stdout] test constraints::props::conditional::tests::test_conditional_helper_methods ... 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_equality ... ok [INFO] [stdout] test lpsolver::basis::tests::test_basis_from_indices ... ok [INFO] [stdout] test lpsolver::basis::tests::test_basis_swap ... ok [INFO] [stdout] test lpsolver::basis::tests::test_find_leaving_variable ... ok [INFO] [stdout] test lpsolver::basis::tests::test_dual_feasibility ... ok [INFO] [stdout] test lpsolver::csp_integration::tests::test_constraint_to_standard_form ... ok [INFO] [stdout] test lpsolver::csp_integration::tests::test_linear_constraint_creation ... ok [INFO] [stdout] test lpsolver::basis::tests::test_extract_basis_matrix ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_decompose_3x3 ... ok [INFO] [stdout] test lpsolver::csp_integration::tests::test_linear_system_creation ... ok [INFO] [stdout] test lpsolver::csp_integration::tests::test_system_deduplicates_variables ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_extract_l_u ... ok [INFO] [stdout] test constraints::props::count::test_count_direct::test_count_trait_object_dispatch ... ok [INFO] [stdout] test lpsolver::basis::tests::test_basis_initial ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_ill_conditioned_identical_rows ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_with_pivoting ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_add_scaled_row ... ok [INFO] [stdout] test lpsolver::basis::tests::test_factorize_and_solve ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_solve_transpose ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_solve_transpose_simple ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_from_rows ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_solve_multiple ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_is_finite ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_decompose_simple ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_matrix_creation ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_determinant ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_mul_vec ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_mul_matrix ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_identity ... ok [INFO] [stdout] test lpsolver::lu::tests::test_lu_singular_matrix ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_swap_rows ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_transpose ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_memory_tracking ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_submatrix ... ok [INFO] [stdout] test lpsolver::simplex_dual::tests::test_dual_simplex_warmstart ... ok [INFO] [stdout] test lpsolver::simplex_dual::tests::test_dual_simplex_structure ... ok [INFO] [stdout] test lpsolver::simplex_primal::tests::test_degenerate_lp ... ok [INFO] [stdout] test lpsolver::simplex_primal::tests::test_memory_limit ... ok [INFO] [stdout] test lpsolver::simplex_primal::tests::test_negative_rhs ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_frobenius_norm ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_scale_row ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_row_col_access ... ok [INFO] [stdout] test lpsolver::simplex_primal::tests::test_to_standard_form ... ok [INFO] [stdout] test lpsolver::simplex_primal::tests::test_simple_lp_solve ... ok [INFO] [stdout] test lpsolver::simplex_primal::tests::test_identical_constraint_rows ... ok [INFO] [stdout] test lpsolver::simplex_primal::tests::test_two_constraint_lp ... ok [INFO] [stdout] test lpsolver::types::tests::test_lp_problem_validation ... 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::constraint_integration::tests::test_constrained_bounds_creation ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_constraint_analysis_placeholder ... ok [INFO] [stdout] test optimization::classification::tests::test_pure_float_classification ... ok [INFO] [stdout] test lpsolver::types::tests::test_lp_config_default ... ok [INFO] [stdout] test optimization::classification::tests::test_variable_analysis ... ok [INFO] [stdout] test optimization::classification::tests::test_mixed_separable_classification ... ok [INFO] [stdout] test lpsolver::matrix::tests::test_get_set ... ok [INFO] [stdout] test lpsolver::simplex_primal::tests::test_unbounded_lp ... 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 optimization::constraint_integration::tests::test_maximize_without_constraints ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_minimize_without_constraints ... ok [INFO] [stdout] test optimization::float_direct::tests::test_apply_optimization_result ... ok [INFO] [stdout] test optimization::float_direct::tests::test_can_optimize_float_variable ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_minimize_and_apply_with_constraints ... ok [INFO] [stdout] test optimization::float_direct::tests::test_maximize_simple_bounds ... ok [INFO] [stdout] test optimization::float_direct::tests::test_minimize_and_apply_convenience ... ok [INFO] [stdout] test optimization::float_direct::tests::test_cannot_optimize_integer_variable ... ok [INFO] [stdout] test optimization::float_direct::tests::test_maximize_and_apply_convenience ... ok [INFO] [stdout] test lpsolver::simplex_primal::tests::test_timeout ... ok [INFO] [stdout] test optimization::model_integration::tests::test_mixed_problem_fallback ... ok [INFO] [stdout] test optimization::float_direct::tests::test_precision_handling ... ok [INFO] [stdout] test optimization::constraint_integration::tests::test_infeasible_bounds ... ok [INFO] [stdout] test optimization::precision_optimizer::tests::test_ulp_utils ... ok [INFO] [stdout] test optimization::model_integration::tests::test_router_creation ... ok [INFO] [stdout] test optimization::float_direct::tests::test_single_point_domain ... ok [INFO] [stdout] test optimization::subproblem_solving::tests::test_coordinator_uses_model_precision ... 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 optimization::ulp_utils::tests::test_next_prev_float ... ok [INFO] [stdout] test optimization::ulp_utils::tests::test_strict_bounds ... ok [INFO] [stdout] test optimization::ulp_utils::tests::test_ulp_calculation ... ok [INFO] [stdout] test optimization::float_direct::tests::test_minimize_simple_bounds ... ok [INFO] [stdout] test optimization::model_integration::tests::test_simple_variable_extraction ... 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_pure_float_optimization_attempt ... ok [INFO] [stdout] test optimization::precision_propagator::tests::test_boundary_detection ... ok [INFO] [stdout] test runtime_api::tests::test_all_equal_constraint ... 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 runtime_api::tests::test_all_different_constraint ... ok [INFO] [stdout] test optimization::ulp_utils::tests::test_special_values ... ok [INFO] [stdout] test constraints::props::cardinality::tests::test_cardinality_helper_methods ... 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 solvers::sudoku::tests::test_string_parsing ... ok [INFO] [stdout] test utils::config::tests::test_lp_solver_flag ... ok [INFO] [stdout] test utils::config::tests::test_unlimited_config ... ok [INFO] [stdout] test utils::config::tests::test_default_config ... ok [INFO] [stdout] test utils::config::tests::test_without_methods ... ok [INFO] [stdout] test utils::config::tests::test_builder_pattern ... ok [INFO] [stdout] test utils::utils64::tests::test_almost_equal_as_int64_basic ... ok [INFO] [stdout] test runtime_api::tests::test_clean_solution_api_demo ... ok [INFO] [stdout] test utils::utils64::tests::test_float_next_prev_64 ... ok [INFO] [stdout] test utils::utils64::tests::test_float_perturbed_as_int64 ... ok [INFO] [stdout] test runtime_api::tests::test_model_post_methods ... ok [INFO] [stdout] test utils::utils64::tests::test_zero_crossing_64 ... ok [INFO] [stdout] test runtime_api::tests::test_automatic_type_inference ... ok [INFO] [stdout] test runtime_api::tests::test_comprehensive_clean_api_features ... ok [INFO] [stdout] test runtime_api::tests::test_cardinality_constraints ... ok [INFO] [stdout] test runtime_api::tests::test_constraint_or_with_clean_api ... 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 runtime_api::tests::test_element_constraint ... 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::core::tests::test_var_with_values_assignment ... ok [INFO] [stdout] test utils::utils::tests::test_almost_equal_as_int ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_backtracking ... 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::domain::bitset_domain::tests::test_edge_cases ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_gac_mask_operations_u128 ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_insert_remove ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_intersect_with ... ok [INFO] [stdout] test runtime_api::tests::test_global_cardinality_constraint ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_iterator ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_new_empty ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_new_basic ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_new_from_values ... 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_above ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_remove_all ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_remove_all_but ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_invalid_domain_behavior ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_is_subset_of ... ok [INFO] [stdout] test runtime_api::tests::test_combined_global_constraints ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_remove_all_but_missing ... ok [INFO] [stdout] test variables::core::tests::test_new_var_with_values_basic ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_remove_below ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_safe_constructors ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_sudoku_domain ... 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_u128_upgrade_comprehensive ... ok [INFO] [stdout] test variables::domain::bitset_domain::tests::test_union_with ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_assign ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_boundary_conditions ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_contains ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_default_step_size_behavior ... 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::float_interval::tests::test_intersect ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_intersection_edge_cases ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_is_fixed ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_large_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_negative_intervals ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_new_interval ... 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_prev ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_remove_above ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_remove_below ... 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_rounding_precision ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_save_restore_state ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_single_step_intervals ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_step_count ... 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_very_coarse_steps ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_very_small_intervals ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_zero_width_intervals ... ok [INFO] [stdout] test variables::domain::sparse_set::test::contains ... ok [INFO] [stdout] test variables::domain::sparse_set::test::debug ... ok [INFO] [stdout] test variables::domain::float_interval::tests::test_with_step ... ok [INFO] [stdout] test variables::domain::sparse_set::test::display2 ... 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::display ... ok [INFO] [stdout] test variables::domain::sparse_set::test::display3 ... 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::float_interval::tests::test_very_fine_steps ... ok [INFO] [stdout] test solvers::sudoku::tests::test_convenience_functions ... 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::sparse_set::test::remove_below ... 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::sparse_set::test::test_bounds_maintenance ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_complement_is_original ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_consistency_after_operations ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_iter_after_remove_all ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_iter_empty ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_iter_matches_removed_values ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_iter_multiple_removals ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_iter_single_removal ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_negative_domain ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_performance_check ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_single_value_domain ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_size_calculation ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_complement_with_new_from_values ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_csp_specific_operations ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_diff_with_basic ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_diff_with_becomes_empty ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_diff_with_disjoint ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_diff_with_empty ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_diff_with_sparse_domains ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_diff_with_subset ... 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_into_iterator ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_iterator ... 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_backtracking ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_basic ... 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_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_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_set_operations_combination ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_should_use_complement_basic ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_should_use_complement_exact_boundary ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_should_use_complement_when_heavily_pruned ... 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::test_universe_info ... ok [INFO] [stdout] test variables::domain::sparse_set::test::when_empty ... ok [INFO] [stdout] test variables::domain::sparse_set::test::test_new_from_values_negative ... ok [INFO] [stdout] test solvers::sudoku::tests::test_easy_sudoku ... ok [INFO] [stderr] Running tests/main_tests.rs (/opt/rustwide/target/debug/deps/main_tests-f5b614a6fa7bd762) [INFO] [stdout] [INFO] [stdout] test result: ok. 300 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.13s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 889 tests [INFO] [stdout] test test_alldiff_coverage::test_alldiff_mixed_positive_negative ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_overlapping_constraints ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_propagation ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_sequential_assignment ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_small_3_vars_tight ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_small_2_vars ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_sparse_domain ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_negative_values ... ok [INFO] [stdout] test test_array_api_coverage::test_array_float_element ... ok [INFO] [stdout] test test_array_api_coverage::test_array_float_maximum_empty ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_exact_domain_size ... ok [INFO] [stdout] test test_array_api_coverage::test_array_int_maximum ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_with_assigned_vars ... ok [INFO] [stdout] test test_array_api_coverage::test_array_int_element_constrained_result ... ok [INFO] [stdout] test test_array_api_coverage::test_array_int_maximum_empty ... ok [INFO] [stdout] test test_array_api_coverage::test_array_int_minimum ... ok [INFO] [stdout] test test_array_api_coverage::test_array_float_minimum_empty ... ok [INFO] [stdout] test test_array_api_coverage::test_array_int_element_basic ... ok [INFO] [stdout] test test_array_api_coverage::test_array_int_maximum_single ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_with_equality_constraint ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_two_groups ... ok [INFO] [stdout] test test_array_api_coverage::test_array_int_element_constrained_index ... ok [INFO] [stdout] test test_array_api_coverage::test_array_int_minimum_empty ... ok [INFO] [stdout] test test_array_api_coverage::test_array_int_minimum_single ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_maximum_single_element ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_minimum_empty_array ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_element_fixed_index ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_minimum_fixed_values ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_minimum_single_element ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_element_negative_values ... ok [INFO] [stdout] test test_array_api_coverage::test_array_float_minimum ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_element_variable_index ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_element_zero_index ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_maximum_empty_array ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_maximum_fixed_values ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_maximum_negative ... ok [INFO] [stdout] test test_ast_extraction::test_simple_ast_extraction ... ok [INFO] [stdout] test test_array_float_constraints::test_combined_min_max_element ... ok [INFO] [stdout] test test_basic_gac::test_assignment_propagation ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_minimum_negative ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_maximum_with_ranges ... ok [INFO] [stdout] test test_between_coverage::test_between_all_same_value ... ok [INFO] [stdout] test test_basic_gac::test_impossible_bitset_gac ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_minimum_with_constraint ... ok [INFO] [stdout] test test_ast_minimal::test_minimal_ast ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_min_max_together ... ok [INFO] [stdout] test test_array_api_coverage::test_array_float_maximum ... ok [INFO] [stdout] test test_basic_gac::test_basic_bitset_gac_propagation ... ok [INFO] [stdout] test test_between_coverage::test_between_basic_constraint ... ok [INFO] [stdout] test test_between_coverage::test_between_with_negative_values ... ok [INFO] [stdout] test test_between_coverage::test_between_boundary_values ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_element_bidirectional_propagation ... ok [INFO] [stdout] test test_between_coverage::test_between_infeasible_lower_greater_than_upper ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_minimum_with_ranges ... ok [INFO] [stdout] test test_array_float_constraints::test_price_selection_scenario ... ok [INFO] [stdout] test test_between_coverage::test_between_propagation_lower_bound ... ok [INFO] [stdout] test test_between_coverage::test_between_middle_bound_propagation ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_empty_unsat ... ok [INFO] [stdout] test test_between_coverage::test_between_propagation_upper_bound ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_implications ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_mixed_unsat ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_negative_only_with_fixed ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_mixed_with_constraints ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_large_negative ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_positive_only_with_fixed ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_positive_only_sat ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_negative_only_sat ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_single_negative ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_single_positive ... ok [INFO] [stdout] test test_bool_constant::test_as_bool_failure ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_tautology ... ok [INFO] [stdout] test test_bool_constant::test_as_bool_success ... ok [INFO] [stdout] test test_bool_constant::test_bool_constant_values ... ok [INFO] [stdout] test test_between_coverage::test_between_tight_constraints ... ok [INFO] [stdout] test test_bool_constant::test_bool_false_constant ... ok [INFO] [stdout] test test_bool_constant::test_bool_alldiff_with_constants ... ok [INFO] [stdout] test test_bool_constant::test_bool_multiple_constraints ... ok [INFO] [stdout] test test_bool_constant::test_bool_not_equal ... ok [INFO] [stdout] test test_bool_constant::test_bool_less_than ... ok [INFO] [stdout] test test_bool_constant::test_bool_true_constant ... ok [INFO] [stdout] test test_bool_constant::test_bool_consistency_with_int ... ok [INFO] [stdout] test test_bool_constant::test_bool_with_arithmetic ... ok [INFO] [stdout] test test_bool_constant::test_try_get_bool_failure ... ok [INFO] [stdout] test test_bool_constant::test_try_get_bool_success ... ok [INFO] [stdout] test test_bool_constant::test_bool_with_comparison ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_empty_array ... ok [INFO] [stdout] test test_bool_constant::test_get_bool_error_on_invalid ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_complex_cnf ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_large_positive ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_reif_infers_true ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_reif_weighted ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_weighted_sum ... ok [INFO] [stdout] test test_array_float_constraints::test_array_float_element_with_ranges ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_reif_infers_false ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_unsatisfiable ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_le_at_boundary ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_all_true ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_exactly_k_out_of_n ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_negative_coefficients ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_reif_forces_false ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_all_false ... ok [INFO] [stdout] test test_array_float_constraints::test_temperature_monitoring ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_reif_forces_true ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_le_at_most_k ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_le_reif_infers_false ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_le_reif_forces_true ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_le_tight_bound ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_le_unsatisfiable ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_le_weighted ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_multiple_constraints ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_ne_not_exactly_k ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_ne_forces_specific_value ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_ne_reif_forces_true ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_large_coefficients ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_le_reif_forces_false ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_ne_reif_forces_false ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_ne_reif_infers_false ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_ne_reif_infers_true ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_ne_weighted ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_both_false ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_left_false_right_true ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_both_true ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_left_true_right_false ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_eq_single_variable ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_le_reif_infers_true ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_result_true_forces_difference ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_propagation_from_result_true_left_fixed ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_propagation_from_result_false_left_fixed ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_propagation_from_result_true_right_fixed ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_unsatisfiable_conflict ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_result_false_forces_same ... ok [INFO] [stdout] test test_bool_xor::test_bool_xor_multiple_clauses ... ok [INFO] [stdout] test test_constraint_combinations::test_modulo_ordering_constraints ... ok [INFO] [stdout] test test_constraint_combinations::test_alldiff_with_linear_sum ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_absolute_value_constraints ... ok [INFO] [stdout] test test_constraint_combinations::test_alldiff_modulo_simple ... ok [INFO] [stdout] test test_constraint_combinations::test_modulo_linear_sum ... ok [INFO] [stdout] test test_constraint_combinations::test_alldiff_modulo_different_divisors ... ok [INFO] [stdout] test test_constraint_combinations::test_neq_with_modulo ... ok [INFO] [stdout] test test_constraint_combinations::test_alldiff_with_linear_inequality ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_at_least_cardinality_impossible ... ok [INFO] [stdout] test test_constraint_combinations::test_modulo_linear_basic ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_at_most_cardinality_constraint ... ok [INFO] [stdout] test test_constraint_combinations::test_multiple_modulo_cascading ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_atleast_atmost_runtime_api ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_between_constraint_runtime_api ... ok [INFO] [stdout] test test_constraint_combinations::test_modulo_chain_with_alldiff ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_at_most_cardinality_forced ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_alldiff_post_macro ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_alldiff_runtime_api ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_alleq_runtime_api ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_allequal_post_macro ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_and_operation_false_case ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_bool_expr_chaining_and ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_boolean_logic_basic ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_bool_expr_chaining_or ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_bool_expr_must_be_true ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_boolean_model_post_true ... ok [INFO] [stdout] test test_constraint_combinations::test_alldiff_modulo_linear_combined ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_boolean_not_logic ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_bool_expr_not_chaining ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_bool_expr_mixed_and_or ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_boolean_model_post_false ... ok [INFO] [stdout] test test_constraint_combinations::test_alldiff_modulo_complex_domain ... ok [INFO] [stdout] test test_bool_clause::test_bool_clause_mixed_sat ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_at_least_cardinality_constraint ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_many_vars ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_bool_expr_must_be_false ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_cardinality_edge_case_all_count ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_cardinality_edge_case_zero_count ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_cardinality_with_different_values ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_boolean_variables ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_complex_boolean_expression ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_cardinality_large_domain ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_cardinality_with_fixed_variables ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_element_constraint_runtime_api ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_count_constraint_runtime_api ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_boolexpr_varid_mixed_operations ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_boundary_values ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_equality_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_empty_constraint_lists ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_exactly_cardinality_impossible ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_element_post_macro ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_chain_of_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_greater_than_or_equal_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_inequality_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_exactly_cardinality_constraint ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_global_cardinality_constraint ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_greater_than_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_cardinality_propagation_effects ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_gcc_cardinality_constraint ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_less_than_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_logical_and_array_variables ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_logical_and_single_variables ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_logical_not_single_variable ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_logical_edge_cases ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_logical_operations_with_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_logical_not_array_variables ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_logical_or_single_variables ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_less_than_or_equal_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_modulo_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_min_max_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_multiple_variable_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_logical_or_array_variables ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_negative_numbers ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_multiple_cardinality_constraints ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_or_operation_false_case ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_runtime_api_new_method ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_not_operation_false_case ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_not_operation_true_input ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_unsatisfiable_constraint ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_large_domains ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_varid_bitand_basic_operation ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_varid_bitor_basic_operation ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_large_logical_arrays ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_mixed_logical_operations ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_postall_runtime_api ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_post_and_post_or_runtime_api ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_varid_not_basic_operation ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_basic_conditional_constraint_if_then ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_edge_cases ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_different_conditions ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_false_condition ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_condition_variables ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_greater_or_equal_condition ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_greater_than_condition ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_varid_boolexpr_mixed_operations ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_varid_from_trait ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_if_then_else ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_less_or_equal_condition ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_greater_than_then ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_less_than_condition ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_not_equals_then ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_simple_constraint_variants ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_less_or_equal_then ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_impossible ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_large_constraint_combinations ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_zero_handling ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_less_than_then ... ok [INFO] [stdout] test test_bool_lin_constraints::test_bool_lin_empty_array_unsatisfiable - should panic ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_domain_filtering ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_multiple_conditional_constraints ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_basic_binary ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_greater_or_equal_then ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_large_arity ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_edge_cases ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_empty_table ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_mixed_values ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_no_valid_tuples ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_boolean_or_logic ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_single_tuple ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_three_variables ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_table_constraint_variable_methods ... ok [INFO] [stdout] test test_core_coverage::test_empty_constraint_model ... ok [INFO] [stdout] test test_core_coverage::test_memory_limit_configuration ... ok [INFO] [stdout] test test_core_coverage::test_model_error_conditions_unsatisfiable ... ok [INFO] [stdout] test test_core_coverage::test_model_error_handling_empty_domains ... ok [INFO] [stdout] test test_core_coverage::test_model_state_and_configuration ... ok [INFO] [stdout] test test_alldiff_coverage::test_alldiff_large_domain ... ok [INFO] [stdout] test test_core_coverage::test_model_with_invalid_domains ... ok [INFO] [stdout] test test_core_coverage::test_model_statistics_and_introspection ... ok [INFO] [stdout] test test_core_coverage::test_model_with_optimization ... ok [INFO] [stdout] test test_core_coverage::test_solution_completeness_and_consistency ... ok [INFO] [stdout] test test_core_coverage::test_solution_access_methods ... ok [INFO] [stdout] test test_core_coverage::test_model_with_sparse_domains ... ok [INFO] [stdout] test test_core_coverage::test_solution_with_boolean_variables ... ok [INFO] [stdout] test test_core_coverage::test_solution_with_edge_case_values ... ok [INFO] [stdout] test test_core_coverage::test_zero_memory_limit_edge_case ... ok [INFO] [stdout] test test_count_var::count_all_match ... ok [INFO] [stdout] test test_core_coverage::test_validation_system_edge_cases ... ok [INFO] [stdout] test test_count_var::count_basic ... ok [INFO] [stdout] test test_core_coverage::test_validation_with_conflicting_constraints ... ok [INFO] [stdout] test test_count_var::count_with_constant_target ... ok [INFO] [stdout] test test_count_var::count_with_computed_target ... ok [INFO] [stdout] test test_core_coverage::test_validation_mixed_constraint_types ... ok [INFO] [stdout] test test_count_view_flexibility::test_count_all_matches_with_val ... ok [INFO] [stdout] test test_count_view_flexibility::test_count_old_vs_new_api_both_work ... ok [INFO] [stdout] test test_count_view_flexibility::test_count_with_variable_target_unchanged ... ok [INFO] [stdout] test test_count_view_flexibility::test_count_target_with_negative_val ... ok [INFO] [stdout] test test_core_coverage::test_validation_with_float_precision ... ok [INFO] [stdout] test test_count_view_flexibility::test_count_zero_matches_with_val ... ok [INFO] [stdout] test test_element_computed_index::element_constraint_with_computed_index_equality ... ok [INFO] [stdout] test test_count_view_flexibility::test_count_with_constant_target_via_val ... ok [INFO] [stdout] test test_count_view_flexibility::test_count_with_gcc_using_internal_val ... ok [INFO] [stdout] test test_count_view_flexibility::test_count_with_computed_target_expression ... ok [INFO] [stdout] test test_element_computed_index::element_constraint_with_direct_index ... ok [INFO] [stdout] test test_error_coverage::test_conflicting_constraints_only_variables ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_sum_constraints_post_macro ... ok [INFO] [stdout] test test_core_coverage::test_timeout_edge_case ... ok [INFO] [stdout] test test_constraints_coverage_2::constraints_coverage_2::test_conditional_constraint_not_equals_condition ... ok [INFO] [stdout] test test_error_coverage::test_conflicting_constraints_only_context ... ok [INFO] [stdout] test test_count_var::count_dynamic_domain_overlap ... ok [INFO] [stdout] test test_constraints_coverage::constraints_coverage::test_division_constraints ... ok [INFO] [stdout] test test_count_var::count_no_matches ... ok [INFO] [stdout] test test_error_coverage::test_conflicting_constraints_empty_lists ... ok [INFO] [stdout] test test_error_coverage::test_conflicting_constraints_only_names ... ok [INFO] [stdout] test test_count_view_flexibility::test_count_api_consistency_with_arithmetic ... ok [INFO] [stdout] test test_error_coverage::test_conflicting_constraints_with_context ... ok [INFO] [stdout] test test_error_coverage::test_conflicting_constraints_with_names ... ok [INFO] [stdout] test test_error_coverage::test_internal_error_basic ... ok [INFO] [stdout] test test_error_coverage::test_internal_error_with_context ... ok [INFO] [stdout] test test_error_coverage::test_invalid_constraint_basic ... ok [INFO] [stdout] test test_element_computed_index::element_constraint_with_prefixed_index ... ok [INFO] [stdout] test test_error_coverage::test_invalid_constraint_empty_variables ... ok [INFO] [stdout] test test_error_coverage::test_invalid_constraint_with_context ... ok [INFO] [stdout] test test_error_coverage::test_invalid_input_error ... ok [INFO] [stdout] test test_error_coverage::test_invalid_input_minimal ... ok [INFO] [stdout] test test_error_coverage::test_invalid_variable_basic ... ok [INFO] [stdout] test test_error_coverage::test_invalid_domain_basic ... ok [INFO] [stdout] test test_error_coverage::test_invalid_domain_with_context ... ok [INFO] [stdout] test test_error_coverage::test_error_debug ... ok [INFO] [stdout] test test_error_coverage::test_memory_limit_basic ... ok [INFO] [stdout] test test_error_coverage::test_memory_limit_partial ... ok [INFO] [stdout] test test_error_coverage::test_no_solution_basic ... ok [INFO] [stdout] test test_error_coverage::test_no_solution_partial_context ... ok [INFO] [stdout] test test_error_coverage::test_timeout_basic ... ok [INFO] [stdout] test test_error_coverage::test_timeout_only_elapsed ... ok [INFO] [stdout] test test_error_coverage::test_timeout_with_context ... ok [INFO] [stdout] test test_error_coverage::test_timeout_only_operation ... ok [INFO] [stdout] test test_error_coverage::test_memory_limit_with_context ... ok [INFO] [stdout] test test_error_coverage::test_no_solution_with_context ... ok [INFO] [stdout] test test_expression_to_linear::test_expression_to_linear_complex ... ok [INFO] [stdout] test test_expression_to_linear::test_expression_to_linear_with_coefficients ... ok [INFO] [stdout] test test_expression_to_linear::test_expression_to_linear_subtraction ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_eq_reif_true ... ok [INFO] [stdout] test test_expression_to_linear::test_expression_to_linear_inequality ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_eq_reif_inference_to_true ... ok [INFO] [stdout] test test_expression_to_linear::test_expression_to_linear_simple_add ... ok [INFO] [stdout] test test_expression_to_linear::test_expression_to_linear_float ... ok [INFO] [stdout] test test_error_coverage::test_error_clone ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_ge_reif_inference ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_ne_reif_false ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_lt_reif_inference ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_eq_reif_false ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_le_reif_true ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_lt_reif_false ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_gt_reif_false ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_gt_reif_true ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_negative_coefficient ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_ge_reif_false ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_reif_combined ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_mismatched_lengths ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_infeasible ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_reif_force_true ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_reif_true ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_le_reif_false ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_single_variable ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_three_variables ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_reif_false ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_ne_reif_true ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_ge_reif_true ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_le_mismatched_lengths ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_le_reif_false ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_le_reif_true ... ok [INFO] [stdout] test test_float_comparison_reif::test_float_lt_reif_true ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_simple ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_le_negative_coefficient ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_with_coefficients ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_ne_reif_false ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_le_single_variable ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_le_reif_force_true ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_ne_reif_force_true ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_le_with_coefficients ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_ne_reif_true ... ok [INFO] [stdout] test test_float_constraints::test_loan_example ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_le_simple ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_ne_simple ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_eq_reif_forces_false ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_ne_with_coefficients ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_eq_reif_forces_true ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_eq_reif_infers_false ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_eq_reif_infers_true ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_eq_reif_negative_coefficients ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_eq_reif_single_variable ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_eq_reif_three_variables ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_eq_reif_with_coefficients ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_le_reif_at_boundary ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_eq_reif_zero_constant ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_le_reif_forces_false ... ok [INFO] [stdout] test test_float_constraints::test_float_lin_eq_reif_force_false ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_ne_reif_infers_true ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_ne_reif_forces_false ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_reif_precision ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_ne_reif_with_coefficients ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_le_reif_infers_true ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_ne_reif_forces_true ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_accumulated_rounding_errors ... ok [INFO] [stdout] test test_float_lin_reif::test_multiple_float_lin_reif ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_ne_reif_infers_false ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_le_reif_forces_true ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_bounds_just_outside_tolerance ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_ne_reif_three_variables ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_lin_eq_mixed_scale_coefficients ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_lin_eq_very_small_coefficients ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_lin_eq_negative_small_coefficients ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_lin_le_violation ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_lin_le_small_coefficients ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_contains_with_tolerance ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_le_reif_negative_coefficients ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_le_reif_with_coefficients ... ok [INFO] [stdout] test test_error_coverage::test_invalid_variable_with_context ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_loan_problem_two_steps ... ignored, Float multiplication propagation not working correctly - X2 = P * X1 fails [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_lin_ne_satisfied ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_loan_problem_minimal ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_near_zero_constant ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_tolerance_at_exact_boundary ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_try_set_max_with_small_difference ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_le_reif_infers_false ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_try_set_min_with_small_difference ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_small_float_coefficients_004 ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_lin_le_at_boundary ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_remove_above_near_boundary ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_multiple_small_coefficients_chain ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_lin_ne_small_coefficients ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_le_reif_negative_constant ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_remove_below_near_boundary ... ok [INFO] [stdout] test test_global_constraints_coverage::test_alldiff_impossible ... ok [INFO] [stdout] test test_float_lin_reif::test_float_lin_reif_with_bool_logic ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_with_higher_precision ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_with_lower_precision ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_small_float_coefficients_001 ... ok [INFO] [stdout] test test_float_precision_tolerance::tolerance_tests::test_zero_coefficient ... ok [INFO] [stdout] test test_global_constraints_coverage::test_alldiff_empty_array ... ok [INFO] [stdout] test test_global_constraints_coverage::test_alleq_basic ... ok [INFO] [stdout] test test_global_constraints_coverage::test_alleq_conflicting_fixed_values ... ok [INFO] [stdout] test test_global_constraints_coverage::test_alldiff_basic ... ok [INFO] [stdout] test test_global_constraints_coverage::test_alleq_with_fixed_value ... ok [INFO] [stdout] test test_global_constraints_coverage::test_alleq_single_variable ... ok [INFO] [stdout] test test_global_constraints_coverage::test_at_least_all_required ... ok [INFO] [stdout] test test_global_constraints_coverage::test_at_least_basic ... ok [INFO] [stdout] test test_global_constraints_coverage::test_at_least_propagation_forces_values ... ok [INFO] [stdout] test test_global_constraints_coverage::test_at_least_with_negative_target ... ok [INFO] [stdout] test test_global_constraints_coverage::test_at_most_zero ... ok [INFO] [stdout] test test_global_constraints_coverage::test_at_most_basic ... ok [INFO] [stdout] test test_global_constraints_coverage::test_exactly_basic ... ok [INFO] [stdout] test test_global_constraints_coverage::test_at_most_already_violated ... ok [INFO] [stdout] test test_global_constraints_coverage::test_exactly_impossible ... ok [INFO] [stdout] test test_global_constraints_coverage::test_exactly_one ... ok [INFO] [stdout] test test_global_constraints_coverage::test_alldiff_with_larger_array ... ok [INFO] [stdout] test test_global_constraints_coverage::test_exactly_with_wider_domains ... ok [INFO] [stdout] test test_global_constraints_coverage::test_exactly_zero ... ok [INFO] [stdout] test test_global_constraints_coverage::test_at_least_impossible ... ok [INFO] [stdout] test test_global_constraints_coverage::test_at_most_forces_exclusion ... ok [INFO] [stdout] test test_implies::test_implies_biconditional ... ok [INFO] [stdout] test test_implies::test_implies_false_allows_anything ... ok [INFO] [stdout] test test_implies::test_implies_chain ... ok [INFO] [stdout] test test_incremental_sum_integration::test_incremental_sum_basic_forward_propagation ... ok [INFO] [stdout] test test_implies::test_implies_true_implies_true ... ok [INFO] [stdout] test test_incremental_sum_integration::test_incremental_sum_complement_api_functional ... ok [INFO] [stdout] test test_implies::test_implies_multiple ... ok [INFO] [stdout] test test_incremental_sum_integration::test_incremental_sum_complement_strategy_decision ... ok [INFO] [stdout] test test_incremental_sum_integration::test_incremental_sum_complement_with_realistic_bounds ... ok [INFO] [stdout] test test_incremental_sum_integration::test_sparse_set_adaptive_iteration_choice ... ok [INFO] [stdout] test test_global_constraints_coverage::test_alldiff_single_variable ... ok [INFO] [stdout] test test_implies::test_implies_violation ... ok [INFO] [stdout] test test_incremental_sum_integration::test_complement_api_consistency_across_operations ... ok [INFO] [stdout] test test_incremental_sum_integration::test_sparse_set_complement_exact_boundary ... ok [INFO] [stdout] test test_incremental_sum_integration::test_complement_api_performance_hint ... ok [INFO] [stdout] test test_incremental_sum_integration::test_sparse_set_complement_iter_yields_removed_values ... ok [INFO] [stdout] test test_incremental_sum_integration::test_sparse_set_complement_edge_cases ... ok [INFO] [stdout] test test_incremental_sum_integration::test_sparse_set_complement_heavily_pruned ... ok [INFO] [stdout] test test_incremental_sum_integration::test_complement_with_backtracking ... ok [INFO] [stdout] test test_incremental_sum_integration::test_incremental_sum_adaptive_strategy_three_variable_sum ... ok [INFO] [stdout] test test_incremental_sum_integration::test_phase4_basic_constraint_with_checkpoints ... ok [INFO] [stdout] test test_incremental_sum_integration::test_incremental_sum_reverse_propagation_bounds ... ok [INFO] [stdout] test test_incremental_sum_integration::test_phase4_multiple_overlapping_sums ... ok [INFO] [stdout] test test_implies::test_implies_with_int_conditions ... ok [INFO] [stdout] test test_core_coverage::test_model_with_large_domains ... ok [INFO] [stdout] test test_incremental_sum_integration::test_sparse_set_complement_multiple_operations ... ok [INFO] [stdout] test test_incremental_sum_integration::test_sparse_set_should_use_complement_basic ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_basic ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_combined_with_eq ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_empty_array ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_forced_solution ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_unsatisfiable ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_single_variable ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_three_variables ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_eq_and_le_interaction ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_with_coefficients ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_negative_coefficients ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_propagation ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_empty_array_satisfiable ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_eq_four_variables ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_large_coefficients ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_eq_single_variable ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_eq_large_coefficients ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_eq_negative_constant ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_eq_unsatisfiable ... ok [INFO] [stdout] test test_int_lin_ne::test_int_lin_ne_zero_coefficients ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_le_large_positive_constant ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_le_at_boundary ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_eq_bounds_propagation ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_le_below_boundary ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_eq_simple_propagation ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_le_propagates_upper_bounds ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_le_with_negative_coefficients ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_le_zero_constant ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_eq_zero_coefficient ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_ne_multiple_solutions ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_ne_excludes_value ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_ne_three_variables ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_ne_with_coefficients ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_overconstrained_unsatisfiable ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_overconstrained_satisfiable ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_le_unsatisfiable ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_eq_reif_infer_true ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_eq_reif_empty_array ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_eq_reif_false ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_eq_reif_negative_coefficients ... ok [INFO] [stdout] test test_int_lin_non_reified::test_multiple_int_lin_constraints ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_eq_reif_infer_false ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_ne_negative_constant ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_eq_reif_true ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_eq_reif_empty_array_nonzero ... ok [INFO] [stdout] test test_incremental_sum_integration::test_phase4_sum_with_alldiff_forces_backtracking ... ok [INFO] [stdout] test test_int_lin_non_reified::test_int_lin_ne_propagation ... ok [INFO] [stdout] test test_incremental_sum_integration::test_phase4_deep_search_tree_4x4_sudoku ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_le_reif_empty_array ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_le_reif_false ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_le_reif_infer_false ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_le_reif_empty_array_negative ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_le_reif_infer_true ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_le_reif_true ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_le_reif_with_coefficients ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_ne_reif_empty_array ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_ne_reif_false ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_ne_reif_empty_array_zero ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_le_reif_at_boundary ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_eq_reif_with_coefficients ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_ne_reif_infer_true ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_ne_reif_three_variables ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_eq_mismatched_lengths ... ignored, Integer lin_eq doesn't validate length mismatch - validation needed [INFO] [stdout] test test_int_lin_reif::test_multiple_int_lin_reif_constraints ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_ne_reif_with_coefficients ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_eq_simple ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_le_mismatched_lengths ... ignored, Integer lin_le doesn't validate length mismatch - validation needed [INFO] [stdout] test test_linear_constraints::test_int_lin_le_negative_coefficient ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_eq_multiple_solutions ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_le_boundary ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_eq_with_coefficients ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_ne_reif_true ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_eq_negative_coefficient ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_reif_mismatched_lengths ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_eq_three_variables ... ok [INFO] [stdout] test test_int_lin_reif::test_int_lin_ne_reif_infer_false ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_eq_infeasible ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_eq_single_variable ... ok [INFO] [stdout] test test_linear_conversion_debug::test_linear_conversion_simple ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_le_single_variable ... ok [INFO] [stdout] test test_lp_csp_integration::test_larger_problem ... ignored, Test times out - 10 float variables with multiple constraints is too slow for current search [INFO] [stdout] test test_linear_constraints::test_int_lin_le_with_coefficients ... ok [INFO] [stdout] test test_linear_conversion_debug::test_linear_conversion_with_coefficients ... ok [INFO] [stdout] test test_lp_integration::test_lp_integration_infeasible ... ok [INFO] [stdout] test test_lp_integration::test_lp_integration_int_linear ... ok [INFO] [stdout] test test_lp_large_domains::test_large_domain_optimization_linear ... ok [INFO] [stdout] test test_lp_csp_integration::test_equality_and_inequality_constraints ... ok [INFO] [stdout] test test_lp_large_domains::test_optimization_with_derived_variables ... ignored [INFO] [stdout] test test_lp_csp_integration::test_infeasible_system_detection ... ok [INFO] [stdout] test test_lp_large_domains::test_optimization_with_large_domains ... ok [INFO] [stdout] test test_lp_performance::test_dense_500x500_10_percent ... ignored [INFO] [stdout] test test_lp_performance::test_dense_500x500_50_percent ... ignored [INFO] [stdout] test test_lp_performance::test_dense_problem_50x50 ... ignored [INFO] [stdout] test test_lp_performance::test_extreme_large_problem_1000x1000 ... ignored [INFO] [stdout] test test_lp_performance::test_large_lp_problem_100x100 ... ignored [INFO] [stdout] test test_lp_performance::test_large_problem_300x300 ... ignored [INFO] [stdout] test test_lp_performance::test_very_dense_500x500_80_percent ... ignored [INFO] [stdout] test test_lp_performance::test_very_large_lp_problem_200x200 ... ignored [INFO] [stdout] test test_lp_performance::test_very_large_problem_500x500 ... ignored [INFO] [stdout] test test_lpsolver_integration::test_custom_tolerance ... ok [INFO] [stdout] test test_lpsolver_integration::test_all_variables_bounded ... ok [INFO] [stdout] test test_lp_csp_integration::test_empty_model ... ok [INFO] [stdout] test test_lpsolver_integration::test_medium_sized_problem ... ok [INFO] [stdout] test test_lp_csp_integration::test_simple_linear_system ... ok [INFO] [stdout] test test_lp_large_domains::test_unbounded_optimization_with_constraints ... ok [INFO] [stdout] test test_lp_extraction::test_extraction_add_le_pattern ... ok [INFO] [stdout] test test_lp_csp_integration::test_mixed_constraint_types ... ok [INFO] [stdout] test test_lpsolver_integration::test_mixed_bounds ... ok [INFO] [stdout] test test_lp_csp_integration::test_linear_system_solving ... ok [INFO] [stdout] test test_lp_extraction::test_extraction_recognizes_add_le ... ok [INFO] [stdout] test test_lpsolver_integration::test_diet_problem ... ok [INFO] [stdout] test test_linear_constraints::test_int_lin_le_simple ... ok [INFO] [stdout] test test_lpsolver_integration::test_multiple_active_constraints ... ok [INFO] [stdout] test test_lpsolver_integration::test_production_problem ... ok [INFO] [stdout] test test_lp_integration::test_lp_integration_simple_linear ... ok [INFO] [stdout] test test_lpsolver_integration::test_solution_has_basis ... ok [INFO] [stdout] test test_lpsolver_integration::test_single_variable ... ok [INFO] [stdout] test test_lpsolver_integration::test_tight_constraints ... ok [INFO] [stdout] test test_lpsolver_integration::test_transportation_problem ... ok [INFO] [stdout] test test_lpsolver_integration::test_zero_objective ... ok [INFO] [stdout] test test_modulo_alleq_bug::test_modulo_alleq_larger_domain ... ok [INFO] [stdout] test test_lp_large_domains::test_large_domain_float_linear_equality ... ok [INFO] [stdout] test test_modulo_alleq_bug::test_modulo_alleq_multiple_values ... ok [INFO] [stdout] test test_modulo_alleq_bug::test_modulo_alleq_with_fixed_divisor ... ok [INFO] [stdout] test test_lpsolver_integration::test_variable_lower_bounds ... ok [INFO] [stdout] test test_modulo_alleq_bug::test_modulo_with_range_and_constraints ... ok [INFO] [stdout] test test_modulo_alleq_bug::test_modulo_with_variable_divisor ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_both_operands_deferred ... ok [INFO] [stdout] test test_incremental_sum_integration::test_complement_iteration_performance_difference ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_all_fixed_at_creation ... ok [INFO] [stdout] test test_modulo_alleq_bug::test_modulo_alleq_no_solution ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_chained ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_complex_constraints ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_domain_search ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_fixed_via_constraint_after_creation ... ok [INFO] [stdout] test test_lp_csp_integration::test_variable_bounds_respected ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_original_selen_modulo_test ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_mixed_types ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_simple_calculation ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_with_computed_divisor ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_no_additional_constraints ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_result_in_further_constraints ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_result_range ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_with_le_constraint ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_zero_divisor_fails ... ok [INFO] [stdout] test test_modulo_comprehensive::test_var_to_var_equality_chain ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_with_negatives ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_with_variable_divisor ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_with_deferred_equality ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_with_constant_divisor_variable ... ok [INFO] [stdout] test test_modulo_comprehensive::test_var_to_var_equality_multiple_mods ... ok [INFO] [stdout] test test_modulo_comprehensive::test_var_to_var_equality_simple_modulo ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_multiple_constraints_different_divisors ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_multiple_constraints_same_divisor ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_result_equals_divisor_boundary ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_small_divisor_range ... ok [INFO] [stdout] test test_modulo_comprehensive::test_var_to_var_equality_with_constraint_after ... ok [INFO] [stdout] test test_modulo_comprehensive::test_var_to_var_equality_with_negative_results ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_unsolvable_contradictory ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_variable_divisor_large_range ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_variable_dividend_variable_divisor ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_stress_large_domains ... ok [INFO] [stdout] test test_modulo_comprehensive::test_var_to_var_equality_multiple_equality_constraints ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_backprop_from_result_fixed_divisor ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_all_values_same_remainder ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_unsolvable_divisor_constraints ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_backprop_from_result_variable_divisor ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_fixed_dividend_variable_divisor ... ok [INFO] [stdout] test test_neq_coverage::test_neq_boundary_exclusion_max ... ok [INFO] [stdout] test test_neq_coverage::test_neq_domains_overlap ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_variable_divisor_medium_range ... ok [INFO] [stdout] test test_neq_coverage::test_neq_boundary_exclusion_min ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_variable_divisor_small_range ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_with_alldiff_and_variable_divisor ... ok [INFO] [stdout] test test_neq_coverage::test_neq_float_boundary_min ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_runtime_api_direct ... ok [INFO] [stdout] test test_neq_coverage::test_neq_float_boundary_max ... ok [INFO] [stdout] test test_modulo_edge_cases::test_modulo_with_linear_and_variable_divisor ... ok [INFO] [stdout] test test_neq_coverage::test_neq_large_domain ... ok [INFO] [stdout] test test_neq_coverage::test_neq_middle_value_unaffected ... ok [INFO] [stdout] test test_neq_propagation::test_neq_both_singletons_different ... ok [INFO] [stdout] test test_neq_coverage::test_neq_multiple_constraints ... ok [INFO] [stdout] test test_neq_propagation::test_neq_both_singletons_equal ... ok [INFO] [stdout] test test_neq_coverage::test_neq_chain ... ok [INFO] [stdout] test test_neq_coverage::test_neq_float_precision ... ok [INFO] [stdout] test test_neq_propagation::test_neq_forces_propagation_with_tight_domain ... ok [INFO] [stdout] test test_neq_coverage::test_neq_mixed_int_float ... ok [INFO] [stdout] test test_neq_coverage::test_neq_with_eq_constraint ... ok [INFO] [stdout] test test_neq_propagation::test_neq_triggers_on_domain_update ... ok [INFO] [stdout] test test_neq_propagation::test_neq_value_at_min_bound ... ok [INFO] [stdout] test test_neq_propagation::test_neq_value_at_max_bound ... ok [INFO] [stdout] test test_neq_propagation::test_neq_with_negative_bounds ... ok [INFO] [stdout] test test_neq_coverage::test_neq_float_negative ... ok [INFO] [stdout] test test_neq_propagation::test_neq_impossible_after_propagation ... ok [INFO] [stdout] test test_new_api_constants::test_comparison_with_constants ... ok [INFO] [stdout] test test_neq_propagation::test_neq_propagation_chain ... ok [INFO] [stdout] test test_neq_propagation::test_neq_float_singleton_exclusion ... ok [INFO] [stdout] test test_new_api_constants::test_eq_with_int_constant ... ok [INFO] [stdout] test test_neq_coverage::test_neq_zero_boundary ... ok [INFO] [stdout] test test_neq_propagation::test_neq_singleton_propagation ... ok [INFO] [stdout] test test_new_api_constants::test_eq_with_float_constant ... ok [INFO] [stdout] test test_new_api_constants::test_expression_with_constant ... ok [INFO] [stdout] test test_new_api_constants::test_ne_with_constant ... ok [INFO] [stdout] test test_new_api_constants::test_range_with_constants ... ok [INFO] [stdout] test test_new_api_linear::test_generic_linear_with_comparison ... ok [INFO] [stdout] test test_neq_propagation::test_neq_with_domain_reduction ... ok [INFO] [stdout] test test_new_api_linear::test_lin_eq_reif ... ok [INFO] [stdout] test test_new_api_linear::test_lin_eq_float ... ok [INFO] [stdout] test test_new_api_linear::test_lin_le_integer ... ok [INFO] [stdout] test test_newly_implemented_functions::test_bool2int_basic ... ok [INFO] [stdout] test test_newly_implemented_functions::test_bool2int_false ... ok [INFO] [stdout] test test_newly_implemented_functions::test_ceil_basic ... ok [INFO] [stdout] test test_newly_implemented_functions::test_ceil_exact_integer ... ok [INFO] [stdout] test test_newly_implemented_functions::test_ceil_negative ... ok [INFO] [stdout] test test_neq_propagation::test_neq_with_multiple_propagations ... ok [INFO] [stdout] test test_new_api_linear::test_lin_eq_integer ... ok [INFO] [stdout] test test_newly_implemented_functions::test_conversion_chain ... ok [INFO] [stdout] test test_newly_implemented_functions::test_cumulative_three_tasks ... ok [INFO] [stdout] test test_newly_implemented_functions::test_cumulative_basic ... ok [INFO] [stdout] test test_newly_implemented_functions::test_cumulative_with_conversions ... ok [INFO] [stdout] test test_newly_implemented_functions::test_gcc_basic ... ok [INFO] [stdout] test test_newly_implemented_functions::test_int2float_basic ... ok [INFO] [stdout] test test_newly_implemented_functions::test_gcc_specific_distribution ... ok [INFO] [stdout] test test_newly_implemented_functions::test_floor_basic ... ok [INFO] [stdout] test test_newly_implemented_functions::test_floor_negative ... ok [INFO] [stdout] test test_newly_implemented_functions::test_cumulative_low_capacity ... ok [INFO] [stdout] test test_newly_implemented_functions::test_floor_exact_integer ... ok [INFO] [stdout] test test_newly_implemented_functions::test_int2float_range ... ok [INFO] [stdout] test test_newly_implemented_functions::test_round_negative ... ok [INFO] [stdout] test test_newly_implemented_functions::test_table_single_solution ... ok [INFO] [stdout] test test_newly_implemented_functions::test_round_basic ... ok [INFO] [stdout] test test_phase2_integration::test_cnf_with_linear_le ... ok [INFO] [stdout] test test_newly_implemented_functions::test_table_multiple_constraints ... ok [INFO] [stdout] test test_phase2_integration::test_3sat_with_linear ... ok [INFO] [stdout] test test_phase2_integration::test_cnf_with_linear_eq ... ok [INFO] [stdout] test test_phase2_integration::test_multiple_linear_with_clause ... ok [INFO] [stdout] test test_phase2_integration::test_reified_linear_eq ... ok [INFO] [stdout] test test_phase2_integration::test_negative_coeff_with_clause ... ok [INFO] [stdout] test test_phase2_integration::test_large_integration ... ok [INFO] [stdout] test test_newly_implemented_functions::test_table_with_gcc ... ok [INFO] [stdout] test test_phase2_integration::test_reified_ne_with_clause ... ok [INFO] [stdout] test test_phase2_integration::test_linear_le_with_bool_clause ... ok [INFO] [stdout] test test_platinum_sudoku::test_platinum_performance_stress ... ignored, teaske a lot of time [INFO] [stdout] test test_phase2_integration::test_linear_eq_with_bool_clause ... ok [INFO] [stdout] test test_phase2_integration::test_chained_reifications ... ok [INFO] [stdout] test test_phase2_integration::test_reified_linear_eq_false ... ok [INFO] [stdout] test test_platinum_sudoku::test_platinum_sudoku_solution ... ignored, tekes a loot of time without --release [INFO] [stdout] test test_precision_config::test_default_precision_configuration ... ok [INFO] [stdout] test test_precision_config::test_extreme_precision_values ... ok [INFO] [stdout] test test_precision_config::test_custom_precision_configuration ... ok [INFO] [stdout] test test_newly_implemented_functions::test_round_up ... ok [INFO] [stdout] test test_newly_implemented_functions::test_table_basic ... ok [INFO] [stdout] test test_precision_config::test_precision_independence ... ok [INFO] [stdout] test test_propagator_framework::test_error_equality ... ok [INFO] [stdout] test test_propagator_framework::test_error_no_solution_display ... ok [INFO] [stdout] test test_propagator_framework::test_error_timeout_display ... ok [INFO] [stdout] test test_propagator_framework::test_neq_constraint_both_assigned_equal ... ok [INFO] [stdout] test test_propagator_framework::test_neq_constraint_basic ... ok [INFO] [stdout] test test_propagator_framework::test_neq_constraint_non_overlapping_domains ... ok [INFO] [stdout] test test_reif_minimal::test_b_flaky ... ok [INFO] [stdout] test test_reif_trace::trace_reverse_order ... ok [INFO] [stdout] test test_reif_minimal::test_c_combined ... ok [INFO] [stdout] test test_reification::test_int_eq_reif_false ... ok [INFO] [stdout] test test_reif_minimal::test_a_passes ... ok [INFO] [stdout] test test_neq_coverage::test_neq_negative_values ... ok [INFO] [stdout] test test_propagator_framework::test_error_clone ... ok [INFO] [stdout] test test_propagator_framework::test_neq_float_assigned ... ok [INFO] [stdout] test test_reification::test_int_ne_reif_false ... ok [INFO] [stdout] test test_reification::test_int_eq_reif_inference_to_true ... ok [INFO] [stdout] test test_reification::test_int_eq_reif_inference_to_false ... ok [INFO] [stdout] test test_reification::test_int_ne_reif_true ... ok [INFO] [stdout] test test_propagator_framework::test_error_invalid_constraint_display ... ok [INFO] [stdout] test test_reified_methods::test_all_reified_methods_compile ... ok [INFO] [stdout] test test_propagator_framework::test_neq_constraint_assigned_values ... ok [INFO] [stdout] test test_reif_trace::trace_propagation_steps ... ok [INFO] [stdout] test test_reified_methods::test_reified_with_floats ... ok [INFO] [stdout] test test_reification::test_int_eq_reif_true ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_alldiff ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_allequal ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_arithmetic ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_array_syntax ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_element ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_basic_constraints ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_mathematical_functions ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_negation ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_logical_operators ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_modulo ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_postall ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_complex_expressions ... ok [INFO] [stdout] test test_safe_solution_access::test_safe_solution_access ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_constants ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_enhanced_modulo ... ok [INFO] [stdout] test test_solution_coverage::test_solution_as_float_none ... ok [INFO] [stdout] test test_simple_alldiff::simple_alldiff_test::test_simple_without_alldiff ... ok [INFO] [stdout] test test_solution_coverage::test_solution_as_float_some ... ok [INFO] [stdout] test test_solution_coverage::test_solution_bool_values_via_get_int ... ok [INFO] [stdout] test test_solution_coverage::test_solution_as_int_some ... ok [INFO] [stdout] test test_solution_coverage::test_solution_get_int_error_on_float ... ok [INFO] [stdout] test test_solution_coverage::test_solution_as_int_none ... ok [INFO] [stdout] test test_safe_solution_access::test_unchecked_methods_still_panic - should panic ... ok [INFO] [stdout] test test_solution_coverage::test_solution_get_int_unchecked ... ok [INFO] [stdout] test test_solution_coverage::test_solution_get_float ... ok [INFO] [stdout] test test_runtime_api::tests::test_runtime_api_comprehensive_validation ... ok [INFO] [stdout] test test_solution_coverage::test_solution_get_int ... ok [INFO] [stdout] test test_simple_alldiff::simple_alldiff_test::test_simple_alldiff ... ok [INFO] [stdout] test test_solution_coverage::test_solution_stats_efficiency ... ok [INFO] [stdout] test test_solution_coverage::test_solution_get_values_slice ... ok [INFO] [stdout] test test_solution_coverage::test_solution_get_values_iter ... ok [INFO] [stdout] test test_solution_coverage::test_solution_get_float_unchecked ... ok [INFO] [stdout] test test_core_coverage::test_validation_with_many_variables ... ok [INFO] [stdout] test test_solution_coverage::test_solution_stats_display_summary ... ok [INFO] [stdout] test test_solution_coverage::test_solution_stats_time_per_node ... ok [INFO] [stdout] test test_solution_coverage::test_solution_get_values_array ... ok [INFO] [stdout] test test_solution_coverage::test_solution_try_get_float_success ... ok [INFO] [stdout] test test_solution_coverage::test_solution_try_get_int_error ... ok [INFO] [stdout] test test_solution_coverage::test_solution_try_get_int_success ... ok [INFO] [stdout] test test_solution_coverage::test_solve_stats_efficiency_zero_nodes ... ok [INFO] [stdout] test test_solution_coverage::test_solve_stats_time_per_propagation_zero_props ... ok [INFO] [stdout] test test_solution_coverage::test_solve_stats_time_per_node_zero_nodes ... ok [INFO] [stdout] test test_solution_coverage::test_solve_stats_new ... ok [INFO] [stdout] test test_solution_coverage::test_solution_try_get_float_error ... ok [INFO] [stdout] test test_solution_coverage::test_solution_get_float_error_on_int ... ok [INFO] [stdout] test test_solution_coverage::test_solution_stats_time_per_propagation ... ok [INFO] [stdout] test test_type_conversions::test_all_three_floor_ceil_round ... ok [INFO] [stdout] test test_type_conversions::test_float2int_ceil_negative ... ok [INFO] [stdout] test test_type_conversions::test_float2int_floor_zero ... ok [INFO] [stdout] test test_type_conversions::test_ceil_negative_small ... ok [INFO] [stdout] test test_type_conversions::test_float2int_floor_negative ... ok [INFO] [stdout] test test_type_conversions::test_ceil_positive_small ... ok [INFO] [stdout] test test_type_conversions::test_float2int_ceil_basic ... ok [INFO] [stdout] test test_type_conversions::test_float2int_round_basic ... ok [INFO] [stdout] test test_type_conversions::test_float2int_round_exact_half ... ok [INFO] [stdout] test test_type_conversions::test_float2int_floor_basic ... ok [INFO] [stdout] test test_type_conversions::test_float2int_round_negative ... ok [INFO] [stdout] test test_type_conversions::test_float2int_floor_range ... ok [INFO] [stdout] test test_type_conversions::test_float2int_round_exact_integer ... ok [INFO] [stdout] test test_type_conversions::test_float2int_ceil_range ... ok [INFO] [stdout] test test_type_conversions::test_float2int_round_negative_up ... ok [INFO] [stdout] test test_type_conversions::test_floor_positive_small ... ok [INFO] [stdout] test test_type_conversions::test_float2int_round_up ... ok [INFO] [stdout] test test_type_conversions::test_floor_negative_small ... ok [INFO] [stdout] test test_type_conversions::test_int2float_basic ... ok [INFO] [stdout] test test_type_conversions::test_int2float_bidirectional ... ok [INFO] [stdout] test test_type_conversions::test_int2float_zero ... ok [INFO] [stdout] test test_type_conversions::test_int2float_range ... ok [INFO] [stdout] test test_type_conversions::test_all_conversions_at_boundaries ... ok [INFO] [stdout] test test_type_conversions::test_mixed_type_constraint ... ok [INFO] [stdout] test test_type_conversions::test_range_containing_zero ... ok [INFO] [stdout] test test_type_conversions::test_float2int_ceil_exact_integer ... ok [INFO] [stdout] test test_modulo_comprehensive::test_var_to_var_equality_large_values ... ok [INFO] [stdout] test test_type_conversions::test_float2int_floor_exact_integer ... ok [INFO] [stdout] test test_type_conversions::test_roundtrip_int_to_float_to_int ... ok [INFO] [stdout] test test_type_conversions::test_large_values ... ok [INFO] [stdout] test test_type_conversions::test_round_near_zero_positive ... ok [INFO] [stdout] test test_type_conversions::test_round_near_zero_negative ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_equality_constraint ... ok [INFO] [stdout] test test_modulo_comprehensive::test_modulo_large_divisor ... ok [INFO] [stdout] test test_unbounded_variables::test_float_inference_ignores_integer_context ... ok [INFO] [stdout] test test_unbounded_variables::test_integer_inference_ignores_float_context ... ok [INFO] [stdout] test test_unbounded_variables::test_custom_inference_factor_float ... ok [INFO] [stdout] test test_unbounded_variables::test_custom_inference_factor ... ok [INFO] [stdout] test test_unbounded_variables::test_large_negative_float_context ... ok [INFO] [stdout] test test_unbounded_variables::test_loan_problem_with_unbounded_rate ... ok [INFO] [stdout] test test_unbounded_variables::test_mixed_types_separate_inference ... ok [INFO] [stdout] test test_unbounded_variables::test_negative_context ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_float_extreme_values ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_float_fallback ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_float_only_max_infinity ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_float_only_min_infinity ... ok [INFO] [stdout] test test_unbounded_variables::test_partially_unbounded_integer_only_max ... ok [INFO] [stdout] test test_unbounded_variables::test_partially_unbounded_integer_only_min ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_float_solves_correctly ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_float_with_nan_max ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_float_with_nan_min ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_float_with_context ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_conflicting_bounds ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_integer_fallback ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_integer_solves_correctly ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_integer_near_i32_min ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_integer_near_i32_max ... ok [INFO] [stdout] test test_unbounded_variables::test_zero_span_context ... ok [INFO] [stdout] test test_validation_coverage::test_validation_alldiff_with_fixed_duplicate_values ... ok [INFO] [stdout] test test_validation_coverage::test_validation_alldiff_with_insufficient_domain ... ok [INFO] [stdout] test test_validation_coverage::test_validation_alldiff_with_overlapping_domains ... ok [INFO] [stdout] test test_validation_coverage::test_validation_alldiff_with_disjoint_domains ... ok [INFO] [stdout] test test_validation_coverage::test_validation_alldiff_with_sufficient_domain ... ok [INFO] [stdout] test test_validation_coverage::test_validation_bool_alldiff ... ok [INFO] [stdout] test test_validation_coverage::test_validation_bool_alldiff_three_variables_unsatisfiable ... ok [INFO] [stdout] test test_validation_coverage::test_validation_bool_variables ... ok [INFO] [stdout] test test_validation_coverage::test_validation_constraint_with_nonexistent_variable ... ok [INFO] [stdout] test test_validation_coverage::test_validation_empty_alldiff ... ok [INFO] [stdout] test test_validation_coverage::test_validation_complex_model_valid ... ok [INFO] [stdout] test test_validation_coverage::test_validation_empty_domain_after_constraints ... ok [INFO] [stdout] test test_validation_coverage::test_validation_float_with_constraints ... ok [INFO] [stdout] test test_validation_coverage::test_validation_invalid_float_domain_reversed_bounds ... ok [INFO] [stdout] test test_validation_coverage::test_validation_mixed_positive_negative_domain ... ok [INFO] [stdout] test test_validation_coverage::test_validation_invalid_int_domain_reversed_bounds ... ok [INFO] [stdout] test test_validation_coverage::test_validation_multiple_equality_constraints_compatible ... ok [INFO] [stdout] test test_validation_coverage::test_validation_negative_float_domain ... ok [INFO] [stdout] test test_validation_coverage::test_validation_negative_int_domain ... ok [INFO] [stdout] test test_validation_coverage::test_validation_valid_float_domain ... ok [INFO] [stdout] test test_validation_coverage::test_validation_single_variable_alldiff ... ok [INFO] [stdout] test test_validation_coverage::test_validation_valid_int_domain ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_no_constraints ... ok [INFO] [stdout] test test_validation_coverage::test_validation_very_large_int_domain ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_integer_with_small_context ... ok [INFO] [stdout] test test_validation_coverage::test_validation_zero_width_float_domain ... ok [INFO] [stdout] test test_validation_coverage::test_validation_zero_width_int_domain ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_transitive_bounds ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_tight_bounds ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_both_bounds ... ok [INFO] [stdout] test test_unbounded_variables::test_unbounded_integer_with_large_context ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_binary_comparison_greater_equal ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_order_independence ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_binary_comparison_less_than ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_preserves_existing_bounds ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_element_constraint ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_multiple_unbounded_vars ... ok [INFO] [stdout] test test_unbounded_inference::test_inference_alldifferent_bounds ... ok [INFO] [stdout] test test_lp_csp_integration::test_medium_sized_problem ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 873 passed; 0 failed; 16 ignored; 0 measured; 0 filtered out; finished in 2.65s [INFO] [stdout] [INFO] [stderr] Doc-tests selen [INFO] [stdout] [INFO] [stdout] running 174 tests [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::sub (line 37) ... ok [INFO] [stdout] test src/constraints/api/array.rs - constraints::api::array::Model::array_float_element (line 162) ... ok [INFO] [stdout] test src/api/prelude.rs - api::prelude::bool (line 56) ... ok [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::max (line 393) ... ok [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::div (line 98) ... ok [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::min (line 333) ... ok [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::add (line 17) ... ok [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::sum (line 448) ... ok [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::modulo (line 157) ... ok [INFO] [stdout] test src/constraints/api/array.rs - constraints::api::array::Model::array_float_maximum (line 129) ... ok [INFO] [stdout] test src/constraints/api/boolean.rs - constraints::api::boolean::Model::bool_not (line 53) ... ok [INFO] [stdout] test src/constraints/api/conversion.rs - constraints::api::conversion::Model::float2int_ceil (line 86) ... ok [INFO] [stdout] test src/constraints/api/boolean.rs - constraints::api::boolean::Model::bool_and (line 16) ... ok [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::sum_iter (line 462) ... ok [INFO] [stdout] test src/constraints/api/boolean.rs - constraints::api::boolean::Model::bool_or (line 35) ... ok [INFO] [stdout] test src/constraints/api/array.rs - constraints::api::array::Model::array_int_minimum (line 22) ... ok [INFO] [stdout] test src/constraints/api/array.rs - constraints::api::array::Model::array_int_element (line 84) ... ok [INFO] [stdout] test src/constraints/api/boolean.rs - constraints::api::boolean::Model::implies (line 91) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::element_2d (line 81) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::exactly (line 350) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::gcc (line 366) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::element_3d (line 140) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::table_2d (line 227) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::alleq (line 41) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::table_3d (line 254) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::table (line 202) ... ok [INFO] [stdout] test src/constraints/api/linear.rs - constraints::api::linear::Model::bool_lin_eq (line 131) ... ok [INFO] [stdout] test src/constraints/api/linear.rs - constraints::api::linear::Model::bool_lin_eq_reif (line 193) ... ok [INFO] [stdout] test src/constraints/api/linear.rs - constraints::api::linear::Model::bool_lin_le (line 154) ... ok [INFO] [stdout] test src/constraints/api/linear.rs - constraints::api::linear::Model::bool_lin_le_reif (line 214) ... ok [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::mul (line 58) ... ok [INFO] [stdout] test src/constraints/api/linear.rs - constraints::api::linear::Model::lin_le (line 51) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::alldiff (line 24) ... ok [INFO] [stdout] test src/constraints/api/conversion.rs - constraints::api::conversion::Model::float2int_round (line 127) ... ok [INFO] [stdout] test src/constraints/api/conversion.rs - constraints::api::conversion::Model::float2int_floor (line 45) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::element (line 60) ... ok [INFO] [stdout] test src/constraints/api/reified.rs - constraints::api::reified::Model::le_reif (line 102) ... ok [INFO] [stdout] test src/constraints/api/reified.rs - constraints::api::reified::Model::lt_reif (line 79) ... ok [INFO] [stdout] test src/constraints/api/reified.rs - constraints::api::reified::Model::ne_reif (line 56) ... ok [INFO] [stdout] test src/constraints/api/boolean.rs - constraints::api::boolean::Model::bool_xor (line 70) ... ok [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 26) ... ok [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::abs (line 585) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::alldiff (line 525) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::alleq (line 536) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::and (line 689) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::bool2int (line 924) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::ceil (line 977) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::cumulative (line 820) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::div (line 78) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::element (line 753) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::eq (line 110) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::eq_reif (line 602) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::floor (line 942) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::gcc (line 794) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::ge (line 182) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::ge_reif (line 673) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::gt (line 168) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::gt_reif (line 658) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::implies (line 735) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::int2float (line 888) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::le (line 154) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::le_reif (line 644) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::lin_eq (line 199) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::lin_eq_reif (line 244) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::lin_le (line 215) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::lin_le_reif (line 257) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::lin_ne (line 231) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::lin_ne_reif (line 270) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::lt (line 140) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::lt_reif (line 630) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::max (line 561) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::min (line 549) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::modulo (line 93) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::mul (line 65) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::ne (line 126) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::ne_reif (line 616) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::not (line 709) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::or (line 699) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::round (line 1012) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::sub (line 52) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::sum (line 573) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::table (line 772) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::xor (line 719) ... ignored [INFO] [stdout] test src/constraints/functions.rs - constraints::functions::add (line 27) ... ok [INFO] [stdout] test src/constraints/props/mod.rs - constraints::props::Propagators::extract_linear_system (line 136) ... ignored [INFO] [stdout] test src/constraints/operators.rs - constraints::operators (line 8) ... ok [INFO] [stdout] test src/core/error.rs - core::error (line 17) ... ok [INFO] [stdout] test src/core/solution.rs - core::solution (line 22) ... ok [INFO] [stdout] test src/core/solution.rs - core::solution::Solution::get_bool (line 489) ... ok [INFO] [stdout] test src/constraints/api/linear.rs - constraints::api::linear::Model::bool_lin_ne_reif (line 235) ... ok [INFO] [stdout] test src/constraints/api/linear.rs - constraints::api::linear::Model::bool_lin_ne (line 173) ... ok [INFO] [stdout] test src/constraints/api/array.rs - constraints::api::array::Model::array_int_maximum (line 50) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::at_least (line 324) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::at_most (line 337) ... ok [INFO] [stdout] test src/constraints/api/boolean.rs - constraints::api::boolean::Model::bool_clause (line 123) ... ok [INFO] [stdout] test src/lib.rs - (line 191) ... ok [INFO] [stdout] test src/core/solution.rs - core::solution (line 60) ... ok [INFO] [stdout] test src/constraints/api/reified.rs - constraints::api::reified::Model::ge_reif (line 148) ... ok [INFO] [stdout] test src/lib.rs - (line 138) ... ok [INFO] [stdout] test src/lpsolver/csp_integration.rs - lpsolver::csp_integration (line 9) ... ignored [INFO] [stdout] test src/lpsolver/types.rs - lpsolver::types::LpConfig::unlimited (line 50) ... ignored [INFO] [stdout] test src/lpsolver/types.rs - lpsolver::types::LpConfig::with_max_memory_mb (line 96) ... ignored [INFO] [stdout] test src/lpsolver/types.rs - lpsolver::types::LpConfig::with_timeout_ms (line 70) ... ignored [INFO] [stdout] test src/lpsolver/types.rs - lpsolver::types::LpConfig::without_memory_limit (line 108) ... ignored [INFO] [stdout] test src/lpsolver/types.rs - lpsolver::types::LpConfig::without_timeout (line 82) ... ignored [INFO] [stdout] test src/constraints/api/linear.rs - constraints::api::linear::Model::lin_ne (line 75) ... ok [INFO] [stdout] test src/constraints/api/linear.rs - constraints::api::linear::Model::lin_eq (line 27) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::count (line 286) ... ok [INFO] [stdout] test src/constraints/api/arithmetic.rs - constraints::api::arithmetic::Model::abs (line 263) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::config (line 140) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::constraint_count (line 316) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::extract_linear_system (line 1619) ... ignored [INFO] [stdout] test src/lib.rs - (line 233) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::enumerate (line 1758) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::enumerate_with_stats (line 1797) ... ok [INFO] [stdout] test src/lib.rs - (line 210) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::engine (line 1460) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::enumerate_with_stats (line 1816) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::float_precision_digits (line 103) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::maximize_and_iterate (line 681) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::solve_with_lp (line 1651) ... ignored [INFO] [stdout] test src/model/core.rs - model::core::Model::variable_count (line 295) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::minimize (line 424) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::solve (line 1488) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::minimize_and_iterate (line 553) ... ok [INFO] [stdout] test src/constraints/api/global.rs - constraints::api::global::Model::between (line 309) ... ok [INFO] [stdout] test src/lib.rs - (line 13) ... ok [INFO] [stdout] test src/lib.rs - (line 100) ... 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::bools (line 183) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::bools_2d (line 264) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::with_config (line 71) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::bools_3d (line 345) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::maximize_and_iterate (line 666) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::floats (line 161) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::ints_2d (line 215) ... ok [INFO] [stdout] test src/lib.rs - (line 161) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::floats_2d (line 241) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::intset (line 99) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::ints (line 137) ... ok [INFO] [stdout] test src/lib.rs - (line 118) ... ok [INFO] [stdout] test src/core/validation.rs - core::validation (line 22) ... ok [INFO] [stdout] test src/constraints/api/reified.rs - constraints::api::reified::Model::eq_reif (line 33) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig (line 23) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::with_lp_solver (line 266) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::with_float_precision (line 138) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::ints_3d (line 295) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::unlimited (line 303) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::with_unbounded_inference_factor (line 230) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::without_lp_solver (line 286) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::new (line 122) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::with_max_memory_mb (line 185) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::without_memory_limit (line 200) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::without_timeout (line 168) ... ok [INFO] [stdout] test src/utils/config.rs - utils::config::SolverConfig::with_timeout_ms (line 153) ... ok [INFO] [stdout] test src/solvers/sudoku.rs - solvers::sudoku::solve_sudoku (line 1143) ... ok [INFO] [stdout] test src/variables/core.rs - variables::core::Val::bool (line 38) ... ok [INFO] [stdout] test src/variables/core.rs - variables::core::Vars::new_var_with_values (line 565) ... ok [INFO] [stdout] test src/variables/domain/sparse_set.rs - variables::domain::sparse_set::SparseSet::complement_iter (line 335) ... ok [INFO] [stdout] test src/variables/domain/sparse_set.rs - variables::domain::sparse_set::SparseSet::should_use_complement (line 377) ... ok [INFO] [stdout] test src/solvers/sudoku.rs - solvers::sudoku::SudokuSolver::new (line 157) ... ok [INFO] [stdout] test src/variables/domain/sparse_set.rs - variables::domain::sparse_set::SparseSet::complement_size (line 356) ... ok [INFO] [stdout] test src/variables/domain/sparse_set.rs - variables::domain::sparse_set::SparseSet::diff_with (line 481) ... ok [INFO] [stdout] test src/variables/domain/sparse_set.rs - variables::domain::sparse_set::SparseSet::intersect_with (line 409) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::maximize (line 586) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::floats_3d (line 321) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::int (line 34) ... ok [INFO] [stdout] test src/lib.rs - (line 41) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::float_step_size (line 122) ... ok [INFO] [stdout] test src/constraints/api/reified.rs - constraints::api::reified::Model::gt_reif (line 125) ... ok [INFO] [stdout] test src/model/core.rs - model::core::Model::with_float_precision (line 46) ... ok [INFO] [stdout] test src/model/factory.rs - model::factory::Model::float (line 54) ... ok [INFO] [stdout] test src/solvers/sudoku.rs - solvers::sudoku::SudokuSolver::parse_string (line 1078) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 123 passed; 0 failed; 51 ignored; 0 measured; 0 filtered out; finished in 0.35s [INFO] [stdout] [INFO] [stdout] all doctests ran in 1.79s; merged doctests compilation took 1.43s [INFO] running `Command { std: "docker" "inspect" "d94e4d59cf51801061df060ab6d4810325649f12e301a6f0d93ce33f0fd2dca1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d94e4d59cf51801061df060ab6d4810325649f12e301a6f0d93ce33f0fd2dca1", kill_on_drop: false }` [INFO] [stdout] d94e4d59cf51801061df060ab6d4810325649f12e301a6f0d93ce33f0fd2dca1