[INFO] fetching crate oxiz-theories 0.2.0...
[INFO] testing oxiz-theories-0.2.0 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate oxiz-theories 0.2.0 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate oxiz-theories 0.2.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxiz-theories 0.2.0
[INFO] tweaked toml for crates.io crate oxiz-theories 0.2.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-theories 0.2.0 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-theories 0.2.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bc8400992e94624f86744239e9a8ddd3199ce84804a4d3dca020d2e0078516ff
[INFO] running `Command { std: "docker" "start" "-a" "bc8400992e94624f86744239e9a8ddd3199ce84804a4d3dca020d2e0078516ff", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bc8400992e94624f86744239e9a8ddd3199ce84804a4d3dca020d2e0078516ff", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bc8400992e94624f86744239e9a8ddd3199ce84804a4d3dca020d2e0078516ff", kill_on_drop: false }`
[INFO] [stdout] bc8400992e94624f86744239e9a8ddd3199ce84804a4d3dca020d2e0078516ff
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c6f2cf3473b6319b1e5f786bd274822d5233e2aa18d303fb4ba6f3d7cddb1341
[INFO] running `Command { std: "docker" "start" "-a" "c6f2cf3473b6319b1e5f786bd274822d5233e2aa18d303fb4ba6f3d7cddb1341", kill_on_drop: false }`
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling critical-section v1.2.0
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling libc v0.2.184
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling foldhash v0.1.5
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling bytemuck v1.25.0
[INFO] [stderr]    Compiling portable-atomic-util v0.2.6
[INFO] [stderr]    Compiling indexmap v2.13.1
[INFO] [stderr]    Compiling safe_arch v1.0.0
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling wide v1.2.0
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling raw-cpuid v11.6.0
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling env_logger v0.9.3
[INFO] [stderr]    Compiling symbol_table v0.4.0
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling const-random v0.1.18
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling symbolic_expressions v5.0.3
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling quanta v0.12.6
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling rhai_codegen v3.1.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling egg v0.11.0
[INFO] [stderr]    Compiling oxiz-math v0.2.0
[INFO] [stderr]    Compiling oxiz-core v0.2.0
[INFO] [stderr]    Compiling oxiz-nlsat v0.2.0
[INFO] [stderr]    Compiling oxiz-sat v0.2.0
[INFO] [stderr]    Compiling oxiz-theories v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 38s
[INFO] running `Command { std: "docker" "inspect" "c6f2cf3473b6319b1e5f786bd274822d5233e2aa18d303fb4ba6f3d7cddb1341", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c6f2cf3473b6319b1e5f786bd274822d5233e2aa18d303fb4ba6f3d7cddb1341", kill_on_drop: false }`
[INFO] [stdout] c6f2cf3473b6319b1e5f786bd274822d5233e2aa18d303fb4ba6f3d7cddb1341
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0e727db57e81222b2ef6e0f0616b15b455d97448e23e16a6c72e2b29af7af5a8
[INFO] running `Command { std: "docker" "start" "-a" "0e727db57e81222b2ef6e0f0616b15b455d97448e23e16a6c72e2b29af7af5a8", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling raw-cpuid v11.6.0
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quanta v0.12.6
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling egg v0.11.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling criterion v0.7.0
[INFO] [stderr]    Compiling oxiz-math v0.2.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling oxiz-core v0.2.0
[INFO] [stderr]    Compiling oxiz-sat v0.2.0
[INFO] [stderr]    Compiling oxiz-nlsat v0.2.0
[INFO] [stderr]    Compiling oxiz-theories v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 32s
[INFO] running `Command { std: "docker" "inspect" "0e727db57e81222b2ef6e0f0616b15b455d97448e23e16a6c72e2b29af7af5a8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e727db57e81222b2ef6e0f0616b15b455d97448e23e16a6c72e2b29af7af5a8", kill_on_drop: false }`
[INFO] [stdout] 0e727db57e81222b2ef6e0f0616b15b455d97448e23e16a6c72e2b29af7af5a8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 3b3de7e4549b044ea5f4827a6f87e227db3c51db6d66fd28bdb9bfcd1b8513b1
[INFO] running `Command { std: "docker" "start" "-a" "3b3de7e4549b044ea5f4827a6f87e227db3c51db6d66fd28bdb9bfcd1b8513b1", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.23s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxiz_theories-b978f9116c480c40)
[INFO] [stdout] 
[INFO] [stdout] running 1131 tests
[INFO] [stdout] test arithmetic::delta::tests::test_delta_floor_ceil ... ok
[INFO] [stdout] test arithmetic::delta::tests::test_delta_is_positive_negative ... ok
[INFO] [stdout] test arithmetic::delta::tests::test_delta_arithmetic ... ok
[INFO] [stdout] test arithmetic::delta::tests::test_delta_rational_basic ... ok
[INFO] [stdout] test arithmetic::delta::tests::test_delta_rational_with_epsilon ... ok
[INFO] [stdout] test arithmetic::gaussian::tests::test_linear_equation_eliminate ... ok
[INFO] [stdout] test arithmetic::gaussian::tests::test_gaussian_elimination_simple ... ok
[INFO] [stdout] test arithmetic::gaussian::tests::test_apply_substitutions ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_disjunctive_cut ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_feasibility_pump ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_extended_gcd ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_gcd ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_lcm ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_fix_tight_bounds ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_gcd_infeasibility ... ok
[INFO] [stdout] test arithmetic::gaussian::tests::test_linear_equation_normalize ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_lia_solver_basic ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_manage_cuts ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_normalize_constraint ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_presolve ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_pseudo_boolean ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_tighten_bound ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_pseudo_boolean_cardinality ... ok
[INFO] [stdout] test arithmetic::optimize::tests::test_objective_builder ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_farkas_conflict_explanation ... ok
[INFO] [stdout] test arithmetic::optimize::tests::test_optimizer_basic ... ok
[INFO] [stdout] test arithmetic::optimize::tests::test_infeasible_model ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_bound_propagation ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_dual_simplex_basic ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_farkas_multiple_variables ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_simplex_basic ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_simplex_infeasible ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_simplex_push_pop ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_dual_simplex_feasible ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_simplex_push_pop_vars ... ok
[INFO] [stdout] test arithmetic::optimize::tests::test_opt_model ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_simplex_strict_feasible_boundary ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_simplex_strict_bounds ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_arith_strict_inequality ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_simplex_strict_infeasible ... ok
[INFO] [stdout] test arithmetic::simplex::tests::test_tighten_bounds ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_arith_strict_unsat ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_arith_basic ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_bound_tightening_lra ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_bound_tightening_lia ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_arith_unsat ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_coefficient_normalization_lia ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_coefficient_normalization_sign ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_gcd_computation ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_lia_strict_at_boundary ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_lia_strict_inequality_empty_interval ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_lra_strict_inequality_has_solution ... ok
[INFO] [stdout] test array::abstraction::tests::test_abstract_array_state ... ok
[INFO] [stdout] test array::abstraction::tests::test_abstract_array_state_join ... ok
[INFO] [stdout] test array::abstraction::tests::test_abstract_domain_bottom_top ... ok
[INFO] [stdout] test array::abstraction::tests::test_abstract_domain_join ... ok
[INFO] [stdout] test array::abstraction::tests::test_abstract_domain_display ... ok
[INFO] [stdout] test arithmetic::solver::tests::test_tighten_constraints ... ok
[INFO] [stdout] test array::abstraction::tests::test_abstract_domain_meet ... ok
[INFO] [stdout] test array::abstraction::tests::test_abstraction_engine ... ok
[INFO] [stdout] test array::abstraction::tests::test_add_predicate ... ok
[INFO] [stdout] test array::abstraction::tests::test_cegar_loop ... ok
[INFO] [stdout] test array::abstraction::tests::test_condition_types ... ok
[INFO] [stdout] test array::abstraction::tests::test_invariant_generator ... ok
[INFO] [stdout] test array::abstraction::tests::test_invariant_types ... ok
[INFO] [stdout] test array::abstraction::tests::test_parity_domain ... ok
[INFO] [stdout] test array::abstraction::tests::test_promote_candidates ... ok
[INFO] [stdout] test array::abstraction::tests::test_refinement ... ok
[INFO] [stdout] test array::abstraction::tests::test_value_set_widening ... ok
[INFO] [stdout] test array::abstraction::tests::test_sign_domain ... ok
[INFO] [stdout] test array::cardinality::tests::test_array_cardinality_constraint ... ok
[INFO] [stdout] test array::cardinality::tests::test_bound_display ... ok
[INFO] [stdout] test array::cardinality::tests::test_bound_intersection_at_most ... ok
[INFO] [stdout] test array::cardinality::tests::test_bound_intersection_exact ... ok
[INFO] [stdout] test array::cardinality::tests::test_bound_intersection_incompatible_range ... ok
[INFO] [stdout] test array::cardinality::tests::test_bound_intersection_range ... ok
[INFO] [stdout] test array::cardinality::tests::test_cardinality_bound_at_most ... ok
[INFO] [stdout] test array::cardinality::tests::test_cardinality_bound_exact ... ok
[INFO] [stdout] test array::cardinality::tests::test_cardinality_bound_infinite ... ok
[INFO] [stdout] test array::cardinality::tests::test_cardinality_bound_range ... ok
[INFO] [stdout] test array::cardinality::tests::test_cardinality_conflict ... ok
[INFO] [stdout] test array::cardinality::tests::test_constraint_manager ... ok
[INFO] [stdout] test array::cardinality::tests::test_finite_model_constraints ... ok
[INFO] [stdout] test array::cardinality::tests::test_infer_bounds ... ok
[INFO] [stdout] test array::cardinality::tests::test_pigeonhole_satisfiable ... ok
[INFO] [stdout] test array::cardinality::tests::test_pigeonhole_violation ... ok
[INFO] [stdout] test array::cardinality::tests::test_symmetry_patterns ... ok
[INFO] [stdout] test array::interpolation::tests::test_clear_cache ... ok
[INFO] [stdout] test array::interpolation::tests::test_ill_formed_problem ... ok
[INFO] [stdout] test array::cardinality::tests::test_cardinality_reasoner ... ok
[INFO] [stdout] test array::interpolation::tests::test_interpolant ... ok
[INFO] [stdout] test array::interpolation::tests::test_interpolation_problem ... ok
[INFO] [stdout] test array::interpolation::tests::test_interpolation_strategies ... ok
[INFO] [stdout] test array::interpolation::tests::test_interpolation_cache ... ok
[INFO] [stdout] test array::interpolation::tests::test_interpolation_engine ... ok
[INFO] [stdout] test array::interpolation::tests::test_post_order_traversal ... ok
[INFO] [stdout] test array::interpolation::tests::test_sequence_interpolation_too_few_formulas ... ok
[INFO] [stdout] test array::interpolation::tests::test_step_result_variants ... ok
[INFO] [stdout] test array::interpolation::tests::test_strength_metrics_display ... ok
[INFO] [stdout] test array::interpolation::tests::test_tree_interpolation ... ok
[INFO] [stdout] test array::interpolation::tests::test_tree_node ... ok
[INFO] [stdout] test array::interpolation::tests::test_verification ... ok
[INFO] [stdout] test array::interpolation::tests::test_verification_result_variants ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_array_dimensions ... ok
[INFO] [stdout] test array::interpolation::tests::test_sequence_interpolation ... ok
[INFO] [stdout] test array::interpolation::tests::test_strength_analyzer ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_compatibility ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_dimension_bounds ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_dimension_iterator ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_dimension_iterator_empty ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_index_difference_analyzer ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_multi_dim_manager ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_index_sequence_relation ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_flattening_row_major ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_indices_differ ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_multi_dim_store ... ok
[INFO] [stdout] test array::property_fragments::tests::test_bms_config_in_fragment ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_indices_equal ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_multi_dim_select ... ok
[INFO] [stdout] test array::property_fragments::tests::test_decidability_checker ... ok
[INFO] [stdout] test array::property_fragments::tests::test_bms_fragment ... ok
[INFO] [stdout] test array::property_fragments::tests::test_decidability_report_display ... ok
[INFO] [stdout] test array::property_fragments::tests::test_fragment_class_display ... ok
[INFO] [stdout] test array::property_fragments::tests::test_fragment_classifier ... ok
[INFO] [stdout] test array::property_fragments::tests::test_array_term_depth ... ok
[INFO] [stdout] test array::multi_dimensional::tests::test_push_pop_context ... ok
[INFO] [stdout] test array::property_fragments::tests::test_arith_op_variants ... ok
[INFO] [stdout] test array::property_fragments::tests::test_index_term_array_access ... ok
[INFO] [stdout] test array::property_fragments::tests::test_nested_access_detection ... ok
[INFO] [stdout] test array::property_fragments::tests::test_quantifier_complexity ... ok
[INFO] [stdout] test array::property_fragments::tests::test_update_pattern_analyzer ... ok
[INFO] [stdout] test array::property_fragments::tests::test_quantifier_complexity_analyzer ... ok
[INFO] [stdout] test array::property_fragments::tests::test_value_term_array_access ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_array_eliminator ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_cannot_skolemize_universal ... ok
[INFO] [stdout] test array::property_fragments::tests::test_update_pattern_types ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_clear_operations ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_elimination_result ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_formula_simplifier ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_fragment_analyzer ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_index_term_collector ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_instantiation_strategy ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_model_projection ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_multiple_trigger_vars ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_qe_context ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_quantified_var ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_quantifier_pattern ... ok
[INFO] [stdout] test array::quantifier_elim::tests::test_skolemization ... ok
[INFO] [stdout] test array::solver::tests::test_array_basic ... ok
[INFO] [stdout] test array::solver::tests::test_array_push_pop ... ok
[INFO] [stdout] test array::solver::tests::test_array_conflict ... ok
[INFO] [stdout] test array::solver::tests::test_incremental_merge_undo ... ok
[INFO] [stdout] test array::solver::tests::test_array_read_different_index ... ok
[INFO] [stdout] test array::solver::tests::test_incremental_with_pending_lemmas ... ok
[INFO] [stdout] test array_eager_expand::tests::test_eager_expand_config_default ... ok
[INFO] [stdout] test array_eager_expand::tests::test_eager_expander_creation ... ok
[INFO] [stdout] test array_eager_expand::tests::test_get_element ... ok
[INFO] [stdout] test array_eager_expand::tests::test_is_expanded ... ok
[INFO] [stdout] test array_eager_expand::tests::test_clear ... ok
[INFO] [stdout] test array_eager_expand::tests::test_record_access ... ok
[INFO] [stdout] test array_eager_expand::tests::test_should_expand_disabled ... ok
[INFO] [stdout] test array_eager_expand::tests::test_stats_reset ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_complex_circuit ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_constant_propagation ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_constant_bitvector ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_constants ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_equal ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_input ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_mux ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_half_adder ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_negate_bitvector ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_not_equal ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_or_gate ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_ripple_carry_adder ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_stats ... ok
[INFO] [stdout] test array_eager_expand::tests::test_should_expand_small_domain ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_and_gate ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_structural_hashing ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_full_adder ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_to_cnf ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_to_cnf_unsat ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_unsigned_less_than_false ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_xor_gate ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_basic ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_and ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_add ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_neg ... ok
[INFO] [stdout] test bv::aig::tests::test_aig_unsigned_less_than ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_const ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_neq ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_stats ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_ult_false ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_cost_estimation ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_neq_false ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_bitblaster_creation ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_cut_trivial ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_sub ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_create_constant ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_encode_bitwise_ops ... ok
[INFO] [stdout] test bv::aig_builder::tests::test_aig_builder_ult ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_encode_extract_concat ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_encode_extensions ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_encode_mul_simple ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_encode_add ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_encode_shifts ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_polarity_merge ... ok
[INFO] [stdout] test bv::division_opt::tests::test_barrett_division_correctness ... ok
[INFO] [stdout] test arithmetic::lia::tests::test_probe_variables ... ok
[INFO] [stdout] test bv::bitblast_advanced::tests::test_polarity_flip ... ok
[INFO] [stdout] test bv::division_opt::tests::test_barrett_params ... ok
[INFO] [stdout] test bv::division_opt::tests::test_division_config_defaults ... ok
[INFO] [stdout] test bv::division_opt::tests::test_division_optimizer ... ok
[INFO] [stdout] test bv::division_opt::tests::test_division_stats ... ok
[INFO] [stdout] test bv::division_opt::tests::test_extended_gcd ... ok
[INFO] [stdout] test bv::division_opt::tests::test_is_power_of_two ... ok
[INFO] [stdout] test bv::division_opt::tests::test_log2_power_of_two ... ok
[INFO] [stdout] test bv::division_opt::tests::test_montgomery_mod_exp ... ok
[INFO] [stdout] test bv::division_opt::tests::test_montgomery_odd_modulus_only ... ok
[INFO] [stdout] test bv::division_opt::tests::test_montgomery_params ... ok
[INFO] [stdout] test bv::propagator::tests::test_interval_add ... ok
[INFO] [stdout] test bv::division_opt::tests::test_remainder_optimizer ... ok
[INFO] [stdout] test bv::propagator::tests::test_interval_basic ... ok
[INFO] [stdout] test bv::propagator::tests::test_interval_empty_intersect ... ok
[INFO] [stdout] test bv::propagator::tests::test_interval_singleton ... ok
[INFO] [stdout] test bv::propagator::tests::test_interval_intersect ... ok
[INFO] [stdout] test bv::propagator::tests::test_interval_union ... ok
[INFO] [stdout] test bv::propagator::tests::test_propagator_conflict ... ok
[INFO] [stdout] test bv::propagator::tests::test_propagator_equality ... ok
[INFO] [stdout] test bv::propagator::tests::test_propagator_ult ... ok
[INFO] [stdout] test bv::propagator::tests::test_refine_add ... ok
[INFO] [stdout] test bv::propagator::tests::test_refine_and ... ok
[INFO] [stdout] test bv::propagator::tests::test_refine_mul ... ok
[INFO] [stdout] test bv::propagator::tests::test_refine_or ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_and_not_words ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_and_words_basic ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_count_ones_all_set ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_count_ones_empty ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_eq_words_equal ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_eq_words_not_equal ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_not_words_basic ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_count_ones_partial ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_is_zero ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_or_words_basic ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_bv_xor_words_basic ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_remainder_path_five_words ... ok
[INFO] [stdout] test bv::simd_ops::tests::test_remainder_path_single_word ... ok
[INFO] [stdout] test bv::word_level::tests::test_equality_propagation ... ok
[INFO] [stdout] test bv::word_level::tests::test_effective_width_detection ... ok
[INFO] [stdout] test bv::word_level::tests::test_interval_refinement ... ok
[INFO] [stdout] test bv::solver::tests::test_bv_neq ... ok
[INFO] [stdout] test bv::word_level::tests::test_lshr_sign_propagation ... ok
[INFO] [stdout] test bv::solver::tests::test_bv_eq ... ok
[INFO] [stdout] test bv::word_level::tests::test_overflow_detection_add ... ok
[INFO] [stdout] test bv::word_level::tests::test_propagate_add_constants ... ok
[INFO] [stdout] test bv::word_level::tests::test_propagate_mul_by_zero ... ok
[INFO] [stdout] test bv::word_level::tests::test_sign_inference_from_interval ... ok
[INFO] [stdout] test bv::word_level::tests::test_sign_info_merge ... ok
[INFO] [stdout] test bv::word_level::tests::test_sign_info_negate ... ok
[INFO] [stdout] test bv::word_level::tests::test_union_find ... ok
[INFO] [stdout] test bv::word_level::tests::test_width_info ... ok
[INFO] [stdout] test bv::word_level::tests::test_word_level_reasoner_constants ... ok
[INFO] [stdout] test bv::word_level::tests::test_xor_self_simplification ... ok
[INFO] [stdout] test character::functions::tests::test_advanced_solver_conflicting ... ok
[INFO] [stdout] test character::functions::tests::test_advanced_solver_constraint ... ok
[INFO] [stdout] test character::functions::tests::test_advanced_solver_creation ... ok
[INFO] [stdout] test character::functions::tests::test_advanced_solver_domain ... ok
[INFO] [stdout] test character::functions::tests::test_ascii_constraint ... ok
[INFO] [stdout] test character::functions::tests::test_case_folder_equals ... ok
[INFO] [stdout] test character::functions::tests::test_case_folder_full ... ok
[INFO] [stdout] test character::functions::tests::test_case_folder_simple ... ok
[INFO] [stdout] test character::functions::tests::test_case_folder_turkic ... ok
[INFO] [stdout] test character::functions::tests::test_case_insensitive_eq ... ok
[INFO] [stdout] test character::functions::tests::test_char_class_alpha ... ok
[INFO] [stdout] test character::functions::tests::test_char_class_digit ... ok
[INFO] [stdout] test character::functions::tests::test_char_class_enumerate_ascii ... ok
[INFO] [stdout] test character::functions::tests::test_char_class_from_pattern ... ok
[INFO] [stdout] test character::functions::tests::test_char_class_negation ... ok
[INFO] [stdout] test character::functions::tests::test_char_class_range ... ok
[INFO] [stdout] test character::functions::tests::test_char_class_union ... ok
[INFO] [stdout] test character::functions::tests::test_char_domain_empty ... ok
[INFO] [stdout] test character::functions::tests::test_char_domain_exclude ... ok
[INFO] [stdout] test character::functions::tests::test_char_domain_full ... ok
[INFO] [stdout] test character::functions::tests::test_char_domain_intersect ... ok
[INFO] [stdout] test character::functions::tests::test_char_domain_min_max ... ok
[INFO] [stdout] test character::functions::tests::test_char_domain_range ... ok
[INFO] [stdout] test character::functions::tests::test_char_domain_singleton ... ok
[INFO] [stdout] test character::functions::tests::test_char_domain_size ... ok
[INFO] [stdout] test character::functions::tests::test_char_solver_creation ... ok
[INFO] [stdout] test character::functions::tests::test_char_value ... ok
[INFO] [stdout] test character::functions::tests::test_char_var_creation ... ok
[INFO] [stdout] test character::functions::tests::test_char_width_fullwidth ... ok
[INFO] [stdout] test character::functions::tests::test_char_width_narrow ... ok
[INFO] [stdout] test character::functions::tests::test_char_width_wide ... ok
[INFO] [stdout] test character::functions::tests::test_clear ... ok
[INFO] [stdout] test character::functions::tests::test_digit_constraint ... ok
[INFO] [stdout] test character::functions::tests::test_equality_constraint ... ok
[INFO] [stdout] test character::functions::tests::test_is_valid_code_point ... ok
[INFO] [stdout] test character::functions::tests::test_normalizer_combining_class ... ok
[INFO] [stdout] test character::functions::tests::test_normalizer_is_combining ... ok
[INFO] [stdout] test character::functions::tests::test_normalizer_nfd ... ok
[INFO] [stdout] test character::functions::tests::test_range_constraint ... ok
[INFO] [stdout] test character::functions::tests::test_reset ... ok
[INFO] [stdout] test character::functions::tests::test_unicode_block_basic_latin ... ok
[INFO] [stdout] test character::functions::tests::test_unicode_block_cjk ... ok
[INFO] [stdout] test character::functions::tests::test_unicode_category ... ok
[INFO] [stdout] test character::functions::tests::test_stats ... ok
[INFO] [stdout] test character::functions::tests::test_unicode_script_cjk ... ok
[INFO] [stdout] test character::functions::tests::test_unicode_block_range ... ok
[INFO] [stdout] test character::functions::tests::test_unicode_script_direction ... ok
[INFO] [stdout] test character::functions::tests::test_unicode_script_east_asian ... ok
[INFO] [stdout] test character::functions::tests::test_unicode_script_latin ... ok
[INFO] [stdout] test character::functions::tests::test_normalizer_nfc ... ok
[INFO] [stdout] test character::functions::tests::test_var_equality ... ok
[INFO] [stdout] test character::functions::tests::test_uppercase_lowercase ... ok
[INFO] [stdout] test checking::arith::tests::test_arith_checker_creation ... ok
[INFO] [stdout] test checking::arith::tests::test_arith_config_default ... ok
[INFO] [stdout] test checking::arith::tests::test_arith_conflict_check ... ok
[INFO] [stdout] test checking::arith::tests::test_arith_model_check ... ok
[INFO] [stdout] test checking::arith::tests::test_arith_propagation_check ... ok
[INFO] [stdout] test checking::arith::tests::test_arith_stats ... ok
[INFO] [stdout] test checking::array::tests::test_array_checker_creation ... ok
[INFO] [stdout] test checking::array::tests::test_array_conflict_empty ... ok
[INFO] [stdout] test checking::array::tests::test_array_conflict_valid ... ok
[INFO] [stdout] test checking::array::tests::test_array_model_check ... ok
[INFO] [stdout] test checking::array::tests::test_array_propagation ... ok
[INFO] [stdout] test checking::array::tests::test_array_stats ... ok
[INFO] [stdout] test checking::array::tests::test_set_extensionality ... ok
[INFO] [stdout] test checking::bv::tests::test_bv_checker_creation ... ok
[INFO] [stdout] test checking::bv::tests::test_bv_conflict_empty ... ok
[INFO] [stdout] test checking::bv::tests::test_bv_conflict_valid ... ok
[INFO] [stdout] test checking::bv::tests::test_bv_eq ... ok
[INFO] [stdout] test checking::bv::tests::test_bv_model_check ... ok
[INFO] [stdout] test checking::bv::tests::test_bv_stats ... ok
[INFO] [stdout] test checking::bv::tests::test_bv_with_max_width ... ok
[INFO] [stdout] test checking::array::tests::test_array_without_extensionality ... ok
[INFO] [stdout] test checking::proof::tests::test_add_and_validate_axiom ... ok
[INFO] [stdout] test checking::proof::tests::test_check_proof ... ok
[INFO] [stdout] test checking::proof::tests::test_contradiction_step ... ok
[INFO] [stdout] test checking::proof::tests::test_invalid_contradiction ... ok
[INFO] [stdout] test checking::bv::tests::test_bv_propagation ... ok
[INFO] [stdout] test checking::proof::tests::test_proof_checker_creation ... ok
[INFO] [stdout] test checking::proof::tests::test_no_contradiction ... ok
[INFO] [stdout] test checking::proof::tests::test_proof_checker_quick ... ok
[INFO] [stdout] test checking::proof::tests::test_proof_step_creation ... ok
[INFO] [stdout] test checking::proof::tests::test_validate_unknown_step ... ok
[INFO] [stdout] test checking::proof::tests::test_reset ... ok
[INFO] [stdout] test checking::proof::tests::test_proof_step_with_antecedents ... ok
[INFO] [stdout] test checking::quant::tests::test_quant_checker_creation ... ok
[INFO] [stdout] test checking::proof::tests::test_theory_lemma ... ok
[INFO] [stdout] test checking::proof::tests::test_resolution ... ok
[INFO] [stdout] test checking::quant::tests::test_quant_conflict_valid ... ok
[INFO] [stdout] test checking::quant::tests::test_quant_conflict_empty ... ok
[INFO] [stdout] test checking::quant::tests::test_quant_model_check ... ok
[INFO] [stdout] test checking::quant::tests::test_quant_propagation ... ok
[INFO] [stdout] test checking::quant::tests::test_quant_stats ... ok
[INFO] [stdout] test checking::quant::tests::test_quant_with_max_depth ... ok
[INFO] [stdout] test checking::quant::tests::test_set_check_skolem ... ok
[INFO] [stdout] test checking::tests::test_checker_stats ... ok
[INFO] [stdout] test checking::tests::test_success_rate ... ok
[INFO] [stdout] test checking::quant::tests::test_set_max_depth ... ok
[INFO] [stdout] test checking::tests::test_check_result ... ok
[INFO] [stdout] test combination::tests::test_equality_propagation ... ok
[INFO] [stdout] test checking::tests::test_literal ... ok
[INFO] [stdout] test combination::tests::test_is_lemma_subsumed ... ok
[INFO] [stdout] test checking::tests::test_combined_checker ... ok
[INFO] [stdout] test combination::tests::test_lemma_subsumption ... ok
[INFO] [stdout] test combination::tests::test_lemma_subsumption_caching ... ok
[INFO] [stdout] test combination::tests::test_minimize_by_theory ... ok
[INFO] [stdout] test combination::tests::test_lemma_cache ... ok
[INFO] [stdout] test combination::tests::test_minimize_conflict_empty ... ok
[INFO] [stdout] test combination::tests::test_presolve ... ok
[INFO] [stdout] test combination::tests::test_combination_modes ... ok
[INFO] [stdout] test combination::tests::test_purifier ... ok
[INFO] [stdout] test combination::tests::test_relevancy_tracking ... ok
[INFO] [stdout] test combination::tests::test_theory_combination_statistics ... ok
[INFO] [stdout] test combination::tests::test_theory_combiner_basic ... ok
[INFO] [stdout] test combination::tests::test_theory_combiner_push_pop ... ok
[INFO] [stdout] test config::tests::test_default_config ... ok
[INFO] [stdout] test config::tests::test_fast_config ... ok
[INFO] [stdout] test config::tests::test_small_config ... ok
[INFO] [stdout] test datatype::constructor_theory::tests::test_constructor_theory ... ok
[INFO] [stdout] test datatype::constructor_theory::tests::test_define_bool ... ok
[INFO] [stdout] test datatype::constructor_theory::tests::test_define_list ... ok
[INFO] [stdout] test datatype::constructor_theory::tests::test_define_nat ... ok
[INFO] [stdout] test datatype::constructor_theory::tests::test_same_datatype ... ok
[INFO] [stdout] test datatype::solver::tests::test_constructor_builder ... ok
[INFO] [stdout] test datatype::solver::tests::test_datatype_list ... ok
[INFO] [stdout] test datatype::solver::tests::test_datatype_tree ... ok
[INFO] [stdout] test datatype::solver::tests::test_enumeration ... ok
[INFO] [stdout] test datatype::solver::tests::test_option_datatype ... ok
[INFO] [stdout] test datatype::solver::tests::test_recognizers ... ok
[INFO] [stdout] test datatype::solver::tests::test_selectors ... ok
[INFO] [stdout] test datatype::solver::tests::test_solver_constructor_distinctness ... ok
[INFO] [stdout] test datatype::solver::tests::test_solver_constructor_mutual_exclusivity ... ok
[INFO] [stdout] test datatype::solver::tests::test_solver_injectivity_conflict ... ok
[INFO] [stdout] test datatype::solver::tests::test_solver_register_datatype ... ok
[INFO] [stdout] test datatype::solver::tests::test_solver_push_pop ... ok
[INFO] [stdout] test datatype::solver::tests::test_solver_same_constructor_multiple_eq ... ok
[INFO] [stdout] test datatype::solver::tests::test_solver_same_constructor_no_conflict ... ok
[INFO] [stdout] test datatype::solver::tests::test_solver_same_variable_same_constructor ... ok
[INFO] [stdout] test diff_logic::bellman_ford::tests::test_bellman_ford_negative_cycle ... ok
[INFO] [stdout] test diff_logic::bellman_ford::tests::test_bellman_ford_no_cycle ... ok
[INFO] [stdout] test diff_logic::dense::tests::test_add_variables ... ok
[INFO] [stdout] test diff_logic::bellman_ford::tests::test_spfa_no_cycle ... ok
[INFO] [stdout] test diff_logic::dense::tests::test_dense_creation ... ok
[INFO] [stdout] test diff_logic::dense::tests::test_distance_query ... ok
[INFO] [stdout] test diff_logic::dense::tests::test_get_model ... ok
[INFO] [stdout] test diff_logic::dense::tests::test_is_suitable ... ok
[INFO] [stdout] test diff_logic::graph::tests::test_add_constraint ... ok
[INFO] [stdout] test diff_logic::graph::tests::test_strict_constraint_integer ... ok
[INFO] [stdout] test diff_logic::graph::tests::test_variable_creation ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_add_constraint ... ok
[INFO] [stdout] test diff_logic::bellman_ford::tests::test_spfa_negative_cycle ... ok
[INFO] [stdout] test diff_logic::graph::tests::test_constraint_graph_creation ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_conflict_detection ... ok
[INFO] [stdout] test diff_logic::graph::tests::test_push_pop ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_immediate_conflict ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_consistency_check ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_model_extraction ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_real_arithmetic ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_push_pop ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_reset ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_solver_creation ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_would_conflict ... ok
[INFO] [stdout] test error::tests::test_solver_stats ... ok
[INFO] [stdout] test error::tests::test_conflict_info ... ok
[INFO] [stdout] test diff_logic::solver::tests::test_strict_constraint ... ok
[INFO] [stdout] test error::tests::test_stats_display ... ok
[INFO] [stdout] test error::tests::test_error_display ... ok
[INFO] [stdout] test error::tests::test_stats_reset ... ok
[INFO] [stdout] test euf::ematching::tests::test_ematching_basic ... ok
[INFO] [stdout] test euf::ematching::tests::test_match_all_egraph_basic ... ok
[INFO] [stdout] test euf::ematching::tests::test_match_all_egraph_no_match ... ok
[INFO] [stdout] test euf::ematching::tests::test_match_all_egraph_with_equivalence ... ok
[INFO] [stdout] test euf::ematching::tests::test_substitution ... ok
[INFO] [stdout] test euf::incremental::tests::test_eclass_id ... ok
[INFO] [stdout] test euf::ematching::tests::test_match_all_egraph_multi_pattern ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_add ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_builder ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_congruence ... ok
[INFO] [stdout] test euf::incremental::tests::test_analysis_data ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_lookup ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_merge ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_reset ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_push_pop ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_extract_smallest ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_hash_cons ... ok
[INFO] [stdout] test euf::incremental::tests::test_egraph_stats ... ok
[INFO] [stdout] test euf::incremental::tests::test_enode_creation ... ok
[INFO] [stdout] test euf::incremental::tests::test_enode_leaf ... ok
[INFO] [stdout] test euf::incremental::tests::test_multiple_children ... ok
[INFO] [stdout] test euf::incremental::tests::test_nested_congruence ... ok
[INFO] [stdout] test euf::proof::tests::test_proof_forest ... ok
[INFO] [stdout] test euf::ematching::tests::test_pattern_vars ... ok
[INFO] [stdout] test euf::proof::tests::test_proof_manager ... ok
[INFO] [stdout] test euf::proof::tests::test_proof_reflexivity ... ok
[INFO] [stdout] test euf::proof::tests::test_proof_symmetry ... ok
[INFO] [stdout] test euf::proof::tests::test_proof_transitivity ... ok
[INFO] [stdout] test euf::solver::tests::test_associative_commutative_function ... ok
[INFO] [stdout] test euf::solver::tests::test_batch_sig_updates_correctness ... ok
[INFO] [stdout] test euf::solver::tests::test_commutative_function ... ok
[INFO] [stdout] test euf::solver::tests::test_associative_function ... ok
[INFO] [stdout] test euf::solver::tests::test_congruence_with_fingerprint_prefilter ... ok
[INFO] [stdout] test euf::solver::tests::test_euf_basic ... ok
[INFO] [stdout] test euf::solver::tests::test_euf_congruence ... ok
[INFO] [stdout] test euf::solver::tests::test_euf_diseq_conflict ... ok
[INFO] [stdout] test euf::solver::tests::test_euf_explanation_simple ... ok
[INFO] [stdout] test euf::solver::tests::test_fingerprint_basic ... ok
[INFO] [stdout] test euf::solver::tests::test_euf_transitivity_explanation ... ok
[INFO] [stdout] test euf::solver::tests::test_fingerprint_empty_args ... ok
[INFO] [stdout] test euf::solver::tests::test_fingerprint_table_populated ... ok
[INFO] [stdout] test euf::solver::tests::test_euf_explanation_congruence ... ok
[INFO] [stdout] test euf::solver::tests::test_reset_clears_fingerprint_table ... ok
[INFO] [stdout] test euf::solver::tests::test_push_pop_rebuilds_fingerprint_table ... ok
[INFO] [stdout] test euf::union_find::tests::test_union_find_add ... ok
[INFO] [stdout] test euf::union_find::tests::test_union_find_backtrack_to ... ok
[INFO] [stdout] test euf::union_find::tests::test_union_find_basic ... ok
[INFO] [stdout] test euf::union_find::tests::test_union_find_multiple_levels ... ok
[INFO] [stdout] test euf::union_find::tests::test_union_find_push_pop ... ok
[INFO] [stdout] test euf::union_find::tests::test_union_find_redundant ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_absolute_value ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_addition_basic ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_binary128_format ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_classification ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_binary16_format ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_comparison_eq ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_comparison_lt ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_comparison_nan ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_denormal_numbers ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_division_basic ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_division_by_zero ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_exception_flags ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_fma_operation ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_format_conversion_f32_to_f64 ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_inf_minus_inf ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_inf_plus_inf ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_min_max ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_multiplication_basic ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_negation ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_rounding_modes ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_signed_zero_semantics ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_sint_conversion ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_sint_to_fp ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_special_values_infinity ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_special_values_nan ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_special_values_zero ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_sqrt_basic ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_sqrt_negative ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_subtraction_basic ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_uint_conversion ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_uint_to_fp ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_unpack_pack_f32 ... ok
[INFO] [stdout] test fp::ieee754_full::tests::test_zero_times_inf ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_comparison_refinement ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_contains ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_disjoint_intervals ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_division_by_zero_interval ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_empty_interval ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_error_bounds ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_abs ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_addition ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_creation ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_division ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_hull ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_intersection ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_midpoint ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_min_max ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_multiplication ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_negation ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_overlaps ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_powi_even ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_powi_odd ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_reciprocal ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_split ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_sqrt ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_width ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_interval_subtraction ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_point_interval ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_subset_relation ... ok
[INFO] [stdout] test fp::interval_arithmetic::tests::test_unbounded_interval ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_format_constants ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_comparison_lt ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_is_infinite_constraint ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_rounding_modes ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_is_zero_constraint ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_solver_const ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_conversion_same_format ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_is_nan_constraint ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_solver_neg ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_value_from_f32 ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_conflict_detection ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_interval_add ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_value_special_values ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_solver_abs ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_solver_eq ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_conversion_preserves_infinity ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_interval_empty ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_interval_full ... ok
[INFO] [stdout] test fp::solver::tests::test_fp_conversion_preserves_nan ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_interval_intersect ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_interval_mul ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_interval_neg ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_interval_new ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_interval_point ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_interval_propagator_creation ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_propagator_mul ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_propagator_clear ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_propagator_refine ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_propagator_set_interval ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_rounding_mode_setting ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_fp_propagator_add ... ok
[INFO] [stdout] test fp_interval_prop::tests::test_stats_reset ... ok
[INFO] [stdout] test hashcons::tests::test_basic_interning ... ok
[INFO] [stdout] test hashcons::tests::test_clear ... ok
[INFO] [stdout] test hashcons::tests::test_complex_terms ... ok
[INFO] [stdout] test hashcons::tests::test_different_terms ... ok
[INFO] [stdout] test hashcons::tests::test_get ... ok
[INFO] [stdout] test hashcons::tests::test_hit_rate ... ok
[INFO] [stdout] test hashcons::tests::test_iter ... ok
[INFO] [stdout] test hashcons::tests::test_lookup ... ok
[INFO] [stdout] test hashcons::tests::test_reset_stats ... ok
[INFO] [stdout] test hashcons::tests::test_gc ... ok
[INFO] [stdout] test lru_cache::tests::test_basic_operations ... ok
[INFO] [stdout] test lru_cache::tests::test_clear ... ok
[INFO] [stdout] test lru_cache::tests::test_eviction ... ok
[INFO] [stdout] test lru_cache::tests::test_lru_order ... ok
[INFO] [stdout] test lru_cache::tests::test_remove ... ok
[INFO] [stdout] test lru_cache::tests::test_retain ... ok
[INFO] [stdout] test lru_cache::tests::test_stats ... ok
[INFO] [stdout] test lru_cache::tests::test_update ... ok
[INFO] [stdout] test nlsat::tests::test_nlsat_theory_can_handle ... ok
[INFO] [stdout] test nlsat::tests::test_nlsat_theory_check_placeholder ... ok
[INFO] [stdout] test nlsat::tests::test_nlsat_theory_new ... ok
[INFO] [stdout] test nlsat::tests::test_nlsat_theory_push_pop ... ok
[INFO] [stdout] test nlsat::tests::test_nlsat_theory_reset ... ok
[INFO] [stdout] test pb::tests::test_add_cardinality ... ok
[INFO] [stdout] test pb::tests::test_add_pb_constraint ... ok
[INFO] [stdout] test lru_cache::tests::test_unlimited_capacity ... ok
[INFO] [stdout] test pb::tests::test_assign_and_check ... ok
[INFO] [stdout] test pb::tests::test_cardinality_constraint ... ok
[INFO] [stdout] test pb::tests::test_check_conflicts ... ok
[INFO] [stdout] test pb::tests::test_pb_constraint ... ok
[INFO] [stdout] test pb::tests::test_normalize ... ok
[INFO] [stdout] test pb::tests::test_propagate ... ok
[INFO] [stdout] test pb::tests::test_slack ... ok
[INFO] [stdout] test pb::tests::test_push_pop ... ok
[INFO] [stdout] test pb::tests::test_unsat_constraint ... ok
[INFO] [stdout] test pb::tests::test_reset ... ok
[INFO] [stdout] test pb::tests::test_solver_creation ... ok
[INFO] [stdout] test pb::tests::test_unsatisfied_constraint ... ok
[INFO] [stdout] test pb::tests::test_weighted_literal ... ok
[INFO] [stdout] test propagation::tests::test_batch_enqueue ... ok
[INFO] [stdout] test propagation::tests::test_clear ... ok
[INFO] [stdout] test pb::tests::test_trivial_constraint ... ok
[INFO] [stdout] test propagation::tests::test_deduplication ... ok
[INFO] [stdout] test propagation::tests::test_drain_theory ... ok
[INFO] [stdout] test propagation::tests::test_iter ... ok
[INFO] [stdout] test propagation::tests::test_empty_queue ... ok
[INFO] [stdout] test propagation::tests::test_dedup_rate ... ok
[INFO] [stdout] test propagation::tests::test_len_at_priority ... ok
[INFO] [stdout] test propagation::tests::test_priority_ordering ... ok
[INFO] [stdout] test propagation::tests::test_peek ... ok
[INFO] [stdout] test propagation::tests::test_propagation_constructors ... ok
[INFO] [stdout] test propagation::tests::test_retain ... ok
[INFO] [stdout] test propagation::tests::test_without_dedup ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_solver_push_pop ... ok
[INFO] [stdout] test propagation::tests::test_statistics ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_solver_new ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_config_default ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_solver_reset ... ok
[INFO] [stdout] test quantifier_code_tree::tests::test_code_tree_creation ... ok
[INFO] [stdout] test quantifier_code_tree::tests::test_code_tree_instruction_bind ... ok
[INFO] [stdout] test quantifier_code_tree::tests::test_code_tree_instruction_check_symbol ... ok
[INFO] [stdout] test quantifier::tests::test_theory_trait ... ok
[INFO] [stdout] test quantifier_code_tree::tests::test_match_context_creation ... ok
[INFO] [stdout] test quantifier::tests::test_quantifier_solver_stats ... ok
[INFO] [stdout] test quantifier_code_tree::tests::test_compiled_pattern ... ok
[INFO] [stdout] test recfun::tests::test_case_def_creation ... ok
[INFO] [stdout] test recfun::tests::test_define_function ... ok
[INFO] [stdout] test recfun::tests::test_push_pop ... ok
[INFO] [stdout] test quantifier_code_tree::tests::test_clear_ground_terms ... ok
[INFO] [stdout] test quantifier_code_tree::tests::test_code_tree_stats ... ok
[INFO] [stdout] test quantifier_code_tree::tests::test_match_result ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_constraint_bounds ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_domain_intersect_empty ... ok
[INFO] [stdout] test recfun::tests::test_recfun_id ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_domain_tighten ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_constraint_kind_check ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_domain_union ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_domain_intersect ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_propagator_add_constraint ... ok
[INFO] [stdout] test recfun::tests::test_recfun_config ... ok
[INFO] [stdout] test recfun::tests::test_recfun_solver_creation ... ok
[INFO] [stdout] test set::cardinality::tests::test_cardinality_compiler_at_most ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_propagator_union ... ok
[INFO] [stdout] test set::cardinality::tests::test_cardinality_compiler_at_least ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_domain_singleton ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_propagator_conflict ... ok
[INFO] [stdout] test set::cardinality::tests::test_cardinality_compiler_equals ... ok
[INFO] [stdout] test set::cardinality::tests::test_cardinality_network_satisfiable ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enum_set_difference ... ok
[INFO] [stdout] test set::cardinality::tests::test_card_propagator_intersection ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enum_set_empty ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enum_set_intersection ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enum_set_from_range ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enum_set_singleton ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enum_set_subset ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enum_set_to_sorted_vec ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enum_set_union ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enumerate_with_cardinality ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enumerate_with_must_members ... ok
[INFO] [stdout] test set::finite_sets::tests::test_finite_set_enumerator ... ok
[INFO] [stdout] test set::finite_sets::tests::test_enumerate_all ... ok
[INFO] [stdout] test set::finite_sets::tests::test_model_generator ... ok
[INFO] [stdout] test set::finite_sets::tests::test_verify ... ok
[INFO] [stdout] test set::membership::tests::test_get_must_members ... ok
[INFO] [stdout] test set::membership::tests::test_member_domain ... ok
[INFO] [stdout] test set::membership::tests::test_get_must_not_members ... ok
[INFO] [stdout] test set::membership::tests::test_member_domain_intersect ... ok
[INFO] [stdout] test set::membership::tests::test_member_propagator_add_constraint ... ok
[INFO] [stdout] test set::membership::tests::test_member_propagator_conflict ... ok
[INFO] [stdout] test set::membership::tests::test_member_propagator_complement ... ok
[INFO] [stdout] test set::membership::tests::test_member_propagator_difference ... ok
[INFO] [stdout] test set::membership::tests::test_member_propagator_intersection ... ok
[INFO] [stdout] test set::membership::tests::test_member_propagator_union ... ok
[INFO] [stdout] test set::membership::tests::test_membership_inference ... ok
[INFO] [stdout] test set::membership::tests::test_membership_inference_intersection ... ok
[INFO] [stdout] test set::operations::tests::test_cartesian_product_cardinality ... ok
[INFO] [stdout] test set::operations::tests::test_complement_propagation ... ok
[INFO] [stdout] test set::operations::tests::test_difference_propagation ... ok
[INFO] [stdout] test set::operations::tests::test_intersection_cardinality_bounds ... ok
[INFO] [stdout] test set::operations::tests::test_intersection_propagation ... ok
[INFO] [stdout] test set::membership::tests::test_membership_inference_union ... ok
[INFO] [stdout] test set::operations::tests::test_nary_union_propagation ... ok
[INFO] [stdout] test set::operations::tests::test_nary_intersection_propagation ... ok
[INFO] [stdout] test set::operations::tests::test_set_op_builder ... ok
[INFO] [stdout] test set::operations::tests::test_symmetric_difference ... ok
[INFO] [stdout] test set::operations::tests::test_union_cardinality_bounds ... ok
[INFO] [stdout] test set::operations::tests::test_union_propagation ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_builder ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_cardinality ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_cardinality_invert ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_cardinality_overflow ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_constraint_check_cardinality ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_contains ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_count_subsets_of_size ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_filter ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_filter_apply ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_filter_must_exclude ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_filter_must_include ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_iterator ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_iterator_size_hint ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_manager ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_manager_too_large ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_membership ... ok
[INFO] [stdout] test set::powerset::tests::test_powerset_subsets_of_size ... ok
[INFO] [stdout] test set::solver::tests::test_cardinality_bounds ... ok
[INFO] [stdout] test set::solver::tests::test_cardinality_conflict ... ok
[INFO] [stdout] test set::solver::tests::test_disjoint_sets ... ok
[INFO] [stdout] test set::solver::tests::test_empty_set ... ok
[INFO] [stdout] test set::solver::tests::test_membership_conflict ... ok
[INFO] [stdout] test set::solver::tests::test_membership_constraint ... ok
[INFO] [stdout] test set::solver::tests::test_push_pop ... ok
[INFO] [stdout] test set::solver::tests::test_set_expr_vars ... ok
[INFO] [stdout] test set::solver::tests::test_set_var_creation ... ok
[INFO] [stdout] test set::solver::tests::test_subset_propagation ... ok
[INFO] [stdout] test set::subset::tests::test_subset_constraint_unsatisfied ... ok
[INFO] [stdout] test set::subset::tests::test_subset_graph_closure ... ok
[INFO] [stdout] test set::subset::tests::test_subset_graph_cycle ... ok
[INFO] [stdout] test set::subset::tests::test_subset_graph_scc ... ok
[INFO] [stdout] test set::subset::tests::test_subset_graph_subsets ... ok
[INFO] [stdout] test set::subset::tests::test_subset_graph_add_edge ... ok
[INFO] [stdout] test set::subset::tests::test_subset_graph_supersets ... ok
[INFO] [stdout] test set::subset::tests::test_subset_graph_transitive ... ok
[INFO] [stdout] test set::subset::tests::test_subset_constraint_is_satisfied ... ok
[INFO] [stdout] test set::subset::tests::test_subset_propagator_add_constraint ... ok
[INFO] [stdout] test set::subset::tests::test_subset_propagator_conflict ... ok
[INFO] [stdout] test set::subset::tests::test_subset_propagator_equivalence ... ok
[INFO] [stdout] test set::subset::tests::test_subset_propagator_membership ... ok
[INFO] [stdout] test set::tests::test_set_literal_equality ... ok
[INFO] [stdout] test set::tests::test_set_sort_element ... ok
[INFO] [stdout] test set::tests::test_set_sort_nesting ... ok
[INFO] [stdout] test simplify::tests::test_add_equality ... ok
[INFO] [stdout] test simplify::tests::test_caching ... ok
[INFO] [stdout] test simplify::tests::test_clear ... ok
[INFO] [stdout] test simplify::tests::test_clear_cache ... ok
[INFO] [stdout] test simplify::tests::test_mark_false ... ok
[INFO] [stdout] test simplify::tests::test_mark_true ... ok
[INFO] [stdout] test simplify::tests::test_simplification_rate ... ok
[INFO] [stdout] test simplify::tests::test_simplify_and_false ... ok
[INFO] [stdout] test simplify::tests::test_simplify_and_idempotent ... ok
[INFO] [stdout] test simplify::tests::test_simplify_not_false ... ok
[INFO] [stdout] test simplify::tests::test_simplify_and_true ... ok
[INFO] [stdout] test simplify::tests::test_simplify_not_true ... ok
[INFO] [stdout] test simplify::tests::test_simplify_or_false ... ok
[INFO] [stdout] test simplify::tests::test_simplify_or_idempotent ... ok
[INFO] [stdout] test simplify::tests::test_simplify_result_methods ... ok
[INFO] [stdout] test simplify::tests::test_simplify_or_true ... ok
[INFO] [stdout] test simplify::tests::test_simplify_unchanged ... ok
[INFO] [stdout] test simplify::tests::test_statistics ... ok
[INFO] [stdout] test sls::tests::test_adaptive_noise ... ok
[INFO] [stdout] test sls::tests::test_adaptive ... ok
[INFO] [stdout] test sls::tests::test_add_clause ... ok
[INFO] [stdout] test sls::tests::test_backbone_commits_after_threshold ... ok
[INFO] [stdout] test sls::tests::test_ccanr_config_checking ... ok
[INFO] [stdout] test sls::tests::test_ccanr_decay ... ok
[INFO] [stdout] test sls::tests::test_clause_importance ... ok
[INFO] [stdout] test sls::tests::test_clause_importance_ranking ... ok
[INFO] [stdout] test sls::tests::test_ccanr_enhancer ... ok
[INFO] [stdout] test sls::tests::test_clause_simplifier_build ... ok
[INFO] [stdout] test sls::tests::test_clause_simplifier_subsumption ... ok
[INFO] [stdout] test sls::tests::test_clause_simplifier_trivially_unsat ... ok
[INFO] [stdout] test sls::tests::test_clause_simplifier_units ... ok
[INFO] [stdout] test sls::tests::test_backbone_detector ... ok
[INFO] [stdout] test sls::tests::test_ddfw_distribution ... ok
[INFO] [stdout] test sls::tests::test_ddfw_manager ... ok
[INFO] [stdout] test sls::tests::test_diversification_improvement_resets ... ok
[INFO] [stdout] test sls::tests::test_diversification_manager ... ok
[INFO] [stdout] test sls::tests::test_focused_walk ... ok
[INFO] [stdout] test sls::tests::test_focused_walk_ordering ... ok
[INFO] [stdout] test sls::tests::test_gsat ... ok
[INFO] [stdout] test sls::tests::test_hybrid_interface ... ok
[INFO] [stdout] test sls::tests::test_hybrid_interface_focus ... ok
[INFO] [stdout] test sls::tests::test_hybrid_interface_phase_hints ... ok
[INFO] [stdout] test sls::tests::test_novelty_avoids_last_flipped ... ok
[INFO] [stdout] test sls::tests::test_novelty_selection ... ok
[INFO] [stdout] test sls::tests::test_novelty_selector ... ok
[INFO] [stdout] test sls::tests::test_phase_modes ... ok
[INFO] [stdout] test sls::tests::test_phase_saver ... ok
[INFO] [stdout] test sls::tests::test_portfolio_reset ... ok
[INFO] [stdout] test sls::tests::test_portfolio_sls ... ok
[INFO] [stdout] test sls::tests::test_probsat ... ok
[INFO] [stdout] test sls::tests::test_reset ... ok
[INFO] [stdout] test sls::tests::test_restart_manager_fixed ... ok
[INFO] [stdout] test sls::tests::test_restart_manager_luby ... ok
[INFO] [stdout] test sls::tests::test_restart_manager_luby_sequence ... ok
[INFO] [stdout] test sls::tests::test_restart_manager_geometric ... ok
[INFO] [stdout] test sls::tests::test_sls_config ... ok
[INFO] [stdout] test sls::tests::test_sls_solver_creation ... ok
[INFO] [stdout] test sls::tests::test_bms_age_factor ... ok
[INFO] [stdout] test sls::tests::test_solution_learner ... ok
[INFO] [stdout] test sls::tests::test_bms_selection ... ok
[INFO] [stdout] test sls::tests::test_bms_selector ... ok
[INFO] [stdout] test sls::tests::test_solution_learner_confidence ... ok
[INFO] [stdout] test sls::tests::test_solution_learner_high_confidence ... ok
[INFO] [stdout] test sls::tests::test_solution_verifier ... ok
[INFO] [stdout] test sls::tests::test_solution_verifier_invalid ... ok
[INFO] [stdout] test sls::tests::test_solution_verifier_quick_check ... ok
[INFO] [stdout] test sls::tests::test_solve_trivial_sat ... ok
[INFO] [stdout] test sls::tests::test_sparrow_age_factor ... ok
[INFO] [stdout] test sls::tests::test_sparrow_selector ... ok
[INFO] [stdout] test sls::tests::test_stats ... ok
[INFO] [stdout] test sls::tests::test_tabu ... ok
[INFO] [stdout] test sls::tests::test_var_activity ... ok
[INFO] [stdout] test sls::tests::test_var_activity_decay ... ok
[INFO] [stdout] test sls::tests::test_walksat ... ok
[INFO] [stdout] test sls::tests::test_weight_manager ... ok
[INFO] [stdout] test sls::tests::test_weight_smooth ... ok
[INFO] [stdout] test sls::tests::test_yalsat_boost ... ok
[INFO] [stdout] test sls::tests::test_yalsat_cache_invalidation ... ok
[INFO] [stdout] test sls::tests::test_yalsat_solver ... ok
[INFO] [stdout] test special_relations::tests::test_add_edge ... ok
[INFO] [stdout] test special_relations::tests::test_antisymmetry_check ... ok
[INFO] [stdout] test special_relations::tests::test_define_relation ... ok
[INFO] [stdout] test special_relations::tests::test_linear_order_properties ... ok
[INFO] [stdout] test special_relations::tests::test_partial_order_properties ... ok
[INFO] [stdout] test sls::tests::test_solve_simple_unsat ... ok
[INFO] [stdout] test special_relations::tests::test_propagate ... ok
[INFO] [stdout] test special_relations::tests::test_push_pop ... ok
[INFO] [stdout] test special_relations::tests::test_relation_properties ... ok
[INFO] [stdout] test special_relations::tests::test_solver_creation ... ok
[INFO] [stdout] test special_relations::tests::test_totality_branches ... ok
[INFO] [stdout] test special_relations::tests::test_transitive_closure ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_backreference ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_binary_property ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_any_char ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_alt_match ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_char_class_negation ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_char_class_word ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_concat_match ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_capture_group ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_char_class_digit ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_display ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_end_anchor ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_find_all ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_lookahead_negative ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_named_capture ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_lookahead_positive ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_optional_match ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_plus_match ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_regex_builder ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_repeat_exact ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_repeat_range ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_simple_char_match ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_star_match ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_start_anchor ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_unicode_category ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_unicode_script ... ok
[INFO] [stdout] test string::advanced_regex::tests::test_word_boundary ... ok
[INFO] [stdout] test string::automata::tests::test_constraint_automaton ... ok
[INFO] [stdout] test string::automata::tests::test_constraint_automaton_sample ... ok
[INFO] [stdout] test string::automata::tests::test_dfa_from_nfa ... ok
[INFO] [stdout] test string::automata::tests::test_dfa_minimize ... ok
[INFO] [stdout] test string::automata::tests::test_label_matches ... ok
[INFO] [stdout] test string::automata::tests::test_label_overlaps ... ok
[INFO] [stdout] test string::automata::tests::test_nfa_char ... ok
[INFO] [stdout] test string::automata::tests::test_nfa_epsilon ... ok
[INFO] [stdout] test string::automata::tests::test_dfa_accepts ... ok
[INFO] [stdout] test string::automata::tests::test_nfa_concat ... ok
[INFO] [stdout] test string::automata::tests::test_nfa_optional ... ok
[INFO] [stdout] test string::automata::tests::test_nfa_range ... ok
[INFO] [stdout] test string::automata::tests::test_nfa_plus ... ok
[INFO] [stdout] test string::automata::tests::test_nfa_star ... ok
[INFO] [stdout] test string::automata::tests::test_product_automaton ... ok
[INFO] [stdout] test string::char_ops::tests::test_char_class_predefined ... ok
[INFO] [stdout] test string::char_ops::tests::test_char_class_negation ... ok
[INFO] [stdout] test string::char_ops::tests::test_char_class_range ... ok
[INFO] [stdout] test string::char_ops::tests::test_char_class_simplify ... ok
[INFO] [stdout] test string::char_ops::tests::test_code_point_properties ... ok
[INFO] [stdout] test string::char_ops::tests::test_char_class_single ... ok
[INFO] [stdout] test string::automata::tests::test_nfa_union ... ok
[INFO] [stdout] test string::normalization::tests::test_combining_class ... ok
[INFO] [stdout] test string::normalization::tests::test_ascii_only_unchanged ... ok
[INFO] [stdout] test string::normalization::tests::test_combining_class_ordering ... ok
[INFO] [stdout] test string::normalization::tests::test_canonical_ordering ... ok
[INFO] [stdout] test string::normalization::tests::test_compose_blocked ... ok
[INFO] [stdout] test string::normalization::tests::test_decompose_recursive ... ok
[INFO] [stdout] test string::normalization::tests::test_equivalence ... ok
[INFO] [stdout] test string::normalization::tests::test_empty_string_normalization ... ok
[INFO] [stdout] test string::normalization::tests::test_fraction_compatibility ... ok
[INFO] [stdout] test string::normalization::tests::test_fullwidth_forms ... ok
[INFO] [stdout] test string::char_ops::tests::test_code_point_creation ... ok
[INFO] [stdout] test string::normalization::tests::test_is_normalized_nfc ... ok
[INFO] [stdout] test string::normalization::tests::test_is_normalized_nfd ... ok
[INFO] [stdout] test string::normalization::tests::test_greek_with_accents ... ok
[INFO] [stdout] test string::normalization::tests::test_long_string_normalization ... ok
[INFO] [stdout] test string::normalization::tests::test_nfc_basic ... ok
[INFO] [stdout] test string::normalization::tests::test_multiple_combining_marks ... ok
[INFO] [stdout] test string::normalization::tests::test_nfd_basic ... ok
[INFO] [stdout] test string::normalization::tests::test_nfkc_ligature ... ok
[INFO] [stdout] test string::normalization::tests::test_normalization_form_parse ... ok
[INFO] [stdout] test string::normalization::tests::test_nfkd_ligature ... ok
[INFO] [stdout] test string::normalization::tests::test_normalization_solver_basic ... ok
[INFO] [stdout] test string::normalization::tests::test_normalization_solver_conflict ... ok
[INFO] [stdout] test string::normalization::tests::test_superscript_compatibility ... ok
[INFO] [stdout] test string::regex::tests::test_automaton ... ok
[INFO] [stdout] test string::normalization::tests::test_vietnamese_decomposition ... ok
[INFO] [stdout] test string::regex::tests::test_char ... ok
[INFO] [stdout] test string::regex::tests::test_complement ... ok
[INFO] [stdout] test string::regex::tests::test_concat ... ok
[INFO] [stdout] test string::regex::tests::test_email_like_pattern ... ok
[INFO] [stdout] test string::regex::tests::test_epsilon ... ok
[INFO] [stdout] test string::regex::tests::test_intersection ... ok
[INFO] [stdout] test string::regex::tests::test_literal ... ok
[INFO] [stdout] test string::regex::tests::test_loop ... ok
[INFO] [stdout] test string::regex::tests::test_option ... ok
[INFO] [stdout] test string::regex::tests::test_plus ... ok
[INFO] [stdout] test string::regex::tests::test_star ... ok
[INFO] [stdout] test string::regex::tests::test_union ... ok
[INFO] [stdout] test string::regex_solver::tests::test_add_constraint ... ok
[INFO] [stdout] test string::regex_solver::tests::test_char_membership ... ok
[INFO] [stdout] test string::regex_solver::tests::test_concat_membership ... ok
[INFO] [stdout] test string::regex_solver::tests::test_epsilon_membership ... ok
[INFO] [stdout] test string::regex_solver::tests::test_length_bounds_char ... ok
[INFO] [stdout] test string::regex_solver::tests::test_length_bounds_concat ... ok
[INFO] [stdout] test string::regex_solver::tests::test_length_bounds_epsilon ... ok
[INFO] [stdout] test string::regex_solver::tests::test_length_bounds_star ... ok
[INFO] [stdout] test string::regex_solver::tests::test_reset ... ok
[INFO] [stdout] test string::regex_solver::tests::test_solver_creation ... ok
[INFO] [stdout] test string::regex_solver::tests::test_star_membership ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_caching ... ok
[INFO] [stdout] test string::regex_solver::tests::test_union_membership ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_count_empty_pattern ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_count_occurrences ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_estimate_bounds_all ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_estimate_bounds_first ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_find_positions ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_find_positions_empty ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_idempotent ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_pattern_overlap ... ok
[INFO] [stdout] test string::replace_operations::tests::test_analyzer_result_length ... ok
[INFO] [stdout] test string::replace_operations::tests::test_pattern_equals_source ... ok
[INFO] [stdout] test string::replace_operations::tests::test_constraint_generator ... ok
[INFO] [stdout] test string::replace_operations::tests::test_empty_replacement ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_all_empty_pattern ... ok
[INFO] [stdout] test string::replace_operations::tests::test_empty_source ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_all_multiple ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_all_no_match ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_all_overlapping ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_first_empty_pattern ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_first_found ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_builder ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_first_not_found ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_overlapping_pattern ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_solver_conflict ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_solver_propagation ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replacement_contains_pattern ... ok
[INFO] [stdout] test string::replace_operations::tests::test_stats ... ok
[INFO] [stdout] test string::regex::tests::test_range ... ok
[INFO] [stdout] test string::replace_operations::tests::test_replace_builder_missing_source ... ok
[INFO] [stdout] test string::sequence::tests::test_constraint_gen ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_at ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_concat ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_extract ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_indexof ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_literal ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_replace ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_replace_all ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_indexof_not_found ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_reverse ... ok
[INFO] [stdout] test string::sequence::tests::test_rewriter_extract ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_length ... ok
[INFO] [stdout] test string::sequence::tests::test_string_builder_containing ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_to_code ... ok
[INFO] [stdout] test string::sequence::tests::test_eval_unit ... ok
[INFO] [stdout] test string::sequence::tests::test_rewriter_concat ... ok
[INFO] [stdout] test string::sequence::tests::test_string_builder_random ... ok
[INFO] [stdout] test string::sequence::tests::test_string_builder_prefix ... ok
[INFO] [stdout] test string::sequence::tests::test_string_builder_suffix ... ok
[INFO] [stdout] test string::solver::tests::test_int_to_str_conflict ... ok
[INFO] [stdout] test string::solver::tests::test_int_to_str_negative ... ok
[INFO] [stdout] test string::solver::tests::test_int_to_str_positive ... ok
[INFO] [stdout] test string::solver::tests::test_solver_conflict ... ok
[INFO] [stdout] test string::solver::tests::test_solver_contains ... ok
[INFO] [stdout] test string::solver::tests::test_solver_contains_conflict ... ok
[INFO] [stdout] test string::solver::tests::test_solver_diseq ... ok
[INFO] [stdout] test string::solver::tests::test_solver_diseq_conflict ... ok
[INFO] [stdout] test string::solver::tests::test_solver_prefix ... ok
[INFO] [stdout] test string::solver::tests::test_solver_prefix_conflict ... ok
[INFO] [stdout] test string::solver::tests::test_solver_push_pop ... ok
[INFO] [stdout] test string::solver::tests::test_solver_regex ... ok
[INFO] [stdout] test string::solver::tests::test_solver_regex_conflict ... ok
[INFO] [stdout] test string::solver::tests::test_solver_suffix ... ok
[INFO] [stdout] test string::solver::tests::test_str_to_int_conflict ... ok
[INFO] [stdout] test string::solver::tests::test_solver_basic ... ok
[INFO] [stdout] test string::solver::tests::test_str_to_int_valid ... ok
[INFO] [stdout] test string::solver::tests::test_string_expr_concat ... ok
[INFO] [stdout] test string::solver::tests::test_string_expr_var_concat ... ok
[INFO] [stdout] test string::solver::tests::test_str_to_int_invalid ... ok
[INFO] [stdout] test string::solver::tests::test_strip_common_prefix ... ok
[INFO] [stdout] test string::solver::tests::test_theory_trait ... ok
[INFO] [stdout] test string::solver::tests::test_word_equation_conflict ... ok
[INFO] [stdout] test string::solver::tests::test_word_equation_solved ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_add_exact_length ... ok
[INFO] [stdout] test string::sequence::tests::test_rewriter_reverse_reverse ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_arithmetic_abstraction ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_add_negative_length_fails ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_bound_tighten ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_concat_backward_propagation ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_concat_forward_propagation ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_conflicting_bounds ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_contains_conflict ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_contains_length_constraint ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_length_bound_empty_intersection ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_length_bound_exact ... ok
[INFO] [stdout] test character::functions::tests::test_conflicting_constraints ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_length_bound_intersection ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_length_bound_negative_unsatisfiable ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_at_propagation ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_length_bound_range ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_multiple_concat ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_prefix_propagation ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_stats ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_substr_propagation ... ok
[INFO] [stdout] test string::string_length_reasoning::tests::test_unbounded_intersection ... ok
[INFO] [stdout] test string::unicode::tests::test_category_parse ... ok
[INFO] [stdout] test string::unicode::tests::test_letter_category ... ok
[INFO] [stdout] test string::unicode::tests::test_number_category ... ok
[INFO] [stdout] test string::unicode::tests::test_punctuation_category ... ok
[INFO] [stdout] test string::unicode::tests::test_separator_category ... ok
[INFO] [stdout] test string::word_eq::tests::test_conflict_reasons ... ok
[INFO] [stdout] test string::word_eq::tests::test_length_abstraction ... ok
[INFO] [stdout] test string::word_eq::tests::test_nielsen_const_const ... ok
[INFO] [stdout] test string::word_eq::tests::test_solver_empty_eq ... ok
[INFO] [stdout] test string::word_eq::tests::test_solver_trivial_sat ... ok
[INFO] [stdout] test string::word_eq::tests::test_solver_trivial_unsat ... ok
[INFO] [stdout] test string::word_eq::tests::test_solver_var_eq_const ... ok
[INFO] [stdout] test string::word_eq::tests::test_substitution_apply ... ok
[INFO] [stdout] test string::word_eq::tests::test_substitution_compose ... ok
[INFO] [stdout] test string::word_eq::tests::test_substitution_empty ... ok
[INFO] [stdout] test string_length_prop::tests::test_conflict_detection ... ok
[INFO] [stdout] test string_length_prop::tests::test_constraint_concat ... ok
[INFO] [stdout] test string_length_prop::tests::test_constraint_equal ... ok
[INFO] [stdout] test string_length_prop::tests::test_constraint_less_eq ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_domain_empty ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_domain_add ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_domain_intersect ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_domain_intersect_unbounded ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_domain_point ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_domain_sub ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_domain_sub_negative ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_domain_unbounded ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_propagator_creation ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_propagator_refine ... ok
[INFO] [stdout] test string_length_prop::tests::test_length_propagator_set_domain ... ok
[INFO] [stdout] test string_length_prop::tests::test_propagator_clear ... ok
[INFO] [stdout] test string_length_prop::tests::test_stats_reset ... ok
[INFO] [stdout] test user_propagator::tests::test_consequence_propagation ... ok
[INFO] [stdout] test user_propagator::tests::test_final_check ... ok
[INFO] [stdout] test user_propagator::tests::test_manager_creation ... ok
[INFO] [stdout] test user_propagator::tests::test_notify_equality ... ok
[INFO] [stdout] test user_propagator::tests::test_notify_fixed ... ok
[INFO] [stdout] test user_propagator::tests::test_push_pop ... ok
[INFO] [stdout] test user_propagator::tests::test_register_propagator ... ok
[INFO] [stdout] test user_propagator::tests::test_watch_term ... ok
[INFO] [stdout] test utvpi::detection::tests::test_constant_constraint ... ok
[INFO] [stdout] test utvpi::detection::tests::test_difference_constraint ... ok
[INFO] [stdout] test utvpi::detection::tests::test_is_utvpi ... ok
[INFO] [stdout] test utvpi::detection::tests::test_lower_bound ... ok
[INFO] [stdout] test utvpi::detection::tests::test_negative_sum ... ok
[INFO] [stdout] test utvpi::detection::tests::test_non_utvpi_non_unit_coef ... ok
[INFO] [stdout] test utvpi::detection::tests::test_non_utvpi_three_vars ... ok
[INFO] [stdout] test utvpi::detection::tests::test_stats ... ok
[INFO] [stdout] test utvpi::detection::tests::test_sum_constraint ... ok
[INFO] [stdout] test utvpi::detection::tests::test_upper_bound ... ok
[INFO] [stdout] test utvpi::graph::tests::test_add_variable ... ok
[INFO] [stdout] test utvpi::graph::tests::test_diff_constraint ... ok
[INFO] [stdout] test utvpi::graph::tests::test_doubled_node ... ok
[INFO] [stdout] test utvpi::graph::tests::test_graph_creation ... ok
[INFO] [stdout] test utvpi::graph::tests::test_unary_constraint ... ok
[INFO] [stdout] test utvpi::graph::tests::test_push_pop ... ok
[INFO] [stdout] test utvpi::solver::tests::test_bounds ... ok
[INFO] [stdout] test utvpi::solver::tests::test_model_extraction ... ok
[INFO] [stdout] test utvpi::solver::tests::test_negative_triangle ... ok
[INFO] [stdout] test utvpi::graph::tests::test_sum_constraint ... ok
[INFO] [stdout] test utvpi::solver::tests::test_reset ... ok
[INFO] [stdout] test utvpi::solver::tests::test_bellman_ford_mode ... ok
[INFO] [stdout] test utvpi::solver::tests::test_push_pop ... ok
[INFO] [stdout] test utvpi::solver::tests::test_satisfiable_diff ... ok
[INFO] [stdout] test utvpi::solver::tests::test_solver_creation ... ok
[INFO] [stdout] test utvpi::solver::tests::test_satisfiable_sum ... ok
[INFO] [stdout] test utvpi::solver::tests::test_triangle ... ok
[INFO] [stdout] test utvpi::solver::tests::test_unsatisfiable_bounds ... ok
[INFO] [stdout] test watched::tests::test_empty_constraint ... ok
[INFO] [stdout] test utvpi::solver::tests::test_spfa_mode ... ok
[INFO] [stdout] test utvpi::solver::tests::test_bounds_extraction ... ok
[INFO] [stdout] test watched::tests::test_get_unit_literal ... ok
[INFO] [stdout] test utvpi::solver::tests::test_unsatisfiable_diff ... ok
[INFO] [stdout] test watched::tests::test_get_watched ... ok
[INFO] [stdout] test watched::tests::test_is_conflicting ... ok
[INFO] [stdout] test utvpi::solver::tests::test_mixed_constraints ... ok
[INFO] [stdout] test watched::tests::test_watch_list_add_constraint ... ok
[INFO] [stdout] test watched::tests::test_watch_list_clear ... ok
[INFO] [stdout] test utvpi::solver::tests::test_unsatisfiable_sum ... ok
[INFO] [stdout] test watched::tests::test_single_literal_constraint ... ok
[INFO] [stdout] test watched::tests::test_is_unit ... ok
[INFO] [stdout] test watched::tests::test_update_watch ... ok
[INFO] [stdout] test watched::tests::test_watch_list_get_constraint ... ok
[INFO] [stdout] test watched::tests::test_watch_list_iter ... ok
[INFO] [stdout] test watched::tests::test_watch_list_notify_false ... ok
[INFO] [stdout] test watched::tests::test_watch_list_unit_propagation ... ok
[INFO] [stdout] test watched::tests::test_watch_list_update_watches ... ok
[INFO] [stdout] test wmaxsat::tests::test_soft_clause_creation ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_add_soft ... ok
[INFO] [stdout] test wmaxsat::tests::test_soft_clause_satisfied ... ok
[INFO] [stdout] test watched::tests::test_watched_constraint_creation ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_assignment ... ok
[INFO] [stdout] test watched::tests::test_watch_list_remove_constraint ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_backtrack ... ok
[INFO] [stdout] test wmaxsat::tests::test_soft_clause_falsified ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_check_exceeds_bound ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_check_within_bound ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_clauses_in_stratum ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_cost_bound ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_creation ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_get_conflict ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_propagate ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_reset ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_strata ... ok
[INFO] [stdout] test wmaxsat::tests::test_wmaxsat_with_relaxation ... ok
[INFO] [stdout] test sls::tests::test_weighted_sls ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1131 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.17s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/array_integration.rs (/opt/rustwide/target/debug/deps/array_integration-5f0d43939bdd3351)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test test_array_conflict_after_store ... ok
[INFO] [stdout] test test_array_equality_simple ... ok
[INFO] [stdout] test test_array_extensionality_principle ... ok
[INFO] [stdout] test test_array_get_model ... ok
[INFO] [stdout] test test_array_conflict_disequality ... ok
[INFO] [stdout] test test_array_complex_reasoning ... ok
[INFO] [stdout] test test_array_incremental_merge_undo ... ok
[INFO] [stdout] test test_array_incremental_push_pop ... ok
[INFO] [stdout] test test_array_multi_store_same_value ... ok
[INFO] [stdout] test test_array_nested_stores_verification ... ok
[INFO] [stdout] test test_array_select_propagation ... ok
[INFO] [stdout] test test_array_theory_interface ... ok
[INFO] [stdout] test test_basic_select_store ... ok
[INFO] [stdout] test test_read_over_write_different_index ... ok
[INFO] [stdout] test test_read_over_write_same_index ... ok
[INFO] [stdout] test test_store_chain ... ok
[INFO] [stdout] test test_store_chain_overlapping_same_index ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bv_conflict_detection.rs (/opt/rustwide/target/debug/deps/bv_conflict_detection-aaddb12ff814e084)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_bv13_not_xor ... ok
[INFO] [stdout] test test_bv02_or_conflict ... ok
[INFO] [stdout] test test_bv15_ult_conflict ... ok
[INFO] [stdout] test test_bv06_sub_conflict ... ok
[INFO] [stdout] test test_bv12_sdiv_srem_conflict ... ok
[INFO] [stdout] test test_bv11_urem_conflict ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bv_div_test.rs (/opt/rustwide/target/debug/deps/bv_div_test-84c4eed868d029db)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_unsigned_division_unsat ... ok
[INFO] [stdout] test test_unsigned_remainder_unsat ... ok
[INFO] [stdout] test test_unsigned_division_sat ... ok
[INFO] [stdout] test test_unsigned_remainder_sat ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bv_fixes_verification.rs (/opt/rustwide/target/debug/deps/bv_fixes_verification-2533bd6fe3c4841e)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test test_ult_conflict_detection ... ok
[INFO] [stdout] test test_ult_cache_reuse ... ok
[INFO] [stdout] test test_ult_no_false_positive ... ok
[INFO] [stdout] test test_multiple_ult_chaining ... ok
[INFO] [stdout] test test_sdiv_constraint_encoding ... ok
[INFO] [stdout] test test_srem_inconsistent ... ok
[INFO] [stdout] test test_sdiv_inconsistent ... ok
[INFO] [stdout] test test_srem_constraint_encoding ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bv_mul_test.rs (/opt/rustwide/target/debug/deps/bv_mul_test-b131af6de6917de9)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_wrong_addition ... ok
[INFO] [stdout] test test_simple_addition ... ok
[INFO] [stdout] test test_basic_inequality_unsat ... ok
[INFO] [stdout] test test_basic_equality ... ok
[INFO] [stdout] test test_wrong_multiplication ... ok
[INFO] [stdout] test test_simple_multiplication ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/datatype_integration.rs (/opt/rustwide/target/debug/deps/datatype_integration-1f6d0f7e46fbc50c)
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test test_boolean_datatype ... ok
[INFO] [stdout] test test_list_constructor_equality ... ok
[INFO] [stdout] test test_constructor_tester_is_nil ... ok
[INFO] [stdout] test test_constructor_tester_is_cons ... ok
[INFO] [stdout] test test_list_injectivity ... ok
[INFO] [stdout] test test_complex_nested_structure ... ok
[INFO] [stdout] test test_datatype_equality_transitivity ... ok
[INFO] [stdout] test test_parameterized_pair_type ... ok
[INFO] [stdout] test test_pattern_matching_simulation ... ok
[INFO] [stdout] test test_multiple_constructors_with_fields ... ok
[INFO] [stdout] test test_list_recursive_datatype ... ok
[INFO] [stdout] test test_parameterized_option_type ... ok
[INFO] [stdout] test test_selector_head ... ok
[INFO] [stdout] test test_tree_recursive_datatype ... ok
[INFO] [stdout] test test_unit_datatype ... ok
[INFO] [stdout] test test_tree_multiple_leaves ... ok
[INFO] [stdout] test test_push_pop_with_assertions ... ok
[INFO] [stdout] test test_selector_tail ... ok
[INFO] [stdout] test test_simple_enumeration_direction ... ok
[INFO] [stdout] test test_simple_enumeration_color ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/fp_comprehensive.rs (/opt/rustwide/target/debug/deps/fp_comprehensive-ee2400f7f22d7648)
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test test_abs_neg_operations ... ok
[INFO] [stdout] test test_all_rounding_modes_set ... ok
[INFO] [stdout] test test_all_formats ... ok
[INFO] [stdout] test test_classification ... ok
[INFO] [stdout] test test_comparison_operations ... ok
[INFO] [stdout] test test_denormal_numbers ... ok
[INFO] [stdout] test test_error_bounds ... ok
[INFO] [stdout] test test_exception_flags ... ok
[INFO] [stdout] test test_fma_operation ... ok
[INFO] [stdout] test test_ieee754_basic_operations ... ok
[INFO] [stdout] test test_interval_hull ... ok
[INFO] [stdout] test test_interval_basic_operations ... ok
[INFO] [stdout] test test_infinity_arithmetic ... ok
[INFO] [stdout] test test_interval_intersection ... ok
[INFO] [stdout] test test_interval_power ... ok
[INFO] [stdout] test test_interval_properties ... ok
[INFO] [stdout] test test_interval_refinement ... ok
[INFO] [stdout] test test_interval_subset_and_overlap ... ok
[INFO] [stdout] test test_min_max_operations ... ok
[INFO] [stdout] test test_sqrt_operation ... ok
[INFO] [stdout] test test_nan_semantics ... ok
[INFO] [stdout] test test_special_values ... ok
[INFO] [stdout] test test_rounding_modes ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/fp_integration.rs (/opt/rustwide/target/debug/deps/fp_integration-34096e540e6b7fbe)
[INFO] [stdout] 
[INFO] [stdout] running 33 tests
[INFO] [stdout] test test_fp_const_float32 ... ok
[INFO] [stdout] test test_fp_const_float64 ... ok
[INFO] [stdout] test test_fp_absolute_value ... ok
[INFO] [stdout] test test_fp_conversion_same_format ... ok
[INFO] [stdout] test test_fp_comparison_less_than ... ok
[INFO] [stdout] test test_fp_comparison_less_equal ... ok
[INFO] [stdout] test test_fp_double_negation ... ok
[INFO] [stdout] test test_fp_negation_float32 ... ok
[INFO] [stdout] test test_fp_conversion_preserves_zero ... ok
[INFO] [stdout] test test_fp_conversion_float32_to_float64 ... ok
[INFO] [stdout] test test_fp_negation_float64 ... ok
[INFO] [stdout] test test_fp_equality_constraint ... ok
[INFO] [stdout] test test_fp_conversion_preserves_infinity ... ok
[INFO] [stdout] test test_fp_conversion_preserves_nan ... ok
[INFO] [stdout] test test_fp_rounding_mode_rtn ... ok
[INFO] [stdout] test test_fp_predicate_is_zero ... ok
[INFO] [stdout] test test_fp_rounding_mode_rna ... ok
[INFO] [stdout] test test_fp_rounding_mode_rne ... ok
[INFO] [stdout] test test_fp_predicate_is_normal ... ok
[INFO] [stdout] test test_fp_rounding_mode_rtz ... ok
[INFO] [stdout] test test_fp_predicate_is_nan ... ok
[INFO] [stdout] test test_fp_solver_conflicting_constraints ... ok
[INFO] [stdout] test test_fp_equality_chain ... ok
[INFO] [stdout] test test_fp_predicate_is_infinite ... ok
[INFO] [stdout] test test_fp_rounding_mode_rtp ... ok
[INFO] [stdout] test test_fp_solver_theory_interface ... ok
[INFO] [stdout] test test_fp_special_value_nan ... ok
[INFO] [stdout] test test_fp_solver_multiple_assertions ... ok
[INFO] [stdout] test test_fp_special_value_negative_zero ... ok
[INFO] [stdout] test test_fp_special_value_negative_infinity ... ok
[INFO] [stdout] test test_fp_solver_push_pop ... ok
[INFO] [stdout] test test_fp_special_value_positive_infinity ... ok
[INFO] [stdout] test test_fp_special_value_positive_zero ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 33 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lia_gcd_test.rs (/opt/rustwide/target/debug/deps/lia_gcd_test-605258b3e04e66f2)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_gcd_infeasibility_cutting_planes ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/string_integration.rs (/opt/rustwide/target/debug/deps/string_integration-a9f00c04854e92fb)
[INFO] [stdout] 
[INFO] [stdout] running 30 tests
[INFO] [stdout] test test_conflicting_constraints_unsat ... ok
[INFO] [stdout] test test_chained_concatenation ... ok
[INFO] [stdout] test test_concat_empty_empty ... ok
[INFO] [stdout] test test_basic_concatenation_unsat ... ok
[INFO] [stdout] test test_conflicting_prefix ... ok
[INFO] [stdout] test test_complex_concatenation_with_var ... ok
[INFO] [stdout] test test_basic_concatenation_sat ... ok
[INFO] [stdout] test test_conflicting_suffix ... ok
[INFO] [stdout] test test_contains_same_string ... ok
[INFO] [stdout] test test_disequality_different_lengths ... ok
[INFO] [stdout] test test_contains_empty_string ... ok
[INFO] [stdout] test test_contains_sat ... ok
[INFO] [stdout] test test_contains_unsat ... ok
[INFO] [stdout] test test_disequality_sat ... ok
[INFO] [stdout] test test_disequality_unsat ... ok
[INFO] [stdout] test test_empty_string_concat_left ... ok
[INFO] [stdout] test test_empty_string_concat_right ... ok
[INFO] [stdout] test test_prefix_empty_string ... ok
[INFO] [stdout] test test_reset ... ok
[INFO] [stdout] test test_prefix_sat ... ok
[INFO] [stdout] test test_suffix_empty_string ... ok
[INFO] [stdout] test test_push_pop ... ok
[INFO] [stdout] test test_suffix_same_string ... ok
[INFO] [stdout] test test_multiple_constraints_sat ... ok
[INFO] [stdout] test test_prefix_same_string ... ok
[INFO] [stdout] test test_multiple_push_pop ... ok
[INFO] [stdout] test test_prefix_unsat ... ok
[INFO] [stdout] test test_suffix_sat ... ok
[INFO] [stdout] test test_suffix_unsat ... ok
[INFO] [stdout] test test_variable_concat_both_sides ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_adder_extra.rs (/opt/rustwide/target/debug/deps/test_adder_extra-b19572ce34f6c8a7)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_adder_with_multiple_constraints ... ok
[INFO] [stdout] test test_adder_with_xor_constraint ... ok
[INFO] [stdout] test test_adder_with_and_constraint ... ok
[INFO] [stdout] test test_adder_with_simple_constraint ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_adder_only.rs (/opt/rustwide/target/debug/deps/test_adder_only-6e02ee25805706f0)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_adder_2bit ... ok
[INFO] [stdout] test test_adder_fixed_inputs ... ok
[INFO] [stdout] test test_adder_4bit ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_adder_ult.rs (/opt/rustwide/target/debug/deps/test_adder_ult-71d178463dcc8927)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_adder_ult_2bit ... ok
[INFO] [stdout] test test_adder_ult_3bit ... ok
[INFO] [stdout] test test_adder_ult_4bit ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_bv10.rs (/opt/rustwide/target/debug/deps/test_bv10-18e9fe3dd466b30f)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_bv10_udiv ... ignored, Direct BV solver API limitation - Z3 parity benchmark passes for bv_10.smt2
[INFO] [stdout] test test_mul_only ... ok
[INFO] [stdout] test test_udiv_fixed_div ... ok
[INFO] [stdout] test test_udiv_components_separate ... ok
[INFO] [stdout] test test_udiv_fixed_rem ... ok
[INFO] [stdout] test test_udiv_without_ult ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_dump_encoding.rs (/opt/rustwide/target/debug/deps/test_dump_encoding-f507600fe1369a4b)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_sat_level_4bit_wrong ... ok
[INFO] [stdout] test test_sat_level_4bit ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_minimal_add_ult.rs (/opt/rustwide/target/debug/deps/test_minimal_add_ult-39b8a06fc24d96ef)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_add_ult_2bit ... ok
[INFO] [stdout] test test_add_sum_only ... ok
[INFO] [stdout] test test_add_ult_4bit ... ok
[INFO] [stdout] test test_ult_then_add ... ok
[INFO] [stdout] test test_add_then_ult ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_mul_add_ult.rs (/opt/rustwide/target/debug/deps/test_mul_add_ult-cf51792f38db506f)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_all_three_two_unknowns ... ignored, Direct BV solver API limitation - Z3 parity benchmarks pass
[INFO] [stdout] test test_add_ult_product_fixed ... ok
[INFO] [stdout] test test_add_ult_unknowns ... ok
[INFO] [stdout] test test_mul_add_no_ult ... ok
[INFO] [stdout] test test_mul_ult_no_add ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_sat_verify.rs (/opt/rustwide/target/debug/deps/test_sat_verify-ea063a8f8df86ac3)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_4bit_solve_first ... ok
[INFO] [stdout] test test_4bit_with_verification ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_trace_bits.rs (/opt/rustwide/target/debug/deps/test_trace_bits-f2149d5cdf18b18d)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_trace_2bit ... ok
[INFO] [stdout] test test_trace_3bit ... ok
[INFO] [stdout] test test_trace_4bit ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_ult_unknowns.rs (/opt/rustwide/target/debug/deps/test_ult_unknowns-37812b45ddba7d7c)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_ult_a_constrained ... ok
[INFO] [stdout] test test_simple_ult_unknowns ... ok
[INFO] [stdout] test test_ult_b_constrained ... ok
[INFO] [stdout] test test_ult_two_unknowns ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests oxiz_theories
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test src/checking/mod.rs - checking (line 18) ... ignored
[INFO] [stdout] test src/lib.rs - (line 31) ... ignored
[INFO] [stdout] test src/lib.rs - (line 43) ... ignored
[INFO] [stdout] test src/set/mod.rs - set (line 22) ... ignored
[INFO] [stdout] test src/sls/mod.rs - sls (line 21) ... ignored
[INFO] [stdout] test src/user_propagator.rs - user_propagator (line 15) ... ignored
[INFO] [stdout] test src/wmaxsat.rs - wmaxsat (line 15) ... ignored
[INFO] [stdout] test src/bv/simd_ops.rs - bv::simd_ops (line 18) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 7 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.93s; merged doctests compilation took 0.92s
[INFO] running `Command { std: "docker" "inspect" "3b3de7e4549b044ea5f4827a6f87e227db3c51db6d66fd28bdb9bfcd1b8513b1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3b3de7e4549b044ea5f4827a6f87e227db3c51db6d66fd28bdb9bfcd1b8513b1", kill_on_drop: false }`
[INFO] [stdout] 3b3de7e4549b044ea5f4827a6f87e227db3c51db6d66fd28bdb9bfcd1b8513b1
