[INFO] fetching crate oxiz-core 0.1.3...
[INFO] testing oxiz-core-0.1.3 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-1
[INFO] extracting crate oxiz-core 0.1.3 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate oxiz-core 0.1.3
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxiz-core 0.1.3
[INFO] tweaked toml for crates.io crate oxiz-core 0.1.3 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-core 0.1.3 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-core 0.1.3 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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8e0b6d37e4492d2c98b3732bd4e78768ecd41ccf4020374376e10f3c8c5eabdd
[INFO] running `Command { std: "docker" "start" "-a" "8e0b6d37e4492d2c98b3732bd4e78768ecd41ccf4020374376e10f3c8c5eabdd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8e0b6d37e4492d2c98b3732bd4e78768ecd41ccf4020374376e10f3c8c5eabdd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8e0b6d37e4492d2c98b3732bd4e78768ecd41ccf4020374376e10f3c8c5eabdd", kill_on_drop: false }`
[INFO] [stdout] 8e0b6d37e4492d2c98b3732bd4e78768ecd41ccf4020374376e10f3c8c5eabdd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e73a896f6c5bcd546660122f390f065854d0548818d853fe43e432e294f12de5
[INFO] running `Command { std: "docker" "start" "-a" "e73a896f6c5bcd546660122f390f065854d0548818d853fe43e432e294f12de5", kill_on_drop: false }`
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling smartstring v1.0.1
[INFO] [stderr]    Compiling bytemuck v1.25.0
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling safe_arch v1.0.0
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling thin-vec v0.2.14
[INFO] [stderr]    Compiling const-random v0.1.18
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling wide v1.1.1
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling bumpalo v3.19.1
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling rhai_codegen v3.1.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling oxiz-core v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 29s
[INFO] running `Command { std: "docker" "inspect" "e73a896f6c5bcd546660122f390f065854d0548818d853fe43e432e294f12de5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e73a896f6c5bcd546660122f390f065854d0548818d853fe43e432e294f12de5", kill_on_drop: false }`
[INFO] [stdout] e73a896f6c5bcd546660122f390f065854d0548818d853fe43e432e294f12de5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f985e04d79d68c3654160e9a676e953fe409cd0355e0155457d65d71bbe62dc8
[INFO] running `Command { std: "docker" "start" "-a" "f985e04d79d68c3654160e9a676e953fe409cd0355e0155457d65d71bbe62dc8", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling regex-syntax v0.8.9
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling oxiz-core v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 38s
[INFO] running `Command { std: "docker" "inspect" "f985e04d79d68c3654160e9a676e953fe409cd0355e0155457d65d71bbe62dc8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f985e04d79d68c3654160e9a676e953fe409cd0355e0155457d65d71bbe62dc8", kill_on_drop: false }`
[INFO] [stdout] f985e04d79d68c3654160e9a676e953fe409cd0355e0155457d65d71bbe62dc8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 0e417fd2807ad12d83dc7177cb6df7f1a991b238f7a87d56d05bf2d137f23071
[INFO] running `Command { std: "docker" "start" "-a" "0e417fd2807ad12d83dc7177cb6df7f1a991b238f7a87d56d05bf2d137f23071", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxiz_core-d0bfeb76c525c0e9)
[INFO] [stdout] 
[INFO] [stdout] running 1079 tests
[INFO] [stdout] test alloc::arena::tests::test_arena_basic ... ok
[INFO] [stdout] test alloc::arena::tests::test_alignment ... ok
[INFO] [stdout] test alloc::arena::tests::test_arena_growth ... ok
[INFO] [stdout] test alloc::pool::tests::test_hit_rate ... ok
[INFO] [stdout] test alloc::pool::tests::test_pool_basic ... ok
[INFO] [stdout] test alloc::arena::tests::test_arena_reset ... ok
[INFO] [stdout] test alloc::pool::tests::test_pool_max_size ... ok
[INFO] [stdout] test alloc::region::tests::test_region_basic ... ok
[INFO] [stdout] test alloc::region::tests::test_region_large_allocation ... ok
[INFO] [stdout] test alloc::region::tests::test_region_stats ... ok
[INFO] [stdout] test alloc::arena::tests::test_arena_multiple ... ok
[INFO] [stdout] test ast::congruence::tests::test_add_term_simple ... ok
[INFO] [stdout] test ast::congruence::tests::test_basic_usage ... ok
[INFO] [stdout] test alloc::region::tests::test_region_multiple ... ok
[INFO] [stdout] test alloc::region::tests::test_region_slice ... ok
[INFO] [stdout] test alloc::region::tests::test_region_reset ... ok
[INFO] [stdout] test ast::congruence::tests::test_diseq_conflict ... ok
[INFO] [stdout] test ast::congruence::tests::test_diseq_after_merge ... ok
[INFO] [stdout] test ast::congruence::tests::test_empty_closure ... ok
[INFO] [stdout] test ast::congruence::tests::test_explanation ... ok
[INFO] [stdout] test ast::congruence::tests::test_find_creates_class ... ok
[INFO] [stdout] test ast::congruence::tests::test_merge_same_class ... ok
[INFO] [stdout] test ast::congruence::tests::test_num_classes ... ok
[INFO] [stdout] test ast::congruence::tests::test_push_pop ... ok
[INFO] [stdout] test ast::context::tests::test_assert_many ... ok
[INFO] [stdout] test ast::congruence::tests::test_get_class ... ok
[INFO] [stdout] test ast::congruence::tests::test_transitivity ... ok
[INFO] [stdout] test ast::context::tests::test_assert ... ok
[INFO] [stdout] test ast::context::tests::test_named_context_push_pop ... ok
[INFO] [stdout] test ast::context::tests::test_push_pop ... ok
[INFO] [stdout] test ast::context::tests::test_current_scope_assertions ... ok
[INFO] [stdout] test ast::context::tests::test_empty_context ... ok
[INFO] [stdout] test ast::context::tests::test_named_assertion_helpers ... ok
[INFO] [stdout] test ast::context::tests::test_reset ... ok
[INFO] [stdout] test ast::egraph::tests::test_add_term ... ok
[INFO] [stdout] test ast::egraph::tests::test_empty_egraph ... ok
[INFO] [stdout] test ast::egraph::tests::test_assert_equality ... ok
[INFO] [stdout] test ast::egraph::tests::test_congruence_closure ... ok
[INFO] [stdout] test ast::egraph::tests::test_extract_all ... ok
[INFO] [stdout] test ast::egraph::tests::test_extract_all_with_merge ... ok
[INFO] [stdout] test ast::egraph::tests::test_add_node ... ok
[INFO] [stdout] test ast::context::tests::test_named_context ... ok
[INFO] [stdout] test ast::egraph::tests::test_extract_best_simple ... ok
[INFO] [stdout] test alloc::pool::tests::test_pool_stats ... ok
[INFO] [stdout] test alloc::pool::tests::test_pool_take ... ok
[INFO] [stdout] test alloc::pool::tests::test_shared_pool ... ok
[INFO] [stdout] test ast::egraph::tests::test_find_canonical ... ok
[INFO] [stdout] test ast::egraph::tests::test_merge_classes ... ok
[INFO] [stdout] test ast::egraph::tests::test_extract_best_with_children ... ok
[INFO] [stdout] test ast::egraph::tests::test_statistics ... ok
[INFO] [stdout] test ast::interpolation::tests::test_project_to_shared ... ok
[INFO] [stdout] test ast::interpolation::tests::test_shared_symbols ... ok
[INFO] [stdout] test ast::interpolation::tests::test_statistics ... ok
[INFO] [stdout] test ast::manager::tests::test_and_simplification ... ok
[INFO] [stdout] test ast::interpolation::tests::test_empty_context ... ok
[INFO] [stdout] test ast::interpolation::tests::test_add_to_partitions ... ok
[INFO] [stdout] test ast::manager::tests::test_constants ... ok
[INFO] [stdout] test ast::manager::tests::test_eq_canonicalization ... ok
[INFO] [stdout] test ast::manager::tests::test_forall_with_multiple_patterns ... ok
[INFO] [stdout] test ast::manager::tests::test_forall_with_multi_term_pattern ... ok
[INFO] [stdout] test ast::manager::tests::test_forall_without_patterns ... ok
[INFO] [stdout] test ast::manager::tests::test_forall_with_patterns ... ok
[INFO] [stdout] test ast::manager::tests::test_free_vars ... ok
[INFO] [stdout] test ast::manager::tests::test_interning ... ok
[INFO] [stdout] test ast::manager::tests::test_not_simplification ... ok
[INFO] [stdout] test ast::manager::tests::test_exists_with_patterns ... ok
[INFO] [stdout] test ast::manager::tests::test_ite_simplification ... ok
[INFO] [stdout] test ast::manager::tests::test_or_simplification ... ok
[INFO] [stdout] test ast::manager::tests::test_term_depth ... ok
[INFO] [stdout] test ast::manager::tests::test_substitute ... ok
[INFO] [stdout] test ast::model::tests::test_empty_model ... ok
[INFO] [stdout] test ast::model::tests::test_function_interpretation ... ok
[INFO] [stdout] test ast::model::tests::test_int_assignment ... ok
[INFO] [stdout] test ast::model::tests::test_bool_assignment ... ok
[INFO] [stdout] test ast::manager::tests::test_term_size ... ok
[INFO] [stdout] test ast::model::tests::test_model_with_function ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_all_distinct_empty ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_all ... ok
[INFO] [stdout] test ast::model::tests::test_multiple_assignments ... ok
[INFO] [stdout] test ast::model::tests::test_model_value_display ... ok
[INFO] [stdout] test ast::model::tests::test_real_assignment ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_all_distinct_single ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_all_distinct_false ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_any ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_all_distinct_true ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_count ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_map ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_find ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_stats ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_partition ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_stats_display ... ok
[INFO] [stdout] test ast::pattern::tests::test_and_pattern ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_reduce ... ok
[INFO] [stdout] test ast::pattern::tests::test_bool_const_pattern ... ok
[INFO] [stdout] test ast::pattern::tests::test_int_const_pattern ... ok
[INFO] [stdout] test ast::pattern::tests::test_eq_pattern ... ok
[INFO] [stdout] test ast::parallel::tests::test_parallel_filter ... ok
[INFO] [stdout] test ast::pattern::tests::test_multiple_wildcards ... ok
[INFO] [stdout] test ast::pattern::tests::test_not_pattern ... ok
[INFO] [stdout] test ast::pattern::tests::test_pattern_instantiation ... ok
[INFO] [stdout] test ast::pattern::tests::test_same_wildcard_twice ... ok
[INFO] [stdout] test ast::pattern::tests::test_wildcard_pattern ... ok
[INFO] [stdout] test ast::pattern::tests::test_pattern_rewrite_rule ... ok
[INFO] [stdout] test ast::pool::tests::test_pool_creation ... ok
[INFO] [stdout] test ast::pool::tests::test_with_capacity ... ok
[INFO] [stdout] test ast::model::tests::test_bitvec_assignment ... ok
[INFO] [stdout] test ast::pool::tests::test_clear ... ok
[INFO] [stdout] test ast::pool::tests::test_memory_stats ... ok
[INFO] [stdout] test ast::proof::tests::test_create_proof_node ... ok
[INFO] [stdout] test ast::proof::tests::test_empty_proof ... ok
[INFO] [stdout] test ast::proof::tests::test_minimize_empty_proof ... ok
[INFO] [stdout] test ast::proof::tests::test_proof_height ... ok
[INFO] [stdout] test ast::proof::tests::test_minimize_proof ... ok
[INFO] [stdout] test ast::pool::tests::test_single_allocation ... ok
[INFO] [stdout] test ast::proof::tests::test_add_proof_nodes ... ok
[INFO] [stdout] test ast::proof::tests::test_proof_metadata ... ok
[INFO] [stdout] test ast::proof::tests::test_proof_node_with_premises ... ok
[INFO] [stdout] test ast::proof::tests::test_proof_statistics ... ok
[INFO] [stdout] test ast::proof::tests::test_proof_with_root ... ok
[INFO] [stdout] test ast::proof::tests::test_simplify_preserves_validity ... ok
[INFO] [stdout] test ast::pool::tests::test_multiple_allocations ... ok
[INFO] [stdout] test ast::proof::tests::test_prune_unreachable ... ok
[INFO] [stdout] test ast::proof::tests::test_simplify_redundant_rewrites ... ok
[INFO] [stdout] test ast::proof::tests::test_validate_structure_valid_proof ... ok
[INFO] [stdout] test ast::proof::tests::test_validate_structure_missing_root ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_certificate_format_variants ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_empty_nd_proof ... ok
[INFO] [stdout] test ast::proof::tests::test_proof_height_single_node ... ok
[INFO] [stdout] test ast::proof::tests::test_proof_leaves ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_generate_alethe_certificate ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_generate_isabelle_certificate ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_generate_lfsc_certificate ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_nd_proof_add_node ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_resolution_to_nd_empty ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_resolution_to_nd_simple ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_generate_coq_certificate ... ok
[INFO] [stdout] test ast::rewriting::tests::test_arithmetic_identity ... ok
[INFO] [stdout] test ast::proof_transform::tests::test_generate_drat_certificate ... ok
[INFO] [stdout] test ast::rewriting::tests::test_boolean_propagation ... ok
[INFO] [stdout] test ast::rewriting::tests::test_comparison_normalization ... ok
[INFO] [stdout] test ast::rewriting::tests::test_constant_folding ... ok
[INFO] [stdout] test ast::rewriting::tests::test_de_morgan_and ... ok
[INFO] [stdout] test ast::rewriting::tests::test_equality_simplification ... ok
[INFO] [stdout] test ast::rewriting::tests::test_distributivity ... ok
[INFO] [stdout] test ast::rewriting::tests::test_ite_simplification ... ok
[INFO] [stdout] test ast::rewriting::tests::test_standard_rules ... ok
[INFO] [stdout] test ast::rewriting::tests::test_double_negation ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_all_equal_empty ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_all_equal_large_false ... ok
[INFO] [stdout] test ast::rewriting::tests::test_implication_elimination ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_all_equal_large_true ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_all_equal_small_false ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_all_equal_small_true ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_compare_different_lengths ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_compare_edge_cases ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_compare_empty ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_compare_large_different ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_compare_large_equal ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_compare_small_different ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_contains_empty ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_contains_large_found ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_contains_small_found ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_hash_deterministic ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_compare_small_equal ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_contains_large_not_found ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_hash_different_inputs ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_contains_small_not_found ... ok
[INFO] [stdout] test ast::simd::tests::test_simd_hash_empty ... ok
[INFO] [stdout] test ast::traversal::tests::test_collect_free_vars ... ok
[INFO] [stdout] test ast::traversal::tests::test_collect_subterms ... ok
[INFO] [stdout] test ast::traversal::tests::test_compute_depth ... ok
[INFO] [stdout] test ast::proof::tests::test_validate_structure_missing_premise ... ok
[INFO] [stdout] test ast::traversal::tests::test_visitor_pattern ... ok
[INFO] [stdout] test ast::traversal::tests::test_count_nodes ... ok
[INFO] [stdout] test ast::utils::flatten_tests::test_flatten_add ... ok
[INFO] [stdout] test ast::utils::flatten_tests::test_flatten_and ... ok
[INFO] [stdout] test ast::utils::flatten_tests::test_flatten_already_flat ... ok
[INFO] [stdout] test ast::utils::flatten_tests::test_flatten_mul ... ok
[INFO] [stdout] test ast::utils::flatten_tests::test_flatten_mixed_operations ... ok
[INFO] [stdout] test ast::utils::tests::test_alpha_equivalent_constants ... ok
[INFO] [stdout] test ast::utils::tests::test_alpha_equivalent_simple ... ok
[INFO] [stdout] test ast::utils::tests::test_compute_statistics ... ok
[INFO] [stdout] test ast::utils::tests::test_count_operations ... ok
[INFO] [stdout] test ast::utils::tests::test_is_ground ... ok
[INFO] [stdout] test ast::utils::tests::test_structural_hash_consistency ... ok
[INFO] [stdout] test ast::utils::tests::test_structurally_equal_basic ... ok
[INFO] [stdout] test ast::utils::tests::test_term_complexity ... ok
[INFO] [stdout] test ast::validation::tests::test_cached_evaluator_basic ... ok
[INFO] [stdout] test ast::validation::tests::test_cached_evaluator_clear_cache ... ok
[INFO] [stdout] test ast::utils::flatten_tests::test_flatten_deeply_nested ... ok
[INFO] [stdout] test ast::utils::tests::test_alpha_equivalent_compound ... ok
[INFO] [stdout] test ast::utils::flatten_tests::test_flatten_or ... ok
[INFO] [stdout] test ast::utils::tests::test_find_terms ... ok
[INFO] [stdout] test ast::proof::tests::test_validate_structure_cycle ... ok
[INFO] [stdout] test ast::traversal::tests::test_contains_term ... ok
[INFO] [stdout] test ast::validation::tests::test_cached_evaluator_shared_subterms ... ok
[INFO] [stdout] test ast::validation::tests::test_cached_evaluator_validate_assertions ... ok
[INFO] [stdout] test ast::validation::tests::test_eval_arithmetic ... ok
[INFO] [stdout] test ast::validation::tests::test_eval_comparison ... ok
[INFO] [stdout] test ast::validation::tests::test_cached_evaluator_complex_formula ... ok
[INFO] [stdout] test ast::validation::tests::test_eval_constants ... ok
[INFO] [stdout] test ast::validation::tests::test_eval_ite ... ok
[INFO] [stdout] test ast::validation::tests::test_validate_assertion_simple ... ok
[INFO] [stdout] test ast::validation::tests::test_validate_assertion_with_variable ... ok
[INFO] [stdout] test ast::validation::tests::test_validate_model_multiple_assertions ... ok
[INFO] [stdout] test config::tests::test_clause_deletion_strategy ... ok
[INFO] [stdout] test config::tests::test_builder_pattern ... ok
[INFO] [stdout] test config::tests::test_default_config ... ok
[INFO] [stdout] test config::tests::test_quick_config ... ok
[INFO] [stdout] test config::tests::test_resource_limits_default ... ok
[INFO] [stdout] test config::tests::test_sat_config ... ok
[INFO] [stdout] test config::tests::test_set_limits ... ok
[INFO] [stdout] test config::tests::test_set_produce_proofs ... ok
[INFO] [stdout] test config::tests::test_set_verbosity ... ok
[INFO] [stdout] test config::tests::test_thorough_config ... ok
[INFO] [stdout] test config::tests::test_set_random_seed ... ok
[INFO] [stdout] test config::tests::test_smt_config ... ok
[INFO] [stdout] test ast::validation::tests::test_eval_variable ... ok
[INFO] [stdout] test config::tests::test_phase_saving ... ok
[INFO] [stdout] test datalog::clp::tests::test_disequality_unsat ... ok
[INFO] [stdout] test datalog::clp::tests::test_membership_constraint ... ok
[INFO] [stdout] test datalog::clp::tests::test_domain_intersection ... ok
[INFO] [stdout] test datalog::clp::tests::test_equality_constraint ... ok
[INFO] [stdout] test datalog::compiler::tests::test_batch_compiler ... ok
[INFO] [stdout] test datalog::clp::tests::test_domain_empty ... ok
[INFO] [stdout] test datalog::compiler::tests::test_compile_rule_with_comparison ... ok
[INFO] [stdout] test datalog::compiler::tests::test_compile_simple_rule ... ok
[INFO] [stdout] test datalog::clp::tests::test_variable_equality ... ok
[INFO] [stdout] test datalog::engine::tests::test_comparison_filter ... ok
[INFO] [stdout] test datalog::compiler::tests::test_compile_recursive_rule ... ok
[INFO] [stdout] test datalog::engine::tests::test_simple_fact ... ok
[INFO] [stdout] test datalog::engine::tests::test_simple_rule ... ok
[INFO] [stdout] test datalog::engine::tests::test_stratification ... ok
[INFO] [stdout] test datalog::engine::tests::test_recursive_transitive_closure ... ok
[INFO] [stdout] test datalog::execution::tests::test_statistics ... ok
[INFO] [stdout] test datalog::execution::tests::test_cancellation ... ok
[INFO] [stdout] test datalog::execution::tests::test_execution_context ... ok
[INFO] [stdout] test datalog::execution::tests::test_monitor ... ok
[INFO] [stdout] test datalog::execution::tests::test_tracing ... ok
[INFO] [stdout] test datalog::index::tests::test_bitmap_index ... ok
[INFO] [stdout] test datalog::index::tests::test_btree_index_range ... ok
[INFO] [stdout] test datalog::index::tests::test_hash_index ... ok
[INFO] [stdout] test datalog::index::tests::test_index_remove ... ok
[INFO] [stdout] test datalog::index::tests::test_index_key_from_tuple ... ok
[INFO] [stdout] test datalog::index::tests::test_multi_index ... ok
[INFO] [stdout] test datalog::query::tests::test_query_builder ... ok
[INFO] [stdout] test datalog::query::tests::test_query_creation ... ok
[INFO] [stdout] test datalog::query::tests::test_query_optimizer ... ok
[INFO] [stdout] test datalog::query::tests::test_query_result ... ok
[INFO] [stdout] test datalog::query::tests::test_plan_node_creation ... ok
[INFO] [stdout] test datalog::query::tests::test_query_variables ... ok
[INFO] [stdout] test datalog::relation::tests::test_delta_set ... ok
[INFO] [stdout] test datalog::relation::tests::test_relation_contains ... ok
[INFO] [stdout] test datalog::relation::tests::test_relation_hash_join ... ok
[INFO] [stdout] test datalog::relation::tests::test_relation_difference ... ok
[INFO] [stdout] test datalog::relation::tests::test_relation_index_lookup ... ok
[INFO] [stdout] test datalog::relation::tests::test_relation_insert ... ok
[INFO] [stdout] test datalog::relation::tests::test_relation_project ... ok
[INFO] [stdout] test datalog::rule::tests::test_atom_creation ... ok
[INFO] [stdout] test datalog::relation::tests::test_relation_select ... ok
[INFO] [stdout] test datalog::relation::tests::test_relation_union ... ok
[INFO] [stdout] test datalog::rule::tests::test_comparison_atom ... ok
[INFO] [stdout] test datalog::rule::tests::test_binding_conflict ... ok
[INFO] [stdout] test datalog::rule::tests::test_binding_merge ... ok
[INFO] [stdout] test datalog::rule::tests::test_recursive_rule ... ok
[INFO] [stdout] test datalog::rule::tests::test_rule_creation ... ok
[INFO] [stdout] test datalog::rule::tests::test_rule_builder ... ok
[INFO] [stdout] test datalog::rule::tests::test_term_types ... ok
[INFO] [stdout] test datalog::schema::tests::test_column_lookup ... ok
[INFO] [stdout] test datalog::schema::tests::test_data_type_properties ... ok
[INFO] [stdout] test datalog::schema::tests::test_schema_builder ... ok
[INFO] [stdout] test datalog::schema::tests::test_schema_compatibility ... ok
[INFO] [stdout] test datalog::rule::tests::test_unsafe_rule ... ok
[INFO] [stdout] test datalog::schema::tests::test_schema_creation ... ok
[INFO] [stdout] test datalog::tests::test_module_imports ... ok
[INFO] [stdout] test datalog::schema::tests::test_schema_projection ... ok
[INFO] [stdout] test datalog::tuple::tests::test_tuple_concat ... ok
[INFO] [stdout] test datalog::tuple::tests::test_tuple_builder ... ok
[INFO] [stdout] test datalog::tuple::tests::test_tuple_creation ... ok
[INFO] [stdout] test datalog::tuple::tests::test_tuple_hash ... ok
[INFO] [stdout] test datalog::tuple::tests::test_tuple_iter ... ok
[INFO] [stdout] test datalog::tuple::tests::test_tuple_equality ... ok
[INFO] [stdout] test datalog::tuple::tests::test_tuple_ordering ... ok
[INFO] [stdout] test diagnostics::tests::test_diagnostic_creation ... ok
[INFO] [stdout] test datalog::tuple::tests::test_tuple_projection ... ok
[INFO] [stdout] test datalog::tuple::tests::test_value_type_matching ... ok
[INFO] [stdout] test diagnostics::tests::test_diagnostic_emitter ... ok
[INFO] [stdout] test diagnostics::tests::test_diagnostic_with_note ... ok
[INFO] [stdout] test diagnostics::tests::test_diagnostic_format ... ok
[INFO] [stdout] test diagnostics::tests::test_severity_ordering ... ok
[INFO] [stdout] test ematching::code_tree::tests::test_code_tree_builder_creation ... ok
[INFO] [stdout] test ematching::code_tree::tests::test_compile_simple_pattern ... ok
[INFO] [stdout] test ast::pool::tests::test_chunk_overflow ... ok
[INFO] [stdout] test ematching::code_tree::tests::test_term_kind_discriminant ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_cache_creation ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_cache_clear ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_complex_term_fingerprint ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_cache_invalidation ... ok
[INFO] [stdout] test datalog::execution::tests::test_rule_stats ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_compute_fingerprint_function ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_compute_simple_fingerprint ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_fingerprint_caching ... ok
[INFO] [stdout] test ematching::code_tree::tests::test_instruction_kinds ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_fingerprint_combine ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_compute_structural_fingerprint ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_fingerprint_config_default ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_max_cache_size ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_fingerprint_creation ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_hit_rate ... ok
[INFO] [stdout] test ematching::fingerprint::tests::test_structural_vs_simple ... ok
[INFO] [stdout] test ematching::index::tests::test_egraph_index_merge ... ok
[INFO] [stdout] test ematching::index::tests::test_index_config_default ... ok
[INFO] [stdout] test ematching::heuristics::tests::test_config_default ... ok
[INFO] [stdout] test ematching::index::tests::test_add_term ... ok
[INFO] [stdout] test ematching::index::tests::test_egraph_index_find ... ok
[INFO] [stdout] test ematching::mod_time::tests::test_is_term_newer ... ok
[INFO] [stdout] test ematching::mod_time::tests::test_mod_time_comparison ... ok
[INFO] [stdout] test ematching::index::tests::test_inverted_index ... ok
[INFO] [stdout] test ematching::index::tests::test_lookup_by_sort ... ok
[INFO] [stdout] test ematching::index::tests::test_term_index_creation ... ok
[INFO] [stdout] test ematching::mod_time::tests::test_record_term ... ok
[INFO] [stdout] test ematching::mod_time::tests::test_mod_time_creation ... ok
[INFO] [stdout] test ematching::mod_time::tests::test_mod_time_increment ... ok
[INFO] [stdout] test ematching::mod_time::tests::test_mod_time_manager ... ok
[INFO] [stdout] test ematching::multi_pattern::tests::test_config_default ... ok
[INFO] [stdout] test ematching::multi_pattern::tests::test_matcher_creation ... ok
[INFO] [stdout] test ematching::pattern::tests::test_compile_multiple_variables ... ok
[INFO] [stdout] test ematching::multi_pattern::tests::test_shared_cache ... ok
[INFO] [stdout] test ematching::pattern::tests::test_compile_ground_pattern ... ok
[INFO] [stdout] test ematching::pattern::tests::test_compile_nested_pattern ... ok
[INFO] [stdout] test datalog::execution::tests::test_execution_timer ... ok
[INFO] [stdout] test ematching::pattern::tests::test_pattern_config_default ... ok
[INFO] [stdout] test ematching::pattern::tests::test_compile_simple_pattern ... ok
[INFO] [stdout] test ematching::pattern::tests::test_pattern_cost_calculation ... ok
[INFO] [stdout] test ematching::pattern::tests::test_pattern_caching ... ok
[INFO] [stdout] test ematching::pattern::tests::test_pattern_compiler_creation ... ok
[INFO] [stdout] test ematching::pattern::tests::test_pattern_dag_build ... ok
[INFO] [stdout] test ematching::pattern::tests::test_pattern_depth_calculation ... ok
[INFO] [stdout] test ematching::pattern::tests::test_pattern_stats ... ok
[INFO] [stdout] test ematching::relevancy::tests::test_relevancy_score ... ok
[INFO] [stdout] test ematching::relevancy::tests::test_relevancy_tracker ... ok
[INFO] [stdout] test ematching::relevancy::tests::test_set_score ... ok
[INFO] [stdout] test ematching::pattern::tests::test_var_only_pattern_rejected ... ok
[INFO] [stdout] test ematching::substitution::tests::test_cache_hit_rate ... ok
[INFO] [stdout] test ematching::quantifier_inst::tests::test_config_default ... ok
[INFO] [stdout] test ematching::relevancy::tests::test_is_relevant ... ok
[INFO] [stdout] test ematching::relevancy::tests::test_score_combine ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_apply_variable ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_clear ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_cache ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_apply_complex_term ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_apply_non_bound_variable ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_builder ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_ground_term_unchanged ... ok
[INFO] [stdout] test ematching::tests::test_ematching_config_default ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_config_default ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_insert_get ... ok
[INFO] [stdout] test ematching::tests::test_ematching_engine_creation ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_creation ... ok
[INFO] [stdout] test ematching::substitution::tests::test_substitution_structural_sharing ... ok
[INFO] [stdout] test ematching::trigger::tests::test_assess_quality ... ok
[INFO] [stdout] test ematching::trigger::tests::test_estimate_cost ... ok
[INFO] [stdout] test ematching::trigger::tests::test_trigger_generator_creation ... ok
[INFO] [stdout] test ematching::trigger::tests::test_generate_triggers_with_explicit_patterns ... ok
[INFO] [stdout] test ematching::trigger::tests::test_collect_candidates ... ok
[INFO] [stdout] test ematching::trigger::tests::test_compute_depth ... ok
[INFO] [stdout] test ematching::trigger::tests::test_trigger_quality_ordering ... ok
[INFO] [stdout] test ematching::trigger::tests::test_trigger_config_default ... ok
[INFO] [stdout] test error::tests::test_source_location_display ... ok
[INFO] [stdout] test error::tests::test_source_span_display_multi_line ... ok
[INFO] [stdout] test error::tests::test_detailed_error_messages ... ok
[INFO] [stdout] test error_context::tests::test_add_context ... ok
[INFO] [stdout] test error::tests::test_is_recoverable ... ok
[INFO] [stdout] test error::tests::test_source_span_display_same_line ... ok
[INFO] [stdout] test error::tests::test_error_constructors ... ok
[INFO] [stdout] test error_context::tests::test_error_context_creation ... ok
[INFO] [stdout] test error_context::tests::test_format_full ... ok
[INFO] [stdout] test error_context::tests::test_result_ext ... ok
[INFO] [stdout] test error_recovery::tests::test_recovery_config_default ... ok
[INFO] [stdout] test error_context::tests::test_add_suggestion ... ok
[INFO] [stdout] test error_context::tests::test_related_terms ... ok
[INFO] [stdout] test error_recovery::tests::test_error_batch ... ok
[INFO] [stdout] test error_context::tests::test_chained_context ... ok
[INFO] [stdout] test error_recovery::tests::test_unbalanced_parens_recovery ... ok
[INFO] [stdout] test error_utils::tests::test_error_chain ... ok
[INFO] [stdout] test error_utils::tests::test_option_error_ext ... ok
[INFO] [stdout] test error_utils::tests::test_parse_error_helper ... ok
[INFO] [stdout] test error_utils::tests::test_suggest_fixes ... ok
[INFO] [stdout] test error_recovery::tests::test_type_coercion_suggestions ... ok
[INFO] [stdout] test error_utils::tests::test_sort_expect_bool ... ok
[INFO] [stdout] test error_recovery::tests::test_recovery_stats ... ok
[INFO] [stdout] test error_utils::tests::test_validate_arity ... ok
[INFO] [stdout] test literal::tests::test_negative_literal ... ok
[INFO] [stdout] test error_utils::tests::test_validate_min_arity ... ok
[INFO] [stdout] test literal::tests::test_negation ... ok
[INFO] [stdout] test literal::tests::test_positive_literal ... ok
[INFO] [stdout] test literal::tests::test_raw_value ... ok
[INFO] [stdout] test model::completion::tests::test_completion_reset ... ok
[INFO] [stdout] test model::evaluator::tests::test_eval_cache ... ok
[INFO] [stdout] test model::completion::tests::test_completion_config ... ok
[INFO] [stdout] test model::factory::tests::test_default_array ... ok
[INFO] [stdout] test model::completion::tests::test_completion_creation ... ok
[INFO] [stdout] test model::factory::tests::test_custom_default ... ok
[INFO] [stdout] test model::factory::tests::test_default_bool ... ok
[INFO] [stdout] test model::factory::tests::test_default_bitvec ... ok
[INFO] [stdout] test model::evaluator::tests::test_eval_result ... ok
[INFO] [stdout] test model::factory::tests::test_default_rational ... ok
[INFO] [stdout] test model::factory::tests::test_default_string ... ok
[INFO] [stdout] test model::factory::tests::test_reset ... ok
[INFO] [stdout] test model::factory::tests::test_factory_creation ... ok
[INFO] [stdout] test model::factory::tests::test_default_int ... ok
[INFO] [stdout] test model::implicant::tests::test_implicant_config ... ok
[INFO] [stdout] test model::implicant::tests::test_prime_implicant ... ok
[INFO] [stdout] test model::factory::tests::test_uninterpreted_values ... ok
[INFO] [stdout] test model::implicant::tests::test_empty_compression_ratio ... ok
[INFO] [stdout] test model::implicant::tests::test_stats_compression_ratio ... ok
[INFO] [stdout] test model::implicant::tests::test_extractor_creation ... ok
[INFO] [stdout] test model::implicant::tests::test_implicant_to_model ... ok
[INFO] [stdout] test model::tests::test_model_remove ... ok
[INFO] [stdout] test model::tests::test_value_bitvec ... ok
[INFO] [stdout] test model::tests::test_value_default_for_sort ... ok
[INFO] [stdout] test model::tests::test_value_int ... ok
[INFO] [stdout] test model::tests::test_value_bool ... ok
[INFO] [stdout] test model::tests::test_model_basic ... ok
[INFO] [stdout] test model::tests::test_value_rational ... ok
[INFO] [stdout] test qe::arith::cooper::tests::test_cooper_eliminator ... ok
[INFO] [stdout] test model::tests::test_model_merge ... ok
[INFO] [stdout] test qe::arith::ferrante_rackoff::tests::test_ferrante_rackoff_eliminator ... ok
[INFO] [stdout] test qe::arith::ferrante_rackoff::tests::test_partition_inequalities ... ok
[INFO] [stdout] test qe::arith::omega_test::tests::test_extract_bounds ... ok
[INFO] [stdout] test qe::arith::omega_test::tests::test_stats ... ok
[INFO] [stdout] test qe::arith::omega_test::tests::test_tester_creation ... ok
[INFO] [stdout] test qe::arith::qe_lite_arith::tests::test_config_defaults ... ok
[INFO] [stdout] test qe::arith::virtual_term::tests::test_virtual_term_eliminator ... ok
[INFO] [stdout] test qe::arith::omega_test::tests::test_add_constraint ... ok
[INFO] [stdout] test qe::array::index_abstraction::tests::test_abstractor_creation ... ok
[INFO] [stdout] test qe::arith::omega_test::tests::test_eliminate ... ok
[INFO] [stdout] test qe::array::index_abstraction::tests::test_complement ... ok
[INFO] [stdout] test qe::array::index_abstraction::tests::test_double_complement ... ok
[INFO] [stdout] test qe::array::index_abstraction::tests::test_union ... ok
[INFO] [stdout] test qe::array::index_abstraction::tests::test_union_with_empty ... ok
[INFO] [stdout] test qe::array::plugin::tests::test_clear ... ok
[INFO] [stdout] test qe::array::index_abstraction::tests::test_singleton ... ok
[INFO] [stdout] test qe::array::plugin::tests::test_creation ... ok
[INFO] [stdout] test qe::array::plugin::tests::test_eliminate ... ok
[INFO] [stdout] test qe::arith::virtual_term::tests::test_stats ... ok
[INFO] [stdout] test qe::arith::qe_lite_arith::tests::test_qe_lite_creation ... ok
[INFO] [stdout] test qe::array::plugin::tests::test_extract_index_set ... ok
[INFO] [stdout] test qe::array::quantifier_elim::tests::test_eliminate_simple ... ok
[INFO] [stdout] test qe::array::quantifier_elim::tests::test_eliminator_creation ... ok
[INFO] [stdout] test qe::array::quantifier_elim::tests::test_collect_index_sets ... ok
[INFO] [stdout] test qe::array::quantifier_elim::tests::test_extensionality_simplification ... ok
[INFO] [stdout] test datalog::execution::tests::test_timeout ... ok
[INFO] [stdout] test qe::array::plugin::tests::test_extensionality ... ok
[INFO] [stdout] test qe::array::quantifier_elim::tests::test_index_constraints ... ok
[INFO] [stdout] test qe::array::quantifier_elim::tests::test_reset ... ok
[INFO] [stdout] test qe::array::quantifier_elim::tests::test_index_set_creation ... ok
[INFO] [stdout] test qe::bv::elimination_strategies::tests::test_stats ... ok
[INFO] [stdout] test datalog::execution::tests::test_pausable_timer ... ok
[INFO] [stdout] test qe::array::quantifier_elim::tests::test_template_matching_empty ... ok
[INFO] [stdout] test qe::bv::plugin::tests::test_plugin_creation ... ok
[INFO] [stdout] test qe::bv::simplification::tests::test_algebraic_identity_add ... ok
[INFO] [stdout] test qe::bv::elimination_strategies::tests::test_engine_creation ... ok
[INFO] [stdout] test qe::bv::elimination_strategies::tests::test_switch_strategy ... ok
[INFO] [stdout] test qe::bv::plugin::tests::test_config_defaults ... ok
[INFO] [stdout] test qe::bv::simplification::tests::test_and_self ... ok
[INFO] [stdout] test qe::array::quantifier_elim::tests::test_skolemization ... ok
[INFO] [stdout] test qe::bv::simplification::tests::test_constant_folding_add ... ok
[INFO] [stdout] test qe::bv::simplification::tests::test_simplifier_creation ... ok
[INFO] [stdout] test qe::bv::simplification::tests::test_xor_self ... ok
[INFO] [stdout] test qe::cad::base::tests::test_base_case_creation ... ok
[INFO] [stdout] test qe::cad::base::tests::test_create_cells_multiple_roots ... ok
[INFO] [stdout] test qe::cad::base::tests::test_decompose_no_roots ... ok
[INFO] [stdout] test qe::cad::base::tests::test_create_cells_single_root ... ok
[INFO] [stdout] test qe::cad::cell_decomposition::tests::test_add_cell ... ok
[INFO] [stdout] test qe::cad::base::tests::test_sample_points ... ok
[INFO] [stdout] test qe::cad::cell_decomposition::tests::test_remove_cell ... ok
[INFO] [stdout] test qe::cad::cell_decomposition::tests::test_parent_child ... ok
[INFO] [stdout] test qe::cad::cell_decomposition::tests::test_stats ... ok
[INFO] [stdout] test qe::cad::cell_decomposition::tests::test_decomposition_creation ... ok
[INFO] [stdout] test qe::cad::base::tests::test_stats ... ok
[INFO] [stdout] test qe::cad::lifting::tests::test_create_cell ... ok
[INFO] [stdout] test qe::cad::cell_decomposition::tests::test_pruning ... ok
[INFO] [stdout] test qe::cad::lifting::tests::test_lift_cell_no_roots ... ok
[INFO] [stdout] test qe::cad::lifting::tests::test_sample_point_selection ... ok
[INFO] [stdout] test qe::cad::lifting::tests::test_engine_creation ... ok
[INFO] [stdout] test qe::cad::projection::tests::test_default_config ... ok
[INFO] [stdout] test qe::cad::lifting::tests::test_total_cells ... ok
[INFO] [stdout] test qe::cad::projection::tests::test_engine_creation ... ok
[INFO] [stdout] test qe::cad::projection::tests::test_projection_level ... ok
[INFO] [stdout] test qe::cad::projection::tests::test_projection_operator_variants ... ok
[INFO] [stdout] test qe::cad::projection::tests::test_clear_cache ... ok
[INFO] [stdout] test qe::cad::projection::tests::test_stats ... ok
[INFO] [stdout] test qe::cad::sample::tests::test_full_line_sampling ... ok
[INFO] [stdout] test qe::cad::sample::tests::test_point_cell_sampling ... ok
[INFO] [stdout] test qe::cad::sample::tests::test_simple_sample_preference ... ok
[INFO] [stdout] test qe::cad::sample::tests::test_selector_creation ... ok
[INFO] [stdout] test qe::cad::sample::tests::test_sample_point_creation ... ok
[INFO] [stdout] test qe::cad::sample::tests::test_bounded_sector_sampling ... ok
[INFO] [stdout] test qe::datatype::case_analysis::tests::test_register_datatype ... ok
[INFO] [stdout] test qe::cad::sample::tests::test_stats ... ok
[INFO] [stdout] test qe::datatype::case_analysis::tests::test_stats ... ok
[INFO] [stdout] test qe::datatype::plugin::tests::test_fresh_var ... ok
[INFO] [stdout] test qe::datatype::plugin::tests::test_plugin_creation ... ok
[INFO] [stdout] test qe::datatype::plugin::tests::test_register_datatype ... ok
[INFO] [stdout] test qe::mbi::tests::test_mbi_config ... ok
[INFO] [stdout] test qe::mbi::tests::test_mbi_interpolant ... ok
[INFO] [stdout] test qe::cad::sample::tests::test_unbounded_above_sampling ... ok
[INFO] [stdout] test qe::mbi::tests::test_mbi_reset ... ok
[INFO] [stdout] test qe::cad::sample::tests::test_unbounded_below_sampling ... ok
[INFO] [stdout] test qe::datatype::case_analysis::tests::test_analyzer_creation ... ok
[INFO] [stdout] test qe::mbi::tests::test_mbi_set_model ... ok
[INFO] [stdout] test qe::mbi::tests::test_mbi_solver_creation ... ok
[INFO] [stdout] test qe::mbi::tests::test_mbi_stats ... ok
[INFO] [stdout] test qe::nlqsat::tests::test_quantified_formula ... ok
[INFO] [stdout] test qe::nlqsat::tests::test_solve_atom ... ok
[INFO] [stdout] test qe::nlqsat::tests::test_solve_conjunction ... ok
[INFO] [stdout] test qe::qe_lite::tests::test_qe_lite_config ... ok
[INFO] [stdout] test qe::nlqsat::tests::test_creation ... ok
[INFO] [stdout] test qe::mbi::tests::test_mbi_with_config ... ok
[INFO] [stdout] test qe::nlqsat::tests::test_generate_sample_points ... ok
[INFO] [stdout] test qe::qe_lite::tests::test_qe_lite_result ... ok
[INFO] [stdout] test qe::qe_lite::tests::test_qe_lite_with_config ... ok
[INFO] [stdout] test qe::qe_lite::tests::test_reset_stats ... ok
[INFO] [stdout] test qe::qe_lite::tests::test_qe_lite_creation ... ok
[INFO] [stdout] test qe::qe_lite::tests::test_qe_lite_stats ... ok
[INFO] [stdout] test qe::string::constraint_solver::tests::test_is_satisfiable ... ok
[INFO] [stdout] test qe::string::constraint_solver::tests::test_concat_constraint ... ok
[INFO] [stdout] test qe::string::constraint_solver::tests::test_contains_constraint ... ok
[INFO] [stdout] test qe::string::constraint_solver::tests::test_length_conflict ... ok
[INFO] [stdout] test qe::string::constraint_solver::tests::test_length_constraint ... ok
[INFO] [stdout] test qe::string::constraint_solver::tests::test_regex_char ... ok
[INFO] [stdout] test qe::string::constraint_solver::tests::test_regex_star ... ok
[INFO] [stdout] test qe::string::plugin::tests::test_add_constraint ... ok
[INFO] [stdout] test qe::string::constraint_solver::tests::test_string_constraint_solver ... ok
[INFO] [stdout] test qe::string::plugin::tests::test_dependencies ... ok
[INFO] [stdout] test qe::string::plugin::tests::test_mentions_var ... ok
[INFO] [stdout] test qe::string::plugin::tests::test_stats ... ok
[INFO] [stdout] test qe::string::plugin::tests::test_collect_relevant ... ok
[INFO] [stdout] test qe::term_graph::tests::test_comparison_subformulas_empty ... ok
[INFO] [stdout] test qe::term_graph::tests::test_empty_graph_operations ... ok
[INFO] [stdout] test qe::term_graph::tests::test_classify_term ... ok
[INFO] [stdout] test qe::term_graph::tests::test_term_graph_creation ... ok
[INFO] [stdout] test qe::term_graph::tests::test_term_graph_config ... ok
[INFO] [stdout] test qe::string::plugin::tests::test_plugin_creation ... ok
[INFO] [stdout] test qe::term_graph::tests::test_bfs_traversal_empty ... ok
[INFO] [stdout] test qe::term_graph::tests::test_term_graph_stats ... ok
[INFO] [stdout] test qe::term_graph::tests::test_term_node_creation ... ok
[INFO] [stdout] test resource::tests::test_limit_status_display ... ok
[INFO] [stdout] test resource::tests::test_memory_limit ... ok
[INFO] [stdout] test resource::tests::test_multiple_limits ... ok
[INFO] [stdout] test resource::tests::test_remaining_conflicts ... ok
[INFO] [stdout] test resource::tests::test_no_limits ... ok
[INFO] [stdout] test resource::tests::test_remaining_decisions ... ok
[INFO] [stdout] test resource::tests::test_reset ... ok
[INFO] [stdout] test resource::tests::test_conflict_limit ... ok
[INFO] [stdout] test rewrite::arith::tests::test_add_constants ... ok
[INFO] [stdout] test resource::tests::test_decision_limit ... ok
[INFO] [stdout] test resource::tests::test_set_limits ... ok
[INFO] [stdout] test rewrite::arith::tests::test_add_zero ... ok
[INFO] [stdout] test rewrite::arith::tests::test_double_neg ... ok
[INFO] [stdout] test rewrite::arith::tests::test_div_one ... ok
[INFO] [stdout] test rewrite::arith::tests::test_lt_constants ... ok
[INFO] [stdout] test rewrite::arith::tests::test_le_self ... ok
[INFO] [stdout] test rewrite::arith::tests::test_eq_self ... ok
[INFO] [stdout] test rewrite::arith::tests::test_lt_self ... ok
[INFO] [stdout] test rewrite::arith::tests::test_mul_one ... ok
[INFO] [stdout] test rewrite::arith::tests::test_mod_one ... ok
[INFO] [stdout] test rewrite::array::tests::test_array_eq_self ... ok
[INFO] [stdout] test rewrite::arith::tests::test_mul_zero ... ok
[INFO] [stdout] test rewrite::array::tests::test_select_store_different_const_index ... ok
[INFO] [stdout] test rewrite::arith::tests::test_sub_self ... ok
[INFO] [stdout] test rewrite::array::tests::test_select_store_same_index ... ok
[INFO] [stdout] test rewrite::bool::tests::test_and_false ... ok
[INFO] [stdout] test rewrite::array::tests::test_store_select_same ... ok
[INFO] [stdout] test rewrite::bool::tests::test_and_true ... ok
[INFO] [stdout] test rewrite::array::tests::test_store_store_merge ... ok
[INFO] [stdout] test rewrite::bool::tests::test_and_complement ... ok
[INFO] [stdout] test rewrite::bool::tests::test_implies_false_lhs ... ok
[INFO] [stdout] test rewrite::bool::tests::test_double_negation ... ok
[INFO] [stdout] test rewrite::bool::tests::test_ite_true_cond ... ok
[INFO] [stdout] test rewrite::bool::tests::test_ite_same_branches ... ok
[INFO] [stdout] test rewrite::bool::tests::test_eq_self ... ok
[INFO] [stdout] test rewrite::bool::tests::test_not_true ... ok
[INFO] [stdout] test rewrite::bool::tests::test_or_tautology ... ok
[INFO] [stdout] test rewrite::bv::tests::test_bvand_self ... ok
[INFO] [stdout] test rewrite::bv::tests::test_bveq_self ... ok
[INFO] [stdout] test rewrite::bv::tests::test_bvand_zero ... ok
[INFO] [stdout] test rewrite::bv::tests::test_bvmul_zero ... ok
[INFO] [stdout] test rewrite::bv::tests::test_bvor_zero ... ok
[INFO] [stdout] test rewrite::bv::tests::test_bvnot_double ... ok
[INFO] [stdout] test rewrite::bv::tests::test_bvsub_self ... ok
[INFO] [stdout] test rewrite::combined::tests::test_arith_simplification ... ok
[INFO] [stdout] test rewrite::bool::tests::test_or_true ... ok
[INFO] [stdout] test rewrite::combined::tests::test_bool_simplification ... ok
[INFO] [stdout] test rewrite::bv::tests::test_bvadd_zero ... ok
[INFO] [stdout] test rewrite::combined::tests::test_cache ... ok
[INFO] [stdout] test rewrite::combined::tests::test_stats_tracking ... ok
[INFO] [stdout] test rewrite::combined::tests::test_config ... ok
[INFO] [stdout] test rewrite::combined::tests::test_reset ... ok
[INFO] [stdout] test rewrite::datatype::tests::test_constructor_eq_diff ... ok
[INFO] [stdout] test rewrite::combined::tests::test_string_simplification ... ok
[INFO] [stdout] test rewrite::datatype::tests::test_tester_false ... ok
[INFO] [stdout] test rewrite::datatype::tests::test_constructor_eq_nullary ... ok
[INFO] [stdout] test rewrite::datatype::tests::test_tester_true ... ok
[INFO] [stdout] test rewrite::fp::tests::test_fp_abs_neg ... ok
[INFO] [stdout] test rewrite::fp::tests::test_fp_eq_nan ... ok
[INFO] [stdout] test rewrite::fp::tests::test_fp_eq_zeros ... ok
[INFO] [stdout] test rewrite::fp::tests::test_fp_is_inf_true ... ok
[INFO] [stdout] test rewrite::fp::tests::test_fp_is_nan_true ... ok
[INFO] [stdout] test rewrite::fp::tests::test_fp_is_zero_true ... ok
[INFO] [stdout] test rewrite::fp::tests::test_fp_neg_double ... ok
[INFO] [stdout] test rewrite::nla::tests::test_gcd_reduction ... ok
[INFO] [stdout] test rewrite::nla::tests::test_add_zero ... ok
[INFO] [stdout] test rewrite::nla::tests::test_monomial_operations ... ok
[INFO] [stdout] test rewrite::datatype::tests::test_selector_constructor ... ok
[INFO] [stdout] test rewrite::datatype::tests::test_constructor_eq_same ... ok
[INFO] [stdout] test rewrite::nla::tests::test_double_neg ... ok
[INFO] [stdout] test rewrite::nla::tests::test_mul_one ... ok
[INFO] [stdout] test rewrite::nla::tests::test_mul_zero ... ok
[INFO] [stdout] test rewrite::nla::tests::test_polynomial_mul ... ok
[INFO] [stdout] test rewrite::nla::tests::test_sign_mul ... ok
[INFO] [stdout] test rewrite::nla::tests::test_sign_analysis ... ok
[INFO] [stdout] test rewrite::nla::tests::test_polynomial_add ... ok
[INFO] [stdout] test rewrite::nla::tests::test_sign_square ... ok
[INFO] [stdout] test rewrite::nla::tests::test_sub_self ... ok
[INFO] [stdout] test rewrite::poly::tests::test_monomial_constant ... ok
[INFO] [stdout] test rewrite::poly::tests::test_monomial_mul ... ok
[INFO] [stdout] test rewrite::poly::tests::test_monomial_var ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_constant ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_mul ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_content ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_neg ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_add ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_evaluate ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_normalize ... ok
[INFO] [stdout] test rewrite::quantifier::tests::test_collect_free_vars ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_substitute ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_sub ... ok
[INFO] [stdout] test rewrite::poly::tests::test_polynomial_variables ... ok
[INFO] [stdout] test rewrite::quantifier::tests::test_empty_forall ... ok
[INFO] [stdout] test rewrite::quantifier::tests::test_exists_false ... ok
[INFO] [stdout] test rewrite::quantifier::tests::test_elim_unused_exists ... ok
[INFO] [stdout] test rewrite::quantifier::tests::test_elim_unused_forall ... ok
[INFO] [stdout] test rewrite::quantifier::tests::test_forall_true ... ok
[INFO] [stdout] test rewrite::regex::tests::test_contains_self ... ok
[INFO] [stdout] test rewrite::regex::tests::test_classify ... ok
[INFO] [stdout] test rewrite::regex::tests::test_contains_empty ... ok
[INFO] [stdout] test rewrite::regex::tests::test_in_empty_regex ... ok
[INFO] [stdout] test rewrite::regex::tests::test_not_in_empty ... ok
[INFO] [stdout] test rewrite::regex::tests::test_in_full_regex ... ok
[INFO] [stdout] test rewrite::regex::tests::test_prefix_const ... ok
[INFO] [stdout] test rewrite::regex::tests::test_prefix_const_false ... ok
[INFO] [stdout] test rewrite::regex::tests::test_prefix_empty ... ok
[INFO] [stdout] test rewrite::regex::tests::test_suffix_const ... ok
[INFO] [stdout] test rewrite::regex::tests::test_suffix_empty ... ok
[INFO] [stdout] test rewrite::regex::tests::test_prefix_self ... ok
[INFO] [stdout] test rewrite::string::tests::test_concat_empty ... ok
[INFO] [stdout] test rewrite::string::tests::test_contains_constant ... ok
[INFO] [stdout] test rewrite::string::tests::test_contains_empty ... ok
[INFO] [stdout] test rewrite::string::tests::test_concat_constants ... ok
[INFO] [stdout] test rewrite::string::tests::test_indexof_constant ... ok
[INFO] [stdout] test rewrite::string::tests::test_int_to_str_constant ... ok
[INFO] [stdout] test rewrite::string::tests::test_prefix_empty ... ok
[INFO] [stdout] test rewrite::string::tests::test_len_constant ... ok
[INFO] [stdout] test rewrite::tests::test_composite_rewriter ... ok
[INFO] [stdout] test rewrite::string::tests::test_suffix_constant ... ok
[INFO] [stdout] test rewrite::string::tests::test_replace_constant ... ok
[INFO] [stdout] test rewrite::string::tests::test_str_eq_self ... ok
[INFO] [stdout] test rewrite::string::tests::test_str_to_int_constant ... ok
[INFO] [stdout] test rewrite::tests::test_rewrite_context ... ok
[INFO] [stdout] test rewrite::tests::test_rewrite_result ... ok
[INFO] [stdout] test rewrite::tests::test_rewrite_stats ... ok
[INFO] [stdout] test resource::tests::test_elapsed ... ok
[INFO] [stdout] test rewrite::uf::tests::test_associative_flatten ... ok
[INFO] [stdout] test rewrite::tests::test_iterating_rewriter ... ok
[INFO] [stdout] test rewrite::uf::tests::test_beta_reduction ... ok
[INFO] [stdout] test resource::tests::test_remaining_time ... ok
[INFO] [stdout] test rewrite::uf::tests::test_commutative_normalize ... ok
[INFO] [stdout] test rewrite::uf::tests::test_apply_unchanged ... ok
[INFO] [stdout] test rewrite::uf::tests::test_congruence_cache ... ok
[INFO] [stdout] test rewrite::uf::tests::test_func_eq_refl ... ok
[INFO] [stdout] test rewrite::uf::tests::test_substitution_avoid_capture ... ok
[INFO] [stdout] test smtlib::lexer::tests::test_basic_tokens ... ok
[INFO] [stdout] test smtlib::lexer::tests::test_comments ... ok
[INFO] [stdout] test smtlib::lexer::tests::test_hex_binary ... ok
[INFO] [stdout] test smtlib::lexer::tests::test_keyword ... ok
[INFO] [stdout] test smtlib::lexer::tests::test_string_literal ... ok
[INFO] [stdout] test smtlib::parser::tests::test_error_recovery ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_array_sort ... ok
[INFO] [stdout] test smtlib::parser::tests::test_error_recovery_infrastructure ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_boolean_ops ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_annotations ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_array_operations ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_check_sat_assuming ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_arithmetic ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_constants ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_decimal_literals ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_define_fun ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_define_fun_nullary ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_define_sort ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_pattern_annotation ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_simplify ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_multiple_annotations ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_new_commands ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_real_arithmetic ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_script ... ok
[INFO] [stdout] test smtlib::printer::tests::test_pretty_config_default ... ok
[INFO] [stdout] test smtlib::printer::tests::test_pretty_config_expanded ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_string_literal ... ok
[INFO] [stdout] test smtlib::parser::tests::test_parse_unary_minus_real ... ok
[INFO] [stdout] test smtlib::printer::tests::test_pretty_config_builder ... ok
[INFO] [stdout] test smtlib::printer::tests::test_pretty_config_compact ... ok
[INFO] [stdout] test smtlib::printer::tests::test_pretty_printer_nested_ite ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_compound ... ok
[INFO] [stdout] test smtlib::printer::tests::test_pretty_printer_simple_term ... ok
[INFO] [stdout] test smtlib::printer::tests::test_pretty_printer_compact ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_constants ... ok
[INFO] [stdout] test smtlib::printer::tests::test_pretty_printer_compound_term ... ok
[INFO] [stdout] test smtlib::printer::tests::test_pretty_printer_expanded ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_model_with_bool_assignment ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_model_with_int_assignment ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_model_with_multiple_assignments ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_empty_model ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_proof_with_metadata ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_empty_proof ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_model_with_bitvec_assignment ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_proof_with_assumption ... ok
[INFO] [stdout] test sort::inference::tests::test_check_sort_compatibility_failure ... ok
[INFO] [stdout] test sort::inference::tests::test_check_sort_compatibility_success ... ok
[INFO] [stdout] test smtlib::printer::tests::test_print_proof_with_resolution ... ok
[INFO] [stdout] test smtlib::printer::tests::test_roundtrip ... ok
[INFO] [stdout] test sort::inference::tests::test_check_homogeneous_sorts ... ok
[INFO] [stdout] test sort::inference::tests::test_infer_bool_constants ... ok
[INFO] [stdout] test sort::inference::tests::test_infer_arithmetic ... ok
[INFO] [stdout] test sort::inference::tests::test_infer_boolean_ops ... ok
[INFO] [stdout] test sort::tests::test_alias_shadowing ... ok
[INFO] [stdout] test sort::tests::test_aliases_list ... ok
[INFO] [stdout] test sort::tests::test_datatype_sort_interning ... ok
[INFO] [stdout] test sort::inference::tests::test_infer_comparison ... ok
[INFO] [stdout] test sort::inference::tests::test_infer_ite ... ok
[INFO] [stdout] test sort::tests::test_bitvec_sort ... ok
[INFO] [stdout] test sort::tests::test_declare_parametric_sort ... ok
[INFO] [stdout] test sort::inference::tests::test_infer_int_const ... ok
[INFO] [stdout] test sort::tests::test_instantiate_defined_sort ... ok
[INFO] [stdout] test sort::tests::test_nested_parametric_sort ... ok
[INFO] [stdout] test sort::tests::test_parametric_sort_interning ... ok
[INFO] [stdout] test sort::tests::test_define_parametric_sort ... ok
[INFO] [stdout] test sort::tests::test_instantiate_arity_mismatch ... ok
[INFO] [stdout] test sort::tests::test_recursive_datatype_list ... ok
[INFO] [stdout] test sort::tests::test_instantiate_declared_sort ... ok
[INFO] [stdout] test sort::tests::test_recursive_datatype_tree ... ok
[INFO] [stdout] test sort::tests::test_sort_manager_common_sorts ... ok
[INFO] [stdout] test sort::tests::test_sort_parameter ... ok
[INFO] [stdout] test statistics::tests::test_display ... ok
[INFO] [stdout] test sort::tests::test_resolve_by_name ... ok
[INFO] [stdout] test sort::tests::test_undefine_alias ... ok
[INFO] [stdout] test statistics::tests::test_add_counters ... ok
[INFO] [stdout] test sort::tests::test_simple_datatype ... ok
[INFO] [stdout] test sort::tests::test_sort_alias ... ok
[INFO] [stdout] test sort::tests::test_substitute_sort ... ok
[INFO] [stdout] test statistics::tests::test_performance_metrics ... ok
[INFO] [stdout] test statistics::tests::test_empty_statistics ... ok
[INFO] [stdout] test statistics::tests::test_format_memory ... ok
[INFO] [stdout] test statistics::tests::test_reset ... ok
[INFO] [stdout] test statistics::tests::test_increment_counters ... ok
[INFO] [stdout] test statistics::tests::test_memory_tracking ... ok
[INFO] [stdout] test statistics::tests::test_time_tracking ... ok
[INFO] [stdout] test tactic::arith::arith_bounds::tests::test_add_bound ... ok
[INFO] [stdout] test tactic::arith::arith_bounds::tests::test_bound_consistency ... ok
[INFO] [stdout] test tactic::arith::arith_bounds::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::arith::card2bv::tests::test_binary_strategy ... ok
[INFO] [stdout] test tactic::arith::arith_bounds::tests::test_bound_inconsistency ... ok
[INFO] [stdout] test tactic::arith::arith_bounds::tests::test_bound_intersect ... ok
[INFO] [stdout] test tactic::arith::card2bv::tests::test_encode_at_least ... ok
[INFO] [stdout] test tactic::arith::card2bv::tests::test_encode_at_most ... ok
[INFO] [stdout] test tactic::arith::card2bv::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::arith::card2bv::tests::test_encode_exactly ... ok
[INFO] [stdout] test tactic::arith::card2bv::tests::test_fresh_bv_var ... ok
[INFO] [stdout] test tactic::arith::card2bv::tests::test_trivial_encoding ... ok
[INFO] [stdout] test tactic::arith::factor::tests::test_gcd_coefficients ... ok
[INFO] [stdout] test tactic::arith::factor::tests::test_monomial_degree ... ok
[INFO] [stdout] test tactic::arith::card2bv::tests::test_unary_strategy ... ok
[INFO] [stdout] test tactic::arith::factor::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::arith::fm_advanced::tests::test_apply ... ok
[INFO] [stdout] test tactic::arith::factor::tests::test_polynomial_constant ... ok
[INFO] [stdout] test tactic::arith::fm_advanced::tests::test_constraint_system ... ok
[INFO] [stdout] test tactic::arith::fm_advanced::tests::test_normalize_gcd ... ok
[INFO] [stdout] test tactic::arith::fm_advanced::tests::test_eliminate_variable ... ok
[INFO] [stdout] test tactic::arith::fm_advanced::tests::test_partition_constraints ... ok
[INFO] [stdout] test tactic::arith::fm_advanced::tests::test_inequality_contradictory ... ok
[INFO] [stdout] test tactic::arith::fm_advanced::tests::test_inequality_trivial ... ok
[INFO] [stdout] test tactic::arith::fm_advanced::tests::test_remove_subsumed ... ok
[INFO] [stdout] test tactic::arith::fm_advanced::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::arith::propagate_ineqs::tests::test_add_bound ... ok
[INFO] [stdout] test tactic::arith::propagate_ineqs::tests::test_conflict_detection ... ok
[INFO] [stdout] test tactic::arith::propagate_ineqs::tests::test_consistency_check ... ok
[INFO] [stdout] test tactic::arith::propagate_ineqs::tests::test_stats ... ok
[INFO] [stdout] test tactic::arith::propagate_ineqs::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::array::array_bounds::tests::test_config_default ... ok
[INFO] [stdout] test tactic::array::array_bounds::tests::test_index_bound_intersection ... ok
[INFO] [stdout] test tactic::array::array_bounds::tests::test_contradictory_bounds ... ok
[INFO] [stdout] test tactic::array::array_bounds::tests::test_stats ... ok
[INFO] [stdout] test tactic::array::array_bounds::tests::test_tighter_bounds ... ok
[INFO] [stdout] test tactic::array::array_bounds::tests::test_index_bound_creation ... ok
[INFO] [stdout] test tactic::array::array_bounds::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::array::select_store_elim::tests::test_stats ... ok
[INFO] [stdout] test tactic::array::select_store_elim::tests::test_store_chain_analysis ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_constant_folding_add ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_is_power_of_two ... ok
[INFO] [stdout] test tactic::array::select_store_elim::tests::test_select_store_elim_tactic ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_shl_zero ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_mask_generation ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_simplify_and_identity ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_simplify_mul_with_one ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_simplify_mul_with_zero ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_simplify_add_with_zero ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_simplify_xor_self ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_strength_reduction_mul ... ok
[INFO] [stdout] test tactic::bv::bv1_blast::tests::test_blast_add ... ok
[INFO] [stdout] test tactic::bv::bv1_blast::tests::test_blast_constant ... ok
[INFO] [stdout] test tactic::bv::bv1_blast::tests::test_blast_extract ... ok
[INFO] [stdout] test tactic::bv::bv1_blast::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::bv::bv1_blast::tests::test_blast_shl ... ok
[INFO] [stdout] test tactic::bv::bv1_blast::tests::test_fresh_var ... ok
[INFO] [stdout] test tactic::bv::advanced_rewriter::tests::test_rewriter_creation ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_detect_conflicts ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_interval_add ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_interval_creation ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_interval_intersect ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_interval_point ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_propagate ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_interval_contains ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_interval_full ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_interval_intersect_empty ... ok
[INFO] [stdout] test tactic::bv::bv_bounds::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::bv::bv_rewriter::tests::test_clear_cache ... ok
[INFO] [stdout] test tactic::bv::bv_rewriter::tests::test_config_default ... ok
[INFO] [stdout] test tactic::bv::bvarray2uf::tests::test_config_defaults ... ok
[INFO] [stdout] test tactic::bv::bv_rewriter::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::bv::bvarray2uf::tests::test_get_or_create_uf ... ok
[INFO] [stdout] test tactic::bv::bv_rewriter::tests::test_stats ... ok
[INFO] [stdout] test tactic::bv::bvarray2uf::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::bv::bvarray2uf::tests::test_reset ... ok
[INFO] [stdout] test tactic::bv::dt2bv::tests::test_encode_constructor ... ok
[INFO] [stdout] test tactic::bv::dt2bv::tests::test_encoding_width ... ok
[INFO] [stdout] test tactic::bv::dt2bv::tests::test_reset ... ok
[INFO] [stdout] test tactic::bv::dt2bv::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::core::ctx_simplify::tests::test_context_operations ... ok
[INFO] [stdout] test tactic::core::ctx_simplify::tests::test_stats ... ok
[INFO] [stdout] test tactic::core::ctx_simplify::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::core::ctx_simplify::tests::test_clear_context ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_add_equality ... ok
[INFO] [stdout] test tactic::core::ctx_simplify::tests::test_add_bound ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_add_fact ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_cached_simplifier ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_conjunction_simplification ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_cache_invalidation ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_disjunction_simplification ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_equality_substitution ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_max_iterations ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_reset ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_update_from_solver_state ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_transitive_substitution ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_simplifier_creation ... ok
[INFO] [stdout] test tactic::core::elim_unconstrained::tests::test_find_unconstrained ... ok
[INFO] [stdout] test tactic::core::elim_unconstrained::tests::test_tactic_creation ... ok
[INFO] [stdout] test tactic::core::split_clause::tests::test_config_disable_splitting ... ok
[INFO] [stdout] test tactic::core::split_clause::tests::test_binary_split ... ok
[INFO] [stdout] test tactic::core::elim_unconstrained::tests::test_stats ... ok
[INFO] [stdout] test tactic::core::split_clause::tests::test_creation ... ok
[INFO] [stdout] test tactic::core::ctx_solver_simplify::tests::test_fact_propagation ... ok
[INFO] [stdout] test tactic::core::split_clause::tests::test_split_large_clause ... ok
[INFO] [stdout] test tactic::core::split_clause::tests::test_split_small_clause ... ok
[INFO] [stdout] test tactic::core::split_clause::tests::test_fresh_var ... ok
[INFO] [stdout] test tactic::lia2card::tests::test_cardinality_constraint_types ... ok
[INFO] [stdout] test tactic::lia2card::tests::test_lia2card_extract_sum ... ok
[INFO] [stdout] test tactic::lia2card::tests::test_lia2card_not_applicable ... ok
[INFO] [stdout] test tactic::lia2card::tests::test_lia2card_identify_zero_one_vars ... ok
[INFO] [stdout] test tactic::lia2card::tests::test_stateless_wrapper ... ok
[INFO] [stdout] test tactic::mbp::tests::test_mbp_config_default ... ok
[INFO] [stdout] test tactic::mbp::tests::test_mbp_result ... ok
[INFO] [stdout] test tactic::mbp::tests::test_mbp_engine_extract_literals ... ok
[INFO] [stdout] test tactic::mbp::tests::test_mbp_tactic_no_quantifier ... ok
[INFO] [stdout] test tactic::mbp::tests::test_mbp_engine_mentions_var ... ok
[INFO] [stdout] test tactic::mbp::tests::test_model_basic ... ok
[INFO] [stdout] test tactic::nla2bv::tests::test_nla2bv_extract_bounds ... ok
[INFO] [stdout] test tactic::nla2bv::tests::test_nla2bv_tactic_not_applicable ... ok
[INFO] [stdout] test statistics::tests::test_timer_stop ... ok
[INFO] [stdout] test statistics::tests::test_timer ... ok
[INFO] [stdout] test tactic::lia2card::tests::test_lia2card_encode_amo_pairwise ... ok
[INFO] [stdout] test tactic::nla2bv::tests::test_nla2bv_config_default ... ok
[INFO] [stdout] test tactic::lia2card::tests::test_lia2card_config_default ... ok
[INFO] [stdout] test tactic::nla2bv::tests::test_nla2bv_with_bounds ... ok
[INFO] [stdout] test tactic::probe::tests::test_and_probe ... ok
[INFO] [stdout] test tactic::nla2bv::tests::test_stateless_wrapper ... ok
[INFO] [stdout] test tactic::nla2bv::tests::test_var_bounds_basic ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_contains_quantifier ... ok
[INFO] [stdout] test tactic::probe::tests::test_is_linear_probe ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_der_config_default ... ok
[INFO] [stdout] test tactic::probe::tests::test_has_quantifier_probe ... ok
[INFO] [stdout] test tactic::nla2bv::tests::test_var_bounds_negative ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_der_forall_with_equality_in_or ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_der_multiple_bound_vars ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_der_symmetric_equality ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_der_var_occurs_in_substitute_fails ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_der_not_applicable_no_equality ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_ground_term_collector ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_pattern_matching_simple ... ok
[INFO] [stdout] test tactic::tests::test_ackermannize_nested_functions ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_stateless_der_tactic ... ok
[INFO] [stdout] test tactic::tests::test_ackermannize_not_applicable ... ok
[INFO] [stdout] test tactic::tests::test_ackermannize_single_function ... ok
[INFO] [stdout] test tactic::tests::test_bit_blast_not_applicable ... ok
[INFO] [stdout] test tactic::tests::test_bit_blast_with_bv_constant ... ok
[INFO] [stdout] test tactic::tests::test_ackermannize_two_applications ... ok
[INFO] [stdout] test tactic::tests::test_bit_blast_with_bv_operation ... ok
[INFO] [stdout] test tactic::tests::test_bit_blast_mixed_goal ... ok
[INFO] [stdout] test tactic::tests::test_ctx_solver_simplify_multiple_equalities ... ok
[INFO] [stdout] test tactic::tests::test_ctx_solver_simplify_propagate ... ok
[INFO] [stdout] test tactic::tests::test_ctx_solver_simplify_not_applicable ... ok
[INFO] [stdout] test tactic::tests::test_ctx_solver_simplify_unsat ... ok
[INFO] [stdout] test tactic::tests::test_ctx_solver_simplify_single_assertion ... ok
[INFO] [stdout] test tactic::tests::test_eliminate_unconstrained_not_applicable ... ok
[INFO] [stdout] test tactic::tests::test_eliminate_unconstrained_basic ... ok
[INFO] [stdout] test tactic::tests::test_empty_goal ... ok
[INFO] [stdout] test tactic::tests::test_eliminate_unconstrained_circular_dependency ... ok
[INFO] [stdout] test tactic::probe::tests::test_size_probe ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_der_exists_with_equality_in_and ... ok
[INFO] [stdout] test tactic::tests::test_fm_coefficient_scaling ... ok
[INFO] [stdout] test tactic::quantifier::tests::test_skolemization_tactic ... ok
[INFO] [stdout] test tactic::tests::test_eliminate_unconstrained_or ... ok
[INFO] [stdout] test tactic::tests::test_fm_simple_inequality ... ok
[INFO] [stdout] test tactic::tests::test_pb2bv_not_applicable ... ok
[INFO] [stdout] test tactic::tests::test_fm_bounded_variable ... ok
[INFO] [stdout] test tactic::tests::test_fm_two_variables ... ok
[INFO] [stdout] test tactic::tests::test_fm_unsat_bounds ... ok
[INFO] [stdout] test tactic::tests::test_propagate_values_basic ... ok
[INFO] [stdout] test tactic::tests::test_propagate_values_partial ... ok
[INFO] [stdout] test tactic::tests::test_propagate_values_chained ... ok
[INFO] [stdout] test tactic::tests::test_fm_not_applicable_non_linear ... ok
[INFO] [stdout] test tactic::tests::test_propagate_values_not_applicable ... ok
[INFO] [stdout] test tactic::tests::test_propagate_values_unsat ... ok
[INFO] [stdout] test tactic::tests::test_scriptable_tactic_basic ... ok
[INFO] [stdout] test tactic::tests::test_scriptable_tactic_modify_assertions ... ok
[INFO] [stdout] test tactic::tests::test_simplify_constant_folding ... ok
[INFO] [stdout] test tactic::tests::test_simplify_mul_by_zero ... ok
[INFO] [stdout] test tactic::tests::test_simplify_tactic ... ok
[INFO] [stdout] test tactic::tests::test_simplify_tactic_unsat ... ok
[INFO] [stdout] test tactic::tests::test_simplify_tactic_with_manager ... ok
[INFO] [stdout] test tactic::tests::test_solve_eqs_chain ... ok
[INFO] [stdout] test tactic::tests::test_solve_eqs_cyclic ... ok
[INFO] [stdout] test tactic::tests::test_solve_eqs_not_applicable ... ok
[INFO] [stdout] test tactic::tests::test_solve_eqs_sat ... ok
[INFO] [stdout] test tactic::tests::test_solve_eqs_simple ... ok
[INFO] [stdout] test tactic::tests::test_solve_eqs_unsat ... ok
[INFO] [stdout] test tactic::tests::test_solve_eqs_with_constraints ... ok
[INFO] [stdout] test tactic::tests::test_split_prefers_variables ... ok
[INFO] [stdout] test tactic::tests::test_split_tactic_not_applicable ... ok
[INFO] [stdout] test tactic::tests::test_scriptable_tactic_return_unknown ... ok
[INFO] [stdout] test tactic::tests::test_scriptable_tactic_return_sat ... ok
[INFO] [stdout] test tactic::tests::test_scriptable_tactic_compilation_error ... ok
[INFO] [stdout] test tactic::tests::test_scriptable_tactic_return_unsat ... ok
[INFO] [stdout] test tactic::tests::test_split_tactic_simple ... ok
[INFO] [stdout] test tactic::tests::test_split_tactic_with_constraint ... ok
[INFO] [stdout] test tactic::tests::test_stateless_ackermannize ... ok
[INFO] [stdout] test tactic::tests::test_stateless_bit_blast ... ok
[INFO] [stdout] test tactic::tests::test_scriptable_tactic_complex_logic ... ok
[INFO] [stdout] test tactic::tests::test_stateless_eliminate_unconstrained ... ok
[INFO] [stdout] test tactic::tests::test_stateless_fm ... ok
[INFO] [stdout] test tactic::tests::test_stateless_pb2bv ... ok
[INFO] [stdout] test tactic::tests::test_stateless_solve_eqs ... ok
[INFO] [stdout] test tactic::tests::test_stateless_split ... ok
[INFO] [stdout] test theories::array::tests::test_axiom_to_term_read_over_write ... ok
[INFO] [stdout] test tactic::tests::test_stateless_ctx_solver_simplify ... ok
[INFO] [stdout] test theories::array::tests::test_empty_theory ... ok
[INFO] [stdout] test theories::array::tests::test_propagate_clears_pending ... ok
[INFO] [stdout] test theories::array::tests::test_read_over_write_axiom ... ok
[INFO] [stdout] test theories::array::tests::test_no_duplicate_axioms ... ok
[INFO] [stdout] test resource::tests::test_time_limit ... ok
[INFO] [stdout] test tactic::tests::test_timeout_from_box ... ok
[INFO] [stdout] test theories::array::tests::test_register_select ... ok
[INFO] [stdout] test tactic::tests::test_scriptable_tactic_access_assertions ... ok
[INFO] [stdout] test theories::array::tests::test_register_store ... ok
[INFO] [stdout] test theories::array::tests::test_statistics ... ok
[INFO] [stdout] test theories::array::tests::test_reset ... ok
[INFO] [stdout] test theories::bitvector::tests::test_add_identity_axiom ... ok
[INFO] [stdout] test theories::bitvector::tests::test_and_operation ... ok
[INFO] [stdout] test theories::bitvector::tests::test_empty_theory ... ok
[INFO] [stdout] test theories::bitvector::tests::test_propagate ... ok
[INFO] [stdout] test theories::bitvector::tests::test_mul_zero_axiom ... ok
[INFO] [stdout] test theories::bitvector::tests::test_register_bitvector ... ok
[INFO] [stdout] test theories::bitvector::tests::test_no_duplicate_axioms ... ok
[INFO] [stdout] test tactic::tests::test_timeout_tactic_completes ... ok
[INFO] [stdout] test theories::bitvector::tests::test_reset ... ok
[INFO] [stdout] test theories::combination::tests::test_add_equality ... ok
[INFO] [stdout] test theories::bitvector::tests::test_statistics ... ok
[INFO] [stdout] test theories::combination::tests::test_classify_boolean_term ... ok
[INFO] [stdout] test theories::combination::tests::test_classify_array_term ... ok
[INFO] [stdout] test theories::combination::tests::test_empty_nelson_oppen ... ok
[INFO] [stdout] test theories::combination::tests::test_equality_normalization ... ok
[INFO] [stdout] test theories::combination::tests::test_reset ... ok
[INFO] [stdout] test theories::combination::tests::test_register_var ... ok
[INFO] [stdout] test theories::combination::tests::test_shared_variable_detection ... ok
[INFO] [stdout] test theories::combination::tests::test_classify_variable ... ok
[INFO] [stdout] test theories::combination::tests::test_statistics ... ok
[INFO] [stdout] test theories::combination::tests::test_theory_combiner_creation ... ok
[INFO] [stdout] test theories::combination::tests::test_classify_arithmetic_term ... ok
[INFO] [stdout] test theories::datatype::tests::test_empty_theory ... ok
[INFO] [stdout] test theories::datatype::tests::test_register_constructor ... ok
[INFO] [stdout] test theories::datatype::tests::test_register_datatype ... ok
[INFO] [stdout] test theories::datatype::tests::test_register_selector ... ok
[INFO] [stdout] test theories::datatype::tests::test_reset ... ok
[INFO] [stdout] test theories::datatype::tests::test_selector_axiom_generation ... ok
[INFO] [stdout] test theories::datatype::tests::test_statistics ... ok
[INFO] [stdout] test theories::datatype::tests::test_register_tester ... ok
[INFO] [stdout] test theories::floatingpoint::tests::test_axiom_to_term ... ok
[INFO] [stdout] test theories::datatype::tests::test_propagate ... ok
[INFO] [stdout] test theories::floatingpoint::tests::test_no_duplicate_axioms ... ok
[INFO] [stdout] test theories::floatingpoint::tests::test_add_term_registration ... ok
[INFO] [stdout] test theories::datatype::tests::test_no_duplicate_axioms ... ok
[INFO] [stdout] test theories::floatingpoint::tests::test_propagate ... ok
[INFO] [stdout] test theories::floatingpoint::tests::test_statistics ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_by_conclusion ... ok
[INFO] [stdout] test theories::floatingpoint::tests::test_reset ... ok
[INFO] [stdout] test theories::floatingpoint::tests::test_register_float ... ok
[INFO] [stdout] test theories::floatingpoint::tests::test_rounding_modes ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_by_hypothesis ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_by_theory ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_clear ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_empty_cache ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_insert_and_lookup ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_statistics ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_duplicate_insert ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_eviction ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_lemma_properties ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_minimize ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_subsumes ... ok
[INFO] [stdout] test theories::lemma_cache::tests::test_unit_lemmas ... ok
[INFO] [stdout] test theories::string::tests::test_empty_theory ... ok
[INFO] [stdout] test theories::string::tests::test_no_duplicate_axioms ... ok
[INFO] [stdout] test theories::string::tests::test_length_axiom ... ok
[INFO] [stdout] test theories::string::tests::test_reset ... ok
[INFO] [stdout] test theories::string::tests::test_propagate ... ok
[INFO] [stdout] test theories::string::tests::test_register_concat ... ok
[INFO] [stdout] test theories::string::tests::test_register_constant ... ok
[INFO] [stdout] test theories::string::tests::test_register_string ... ok
[INFO] [stdout] test theories::string::tests::test_statistics ... ok
[INFO] [stdout] test traits::propagator::tests::test_notify_and_propagate ... ok
[INFO] [stdout] test traits::propagator::tests::test_propagation_result ... ok
[INFO] [stdout] test traits::propagator::tests::test_propagator_manager ... ok
[INFO] [stdout] test traits::rewriter::tests::test_config_defaults ... ok
[INFO] [stdout] test traits::rewriter::tests::test_rewrite_result ... ok
[INFO] [stdout] test traits::propagator::tests::test_priority_ordering ... ok
[INFO] [stdout] test traits::tactic::tests::test_fallback_combinator ... ok
[INFO] [stdout] test traits::rewriter::tests::test_sequential_rewriter ... ok
[INFO] [stdout] test traits::rewriter::tests::test_rewrite_stats ... ok
[INFO] [stdout] test traits::tactic::tests::test_tactic_result ... ok
[INFO] [stdout] test traits::tactic::tests::test_tactic_stats ... ok
[INFO] [stdout] test traits::tactic::tests::test_goal_creation ... ok
[INFO] [stdout] test traits::tactic::tests::test_goal_with_assumptions ... ok
[INFO] [stdout] test traits::theory::tests::test_theory_model ... ok
[INFO] [stdout] test traits::tactic::tests::test_sequential_combinator ... ok
[INFO] [stdout] test traits::theory::tests::test_propagation_result ... ok
[INFO] [stdout] test unsat_core::tests::test_builder ... ok
[INFO] [stdout] test unsat_core::tests::test_builder_default ... ok
[INFO] [stdout] test unsat_core::tests::test_contains_name ... ok
[INFO] [stdout] test traits::theory::tests::test_theory_trait ... ok
[INFO] [stdout] test unsat_core::tests::test_create_core ... ok
[INFO] [stdout] test unsat_core::tests::test_add ... ok
[INFO] [stdout] test unsat_core::tests::test_contains_term ... ok
[INFO] [stdout] test unsat_core::tests::test_display ... ok
[INFO] [stdout] test unsat_core::tests::test_minimize ... ok
[INFO] [stdout] test unsat_core::tests::test_strategy ... ok
[INFO] [stdout] test unsat_core::tests::test_empty_core ... ok
[INFO] [stdout] test unsat_core::tests::test_names ... ok
[INFO] [stdout] test unsat_core::tests::test_term_ids ... ok
[INFO] [stdout] test theories::floatingpoint::tests::test_empty_theory ... ok
[INFO] [stdout] test tactic::tests::test_timeout_tactic_exceeds ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1079 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/property_based.rs (/opt/rustwide/target/debug/deps/property_based-f3747dcd91a287a0)
[INFO] [stderr]    Doc-tests oxiz_core
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test src/ast/manager.rs - ast::manager::TermManager::mk_forall_with_patterns (line 907) ... ignored
[INFO] [stdout] test src/ematching/mod.rs - ematching (line 26) ... ignored
[INFO] [stdout] test src/model/mod.rs - model (line 14) ... ignored
[INFO] [stdout] test src/qe/mod.rs - qe (line 10) ... ignored
[INFO] [stdout] test src/rewrite/combined.rs - rewrite::combined (line 20) ... ignored
[INFO] [stdout] test src/lib.rs - (line 49) ... ok
[INFO] [stdout] test src/rewrite/mod.rs - rewrite (line 18) ... ignored
[INFO] [stdout] test src/lib.rs - (line 33) ... ok
[INFO] [stdout] test src/rewrite/nla.rs - rewrite::nla (line 13) ... ignored
[INFO] [stdout] test src/rewrite/regex.rs - rewrite::regex (line 14) ... ignored
[INFO] [stdout] test src/rewrite/uf.rs - rewrite::uf (line 12) ... ignored
[INFO] [stdout] test src/sort/mod.rs - sort::SortManager::declare_datatype (line 685) ... ignored
[INFO] [stdout] test src/sort/mod.rs - sort::SortManager::declare_parametric_sort (line 427) ... ignored
[INFO] [stdout] test src/sort/mod.rs - sort::SortManager::define_alias (line 359) ... ignored
[INFO] [stdout] test src/sort/mod.rs - sort::SortManager::define_parametric_sort (line 461) ... ignored
[INFO] [stdout] test src/lib.rs - (line 14) ... ok
[INFO] [stdout] test src/sort/mod.rs - sort::SortManager::instantiate_parametric_sort (line 504) ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 14 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 1.23s; merged doctests compilation took 1.18s
[INFO] running `Command { std: "docker" "inspect" "0e417fd2807ad12d83dc7177cb6df7f1a991b238f7a87d56d05bf2d137f23071", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e417fd2807ad12d83dc7177cb6df7f1a991b238f7a87d56d05bf2d137f23071", kill_on_drop: false }`
[INFO] [stdout] 0e417fd2807ad12d83dc7177cb6df7f1a991b238f7a87d56d05bf2d137f23071