[INFO] fetching crate oxilean-kernel 0.1.3...
[INFO] testing oxilean-kernel-0.1.3 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate oxilean-kernel 0.1.3 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate oxilean-kernel 0.1.3
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxilean-kernel 0.1.3
[INFO] tweaked toml for crates.io crate oxilean-kernel 0.1.3 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxilean-kernel 0.1.3 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxilean-kernel 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" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e
[INFO] running `Command { std: "docker" "start" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling oxilean-kernel v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 26.32s
[INFO] running `Command { std: "docker" "inspect" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling zerocopy v0.8.54
[INFO] [stderr]    Compiling crossbeam-utils v0.8.22
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.20
[INFO] [stderr]    Compiling crossbeam-deque v0.8.7
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling cc v1.2.67
[INFO] [stderr]    Compiling either v1.16.0
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling regex-automata v0.4.16
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling clap_builder v4.6.2
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.5
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling num-bigint v0.4.8
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling clap v4.6.2
[INFO] [stderr]    Compiling zerocopy-derive v0.8.54
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling oxilean-kernel v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 52s
[INFO] running `Command { std: "docker" "inspect" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/oxilean-kernel/a0a5d8c6d7a90cd3/out/oxilean_kernel-a0a5d8c6d7a90cd3)
[INFO] [stdout] 
[INFO] [stdout] running 3286 tests
[INFO] [stdout] test abstract_interp::functions::tests::test_depth_domain_increase ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_abstract_state_join ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_interpreter_analyze_depth ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_cmp::test_abstract_eq ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_size_domain_add ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_fixed_point_convergence ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_sign_domain_leq ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_sign_negate ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_cmp::test_abstract_lt ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_div::test_abstract_div_basic ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_div::test_abstract_div_by_zero ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended2::test_abstract_trace ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended2::test_alarm_collector ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended2::test_chaotic_iterator ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended2::test_chaotic_iterator_limit ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_sign_domain_join ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended2::test_congruence_domain_join ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended2::test_congruence_domain_satisfies ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended2::test_powerset_domain ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended2::test_powerset_join_meet ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended4::test_summary_database ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended3::test_call_graph ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_fixpoint_detection ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended3::test_cost_bound ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended4::test_transfer_function_apply ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended3::test_reachability_analysis ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_interval_basics ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended5::test_trilean_and_or_not ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended3::test_termination_evidence ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended5::test_trilean_join ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended4::test_function_summary ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended4::test_transfer_function_constrain ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended5::test_analysis_config ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended5::test_block_reachability ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_fixpoint_engine ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_interval_arithmetic ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_interval_env ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_interval_join_meet ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_nullness_domain ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_parity_domain_arithmetic ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_parity_domain_join ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_widen_env ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_interp_entry::test_interpretation_summary ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_narrow_env ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_interp_entry::test_simple_abstract_interpreter ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_all_alpha_equiv_single ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_product::test_interval_parity_add ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_product::test_interval_parity_product_basics ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_find_non_equiv_pair ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_cache_basic ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_cache_clear ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_cache_non_equiv ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_alpha_equiv_under_subst_same ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_alpha_subst_no_occurrence ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_alpha_subst_simple ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_apply_fvar_subst ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_equiv_mod_levels ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_bvar0_free_false ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_all_alpha_equiv_different ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_product::test_analysis_results ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_all_alpha_equiv_empty ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_bvar0_free_true ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_all_alpha_equiv_same ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_hash_same_expr ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_hash_lit ... ok
[INFO] [stdout] test alpha::functions::rename_tests::test_rename_bvar_basic ... ok
[INFO] [stdout] test alpha::functions::rename_tests::test_rename_bvar_in_app ... ok
[INFO] [stdout] test alpha::functions::rename_tests::test_swap_bvars ... ok
[INFO] [stdout] test alpha::functions::rename_tests::test_swap_same_idx_noop ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_lift_basic ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_fvar_occurs_false ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_fvar_occurs_true ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_shift_preserves_const ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_hash_alpha_equiv ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_free_fvars_collects_all ... ok
[INFO] [stdout] test alpha::functions::rename_tests::test_rename_bvar_no_match ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_find_non_equiv_pair_all_equiv ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_class_rep ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_app ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_bvar ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_const ... ok
[INFO] [stdout] test alpha::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_shift_bvar_above_cutoff ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_lambda ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_shift_bvar_below_cutoff ... ok
[INFO] [stdout] test alpha::functions::tests::test_canonicalize ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_shift_in_lam ... ok
[INFO] [stdout] test alpha::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_lower_basic ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_structurally_equal ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_count_bvar0_in_app ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test alpha::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test alpha::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test alpha::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_sort ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_arena_index_operator ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_arena_map_remove ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_arena_map ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_slab_live_iter ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_alloc_and_get ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_alloc_many ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_stats ... ok
[INFO] [stdout] test arena::functions::tests::test_bump_arena ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_iter_indexed ... ok
[INFO] [stdout] test arena::functions::tests::test_idx_range ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_pool ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_double_arena ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_stats_utilisation ... ok
[INFO] [stdout] test arena::functions::tests::test_idx_cast ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_scoped_arena_multiple_checkpoints ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_interning_arena_contains ... ok
[INFO] [stdout] test arena::functions::tests::test_idx_ordering ... ok
[INFO] [stdout] test arena::functions::tests::test_bump_arena_overflow ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_scoped_arena_rollback ... ok
[INFO] [stdout] test arena::functions::tests::test_bump_arena_reset ... ok
[INFO] [stdout] test arena::functions::tests::test_interning_arena ... ok
[INFO] [stdout] test arena::functions::tests::test_idx_equality ... ok
[INFO] [stdout] test arena::functions::tests::test_slab_arena_alloc_free ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_arena_string ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_linear_arena ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_linear_arena_oom ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_scoped_arena ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_typed_arena ... ok
[INFO] [stdout] test arena::functions::tests_arena_trait::test_arena_allocator_trait ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_annotation_table ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_diag_meta ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_event_counter ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_loop_clock ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_sparse_bit_set ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra2::test_two_generation_arena ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_work_queue ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_arena_checkpoint ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_arena_stats_fragmentation ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_work_stack ... ok
[INFO] [stdout] test arena::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test arena::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test arena::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test arena::functions::tests_memory_region::test_memory_region ... ok
[INFO] [stdout] test arena::functions::tests_memory_region::test_memory_region_registry ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_memo_slot ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_id_dispenser ... ok
[INFO] [stdout] test arena::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_slot ... ok
[INFO] [stdout] test arena::functions::tests_extra_data_structures::test_simple_lru_cache ... ok
[INFO] [stdout] test axiom::functions::axiom_category_tests::test_axioms_in_category_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_category_tests::test_classify_external ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axiom_allowlist_check_env_empty ... ok
[INFO] [stdout] test arena::functions::tests::test_slab_arena_get_free_returns_none ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axiom_allowlist_empty ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_typed_id ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra2::test_growable_arena ... ok
[INFO] [stdout] test axiom::functions::axiom_category_tests::test_axiom_summary_empty ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_chained_arena ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axiom_allowlist_classical ... ok
[INFO] [stdout] test axiom::functions::axiom_category_tests::test_has_axioms_of_category_empty ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_pool_arena ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axiom_profile_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axiom_safety_report_empty ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_timestamp ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_axiom_sequence_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axiom_usage_record ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axioms_match_both_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_classify_axiom_category_user ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_axiom_sequence_remove_classical ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_collect_direct_refs ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_count_definitions_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_direct_axiom_count_zero ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_axiom_sequence_classical ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_axiom_sequence_get ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_axiom_sequence_push ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_classify_axiom_category_classical ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_is_prop_axiom_not_prop ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_is_axiom_free_const ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_validators_compatible_both_empty ... ok
[INFO] [stdout] test axiom::functions::tests::test_axiom_dependencies ... ok
[INFO] [stdout] test axiom::functions::tests::test_check_dependencies ... ok
[INFO] [stdout] test axiom::functions::tests::test_classify_questionable ... ok
[INFO] [stdout] test axiom::functions::tests::test_classify_safe ... ok
[INFO] [stdout] test axiom::functions::tests::test_extract_axioms ... ok
[INFO] [stdout] test axiom::functions::tests::test_extract_axioms_with_entries ... ok
[INFO] [stdout] test axiom::functions::tests::test_register_axiom ... ok
[INFO] [stdout] test axiom::functions::tests::test_is_constructive ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_reachable_axioms_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_axiom_sequence_clear ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_is_prop_axiom_sort_zero ... ok
[INFO] [stdout] test axiom::functions::tests::test_check_dependencies_empty ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test axiom::functions::tests::test_unsafe_axioms ... ok
[INFO] [stdout] test axiom::functions::tests::test_has_unsafe_deps ... ok
[INFO] [stdout] test axiom::functions::tests::test_is_classical ... ok
[INFO] [stdout] test axiom::functions::tests::test_mark_unsafe ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_build_safety_report_empty_env ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_classify_axiom_category_propositional ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_count_bvar0_none ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_count_bvar0_one ... ok
[INFO] [stdout] test axiom::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test axiom::functions::tests::test_validator_create ... ok
[INFO] [stdout] test axiom::functions::tests::test_transitive_deps ... ok
[INFO] [stdout] test axiom::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test axiom::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test axiom::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test axiom::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_harness_new ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_result_creation ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_suite_report ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_timer_start ... ok
[INFO] [stdout] test axiom::functions::tests_tiny_padding::test_bitset64 ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_suite_run ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_timer_elapsed ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_bench_event_log ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_bench_filter ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_cpu_pinner ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_config::test_ci_config ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_sample_buffer ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_suite_new ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_bench_harness_fixed ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_progress_bar ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_bench_matrix ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_scaling_test ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_adaptive_warmup ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_bench_annotation_set ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_bench_summary ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_histogram ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_harness_throughput ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_config::test_default_config ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final::test_bench_plan ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final::test_bench_reporter ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final3::test_confidence_interval ... ok
[INFO] [stdout] test axiom::functions::tests_tiny_padding::test_bucket_counter ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_bench_registry ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final::test_multi_arm_bandit ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final::test_stability_checker ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final3::test_hdr_histogram ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final3::test_ols_regression ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_result::test_bench_result_empty ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_iteration_policy ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_latency_percentile ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_moving_average ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_cold_cache_simulator ... ok
[INFO] [stdout] test bench_support::functions::tests_throughput_unit::test_calc_throughput ... ok
[INFO] [stdout] test bench_support::functions::tests_throughput_unit::test_throughput_unit_label ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_applicative_order_reduces_id ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_equivalent_different ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_regression_test ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_profiler::test_bench_profiler ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final3::test_batch_timer ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final::test_fuzz_input ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_metric::test_metric_set ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final::test_time_slice ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_both_strategies_agree_on_id ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_estimate_reduction_depth_zero ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_count_redexes_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_eta_reduce_simple ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_estimate_reduction_depth_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_has_let_some ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_head_normalize_basic ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_normal_order_no_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_normalize_fueled_uses_fuel ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_compare_timings ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_whnf_const ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_throughput_tracker ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_whnf_simple ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_applicative_order_no_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_has_let_none ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_result::test_bench_result_from_samples ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_mk_identity_reduces_correctly ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_normal_order_reduces_id ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_mk_multi_beta_redex_single ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_reduce_lets_identity ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_equivalent_same_normal_form ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_beta_stats_max_depth ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_beta_stats_tracking ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_collect_app_spine ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_eta_expand_then_apply ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_is_eta_reducible_false ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_is_eta_reducible_true ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_beta_equivalent ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_beta_step_with_flag_no_redex ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_beta_not_equivalent ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_mk_k_combinator ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_reduce_app_spine ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_apply_k ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_beta_step_with_flag_redex ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_has_let_true ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_normal_order_simple ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_reduce_lets_basic ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_eta_reduce_non_eta ... ok
[INFO] [stdout] test beta::functions::tests::test_beta_step_simple ... ok
[INFO] [stdout] test beta::functions::tests::test_is_beta_normal ... ok
[INFO] [stdout] test beta::functions::tests::test_beta_normalize ... ok
[INFO] [stdout] test beta::functions::tests::test_mk_beta_redex ... ok
[INFO] [stdout] test beta::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_has_let_false ... ok
[INFO] [stdout] test beta::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test beta::functions::tests::test_beta_step_no_redex ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_is_whnf_let_is_not ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_is_whnf_sort ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_mk_compose_applies ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_mk_const_fn_ignores_arg ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_applicative_order_simple ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_reduce_lets_nested ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_mk_i_combinator ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_count_reduction_steps ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test bignat::tests::test_add_u64_max_regression ... ok
[INFO] [stdout] test bignat::tests::test_beq_ble ... ok
[INFO] [stdout] test bignat::tests::test_bit_length ... ok
[INFO] [stdout] test bignat::tests::test_bitwise_mixed_widths ... ok
[INFO] [stdout] test bignat::tests::test_bitwise_small ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test bignat::tests::test_debug_format ... ok
[INFO] [stdout] test bignat::tests::test_display_zero_padding_between_chunks ... ok
[INFO] [stdout] test bignat::tests::test_decimal_display_roundtrip ... ok
[INFO] [stdout] test bignat::tests::test_decimal_parse_basics ... ok
[INFO] [stdout] test bignat::tests::test_div_mod_by_zero_lean_semantics ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test bignat::tests::test_div_mod_multi_limb ... ok
[INFO] [stdout] test bignat::tests::test_div_rem_u64 ... ok
[INFO] [stdout] test bignat::tests::test_from_str_trait ... ok
[INFO] [stdout] test bignat::tests::test_from_u128_roundtrip ... ok
[INFO] [stdout] test bignat::tests::test_log2_lean_semantics ... ok
[INFO] [stdout] test bignat::tests::test_mul_commutative_multi_limb ... ok
[INFO] [stdout] test bignat::tests::test_mul_karatsuba_unbalanced ... ok
[INFO] [stdout] test bignat::tests::test_ordering ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test bignat::tests::test_partial_eq_ord_u64 ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test bignat::tests::test_pow_beyond_u64 ... ok
[INFO] [stdout] test bignat::tests::test_hash_eq_coherence ... ok
[INFO] [stdout] test bignat::tests::test_pow_exponent_not_truncated ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test bignat::tests::test_pow_lean_edge_cases ... ok
[INFO] [stdout] test bignat::tests::test_add_carry_chain ... ok
[INFO] [stdout] test bignat::tests::test_mul_karatsuba_threshold_crossings ... ok
[INFO] [stdout] test bignat::tests::test_shl_guard ... ok
[INFO] [stdout] test bignat::tests::test_shr ... ok
[INFO] [stdout] test bignat::tests::test_to_u64_boundaries ... ok
[INFO] [stdout] test bignat::tests::test_zero_one_normalization ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_all_builtin_names_nonempty ... ok
[INFO] [stdout] test bignat::tests::test_div_knuth_add_back_case ... ok
[INFO] [stdout] test bignat::tests::test_mul_overflow_regression ... ok
[INFO] [stdout] test bignat::tests::test_sub_truncated ... ok
[INFO] [stdout] test bignat::tests::test_mul_small ... ok
[INFO] [stdout] test bignat::tests::test_succ_pred ... ok
[INFO] [stdout] test bignat::tests::test_div_mod_small ... ok
[INFO] [stdout] test bignat::tests::test_shl_never_drops_bits ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_kind_description ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_is_logical_connective ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_axiom ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_universe_level ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_is_primitive_value ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_ctor ... ok
[INFO] [stdout] test bignat::tests::test_gcd ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_arith ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_type ... ok
[INFO] [stdout] test bignat::tests::test_to_u32 ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_lean4_name ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_verify_builtins ... ok
[INFO] [stdout] test builtin::functions::tests::test_bool_axioms ... ok
[INFO] [stdout] test builtin::functions::tests::test_bool_inductive ... ok
[INFO] [stdout] test builtin::functions::tests::test_is_builtin ... ok
[INFO] [stdout] test builtin::functions::tests::test_is_nat_op ... ok
[INFO] [stdout] test builtin::functions::tests::test_is_string_op ... ok
[INFO] [stdout] test builtin::functions::tests::test_init_builtin_env ... ok
[INFO] [stdout] test builtin::functions::tests::test_core_axioms_registered ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_ctor_count ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_is_recursive ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_core_builtin_infos ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_is_prop ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_unknown ... ok
[INFO] [stdout] test builtin::functions::tests::test_empty_axioms ... ok
[INFO] [stdout] test builtin::functions::tests::test_decidable_eq ... ok
[INFO] [stdout] test builtin::functions::tests::test_nat_inductive ... ok
[INFO] [stdout] test builtin::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test builtin::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test builtin::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test builtin::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test builtin::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test builtin::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test builtin::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test builtin::functions::tests::test_nat_ops_registered ... ok
[INFO] [stdout] test builtin::functions::tests::test_unit_axioms ... ok
[INFO] [stdout] test builtin::functions::tests::test_string_ops_registered ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_bloom_filter_set_bit_count ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_bloom_filter_insert_might_contain ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_multi_level_cache_hit_rate ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_bloom_filter_clear ... ok
[INFO] [stdout] test builtin::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_bloom_filter_size ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_multi_level_cache_clear_all ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_statistics_overall_hit_rate ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_clear ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_ttl_cache_not_expired_yet ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_multi_level_cache_l1_hit ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_ttl_cache_expiry ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_ttl_cache_custom_ttl ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_ttl_cache_insert_get ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_new ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_manager_statistics ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_store_and_check ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_manager_with_capacities ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_ttl_cache_purge_expired ... ok
[INFO] [stdout] test cache::functions::tests::test_expr_hash_consistency ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_symmetry ... ok
[INFO] [stdout] test cache::functions::tests::test_infer_cache_clear ... ok
[INFO] [stdout] test cache::functions::tests::test_infer_cache_new ... ok
[INFO] [stdout] test cache::functions::tests::test_expr_hash_complex ... ok
[INFO] [stdout] test cache::functions::tests::test_expr_hash_different ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_multi_level_cache_l2_promotion ... ok
[INFO] [stdout] test cache::functions::tests::test_infer_cache_stats ... ok
[INFO] [stdout] test cache::functions::tests::test_infer_cache_store_and_lookup ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_clear ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_contains_key ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_eviction ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_get_nonexistent ... ok
[INFO] [stdout] test cache::functions::tests::test_fnv1a_hash_basic ... ok
[INFO] [stdout] test cache::functions::tests::test_fnv1a_hash_consistency ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_hit_rate ... ok
[INFO] [stdout] test cache::functions::tests::test_fnv1a_hash_different ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_insert_and_get ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_new ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_remove ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_stats ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_update_moves_to_head ... ok
[INFO] [stdout] test cache::functions::tests::test_whnf_cache_clear ... ok
[INFO] [stdout] test cache::functions::tests::test_whnf_cache_new ... ok
[INFO] [stdout] test cache::functions::tests::test_whnf_cache_stats ... ok
[INFO] [stdout] test cache::functions::tests::test_whnf_cache_transparency_mode ... ok
[INFO] [stdout] test cache::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test check::functions::tests::test_batch_check_all_ok ... ok
[INFO] [stdout] test check::functions::tests::test_batch_check_with_error ... ok
[INFO] [stdout] test check::functions::tests::test_check_axiom ... ok
[INFO] [stdout] test check::functions::tests::test_check_config_default ... ok
[INFO] [stdout] test check::functions::tests::test_check_config_lenient ... ok
[INFO] [stdout] test check::functions::tests::test_check_config_strict ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_constructor_valid ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_constructor_wrong_return_type ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_duplicate ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_inductive_empty ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_inductive_simple ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test cache::functions::tests::test_whnf_cache_lookup_store ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test cache::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_recursor_rejects_bogus ... ok
[INFO] [stdout] test check::functions::tests::test_check_declarations_sequence ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_manager_clear_all ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_manager_default ... ok
[INFO] [stdout] test check::functions::tests::test_decl_kind_display ... ok
[INFO] [stdout] test check::functions::tests::test_check_stats_totals ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_multi_level_cache_miss ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_false_result ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_manager_new ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_ttl_cache_clear ... ok
[INFO] [stdout] test check::functions::tests::test_is_valid_decl_name ... ok
[INFO] [stdout] test check::functions::tests::test_env_builder_clean ... ok
[INFO] [stdout] test check::functions::tests::test_summarize_declaration ... ok
[INFO] [stdout] test check::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test check::functions::tests::test_type_mismatch ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test check::functions::tests::test_env_builder_with_error ... ok
[INFO] [stdout] test check::functions::tests::test_temp_env_scope ... ok
[INFO] [stdout] test check::functions::tests::test_format_decl_summary ... ok
[INFO] [stdout] test check::functions::tests::test_well_formed_result_display ... ok
[INFO] [stdout] test check::functions::tests::test_has_unique_univ_params ... ok
[INFO] [stdout] test check::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test check::functions::tests::test_is_structurally_valid_expr ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_quotient_rejects_noncanonical ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_all_hypotheses_trivial_false ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_infos_sequence ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_all_hypotheses_trivial_true ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_compatible_heads ... ok
[INFO] [stdout] test check::functions::tests::test_format_batch_result_all_ok ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_congr_hypothesis_nontrivial ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_axiom ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_congr_hypothesis_trivial ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_egraph_add_equality ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_egraph_clear ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_egraph_add_expr ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_egraph_num_classes ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_egraph_representative ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_enode_add_member ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_enode_singleton ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_is_simple_head ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_generate_congr_hypotheses ... ok
[INFO] [stdout] test check::functions::tests::test_check_definition ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_lemma_cache_insert_get ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_proof_refl ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_proof_trans ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_instrumented_cc_add_equality ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_instrumented_cc_reset ... ok
[INFO] [stdout] test congruence::functions::tests::test_clear ... ok
[INFO] [stdout] test congruence::functions::tests::test_congr_arg_kind_enum ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_flat_cc_find_self ... ok
[INFO] [stdout] test congruence::functions::tests::test_congr_theorem_basic ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_flat_cc_propagate_congruences ... ok
[INFO] [stdout] test congruence::functions::tests::test_congr_theorem_with_fixed ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_flat_cc_add_node ... ok
[INFO] [stdout] test congruence::functions::tests::test_congruence ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_flat_cc_basic ... ok
[INFO] [stdout] test congruence::functions::tests::test_equality_with_proof ... ok
[INFO] [stdout] test congruence::functions::tests::test_find_self ... ok
[INFO] [stdout] test congruence::functions::tests::test_merge ... ok
[INFO] [stdout] test congruence::functions::tests::test_num_classes ... ok
[INFO] [stdout] test congruence::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test congruence::functions::tests::test_transitivity ... ok
[INFO] [stdout] test congruence::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_proof_simplify_double_symm ... ok
[INFO] [stdout] test congruence::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test congruence::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_proof_symm ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_lemma_cache_basic ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_lemma_cache_clear ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_lemma_cache_hit ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_flat_cc_add_app ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_chain_find ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_chain_from_context ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_chain_push_pop ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_diff_compute ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_diff_empty ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_entry_implicit ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_entry_let ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_chain_empty ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_entry_local ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_mk_lambda ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_name_gen_hyp ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_mk_pi ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_stats ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_with_local_cleanup ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_name_gen_fresh ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_name_gen_greek ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_collect_fvars ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_collect_fvars_dedup ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_hyp_context_add_find ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_hyp_context_hyp_type ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_name_gen_mvar ... ok
[INFO] [stdout] test congruence::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_fresh_name_seq_reserve ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_hyp_context_remove_last ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_count_fvar ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_fresh_name_seq ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_fvar_occurs ... ok
[INFO] [stdout] test context::functions::tests::test_abstract_fvar ... ok
[INFO] [stdout] test context::functions::tests::test_binder_info_preserved ... ok
[INFO] [stdout] test context::functions::tests::test_find_local ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_hyp_context_not_found ... ok
[INFO] [stdout] test context::functions::tests::test_find_local_not_found ... ok
[INFO] [stdout] test context::functions::tests::test_get_fvars ... ok
[INFO] [stdout] test context::functions::tests::test_local_with_value ... ok
[INFO] [stdout] test context::functions::tests::test_with_local ... ok
[INFO] [stdout] test context::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test context::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test context::functions::tests::test_save_restore ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test context::functions::tests::test_mk_let_decl ... ok
[INFO] [stdout] test context::functions::tests::test_mk_local_decl ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_scoped_context_depth ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_rename_fvar ... ok
[INFO] [stdout] test context::functions::tests::test_name_generator ... ok
[INFO] [stdout] test context::functions::tests::test_pop_local ... ok
[INFO] [stdout] test context::functions::tests::test_push_local ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_scoped_context_push_pop ... ok
[INFO] [stdout] test context::functions::tests::test_context_create ... ok
[INFO] [stdout] test context::functions::tests::test_clear ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_count_free_vars_one ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_atomic_app ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_count_free_vars_none ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_atomic_lit ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_conv_result_is_definitive ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_conversion_diff_app ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_count_free_vars_dedup ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_same_head_lits ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_coercion_table_empty ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_syntactic_eq ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_check_conversion_equal ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_eta_equal_basic ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_bounded_conversion_equal ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_atomic_const ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_atomic_bvar ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_conversion_diff_same ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_coercion_table_register_and_find ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_conv_result_is_equal ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_conversion_diff_different ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_same_head_sorts ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_alpha_similar_same ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_alpha_similar_app ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_bounded_conversion_not_equal ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_contains_subterm_self ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_convertibility_score_diff_consts ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_same_head_different ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_coercion_priority_order ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_expr_depth_app ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_structural_distance_diff ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_levels_def_eq ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_expr_size_app ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_is_transparency_neutral_const ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_is_beta_normal_app_not_lam ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_expr_size_leaf ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_is_transparency_neutral_lit ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_is_beta_normal_const ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_is_beta_normal_redex ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_structural_distance_nested ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_structural_distance_same ... ok
[INFO] [stdout] test conversion::functions::tests::test_convertible_in_env ... ok
[INFO] [stdout] test conversion::functions::tests::test_convertible_apps ... ok
[INFO] [stdout] test conversion::functions::tests::test_convertible_different_lits ... ok
[INFO] [stdout] test conversion::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test conversion::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test conversion::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test conversion::functions::tests::test_convertible_sorts ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_def_eq_with_mode ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_convertibility_score_same ... ok
[INFO] [stdout] test conversion::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_expr_depth_leaf ... ok
[INFO] [stdout] test conversion::functions::tests::test_transparency_modes ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_contains_subterm_inside_app ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_coercion_table_clear ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test conversion::functions::tests::test_convertible_identical ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test conversion::functions::tests::test_sort_equivalence ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_collect_literals ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_const_name ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_contains_bvar_false ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_contains_bvar_true ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_build_pi_from_binders ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_count_apps_one ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_count_apps_zero ... ok
[INFO] [stdout] test bignat::tests::test_pow_memory_guard_boundary ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_count_sorts_one ... ok
[INFO] [stdout] test conversion::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test conversion::functions::tests_tiny_padding::test_bitset64 ... ok
[INFO] [stdout] test conversion::functions::tests::test_proj_convertible ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_has_projections_false ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_is_eta_reducible_false ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_is_lam ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_is_literal_true ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_max_binder_depth_one ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_is_pi ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_max_binder_depth_zero ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_replace_const ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_replace_const_in_app ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_is_literal_false ... ok
[INFO] [stdout] test conversion::functions::tests_tiny_padding::test_bucket_counter ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_syntactically_equal ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_build_lam_from_binders ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_is_sort ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_strip_lam_binders_one ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_has_metavars_false ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_is_app ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_is_const ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_count_pi_binders ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_is_ground_fvar ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_expr_size_app ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_expr_size_atom ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_has_metavars_true ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_kernel_version_parses ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_mk_prop ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_mk_nat_lit ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_mk_string_lit ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_mk_type0 ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_unfold_app ... ok
[INFO] [stdout] test core_types::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test core_types::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test core_types::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test core_types::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test core_types::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test core_types::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test core_types::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test core_types::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test core_types::functions_2::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_mk_app_spine ... ok
[INFO] [stdout] test core_types::functions_2::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_mk_app_spine_empty ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_is_closed_bvar_0 ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_is_app_of ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_is_closed_const ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_strip_pi_binders_one ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_collect_const_names ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_count_lam_binders ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test deadline::tests::zero_budget_expires_and_latches ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_check_level_params_consistent_fail ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_check_level_params_consistent_ok ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_collect_level_params_in_const ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding3::test_write_once ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding3::test_either2 ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test core_types::functions_2::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test deadline::tests::no_deadline_never_expires ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_display_string_monomorphic ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_collect_level_params_in_sort ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_constant_kind_axiom ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_definition_safety ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_display_string_polymorphic ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_kind_as_str ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_kind_has_body ... ok
[INFO] [stdout] test declaration::functions::tests::test_constant_info_accessors ... ok
[INFO] [stdout] test declaration::functions::tests::test_constructor_val ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_kind_is_inductive_family ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_parent_inductive ... ok
[INFO] [stdout] test declaration::functions::tests::test_definition_val ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_num_level_params ... ok
[INFO] [stdout] test declaration::functions::tests::test_inductive_val ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_summarize ... ok
[INFO] [stdout] test declaration::functions::tests::test_instantiate_level_params ... ok
[INFO] [stdout] test declaration::functions::tests::test_recursor_major_idx ... ok
[INFO] [stdout] test declaration::functions::tests::test_structure_like ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_annotation_table ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_diag_meta ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test declaration::functions::tests::test_instantiate_level_params_const ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_sparse_bit_set ... ok
[INFO] [stdout] test declaration::functions::tests::test_quot_val ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_work_stack ... ok
[INFO] [stdout] test declaration::functions::tests_decl_filter::test_decl_filter ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_work_queue ... ok
[INFO] [stdout] test declaration::functions::tests_decl_filter::test_decl_filter_attr ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_attr ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_dependencies ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_index ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_kind ... ok
[INFO] [stdout] test declaration::functions::tests_extra_data_structures::test_simple_lru_cache ... ok
[INFO] [stdout] test declaration::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test declaration::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test declaration::functions::tests_ring_buffer::test_before_after ... ok
[INFO] [stdout] test declaration::functions::tests_ring_buffer::test_generation ... ok
[INFO] [stdout] test declaration::functions::tests_ring_buffer::test_ring_buffer ... ok
[INFO] [stdout] test declaration::functions::tests_ring_buffer::test_seq_num ... ok
[INFO] [stdout] test declaration::functions::tests_typed_utilities::test_id_dispenser ... ok
[INFO] [stdout] test declaration::functions::tests_typed_utilities::test_memo_slot ... ok
[INFO] [stdout] test declaration::functions::tests_typed_utilities::test_slot ... ok
[INFO] [stdout] test declaration::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test declaration::functions::tests_typed_utilities::test_timestamp ... ok
[INFO] [stdout] test declaration::functions::tests_typed_utilities::test_typed_id ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_event_counter ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_visibility ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_batch_check_all_fail ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_signature ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_loop_clock ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_has_let_binders_false ... ok
[INFO] [stdout] test declaration::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test declaration::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_strip_pi_binders_none ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_batch_check_all ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_batch_checker_basic ... ok
[INFO] [stdout] test core_types::functions::kernel_util_tests::test_is_ground_const ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_batch_count_equal ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_proof_irrelevance_self ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_const ... ok
[INFO] [stdout] test core_types::functions::kernel_extra_tests::test_count_sorts_zero ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_lit ... ok
[INFO] [stdout] test def_eq::functions::tests::test_app_equality ... ok
[INFO] [stdout] test def_eq::functions::tests::test_beta_reduction ... ok
[INFO] [stdout] test def_eq::functions::tests::test_delta_reduction ... ok
[INFO] [stdout] test def_eq::functions::tests::test_lazy_delta ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_def_eq_config_opaque ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_def_eq_config_default ... ok
[INFO] [stdout] test def_eq::functions::tests::test_level_equivalence ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_def_eq_stats_hit_rate ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_is_def_eq_args_different_lengths ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_proof_irrelevance_different_props ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_proof_irrelevance_same_prop ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_app ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test def_eq::functions::tests::test_not_equal ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_def_eq_stats_no_accesses ... ok
[INFO] [stdout] test def_eq::functions::tests::test_pi_equality ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_is_def_eq_args_equal ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_proof_irrelevance_does_not_apply_to_types ... ok
[INFO] [stdout] test def_eq::functions::tests::test_reflexivity ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_batch_check_any ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_proof_irrelevance_disabled ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test def_eq::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_closest_match_empty ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_pi ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test def_eq::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_bvar ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_closest_match_found ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_string_trie_starts_with ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_clear_resets_everything ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_levenshtein_same_string ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_name_index_get ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_evict_lru_explicit ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_string_trie_empty_prefix ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_string_trie_insert_contains ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_insert_same_entry_twice ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_name_index_basic ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_key_distinct_exprs ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_format_name_list_two ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_format_name_list_empty ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_eviction_display ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_key_from_hashes_canonical ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_key_same_expr ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_lru_eviction_capacity_respected ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_new_cache_zero_capacity ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_format_name_list_one ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_miss_on_empty ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_levenshtein_empty ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_new_cache_empty ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_levenshtein_one_edit ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_format_name_list_many ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_name_index_empty ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_size_tracking ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_lfu_eviction ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_with_cache_miss_calls_check ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_stats_display ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_fifo_eviction ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_with_cache_hit_skips_check ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_key_symmetric ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_hit_after_insert ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_contains_any ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_symmetric_hit ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_snapshot_empty ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_snapshot_basic ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_stats_empty ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_stats_display ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_present_names ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_stats_hit_rate ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_builder_duplicate_error ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_with_cache_symmetric_hit ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_constants_with_prefix ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_builder_with_constant ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_stats_zero_queries ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_builder_empty ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_builder_len ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_stats_with_axioms ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_missing_names ... ok
[INFO] [stdout] test def_eq_cache::functions::tests::test_with_cache_stores_result ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_error_display ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_snapshot_diff ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_snapshot_diff_no_change ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_definition_value_retrieval ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_merge_environments_conflict ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_environment_view_axiom_names ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_builder_with_decls ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_kind_counts_total ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_environment_view_counts ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_filter_environment ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_merge_environments_disjoint ... ok
[INFO] [stdout] test env::functions::tests::test_add_and_get ... ok
[INFO] [stdout] test env::functions::tests::test_constant_info_lookup ... ok
[INFO] [stdout] test env::functions::tests::test_instantiate_const_type ... ok
[INFO] [stdout] test env::functions::tests::test_definition_with_value ... ok
[INFO] [stdout] test env::functions::tests::test_duplicate_declaration ... ok
[INFO] [stdout] test env::functions::tests::test_inductive_queries ... ok
[INFO] [stdout] test env::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test env::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test env::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test env::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test env::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test env_index::functions::tests::test_env_index_lookup_missing ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test env_index::functions::tests::test_env_index_stats ... ok
[INFO] [stdout] test env_index::functions::tests::test_is_in_namespace_false ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test env_index::functions::tests::test_env_index_by_namespace ... ok
[INFO] [stdout] test env_index::functions::tests::test_is_in_namespace_prefix_not_subset ... ok
[INFO] [stdout] test env_index::functions::tests::test_env_index_type_idx_arity ... ok
[INFO] [stdout] test env_index::functions::tests::test_env_index_type_idx_sort ... ok
[INFO] [stdout] test env_index::functions::tests::test_env_index_stats_display ... ok
[INFO] [stdout] test env_index::functions::tests::test_env_index_insert_and_lookup ... ok
[INFO] [stdout] test env_index::functions::tests::test_is_in_namespace_top_level ... ok
[INFO] [stdout] test env_index::functions::tests::test_env_index_insert_idempotent ... ok
[INFO] [stdout] test env_index::functions::tests::test_env_index_new_empty ... ok
[INFO] [stdout] test env_index::functions::tests::test_module_index_lookup_missing ... ok
[INFO] [stdout] test env_index::functions::tests::test_is_in_namespace_true ... ok
[INFO] [stdout] test env_index::functions::tests::test_module_index_new_empty ... ok
[INFO] [stdout] test env_index::functions::tests::test_name_index_insert_and_lookup_id ... ok
[INFO] [stdout] test env_index::functions::tests::test_name_index_new_empty ... ok
[INFO] [stdout] test env_index::functions::tests::test_namespace_of_dotted ... ok
[INFO] [stdout] test env_index::functions::tests::test_namespace_of_top_level ... ok
[INFO] [stdout] test env_index::functions::tests::test_namespace_of_empty ... ok
[INFO] [stdout] test env_index::functions::tests::test_namespace_of_nested ... ok
[INFO] [stdout] test env_index::functions::tests::test_module_index_add_and_lookup ... ok
[INFO] [stdout] test env_index::functions::tests::test_type_index_missing_arity ... ok
[INFO] [stdout] test env_index::functions::tests::test_module_index_all_namespaces_sorted ... ok
[INFO] [stdout] test env_index::functions::tests::test_type_index_missing_sort ... ok
[INFO] [stdout] test env_index::functions::tests::test_name_index_insert_idempotent ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_equiv_stats_default ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_equiv_stats_recording ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_scoped_manager_total_equivs ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_instrumented_add_failure ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_compute_representatives_basic ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_instrumented_manager_clear ... ok
[INFO] [stdout] test env_index::functions::tests::test_name_index_lookup_name_out_of_range ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_scoped_manager_basic ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_instrumented_manager ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_equiv_manager_default ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_persistent_equiv_manager_clone ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_scoped_manager_pop_at_root ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_find_classes_all_same ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_find_classes_two_classes ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_index_equiv_manager_basic ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_scoped_manager_reflexive ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_index_equiv_manager_find_self ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_index_equiv_manager_num_classes ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_scoped_manager_push_pop ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_union_find_all_separate ... ok
[INFO] [stdout] test env_index::functions::tests::test_type_index_by_arity ... ok
[INFO] [stdout] test env_index::functions::tests::test_type_index_by_sort ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_equiv_query ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_persistent_manager_basic ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_compute_equiv_classes_all_same ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_transitive_closure_basic ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_transitive_closure_empty ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_persistent_manager_no_dups ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_persistent_manager_reflexive ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_add_and_check_equiv ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_equiv_reflexive ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_persistent_manager_serialize ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_compute_equiv_classes_all_separate ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_compute_equiv_classes_basic ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_clear ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_failure_cache ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_persistent_manager_is_empty ... ok
[INFO] [stdout] test env_index::functions::tests::test_name_index_lookup_id_missing ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_event_counter ... ok
[INFO] [stdout] test env_index::functions::tests::test_name_index_lookup_name ... ok
[INFO] [stdout] test env_index::functions::tests::test_name_index_multiple_entries ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_diag_meta ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_equiv_transitivity ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_extra::test_union_find ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_work_queue ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_proof::test_checked_equiv ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_proof::test_equiv_proof_term ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_sort_equivalence ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_persistent_manager_sorted_output ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_annotation_table ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_sparse_bit_set ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_work_stack ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_many_equivalences ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_extra::test_equiv_manager_stats ... ok
[INFO] [stdout] test equiv_manager::functions::tests_ring_buffer::test_generation ... ok
[INFO] [stdout] test equiv_manager::functions::tests_ring_buffer::test_ring_buffer ... ok
[INFO] [stdout] test equiv_manager::functions::tests_ring_buffer::test_seq_num ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_id_dispenser ... ok
[INFO] [stdout] test equiv_manager::functions::tests_symmetric_relation::test_symmetric_relation ... ok
[INFO] [stdout] test equiv_manager::functions::tests_ring_buffer::test_before_after ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_slot ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test equiv_manager::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_annotated_error_is_fatal ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_typed_id ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_extra::test_equivalence_table ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_extra::test_expr_equiv_cache ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_error_note_at ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_kernel_phase_display ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_phased_error_display ... ok
[INFO] [stdout] test equiv_manager::functions::tests_extra_data_structures::test_simple_lru_cache ... ok
[INFO] [stdout] test error::functions::tests::test_category_assignment ... ok
[INFO] [stdout] test equiv_manager::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test error::functions::tests::test_collect_unknown_constants ... ok
[INFO] [stdout] test equiv_manager::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_memo_slot ... ok
[INFO] [stdout] test error::functions::tests::test_diagnostic_collection_by_severity ... ok
[INFO] [stdout] test error::functions::tests::test_diagnostic_collection_has_errors ... ok
[INFO] [stdout] test error::functions::tests::test_diagnostic_display ... ok
[INFO] [stdout] test error::functions::tests::test_error_accumulator_drain ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_error_note_display_no_location ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_annotated_error_display ... ok
[INFO] [stdout] test error::functions::tests::test_error_accumulator_basic ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_error_note_display_with_location ... ok
[INFO] [stdout] test error::functions::tests::test_count_by_category ... ok
[INFO] [stdout] test error::functions::tests::test_error_context_into_error ... ok
[INFO] [stdout] test error::functions::tests::test_error_accumulator_into_result ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_phased_error_new ... ok
[INFO] [stdout] test error::functions::tests::test_error_context_format ... ok
[INFO] [stdout] test error::functions::tests::test_error_report_display ... ok
[INFO] [stdout] test error::functions::tests::test_fatal_recoverable_split ... ok
[INFO] [stdout] test error::functions::tests::test_kernel_result_ext_context ... ok
[INFO] [stdout] test error::functions::tests::test_recoverability ... ok
[INFO] [stdout] test error::functions::tests::test_severity_ordering ... ok
[INFO] [stdout] test error::functions::tests::test_summarise_error_long ... ok
[INFO] [stdout] test error::functions::tests::test_short_description ... ok
[INFO] [stdout] test error::functions::tests::test_summarise_error_short ... ok
[INFO] [stdout] test error::functions::tests::test_try_kernel_err ... ok
[INFO] [stdout] test error::functions::tests::test_try_kernel_ok ... ok
[INFO] [stdout] test error::functions::tests::test_unbound_variable_display ... ok
[INFO] [stdout] test error::functions::tests::test_with_context_type_mismatch ... ok
[INFO] [stdout] test error::functions::tests::test_unknown_constant_display ... ok
[INFO] [stdout] test error::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test error::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test error::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test error::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test error::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test error::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test error::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test error::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test error::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test error::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_annotated_error_no_notes ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_annotated_error_with_note ... ok
[INFO] [stdout] test error::functions::tests::test_format_error_panel ... ok
[INFO] [stdout] test error::functions::tests::test_type_mismatch_display ... ok
[INFO] [stdout] test error::functions::tests::test_from_string_conversion ... ok
[INFO] [stdout] test error::functions::tests::test_has_universe_errors ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test error::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_arity ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test equiv_manager::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_not_equiv ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_loop_clock ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_lam_to_pi ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_lambda_stats ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_is_closed ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_peel_pis ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_is_simple_app ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_is_beta_redex ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_is_lambda_free ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_is_eta_redex ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_mk_app_spine ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_normal_eq ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_pi_depth ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_node_count ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_rebuild_lam ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_reduce_let ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_apply_bvars ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_rewrite_rule_apply ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_normalize_tracked_already_normal ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_rewrite_with_rules ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_normalize_tracked_contracts_one ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_structural_hash_stable ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_expand_to_already_deep_enough ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_wrap_in_lambdas ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_expr_structure_desc ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_def_eq_eta_variants ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_def_eq_same ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_head_already_contracted ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_info_contracted_fields ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_is_closed_const ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_is_closed_nested ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_outer_lambda_depth_one ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_outer_lambda_depth_zero ... ok
[INFO] [stdout] test eta::functions::tests::test_contains_bvar ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_is_closed_fvar ... ok
[INFO] [stdout] test eta::functions::tests::test_count_bvar ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_outer_lambda_depth_two ... ok
[INFO] [stdout] test eta::functions::tests::test_collect_app_spine ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_beta_reduce_full ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_contract ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_beta_reduce_one ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_timestamp ... ok
[INFO] [stdout] test eta::functions::tests::test_shift_down ... ok
[INFO] [stdout] test eta::functions::tests::test_shift_up ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_rebuild_pi ... ok
[INFO] [stdout] test eta::functions::tests::test_binder_depth ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_checker ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_extra::test_equiv_class ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_is_closed_app_with_fvar ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_outcome ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_reduction_stats ... ok
[INFO] [stdout] test eta::functions::tests_eta_stat_counter::test_eta_stat_counter ... ok
[INFO] [stdout] test eta::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_structure ... ok
[INFO] [stdout] test eta::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_contract_none_identity ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_contract_full_recurses_into_app ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_expand ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_job_queue ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_contract_full_recurses_into_lam_body ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_expand_pi ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_normalize_idempotent ... ok
[INFO] [stdout] test eta::functions::tests::test_is_eta_expandable ... ok
[INFO] [stdout] test eta::functions::tests::test_is_identity_lambda ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_log ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_normal_cache ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_op_counter ... ok
[INFO] [stdout] test eta::functions::tests::test_peel_lambdas ... ok
[INFO] [stdout] test export::functions::extra_tests::test_check_bytes_integrity_bad_magic ... ok
[INFO] [stdout] test export::functions::extra_tests::test_check_module_integrity_empty ... ok
[INFO] [stdout] test export::functions::extra_tests::test_check_module_integrity_ok ... ok
[INFO] [stdout] test export::functions::extra_tests::test_dep_graph_depends_on ... ok
[INFO] [stdout] test export::functions::extra_tests::test_dep_graph_topological_order ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_diff_added ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_diff_empty ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_diff_removed ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_diff_total_changes ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_registry_decls_for_module ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_registry_register ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_registry_register_module ... ok
[INFO] [stdout] test export::functions::tests::test_add_dependency ... ok
[INFO] [stdout] test export::functions::tests::test_add_declaration ... ok
[INFO] [stdout] test export::functions::tests::test_cache_clear ... ok
[INFO] [stdout] test export::functions::tests::test_import_module ... ok
[INFO] [stdout] test export::functions::tests::test_cache_remove ... ok
[INFO] [stdout] test export::functions::tests::test_export_environment ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_complex_expr ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_deserialize_header ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_invalid_magic ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test export::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_name_components ... ok
[INFO] [stdout] test export::functions::extra_tests::test_check_bytes_integrity_ok ... ok
[INFO] [stdout] test export::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test export::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test export::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test export::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test export::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test export::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test export::functions::tests::test_exported_module_create ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test export::functions::tests::test_import_all ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test export::functions::tests::test_module_cache ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_compatible_newer_minor ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_compatible_same ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_display ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_incompatible_different_major ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_ordering ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_parse_invalid ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_parse_ok ... ok
[INFO] [stdout] test export::functions::version_tests::test_module_info_builder ... ok
[INFO] [stdout] test export::functions::version_tests::test_module_info_default_empty ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test export::functions::tests::test_module_metadata ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_deserialize_round_trip ... ok
[INFO] [stdout] test export::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_level_variants ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_roundtrip ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_app_args ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_app_head ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_subst_expr ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_same_head_true ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_constants_collection ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_count_occurrences ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_binder_info_predicates ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_count_bvar_occurrences ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_as_const_name ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_app_arity ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_count_occurrences_not_found ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_and ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_eq ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_lam_many ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_let ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_not ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_or ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_pi_many ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_refl ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_same_head_false ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_binder_info_delimiters ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_ast_depth ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_app_head_args ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_is_atom ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_as_bvar ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_size ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_pi_arity ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_free_vars_empty ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_free_vars_with_fvar ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_literal_predicates ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_fvar_id_gen_fresh ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_mk_app_many ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_prop_type0_type1 ... ok
[INFO] [stdout] test expr::functions::tests::test_expr_display ... ok
[INFO] [stdout] test expr::functions::tests::test_expr_predicates ... ok
[INFO] [stdout] test expr::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test expr::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test expr::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test expr::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test expr::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test expr::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test expr::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test expr::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_dedup_ratio ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_get_by_id ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_get_id_lookup ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_hit_rate_with_duplicates ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_hit_rate_empty ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_intern_different_exprs ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_intern_same_expr_twice ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_pool_add_root ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_pool_live_count ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_cache_session_stats ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_eviction_tracker_capacity ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_eviction_tracker_lru_mru ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_fvar_id_gen_reset ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_mk_arrow ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_path_cache ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_rc_expr_pool_gc ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_two_level_cache ... ok
[INFO] [stdout] test expr_cache::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_versioned_cache ... ok
[INFO] [stdout] test expr_cache::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test expr_cache::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_memo_table_insert_get_remove ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test expr::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_invalidation_set ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_mk_arrows_chain ... ok
[INFO] [stdout] test expr_cache::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test expr::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test expr::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test expr_cache::functions::tests_tiny_padding::test_bucket_counter ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_decompose_let ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_decompose_pi ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_get_bvar_idx ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_get_const_name ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_get_sort_level ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_lambda_pi ... ok
[INFO] [stdout] test expr_cache::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_literal ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_prop ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_sort ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_mk_pi_n_empty ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_mk_lam_n_two ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_simple ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test expr_util::functions::tests::test_collect_fvars ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_mk_pi_n_two ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test expr_cache::functions::tests_tiny_padding::test_bitset64 ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_decompose_lam ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_get_nth_arg ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_fvar_bvar ... ok
[INFO] [stdout] test expr_util::functions::tests::test_count_lambdas_pis ... ok
[INFO] [stdout] test expr_util::functions::tests::test_for_each_expr ... ok
[INFO] [stdout] test expr_util::functions::tests::test_mk_app ... ok
[INFO] [stdout] test expr_util::functions::tests::test_mk_app_range ... ok
[INFO] [stdout] test expr_util::functions::tests::test_mk_arrow ... ok
[INFO] [stdout] test expr_util::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test expr_util::functions::tests::test_get_app_fn_args ... ok
[INFO] [stdout] test expr_util::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test expr_util::functions::tests::test_is_app_of ... ok
[INFO] [stdout] test expr_util::functions::tests::test_get_app_fn ... ok
[INFO] [stdout] test expr_util::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test expr_util::functions::tests::test_get_app_args ... ok
[INFO] [stdout] test expr_util::functions::tests::test_has_loose_bvars ... ok
[INFO] [stdout] test expr_util::functions::tests::test_occurs_const ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test expr_util::functions::tests::test_replace_expr ... ok
[INFO] [stdout] test expr_util::functions::tests::test_expr_weight ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test expr_util::functions::tests::test_has_fvar ... ok
[INFO] [stdout] test expr_util::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test expr_util::functions::tests::test_lift_loose_bvars ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test expr_util::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_ffi_value_try_from_expr_mismatch ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_ffi_value_try_from_expr_nat ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_ffi_value_try_from_expr_str ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_manifest_new ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_version_at_least ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_version_display ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_version_new ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_manifest_not_required ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_symbol_metadata_display ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_symbol_metadata_new ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_symbol_metadata_thread_local ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_symbol_metadata_weak ... ok
[INFO] [stdout] test ffi::functions::tests::test_builtin_externs_arithmetic ... ok
[INFO] [stdout] test ffi::functions::tests::test_builtin_externs_io ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_manifest_require ... ok
[INFO] [stdout] test ffi::functions::tests::test_builtin_externs_register ... ok
[INFO] [stdout] test ffi::functions::tests::test_builtin_externs_string ... ok
[INFO] [stdout] test ffi::functions::tests::test_calling_convention_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_decl_validate_invalid_lib ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_decl_new ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_decl_validate_valid ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_duplicate_symbol ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_lookup_by_symbol ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_lookup ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_new ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_register ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_validate_all ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_signature_validate_safe ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_error_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_signature_validate_unsafe ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_safety_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_type_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_signature_new ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_type_fn_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_type_is_ffi_safe ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_type_ptr_display ... ok
[INFO] [stdout] test ffi::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test ffi::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test ffi::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_type_size_bytes ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_value_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_value_to_expr ... ok
[INFO] [stdout] test ffi::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test ffi::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test ffi::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test ffi::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test fuel::tests::budget_latches_on_exhaustion ... ok
[INFO] [stdout] test fuel::tests::overshoot_saturates ... ok
[INFO] [stdout] test fuel::tests::unlimited_never_exhausts_but_counts ... ok
[INFO] [stdout] test ffi::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_binder_info_distinguishes_lam ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_lookup_not_found ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_cross_variant_no_collision ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_default_is_empty ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_complex_expression_sharing ... ok
[INFO] [stdout] test ffi::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test ffi::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_get_returns_correct_expr ... ok
[INFO] [stdout] test ffi::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_bvar_deduplicates ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_bvar_distinct_indices ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_const_deduplicates ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_const_different_names_distinct ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_fvar_deduplicates ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_is_empty_initially ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_lam_deduplicates ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_let_deduplicates ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_lit_nat_deduplicates ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_lit_str_deduplicates ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_pi_deduplicates ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_app_deduplicates ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_app_different_args_distinct ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_proj_deduplicates ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_const_equals ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_sort_deduplicates ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_fvar_equals ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_stats_hit_miss_tracking ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_mk_sort_distinct_levels ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_stats_dedup_ratio ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_app_equals ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_from_ref ... ok
[INFO] [stdout] test hash_cons::arena::tests::test_with_capacity_works ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_lit_nat_equals ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_ne_different_bvar ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_proj_equals ... ok
[INFO] [stdout] test hash_cons::stats::tests::test_stats_has_dedup_true ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_hash_consistent ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_let_equals ... ok
[INFO] [stdout] test inductive::derive::tests::nat_derivation_shape ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_usable_as_hashmap_key ... ok
[INFO] [stdout] test hash_cons::stats::tests::test_stats_hit_rate_zero_total ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_eq_same_bvar ... ok
[INFO] [stdout] test hash_cons::stats::tests::test_stats_dedup_ratio ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_lam_equals ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_into_inner ... ok
[INFO] [stdout] test hash_cons::stats::tests::test_stats_display_does_not_panic ... ok
[INFO] [stdout] test hash_cons::stats::tests::test_stats_has_dedup_false_when_no_hits ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_pi_equals ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_builder_missing_ty_fails ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_builder_missing_name_fails ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_builder_univ_params ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_is_prop_flag ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_mk_bool_inductive ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_builder_basic ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_constructor_field_counts_bool ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_constructor_field_counts_nat ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_is_nested_flag ... ok
[INFO] [stdout] test inductive::derive::tests::nested_inductive_rejected ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_mk_empty_inductive ... ok
[INFO] [stdout] test inductive::derive::tests::unchecked_matches_checked_for_nat ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_arity ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_mk_nat_inductive ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_mk_unit_inductive ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_positivity_passes_for_nat_succ ... ok
[INFO] [stdout] test hash_cons::stats::tests::test_stats_hit_rate_all_hits ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_error_display ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_recursor_name ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_family_empty ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_error_other ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_family_all_constructor_names ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_family_type_names ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_family_find_type ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_type_info_summary ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_type_info_from_type ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_type_is_recursive ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_family_singleton ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_type_num_constructors ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_builder_build_name ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_builder_chain ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_iota_bool ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_iota_nat_zero ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_builder_validate ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_rhs_bool_true ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_rhs_bool_false ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_rhs_nat_zero ... ok
[INFO] [stdout] test inductive::functions::tests::test_inductive_creation ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_rhs_nat_succ ... ok
[INFO] [stdout] test inductive::functions::tests::test_positivity_check ... ok
[INFO] [stdout] test inductive::functions::tests::test_inductive_env ... ok
[INFO] [stdout] test inductive::functions::tests::test_recursive_detection ... ok
[INFO] [stdout] test inductive::functions::tests::test_to_constant_infos ... ok
[INFO] [stdout] test inductive::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test inductive::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test inductive::functions::tests::test_register_in_env ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_close_term_over_fvars_empty ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_close_type_over_fvars_empty ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_count_pi_binders_none ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_infer_app_chain_no_args ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_infer_stats_default ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_normalize_literal ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_infer_stats_total_ops ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test hash_cons::key::tests::test_expr_key_sort_zero_equals ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_telescope_type_with_pi ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_telescope_type_no_pis ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_count_pi_binders_two ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_try_check_wrong ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_try_check_correct ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_classify_expr_lambda ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_verify_declaration_ok ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_classify_expr_type0 ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_infer_cache_clear ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_infer_cache_eviction ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_infer_cache_insert_get ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_classify_expr_literal ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_classify_expr_prop ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_classify_expr_pi ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_is_prop_false ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_is_sort_false ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_pi_components ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_is_pi_true ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_infer_cache_miss ... ok
[INFO] [stdout] test infer::functions::tests::test_def_eq_integration ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_is_prop_true ... ok
[INFO] [stdout] test infer::functions::tests::test_ensure_sort ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_pi_sort_prop_codomain ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_is_sort_true ... ok
[INFO] [stdout] test infer::functions::tests::test_infer_constant ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_typing_judgment_fail ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_typing_judgment_ok ... ok
[INFO] [stdout] test infer::functions::tests::test_const_with_levels ... ok
[INFO] [stdout] test infer::functions::tests::test_infer_lambda ... ok
[INFO] [stdout] test infer::functions::tests::test_infer_literal ... ok
[INFO] [stdout] test infer::functions::tests::test_infer_only_mode ... ok
[INFO] [stdout] test infer::functions::tests::test_infer_sort ... ok
[INFO] [stdout] test infer::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_pi_sort_type_codomain ... ok
[INFO] [stdout] test infer::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test infer::functions::tests::test_whnf_integration ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_beta_apply_empty ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_instantiate_one ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_abstract_fvar_hit ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_has_loose_bvars_true ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_abstract_fvar_miss ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_is_whnf_simple_const ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_has_loose_bvars_false ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_is_whnf_simple_let ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_lift_bvars_under_binder ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_lift_bvars ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_max_loose_bvar_bvar0 ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_max_loose_bvar_none ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_unfold_let_none ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_subst_fvar_miss ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_unfold_let_one ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_subst_fvar ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_abstract_fvars_multi ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_named_subst_apply_in_app ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_named_subst_apply_miss ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_named_subst_apply_hit ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_empty ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_named_subst_const_with_levels_not_replaced ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_push ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_to_lam ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_to_pi_roundtrip ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_named_subst_basic ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_basic ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_shift ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_expr_mvars ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_many_basic ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_empty ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_single ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_from_pi ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_instantiate_empty_args ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_type_lparams_const ... ok
[INFO] [stdout] test instantiate::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test instantiate::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_type_lparams_sort ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test instantiate::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test instantiate::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_under_binder ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_constraint_set_unsatisfied ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_eval_ground_level_numeral ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_is_ground_param ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_is_ground_zero ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_is_numeral_false ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_eval_ground_level_param ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_level_constraint_eq_satisfied ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_constraint_set_len ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_flatten_max_single ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_flatten_max_binary ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_type_lparams_multi ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_imax_fold_empty ... ok
[INFO] [stdout] test instantiate::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_constraint_set_all_satisfied ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_level_constraint_leq_violated ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_max_of_slice_empty ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_max_of_slice_multiple ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_max_of_slice_single ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_type0_level ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_type1_level ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_level_constraint_leq_satisfied ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_collect_level_mvars_multiple ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_dedup_levels ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_is_definitely_succ_false ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_min_zeros ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_is_definitely_succ_true ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_is_numeral_true ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_add_two_times ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_add_zero_times ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_max3 ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_is_leq ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_type_level_two ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_min_equal ... ok
[INFO] [stdout] test level::functions::tests::test_instantiate_level_mvars ... ok
[INFO] [stdout] test level::functions::tests::test_level_mvar ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_type_level_zero ... ok
[INFO] [stdout] test level::functions::tests::test_collect_level_params ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_imax_succ ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_imax_zero ... ok
[INFO] [stdout] test level::functions::tests::test_depth ... ok
[INFO] [stdout] test level::functions::tests::test_from_nat_to_nat ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_max_zero ... ok
[INFO] [stdout] test level::functions::tests::test_is_geq ... ok
[INFO] [stdout] test level::functions::tests::test_level_construction ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_max_same ... ok
[INFO] [stdout] test level::functions::tests::test_instantiate_level ... ok
[INFO] [stdout] test level::functions::tests::test_is_equivalent ... ok
[INFO] [stdout] test level::functions::tests::test_is_not_zero ... ok
[INFO] [stdout] test level::functions::tests::test_level_display ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_max_ordering ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_succ ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_zero ... ok
[INFO] [stdout] test level::functions::tests::test_to_offset ... ok
[INFO] [stdout] test level::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test level::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test level::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test level::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test level::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_count_decision_tree_leaves ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_count_pattern_bindings_ctor ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_count_pattern_bindings_var ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_flatten_or_patterns ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_is_irrefutable_var ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_is_irrefutable_ctor_false ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_pattern_constructor ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_decision_tree_depth_leaf ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_decision_tree_depth_switch ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_pattern_subpatterns ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_is_irrefutable_wildcard ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_is_irrefutable_as_wildcard ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_is_irrefutable_constructor ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_is_irrefutable_var ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_referenced_arm_indices ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_is_irrefutable_wildcard ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_pattern_binders_constructor ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_pattern_depth_constructor ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_pattern_binders_var ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_pattern_depth_wildcard ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_pattern_stats_constructors ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_pattern_stats_display ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_exhaustive_missing ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_pattern_stats_wildcards ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_exhaustive_all_ctors ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_exhaustive_wildcard ... ok
[INFO] [stdout] test match_compile::functions::tests::test_compile_wildcard_match ... ok
[INFO] [stdout] test match_compile::functions::tests::test_fresh_var ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_redundant ... ok
[INFO] [stdout] test match_compile::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test match_compile::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_redundant_after_wildcard ... ok
[INFO] [stdout] test match_compile::functions::tests::test_compile_simple_match ... ok
[INFO] [stdout] test match_compile::functions::tests::test_pattern_eq ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test name::functions::tests::test_name_components ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test name::functions::tests::test_name_depth ... ok
[INFO] [stdout] test name::functions::tests::test_name_display ... ok
[INFO] [stdout] test name::functions::tests::test_name_from_components ... ok
[INFO] [stdout] test name::functions::tests::test_longest_common_prefix ... ok
[INFO] [stdout] test name::functions::tests::test_name_generator ... ok
[INFO] [stdout] test name::functions::tests::test_name_from_str ... ok
[INFO] [stdout] test name::functions::tests::test_name_last_str ... ok
[INFO] [stdout] test name::functions::tests::test_name_has_prefix ... ok
[INFO] [stdout] test name::functions::tests::test_name_map ... ok
[INFO] [stdout] test name::functions::tests::test_name_macro ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test name::functions::tests::test_name_replace_last ... ok
[INFO] [stdout] test name::functions::tests::test_name_ord ... ok
[INFO] [stdout] test name::functions::tests::test_name_root ... ok
[INFO] [stdout] test name::functions::tests::test_name_map_remove ... ok
[INFO] [stdout] test name::functions::tests::test_name_set_union ... ok
[INFO] [stdout] test name::functions::tests::test_share_namespace ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_annotation_table ... ok
[INFO] [stdout] test name::functions::tests::test_name_set ... ok
[INFO] [stdout] test name::functions::tests::test_name_freshen ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_diag_meta ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_event_counter ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_loop_clock ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_sparse_bit_set ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_work_queue ... ok
[INFO] [stdout] test name::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_work_stack ... ok
[INFO] [stdout] test name::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test name::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test name::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test name::functions::tests_extra_data_structures::test_simple_lru_cache ... ok
[INFO] [stdout] test name::functions::tests_name_extra2::test_name_set ... ok
[INFO] [stdout] test name::functions::tests_name_extra::test_name_mapping ... ok
[INFO] [stdout] test name::functions::tests_name_extra2::test_name_generator ... ok
[INFO] [stdout] test name::functions::tests_name_extra::test_qualified_name ... ok
[INFO] [stdout] test name::functions::tests_ring_buffer::test_before_after ... ok
[INFO] [stdout] test name::functions::tests_ring_buffer::test_generation ... ok
[INFO] [stdout] test name::functions::tests_ring_buffer::test_ring_buffer ... ok
[INFO] [stdout] test name::functions::tests_name_extra::test_name_resolver ... ok
[INFO] [stdout] test name::functions::tests_name_extra::test_name_pool ... ok
[INFO] [stdout] test name::functions::tests_name_extra::test_name_trie ... ok
[INFO] [stdout] test name::functions::tests_ring_buffer::test_seq_num ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_memo_slot ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_id_dispenser ... ok
[INFO] [stdout] test name::functions::trie_tests::test_direct_children ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_slot ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_timestamp ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_typed_id ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_map_filter_by_namespace ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_set_in_namespace ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_generator_reset ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_set_to_sorted_vec ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_prepend ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_to_ident_string ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_trie_to_vec ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_trie_count ... ok
[INFO] [stdout] test name::functions::trie_tests::test_qualified_name ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_alloc_config_for_wasm ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_compatibility_report ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_trie_insert_lookup ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_std_compat_alloc_types ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_std_compat_required_features ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_std_compat_wasm_limitations ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_atomic_version ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_budget ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_capability_set ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_alloc_config_default ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_platform_info ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_wasm_feature_set ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_bool_to_platform_result ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_compat_matrix ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_cfg_snapshot ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_error_code ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_compile_flags ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_library_manifest ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_cross_platform_timer ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_version_constraint ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_os_bytes_round_trip ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_shim_registry ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext3::test_addr_range ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext3::test_bump_alloc ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_stack_guard ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext3::test_bump_alloc_oom ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext3::test_wasm_mem_region ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_build_info ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext3::test_wasm_mem_table ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_alloc_stats ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_byte_order_round_trip ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_conditional_init ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_conditional_init_double_init - should panic ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_feature_flags ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_compat_layer ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_counter_cell ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_platform_caps ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_runtime_version ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_memory_layout ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_os_resource ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_scratch_buffer ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_spin_flag ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_static_str ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final2::test_code_section ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final2::test_reloc_entry ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final2::test_symbol_table ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final::test_instruction_buffer ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final::test_page_map ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final::test_linear_scan_allocator ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final2::test_object_file ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final2::test_standard_sections ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_head_normal_form_const ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_is_in_whnf_const ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_head_normal_form_app_lam ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_count_reduction_steps_one ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_normalize_fully_depth_zero ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_count_reduction_steps_zero ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_normalize_many ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_normalize_selective_no_env ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_normalize_types_pi ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_reduce_n_steps_one ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_is_in_whnf_let ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_memoized_normalizer_cache ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_reduce_n_steps_zero ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_lazy_normal_basic ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_lazy_normal_normalizes ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_norm_strategy_bounded ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_norm_strategy_whnf ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_normalize_with_stats_beta ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_normalize_with_stats_let ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_normalize_with_stats_no_reductions ... ok
[INFO] [stdout] test normalize::functions::tests::test_alpha_eq_different ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_norm_stats_total_steps ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_norm_strategy_full ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_norm_strategy_none ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_normalize_binders_depth1 ... ok
[INFO] [stdout] test normalize::functions::tests::test_is_normal_form ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_beta ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_lambda ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_bvar ... ok
[INFO] [stdout] test normalize::functions::tests::test_alpha_eq_env ... ok
[INFO] [stdout] test normalize::functions::tests::test_alpha_eq_same ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_sort ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_with_env ... ok
[INFO] [stdout] test normalize::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_lit ... ok
[INFO] [stdout] test normalize::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_nested ... ok
[INFO] [stdout] test normalize::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test normalize::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test normalize::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_colorize_lit_contains_number ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_doc_concat ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_doc_nest ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_colorize_sort_contains_text ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_doc_line ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_doc_text_render ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_expr_summary_pi_arrow ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_expr_summary_app ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_expr_summary_let ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_expr_summary_sort ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_expr_to_doc_sort ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_expr_to_doc_app ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_expr_to_doc_const ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_expr_to_doc_bvar ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_is_simple_name_false ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_print_expr_let ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_app ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_const ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_print_expr_proj ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_is_simple_name_true ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_print_name_str ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_config_ascii ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_config_verbose ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_const_with_levels ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_bvar ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_inst_implicit_binder ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_implicit_binder ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_lambda_ascii ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_lambda_unicode ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_level_nat ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pi_arrow ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_lit ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_loop_clock ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_sort_prop ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_level_mvar ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_level_param_plus ... ok
[INFO] [stdout] test prettyprint::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test prettyprint::functions::tests_escape_helper::test_escape_unescape ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pi_forall ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_sort_param ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_sort_type_n ... ok
[INFO] [stdout] test prettyprint::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test prettyprint::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_work_queue ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_work_stack ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_annotation_table ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_diag_meta ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_id_dispenser ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_indent_style ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_sparse_bit_set ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_pretty_token_raw ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_token_printer ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_slot ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_sort_type ... ok
[INFO] [stdout] test prettyprint::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_event_counter ... ok
[INFO] [stdout] test prettyprint::functions::tests_extra_data_structures::test_simple_lru_cache ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_pretty_doc_render ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra2::test_doc_builder ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_pretty_table ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra2::test_printer_state ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_sexpr_printer ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_color_scheme ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_fmt_width ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_memo_slot ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_classify_app ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_timestamp ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_count_redexes_none ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_beta_reduce_simple ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_is_closed_const ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_proof_effort_classical ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_is_not_closed_fvar ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_proof_obligation_discharge ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_proof_state_remaining ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_contains_classical_sorry_false ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_axiom_dependencies_classical ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_axiom_dependencies_constructive ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_proof_normalizer_subst_bvar_shift ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_analyzer_count_apps_nested ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_analyzer_constructive ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_typed_id ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_classify_atomic_const ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_same_proof_shape_bvar ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_certificate_no_sorry ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_proof_analysis_size ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_analyzer_count_apps ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_certificate_trusted ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_classify_bvar ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_skeleton_with_sorry ... ok
[INFO] [stdout] test proof::functions::tests::test_depth ... ok
[INFO] [stdout] test proof::functions::tests::test_is_proof_non_prop ... ok
[INFO] [stdout] test proof::functions::tests::test_same_proposition_structure ... ok
[INFO] [stdout] test proof::functions::tests::test_size_app ... ok
[INFO] [stdout] test proof::functions::tests::test_size_simple ... ok
[INFO] [stdout] test proof::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test proof::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_analyzer_classical ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_skeleton_no_holes ... ok
[INFO] [stdout] test proof::functions::tests::test_collect_constants ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_count_redexes_one ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_irrelevance ... ok
[INFO] [stdout] test proof::functions::tests::test_could_be_prop ... ok
[INFO] [stdout] test proof::functions::tests::test_is_constructive ... ok
[INFO] [stdout] test proof::functions::tests::test_is_non_constructive ... ok
[INFO] [stdout] test proof::functions::tests::test_is_proof ... ok
[INFO] [stdout] test proof::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test proof::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test proof::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_contains_classical_sorry_true ... ok
[INFO] [stdout] test proof::functions::tests::test_is_sort_zero ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_skeleton_display ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_count_const_occurrences ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_create_certificate_distinct_names ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_create_certificate_id_stable ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_deserialize_bad_header ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_cert_check_result_display_mismatch ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_const ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_cert_check_result_display_valid ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_create_certificate_fields ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_bvar_distinct ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_pi ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_proj ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_store_len ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_validate_steps_empty_delta_name ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_roundtrip_empty_steps ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_roundtrip_with_steps ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_store_add_get ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_validate_steps_valid_mixed ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_contains_quot_lift ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_deserialize_missing_field ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_app ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_verify_missing_decl ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_store_is_empty ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_sort_type0 ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_deterministic ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_equiv_class_system ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_quot_reduction_kind_description ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_store_overwrite ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_validate_steps_empty ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_count_quot_mk ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_collect_quot_mk ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_store_get_missing ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_validate_quotient_type_sort_relation ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_validate_quotient_type_with_app_relation ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_validate_quotient_type_sort_base ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_validate_quotient_type_valid ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_serialize_header ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_validate_steps_invalid_iota ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_quotient_description_display ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_quotient_reducer_step_limit ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_all_quot_mk ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_build_quot_lift ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_build_quot_mk ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_collect_args ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_quot_stats_mk ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_quot_lift_cache ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_lam ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_let ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_is_identity_relation ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_quot_mk_def_eq ... ok
[INFO] [stdout] test proof_cert::functions::tests::test_hash_sort_prop ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_is_quot_sound ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_quotient_builder ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_lift_map ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_quot_stats_no_quot ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_build_quot_type ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_is_quot_normal_plain ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_strip_quot_mk ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_quotient_builder_incomplete ... ok
[INFO] [stdout] test quotient::functions::tests::test_check_equivalence_relation ... ok
[INFO] [stdout] test quotient::functions::tests::test_check_quot_usage_ind_lam_prop ... ok
[INFO] [stdout] test quotient::functions::tests::test_check_quot_usage_ind_rejects_type ... ok
[INFO] [stdout] test quotient::functions::tests::test_check_quot_usage_lift_always_ok ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_is_quot_normal_with_lift ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_quot_const_arity ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_standard_quot_consts ... ok
[INFO] [stdout] test quotient::functions::tests::test_is_quot_type_expr_not_quot ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_quot_normalizer_steps ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_quot_type_doc ... ok
[INFO] [stdout] test quotient::functions::tests::test_is_quot_type_expr_not_app ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_quot_mk_name_for ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_quot_stats_lift ... ok
[INFO] [stdout] test quotient::functions::tests::test_quot_mk_arg ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_quot_normalizer_no_change ... ok
[INFO] [stdout] test quotient::functions::tests::test_is_quot_mk ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_extract_quot_lift_args ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test quotient::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_creation ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_kernel_find_by_base ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test quotient::functions::tests::test_is_quot_type_expr_valid ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_is_quot_const ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_collect_fvars_multi ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_count_fvar_occurrences_multiple ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_kernel_register ... ok
[INFO] [stdout] test quotient::functions::tests::test_check_quot_usage_ind_requires_prop ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_count_fvar_occurrences_one ... ok
[INFO] [stdout] test quotient::functions::tests::test_is_eq_relation ... ok
[INFO] [stdout] test quotient::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_count_fvar_occurrences_zero ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_mk_apply ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_kernel_is_quot_type_structural ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_split_pi ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_bvars_in_range_bvar_out_of_range ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_subst_fvar_replacement ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_distinct_const_count_dedup ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_kernel_reduce_is_retired ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_pi_arity ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_mk_const ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_distinct_const_count_zero ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_bvars_in_range_closed ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_distinct_const_count_one ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_max_bvar_app ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_has_any_bvar_const ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_rename_const ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_is_ground_sort ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_replace_nat_lit ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_replace_nat_lit_no_match ... ok
[INFO] [stdout] test r#abstract::functions::ground_tests::test_is_ground_bvar ... ok
[INFO] [stdout] test r#abstract::functions::ground_tests::test_is_ground_fvar ... ok
[INFO] [stdout] test r#abstract::functions::ground_tests::test_is_ground_lit ... ok
[INFO] [stdout] test r#abstract::functions::ground_tests::test_max_bvar_app ... ok
[INFO] [stdout] test r#abstract::functions::ground_tests::test_max_bvar_none ... ok
[INFO] [stdout] test r#abstract::functions::ground_tests::test_max_bvar_some ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_abstract_fvars_under_binder ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_abstract_no_fvars ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_abstract_fvars_single ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_abstract_roundtrip ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_cheap_beta_reduce ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_cheap_beta_reduce_non_redex ... ok
[INFO] [stdout] test r#abstract::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test r#abstract::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_rename_const_no_match ... ok
[INFO] [stdout] test r#abstract::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test r#abstract::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test r#abstract::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_apply_beta ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_abstract_fvars_ordered_simple ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_lam_arity ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_let_abstract_many_empty ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_mk_app_empty ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_mk_forall_empty ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_abstract_fvars_multiple ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_mk_lambda_empty ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_is_closed_under ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_topo_sort_no_deps ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_split_lam ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_split_pi_not_pi ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_shift_bvars_above_cutoff ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_collect_app ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_collect_fvars_empty ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_shift_bvars_below_cutoff ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_bvars_in_range_bvar_ok ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_let_abstract ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_subst_fvar_identity ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_mk_app_multiple ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_div_zero ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_head_of_nested_app ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reducer_stats_display ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_app_arity ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_is_whnf_redex ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reduction_rule_display ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_add ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reduction_trace_disabled ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_trace_clear ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_gcd ... ok
[INFO] [stdout] test reduce::functions::tests::test_nat_arithmetic ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reduction_trace_enabled ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_mod_zero ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_sub_truncated ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_cmp_beq ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_cmp_ble ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reducer_stats_cache_hit_rate ... ok
[INFO] [stdout] test reduce::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test reduce::functions::tests::test_transparency_modes ... ok
[INFO] [stdout] test reduce::functions::tests::test_zeta_reduction ... ok
[INFO] [stdout] test reduce::functions::tests::test_whnf_already_normal ... ok
[INFO] [stdout] test reduce::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reducer_stats_total ... ok
[INFO] [stdout] test reduce::functions::tests::test_nat_extended_ops ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_land ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_is_whnf_lam ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test reduce::functions::tests::test_beta_reduction ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test reduce::functions::tests::test_cache_hit ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test reduce::functions::tests::test_string_ops ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_is_whnf_lit ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test reduce::functions::tests::test_beta_reduction_nested ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_alpha_equiv_app ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_alpha_equiv_different_constructors ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_alpha_equiv_bvar ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_alpha_equiv_sort ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_reduction_memo_len ... ok
[INFO] [stdout] test reduce::functions::tests::test_nat_bitwise_ops ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_expr_fingerprint_different ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_expr_fingerprint_same ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_reduction_memo_clear ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_reduction_memo_miss ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_reduction_memo_strategy_separation ... ok
[INFO] [stdout] test reduction::functions::tests::test_count_reduction_steps_zero ... ok
[INFO] [stdout] test reduction::functions::tests::test_expr_depth ... ok
[INFO] [stdout] test reduction::functions::tests::test_expr_size_app ... ok
[INFO] [stdout] test reduction::functions::tests::test_expr_size_lit ... ok
[INFO] [stdout] test reduction::functions::tests::test_find_redexes_beta ... ok
[INFO] [stdout] test reduction::functions::tests::test_find_redexes_empty ... ok
[INFO] [stdout] test reduction::functions::tests::test_find_redexes_let ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_reduction_memo_hit_rate ... ok
[INFO] [stdout] test reduction::functions::tests::test_are_convertible_same ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_is_whnf_sort ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test reduction::functions::tests::test_build_reduction_trace_normal ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_reduction_memo_insert_get ... ok
[INFO] [stdout] test reduction::functions::tests::test_count_beta_redexes_none ... ok
[INFO] [stdout] test reduction::functions::tests::test_head_form_is_neutral ... ok
[INFO] [stdout] test reduction::functions::tests::test_redex_kind_description ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_bound_exceeded ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduce_bounded_normal ... ok
[INFO] [stdout] test reduction::functions::tests::test_not_normal_form_let ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_stats_summary ... ok
[INFO] [stdout] test reduction::functions::tests::test_classify_head_beta_redex ... ok
[INFO] [stdout] test reduction::functions::tests::test_try_reduce_step_normal ... ok
[INFO] [stdout] test reduction::functions::tests::test_classify_head_let ... ok
[INFO] [stdout] test reduction::functions::tests::test_classify_head_sort ... ok
[INFO] [stdout] test reduction::functions::tests::test_count_beta_redexes_let ... ok
[INFO] [stdout] test reduction::functions::tests::test_count_beta_redexes_one ... ok
[INFO] [stdout] test reduction::functions::tests::test_is_normal_form_lit ... ok
[INFO] [stdout] test reduction::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test reduction::functions::tests::test_try_reduce_step_reduces ... ok
[INFO] [stdout] test reduction::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test reduction::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test reduction::functions::tests::test_not_normal_form_beta ... ok
[INFO] [stdout] test reduction::functions::tests::test_classify_head_lambda ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduce_whnf ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test serial::functions::tests::test_header_roundtrip ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_result_accessors ... ok
[INFO] [stdout] test serial::functions::tests::test_magic_bytes ... ok
[INFO] [stdout] test serial::functions::tests::test_serial_decl_name ... ok
[INFO] [stdout] test serial::functions::tests::test_serialize_empty_names ... ok
[INFO] [stdout] test serial::functions::tests::test_serialize_names_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests::test_writer_read_string_roundtrip ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_strategy_complete ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_strategy_lazy_eager ... ok
[INFO] [stdout] test serial::functions::tests::test_writer_read_u32_roundtrip ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_strategy_name ... ok
[INFO] [stdout] test serial::functions::tests_hex::test_hex_roundtrip ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test reduction::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test reduction::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test serial::functions::tests_serial_diag::test_format_diagnostics ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended3::test_fnv1a_64 ... ok
[INFO] [stdout] test serial::functions::tests_serial_diag::test_format_diagnostics_bad ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended2::test_decl_kind_set ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended2::test_delta_list_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended2::test_delta_list_serial ... ok
[INFO] [stdout] test reduction::functions::tests::test_is_normal_form_sort ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test serial::functions::tests::test_invalid_magic_error ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended2::test_string_pool_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended3::test_decl_index_find_and_binary_search ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended3::test_decl_index_roundtrip ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_buffered_writer ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_has_valid_magic ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_count_by_kind ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_filter_and_find ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended3::test_metadata_writer_reader ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_peek_version_and_decl_count ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_merge_union ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_with_context_err ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_dedup_decls ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended7::test_olean_archive ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_compatibility_checker ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_checkpointed_reader_no_checkpoint ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_decode_invalid_kind ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_checksummed_writer ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_checkpointed_reader_rollback ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended8::test_decl_diff ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_serial_error ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended8::test_group_by_namespace ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_blob_validator ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_merge_intersection ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended3::test_blobs_equal ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_encode_decode_decl_theorem ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_sort_decls_by_name ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_serialized_sizes ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended7::test_file_stats ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended2::test_write_read_bools ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_binary_section_bytes ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_with_context_ok ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_section_table_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_serialize_deserialize_decls ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_decompose_app_single ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_free_vars ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_is_closed ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_is_nat_lit ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_name_table_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_encode_decode_decl_inductive ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_is_succ_and_succ_of ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_pred ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_rewrite_all ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_succ ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_literal ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_is_zero ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_contains_bvar ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_expr_size ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_simplify_nat_succ_chain ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_fold_nat_constants_no_change ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_is_prop ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_is_true ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_name_table_intern_lookup ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_alpha_eq_lit ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_rewrite_once ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_is_app_of ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_pow ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_lemma_set_apply_once ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_expr_depth ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_decompose_app ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_lemma_set_empty ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_is_false_expr ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eta_reduce_no_change ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_lemma_set_find ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_result_unchanged ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_add ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_with_trace_no_change ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_with_trace_change ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_result_simplified ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_mk_app ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_simp_lemma_reversed ... ok
[INFO] [stdout] test simp::functions::tests::test_simplify_nat_succ ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_simplify_bounded_depth_zero ... ok
[INFO] [stdout] test simp::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test simp::functions::tests::test_alpha_eq_bvar ... ok
[INFO] [stdout] test simp::functions::tests::test_alpha_eq_different ... ok
[INFO] [stdout] test simp::functions::tests::test_alpha_eq_lambda ... ok
[INFO] [stdout] test simp::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test simp::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_lemma_set_apply_all ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_section_header_roundtrip ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_fold_nat_constants_succ ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test simp::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test simp::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test string_intern::interner::tests::test_interned_str_raw_round_trip ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_resolve_out_of_range ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_shared_with ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test string_intern::interner::tests::test_display_interned_str ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_len ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_unique_for_distinct_strings ... ok
[INFO] [stdout] test string_intern::interner::tests::test_global_intern_deduplicates ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_many_strings ... ok
[INFO] [stdout] test string_intern::interner::tests::test_interned_str_ordering ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_deduplicates ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_total_bytes ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_empty_string ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_is_empty_initially ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_empty_string_internable ... ok
[INFO] [stdout] test string_intern::interner::tests::test_global_resolve_returns_correct_content ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_len_counts_unique_strings ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_default_is_empty ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_resolve_out_of_range_returns_none ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_sequential_indices ... ok
[INFO] [stdout] test string_intern::interner::tests::test_try_resolve_missing_handle_returns_none ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_resolve_same_pointer_on_repeated_calls ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_resolve ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_intern_returns_different_indices_for_different_strings ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_total_bytes ... ok
[INFO] [stdout] test string_intern::interner::tests::test_local_interner_unicode ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_stats_snapshot ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_intern_returns_same_index_for_same_string ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_is_empty_initially ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_apply_args_empty ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_count_lambdas ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_resolve_returns_correct_string ... ok
[INFO] [stdout] test string_intern::pool::tests::test_pool_unicode_string ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_open_binder_nested ... ok
[INFO] [stdout] test string_intern::interner::tests::test_global_intern_concurrent ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_count_pis ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_apply_args_non_lam ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_is_lambda ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_peel_lambdas_two ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_apply_args_lam ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_expr_contains_fvar_false ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_expr_contains_fvar_true ... ok
[INFO] [stdout] test string_intern::interner::tests::test_interned_str_is_copy ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_open_binder_simple ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_apply_fvar ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_insert_replace ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_len ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_restrict ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_apply_no_match ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_remove ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_count_free_occurrences ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitute_fvars_parallel ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_compose ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_beta_reduce_head ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_build_subst_map ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_collect_loose_bvar_indices ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_instantiate_tracked ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_insert_and_get ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_parallel_subst_single ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_free_vars_single ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_instantiate_many_two ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_is_whnf_beta_app_not_whnf ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_parallel_subst_empty ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_is_whnf_beta_lam ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_subst_stats_merge ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_shift_bvars_above_cutoff ... ok
[INFO] [stdout] test subst::functions::tests::test_instantiate_simple ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_try_beta_reduce_fail ... ok
[INFO] [stdout] test subst::functions::tests::test_instantiate_app ... ok
[INFO] [stdout] test subst::functions::tests::test_instantiate_shift_down ... ok
[INFO] [stdout] test subst::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test subst::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_occurs_free_true ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_parallel_subst_tracked ... ok
[INFO] [stdout] test subst::functions::tests::test_abstract_roundtrip ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_subst_fvar ... ok
[INFO] [stdout] test subst::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test subst::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test subst::functions::tests::cached_rebuild_cost_matches_recomputation ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_shift_bvars_below_cutoff ... ok
[INFO] [stdout] test subst::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test subst::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_try_beta_reduce_success ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test subst::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test subst::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_abstract_fvars_ordered ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_alpha_eq_bvar ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_alpha_eq_lambda_ignores_name ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_alpha_eq_literal ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_count_fvar_absent ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_collect_consts_deduplicated ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test subst::functions::tests::cached_range_matches_recomputation ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_is_ground_literal ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_collect_consts_app ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_is_ground_fvar ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_is_ground_bvar ... ok
[INFO] [stdout] test substitution::functions::tests::test_abstract_fvar ... ok
[INFO] [stdout] test substitution::functions::tests::test_close_with_lambdas ... ok
[INFO] [stdout] test substitution::functions::tests::test_count_bvar ... ok
[INFO] [stdout] test substitution::functions::tests::test_expr_depth ... ok
[INFO] [stdout] test substitution::functions::tests::test_expr_size ... ok
[INFO] [stdout] test substitution::functions::tests::test_has_bvar_true ... ok
[INFO] [stdout] test substitution::functions::tests::test_has_fvar_false ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_count_fvar_present ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_is_ground_sort ... ok
[INFO] [stdout] test substitution::functions::tests::test_instantiate ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test substitution::functions::tests::test_lift_bvar_above_cutoff ... ok
[INFO] [stdout] test substitution::functions::tests::test_lower_safe ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test substitution::functions::tests::test_has_fvar_true ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_rename_binder ... ok
[INFO] [stdout] test substitution::functions::tests::test_close_with_pis ... ok
[INFO] [stdout] test substitution::functions::tests::test_collect_fvars ... ok
[INFO] [stdout] test substitution::functions::tests::test_collect_fvars_dedup ... ok
[INFO] [stdout] test substitution::functions::tests::test_has_bvar_false ... ok
[INFO] [stdout] test substitution::functions::tests::test_lower_unsafe ... ok
[INFO] [stdout] test substitution::functions::tests::test_lift_bvar_below_cutoff ... ok
[INFO] [stdout] test substitution::functions::tests::test_lift_lambda ... ok
[INFO] [stdout] test substitution::functions::tests::test_lower_below_cutoff ... ok
[INFO] [stdout] test substitution::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test substitution::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test substitution::functions::tests::test_subst_fvars ... ok
[INFO] [stdout] test substitution::functions::tests::test_subst_no_match ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test substitution::functions::tests::test_subst_bvar ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test substitution::functions::tests::test_substitution_apply ... ok
[INFO] [stdout] test substitution::functions::tests::test_subst_lambda ... ok
[INFO] [stdout] test substitution::functions::tests::test_substitution_no_match ... ok
[INFO] [stdout] test substitution::functions::tests::test_substitution_single ... ok
[INFO] [stdout] test substitution::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test substitution::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test substitution::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test substitution::functions::tests_tiny_padding::test_bucket_counter ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test substitution::functions::tests_tiny_padding::test_bitset64 ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_detailed_result_success ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_obvious_nontermination ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_termination_cache ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_termination_cache_clear ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_try_structural_certificate_empty ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_try_structural_certificate_success ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_wf_relation_nat_sub ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_wf_relation_measure ... ok
[INFO] [stdout] test termination::functions::tests::test_non_recursive ... ok
[INFO] [stdout] test termination::functions::tests::test_simple_recursive ... ok
[INFO] [stdout] test termination::functions::tests::test_lambda_body ... ok
[INFO] [stdout] test termination::functions::tests::test_smaller_transitivity ... ok
[INFO] [stdout] test termination::functions::tests::test_no_recursive_calls ... ok
[INFO] [stdout] test termination::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test termination::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test termination::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_wf_relation_lex_depth ... ok
[INFO] [stdout] test termination::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test termination::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test termination::functions::tests::test_depth_limit ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_wf_custom_description ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_wf_relation_structural ... ok
[INFO] [stdout] test termination::functions::tests::test_collect_app_args ... ok
[INFO] [stdout] test termination::functions::tests::test_register_params ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_detailed_result_failure ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_detailed_result_non_recursive ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_closest_match_found ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_format_name_list_one ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_levenshtein_same_string ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_closest_match_empty ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_name_index_basic ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_levenshtein_one_edit ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_string_trie_empty_prefix ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_name_index_empty ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_name_index_get ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_format_name_list_two ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_format_name_list_many ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test trace::functions::tests::test_clear ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_format_name_list_empty ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_string_trie_starts_with ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_string_trie_insert_contains ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_levenshtein_empty ... ok
[INFO] [stdout] test trace::functions::tests::test_record_reduction ... ok
[INFO] [stdout] test trace::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test trace::functions::tests::test_depth_indentation ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test trace::functions::tests::test_level_ordering ... ok
[INFO] [stdout] test trace::functions::tests::test_render ... ok
[INFO] [stdout] test trace::functions::tests::test_level_from_str ... ok
[INFO] [stdout] test trace::functions::tests::test_log_event ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test trace::functions::tests::test_log_filtered ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test trace::functions::tests::test_suppress_category ... ok
[INFO] [stdout] test trace::functions::tests::test_tracer_create ... ok
[INFO] [stdout] test trace::functions::tests::test_with_expr ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test trace::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test trace::functions::tests::test_convenience_builders ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_category_log ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_ring_tracer_level_filter ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_ring_tracer_overflow ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_simp_event ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_tracer_stats ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_unify_event ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_warn_error_events ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_trace_filter_exclude_text ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_trace_filter_default_accepts_nothing ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_trace_filter_level_excludes ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_unique_categories_non_empty ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_count_matching ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_tracer_log_with_category ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_def_eq_event_at_location ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_filter_events ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_tracer_is_empty ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_tracer_last_error ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_ring_tracer_basic ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_tracer_last_event ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_ring_tracer_clear ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_trace_filter_category ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_count_filtered ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_string_sink_record ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_has_message_containing ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_infer_event_category ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_merge_tracers ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_string_sink_clear ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erasure_stats_ratio ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_collect_consts ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_count_free_vars ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_erased_expr_predicates ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_summarize_reductions_empty ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_unique_categories_empty ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_erased_expr_size ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erase_pi ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erase_lam ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_erased_dce ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erase_sort ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_optimize_type_erased ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_erased_optimizer ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_erased_inliner ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_summarize_reductions_some ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_tuple_ops ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erase_lit ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_beta_reduce_lam_app ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erase_config_default ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erase_app ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_count_apps ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_anf_converter ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_module ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_pattern_irrefutable ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_heap_obj ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_reachability ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_renamer ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_interpreter_lit ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erasure_context ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_interpreter_app_lam ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_has_free_bvar ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_lambda_depth ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_closure_env_lookup ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_constant_pool_intern ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_erased_ast_size ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_size_bound_checker ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_scope ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_subst_bvar0 ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_printer ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_type_map ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_call_site_self_tail ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_pretty_print_erased ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_erased_let_chain_push_and_into ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erasure_pass_pipeline ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_codegen ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_erased_let_chain_empty ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_match_arm ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_pattern_depth ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_class_method_lookup ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_flat_app_round_trip ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_normalizer::test_erased_normalizer_const_fold ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_normalizer::test_flatten_build_apps ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_normalizer::test_erased_normalizer_whnf ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_subst_map ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_ambiguous_instances ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_normalizer::test_erased_bit_ops ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_local_instance_clear ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_method_projection ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_priority_ordering ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_instances_for_class ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_normalizer::test_erased_stack ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_liveness_merge ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_transitive_supers ... ok
[INFO] [stdout] test typeclasses::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test subst::functions::tests::lift_skip_matches_reference ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_instance_method_impl ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_total_method_impls ... ok
[INFO] [stdout] test typeclasses::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_instance_registration ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_merge_registries ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_register_and_find_class ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_find_instances ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_normalizer::test_erased_env ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_class_name_of_constraint ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_instances_compatible ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_find_best_instance_unique ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_instance_impl_add_get ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_instance_priority_from_u32 ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_instance_priority_ordering ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_instance_subsumes_empty_params ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_find_best_instance_not_found ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_layered_registry_add_instance_top ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_layered_registry_find_global ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_default_registry ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_method_impl_custom ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_typeclass_stats_hit_rate ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_typeclass_stats_hit_rate_empty ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_typeclass_summary ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_count_succ_depth ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_eval_closed_level_param ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_method_impl_default ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_null_resolver ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_add_succ_n ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_instantiate_levels ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_is_max_level ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_level_max_many_empty ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_same_level_shape_max ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_level_max_many_one ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_is_imax_level ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_level_comparison_table ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_is_valid_instantiation ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_level_comparison_table_max ... ok
[INFO] [stdout] test subst::functions::tests::instantiate_skip_matches_reference ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_instantiation_len ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_constraint_display ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_poly_signature_check_ok ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_universe_instantiation_apply ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_constraint_set_dedup ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_poly_signature_wrong_arity ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_constraint_set_merge ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_universe_instantiation_compose ... ok
[INFO] [stdout] test universe::functions::tests::test_clear ... ok
[INFO] [stdout] test universe::functions::tests::test_is_geq ... ok
[INFO] [stdout] test universe::functions::tests::test_le_equal ... ok
[INFO] [stdout] test universe::functions::tests::test_is_gt ... ok
[INFO] [stdout] test universe::functions::tests::test_le_violation ... ok
[INFO] [stdout] test universe::functions::tests::test_satisfiable_eq ... ok
[INFO] [stdout] test universe::functions::tests::test_level_def_eq_normalized ... ok
[INFO] [stdout] test universe::functions::tests::test_le_constraint ... ok
[INFO] [stdout] test universe::functions::tests::test_satisfiable_lt ... ok
[INFO] [stdout] test universe::functions::tests::test_solve_simple ... ok
[INFO] [stdout] test universe::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test universe::functions::tests::test_level_mvar_assignment ... ok
[INFO] [stdout] test universe::functions::tests::test_unsatisfiable_lt ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test universe::functions::tests::test_add_univ_var ... ok
[INFO] [stdout] test universe::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_poly_signature_instantiate ... ok
[INFO] [stdout] test subst::functions::tests::instantiate_skip_preserves_fuel ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test universe::functions::tests::test_create_checker ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_layered_registry_push_pop ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_add_succs ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_format_level ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_collect_level_params ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_is_prop_level ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_count_succs ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_max_fn ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_to_nat_param ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_normal_form ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_succ_fn ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_to_nat_zero ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_peel_succs ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_to_nat_succ ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_pi_type_level ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_prop_level ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_sat_checker_unsat ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_substitute_level_param ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_parse_level_str ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_sort_type_level ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_type0_type1 ... ok
[INFO] [stdout] test wall_clock::tests::now_is_monotonic_and_elapsed_is_nonnegative ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_normalize_full_lam ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_normalize_full_sort ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_sat_checker ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_depth_budget_consumed_count ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_depth_budget_reset ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_depth_budget_consumed ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_as_fvar_none ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_as_fvar_some ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_head_is_const_direct ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_is_fvar_false ... ok
[INFO] [stdout] test whnf::functions::tests::test_collect_pi_telescope_nested ... ok
[INFO] [stdout] test whnf::functions::tests::test_collect_pi_telescope_one ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_lam ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_bvar ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_lit ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_sort ... ok
[INFO] [stdout] test whnf::functions::tests::test_stuck_reason_normal_form ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_normalize_head_sort ... ok
[INFO] [stdout] test whnf::functions::tests::test_app_arity ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_normalize_full_beta ... ok
[INFO] [stdout] test whnf::functions::tests::test_spine_of_no_args ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_as_pi ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_reduction_order_display ... ok
[INFO] [stdout] test whnf::functions::tests::test_spine_of_two_args ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_budgeted_exhausted ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_cache_key ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_budgeted_success ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_heads_match_sorts ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_head_to_expr ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_const ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_heads_match_const ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_pi ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_sort_false ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_stats_total ... ok
[INFO] [stdout] test whnf::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test whnf::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test whnf::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test whnf::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test whnf::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test whnf::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_is_fvar_true ... ok
[INFO] [stdout] test whnf::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_let_false ... ok
[INFO] [stdout] test whnf::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_as_sort ... ok
[INFO] [stdout] test whnf::functions::tests::test_collect_pi_telescope_empty ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_lambda ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_sort_true ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_app_lambda_false ... ok
[INFO] [stdout] test whnf::functions::tests::test_reduction_budget_unlimited ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_stats_default ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_beta_reduce ... ok
[INFO] [stdout] test whnf::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_lit ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test whnf::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test whnf::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_miss ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_expr_depth_sort ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_capacity_eviction ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_empty ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_count_nodes_app ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_hit_rate ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_clear ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_count_nodes_sort ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_no_delta ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_expr_depth_nested ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_default ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_eviction_count_tracked ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_insert_get ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_no_beta ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_hash_bytes_deterministic ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_hash_bytes_empty ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_capacity_triggers_eviction ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_evict_cold_fifo_fallback ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_with_limit ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_insert_after_invalidate_uses_new_version ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_evict_cold_removes_unaccessed ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_hit_after_insert ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_stats_display ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_hash_bytes_distinct ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_insert_at_min_steps_cached ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_stats_zero ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_insert_below_min_steps_not_cached ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_with_memo_min_steps_override ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_insert_overwrite ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_with_memo_hit_skips_compute ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_invalidate_all_bumps_version ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_invalidate_all_clears_entries ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_stats_hit_rate ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_structural ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_invalidate_all_prior_entries_miss ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_miss_on_empty ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_new_memo_empty ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_with_memo_miss_calls_compute ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_zero_capacity_no_panic ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_with_memo_respects_min_steps ... ok
[INFO] [stdout] test whnf_memo::functions::tests::test_with_memo_stores_result ... ok
[INFO] [stderr]      Running tests/bignat_differential.rs (/opt/rustwide/target/release/build/oxilean-kernel/a07e26fc2b157ee2/out/bignat_differential-a07e26fc2b157ee2)
[INFO] [stdout] test whnf::functions::tests::test_reduction_budget_basic ... ok
[INFO] [stdout] test whnf::functions::tests::test_stuck_reason_free_var ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3286 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.61s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test prop_diff_div_mod ... ok
[INFO] [stdout] test diff_decimal_display_edge_cases ... ok
[INFO] [stdout] test diff_pow_edge_cases ... ok
[INFO] [stdout] test prop_diff_pow_small ... ok
[INFO] [stdout] test prop_diff_div_mod_near_limb_boundaries ... ok
[INFO] [stdout] test prop_diff_log2 ... ok
[INFO] [stdout] test diff_bitwise_and_shifts_edge_cases ... ok
[INFO] [stdout] test prop_diff_add ... ok
[INFO] [stdout] test prop_diff_ordering ... ok
[INFO] [stdout] test prop_diff_bitwise ... ok
[INFO] [stdout] test prop_diff_sub_truncated ... ok
[INFO] [stdout] test prop_diff_shifts ... ok
[INFO] [stdout] test prop_diff_succ_pred ... ok
[INFO] [stdout] test diff_div_mod_edge_cases ... ok
[INFO] [stdout] test prop_diff_mul ... ok
[INFO] [stdout] test diff_add_sub_mul_edge_cases ... ok
[INFO] [stdout] test prop_diff_parse_decimal_strings ... ok
[INFO] [stdout] test prop_diff_decimal_roundtrip ... ok
[INFO] [stdout] test prop_diff_gcd ... ok
[INFO] [stdout] test diff_gcd_edge_cases ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/corpus_init_regressions.rs (/opt/rustwide/target/release/build/oxilean-kernel/61c936d2fff8ecc6/out/corpus_init_regressions-61c936d2fff8ecc6)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test folded_bool_result_uses_env_spelling ... ok
[INFO] [stdout] test struct_eta_major_skips_prop_sorted_structures ... ok
[INFO] [stdout] test struct_eta_major_reduces_stuck_cases_on_fvar ... ok
[INFO] [stdout] test reducer_k_path_types_fvar_majors_via_mirrored_locals ... ok
[INFO] [stdout] test lit_acceleration_fires_before_definition_unfold ... ok
[INFO] [stdout] test distinct_fvars_do_not_become_equal_via_eta ... ok
[INFO] [stdout] test pi_bound_function_eta_expands_against_lambda ... ok
[INFO] [stdout] test struct_eta_major_decides_def_eq_under_binder ... ok
[INFO] [stdout] test k_reduction_fires_under_proj_with_pi_bound_major ... ok
[INFO] [stdout] test lit_acceleration_declines_on_open_args ... ok
[INFO] [stderr]      Running tests/defeq_open_terms.rs (/opt/rustwide/target/release/build/oxilean-kernel/670ef0bea3d3c4e1/out/defeq_open_terms-670ef0bea3d3c4e1)
[INFO] [stdout] test let_tower_exhausts_fuel_with_typed_error_never_oom ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test instantiate_lifts_open_arg_under_binder ... ok
[INFO] [stdout] test instantiate_closed_arg_behavior_unchanged ... ok
[INFO] [stdout] test nat_literal_bridge_under_stuck_congruence ... ok
[INFO] [stdout] test k_reduction_fires_on_pi_bound_major ... ok
[INFO] [stdout] test nat_literal_constructor_bridge ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/level_defeq.rs (/opt/rustwide/target/release/build/oxilean-kernel/f14330fe00d5ad13/out/level_defeq-f14330fe00d5ad13)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test d5_imax_nested_imax ... ok
[INFO] [stdout] test d9_geq_succ_imax ... ok
[INFO] [stdout] test leq_complete_imax_max_param_rhs_under_right_max ... ok
[INFO] [stdout] test d8_geq_succ_ge_numeral ... ok
[INFO] [stdout] test d7_imax_absorption ... ok
[INFO] [stdout] test mk_max_matches_lean_rules ... ok
[INFO] [stdout] test d6_imax_of_max ... ok
[INFO] [stdout] test d4_succ_max_distributes ... ok
[INFO] [stdout] test leq_complete_imax_bare_param_rhs_under_right_max ... ok
[INFO] [stdout] test mk_imax_matches_lean_rules ... ok
[INFO] [stdout] test endo_typechecks_end_to_end ... ok
[INFO] [stdout] test d1_imax_uu_equiv_u ... ok
[INFO] [stdout] test nested_succ_offsets_and_param_only ... ok
[INFO] [stdout] test d2_max_zero_u_equiv_u ... ok
[INFO] [stdout] test d3_max_one_succ_u_equiv_succ_u ... ok
[INFO] [stdout] test param_case_split_terminates_on_deep_imax_chain ... ok
[INFO] [stdout] test nested_imax_shapes ... ok
[INFO] [stdout] test exhaustive_normalize_preserves_semantics_and_idempotent ... ok
[INFO] [stdout] test prop_normalize_idempotent ... ok
[INFO] [stdout] test prop_is_leq_sound ... ok
[INFO] [stdout] test prop_is_equivalent_consistent ... ok
[INFO] [stdout] test prop_is_equivalent_iff_sem_eq ... ok
[INFO] [stdout] test prop_normalize_preserves_semantics ... ok
[INFO] [stdout] test prop_is_leq_complete ... ok
[INFO] [stdout] test mk_constructors_preserve_semantics ... ok
[INFO] [stdout] test exhaustive_is_equivalent_sound_and_complete ... ok
[INFO] [stdout] test is_equivalent_is_leq_both_ways_consistent ... ok
[INFO] [stdout] test exhaustive_is_leq_sound_and_complete ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.49s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lit_bridge_defeq.rs (/opt/rustwide/target/release/build/oxilean-kernel/a0691132c27c3d59/out/lit_bridge_defeq-a0691132c27c3d59)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test str_lit_of_list_mismatches_stay_false ... ok
[INFO] [stdout] test empty_str_lit_eq_of_list_nil_both_orientations ... ok
[INFO] [stdout] test big_literal_vs_shallow_succ_tower_fails_fast ... ok
[INFO] [stdout] test nat_lit_vs_unrelated_const_is_false_not_stuck_wrong ... ok
[INFO] [stdout] test big_literal_vs_matching_succ_of_big_lit_is_true ... ok
[INFO] [stdout] test nat_lit_five_eq_succ_of_lit_four ... ok
[INFO] [stdout] test nat_rec_on_reducible_succ_of_lit_reduces ... ok
[INFO] [stdout] test proj_on_string_literal_projects_the_char_list ... ok
[INFO] [stdout] test str_lit_eq_of_list_cons_chars ... ok
[INFO] [stdout] test nat_lit_zero_eq_const_zero_both_orientations ... ok
[INFO] [stdout] test nat_lit_vs_succ_fvar_is_stuck_false ... ok
[INFO] [stdout] test nat_lit_zero_vs_succ_is_false ... ok
[INFO] [stdout] test nat_lit_five_eq_succ_tower_both_orientations ... ok
[INFO] [stdout] test string_lit_neq_wrong_string_mk ... ok
[INFO] [stdout] test string_lit_eq_string_mk_both_orientations ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/literal_reduction.rs (/opt/rustwide/target/release/build/oxilean-kernel/d39bb2fb97417ec2/out/literal_reduction-d39bb2fb97417ec2)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test big_literal_survives_kernel_serialization ... ok
[INFO] [stdout] test lean_semantics_pow_zero_zero ... ok
[INFO] [stdout] test nested_literal_arithmetic_folds ... ok
[INFO] [stdout] test lean_semantics_sub_truncated ... ok
[INFO] [stdout] test non_literal_args_stay_stuck ... ok
[INFO] [stdout] test nested_mixed_ops_fold ... ok
[INFO] [stdout] test deeply_nested_succ_folds ... ok
[INFO] [stdout] test overflow_regression_mul_2_64_scale_is_correct ... ok
[INFO] [stdout] test lean_semantics_string_length_counts_chars_not_bytes ... ok
[INFO] [stdout] test over_applied_nat_op_is_stuck_and_keeps_args ... ok
[INFO] [stdout] test overflow_regression_shift_left_keeps_high_bits ... ok
[INFO] [stdout] test pow_huge_exponent_is_stuck_not_one ... ok
[INFO] [stdout] test shift_left_huge_amount_is_stuck ... ok
[INFO] [stdout] test def_eq_literal_fast_paths ... ok
[INFO] [stdout] test nested_def_eq_decides ... ok
[INFO] [stdout] test under_applied_nat_op_is_stuck ... ok
[INFO] [stdout] test lean_semantics_log2 ... ok
[INFO] [stdout] test overflow_regression_pow_2_64 ... ok
[INFO] [stdout] test overflow_regression_add_u64_max ... ok
[INFO] [stdout] test lean_semantics_nat_zero_const_as_literal_arg ... ok
[INFO] [stdout] test string_ops_reduce ... ok
[INFO] [stdout] test lean_semantics_div_mod_zero ... ok
[INFO] [stdout] test lean_semantics_succ_pred ... ok
[INFO] [stdout] test lean_semantics_gcd_bitwise_shiftright ... ok
[INFO] [stdout] test beq_ble_produce_genuine_bool_constants ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proof_irrel_prop_level.rs (/opt/rustwide/target/release/build/oxilean-kernel/49a5d373e834bb24/out/proof_irrel_prop_level-49a5d373e834bb24)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stderr]      Running tests/prop_tests.rs (/opt/rustwide/target/release/build/oxilean-kernel/be30b17305245716/out/prop_tests-be30b17305245716)
[INFO] [stdout] test proof_irrelevance_still_excludes_genuine_types ... ok
[INFO] [stdout] test proof_irrelevance_fires_for_imax_u_zero_prop ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test prop_def_eq_distinct_lits_false ... ok
[INFO] [stdout] test prop_numeric_level_normalize_fixed ... ok
[INFO] [stdout] test prop_name_roundtrip ... ok
[INFO] [stdout] test prop_name_str_roundtrip ... ok
[INFO] [stdout] test prop_whnf_lit_fixed_points ... ok
[INFO] [stdout] test prop_whnf_atoms_are_fixed_points ... ok
[INFO] [stdout] test prop_level_normalize_idempotent ... ok
[INFO] [stdout] test prop_substitution_identity ... ok
[INFO] [stdout] test prop_def_eq_reflexive ... ok
[INFO] [stdout] test prop_lift_lower_bvars_identity ... ok
[INFO] [stdout] test prop_whnf_idempotent ... ok
[INFO] [stdout] test prop_instantiate_abstract_no_fvar ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/quotient_reduction.rs (/opt/rustwide/target/release/build/oxilean-kernel/23b0803811dd5d45/out/quotient_reduction-23b0803811dd5d45)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test canonical_quot_sound_type_is_well_sorted_prop ... ok
[INFO] [stdout] test add_quot_installs_all_four ... ok
[INFO] [stdout] test quot_lift_defeq_f_a_with_hierarchical_names ... ok
[INFO] [stdout] test quot_lift_over_application_keeps_extra_arg ... ok
[INFO] [stdout] test quot_lift_reduces_to_f_a ... ok
[INFO] [stdout] test quot_ind_reduces_at_exact_arity_five ... ok
[INFO] [stdout] test noncanonical_quotient_via_check_is_rejected ... ok
[INFO] [stdout] test quot_lift_whnfs_major_premise ... ok
[INFO] [stdout] test quot_lift_non_mk_major_is_stuck ... ok
[INFO] [stdout] test add_quot_before_eq_is_rejected ... ok
[INFO] [stdout] test canonical_quot_types_are_well_sorted ... ok
[INFO] [stdout] test second_add_quot_is_rejected ... ok
[INFO] [stdout] test direct_quotient_constant_addition_is_rejected ... ok
[INFO] [stdout] test quot_lift_partial_application_is_stuck ... ok
[INFO] [stdout] test setoid_style_quotient_typechecks_and_lifts ... ok
[INFO] [stdout] test quot_ind_partial_application_is_stuck ... ok
[INFO] [stdout] test quot_ind_over_application_keeps_extra_arg ... ok
[INFO] [stderr]      Running tests/recursors.rs (/opt/rustwide/target/release/build/oxilean-kernel/7cf1c48bfc00ef2a/out/recursors-7cf1c48bfc00ef2a)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test is_prop_lie_rejected ... ok
[INFO] [stdout] test k_reduction_does_not_fire_on_non_refl_type ... ok
[INFO] [stdout] test iota_whnf_major_premise ... ok
[INFO] [stdout] test constructor_universe_violation_rejected ... ok
[INFO] [stdout] test acc_reflexive_derivation_and_iota ... ok
[INFO] [stdout] test bogus_constructor_rejected ... ok
[INFO] [stdout] test builtin_bool_and_nat_rec_compute ... ok
[INFO] [stdout] test k_reduction_eq ... ok
[INFO] [stdout] test list_rec_golden_type ... ok
[INFO] [stdout] test nat_rec_golden_type ... ok
[INFO] [stdout] test recursor_metadata_sanity ... ok
[INFO] [stdout] test string_rec_on_literal ... ok
[INFO] [stdout] test nat_rec_over_application_keeps_args ... ok
[INFO] [stdout] test mutual_tree_forest ... ok
[INFO] [stdout] test prop_field_universe_exemption ... ok
[INFO] [stdout] test nested_inductive_typed_rejection ... ok
[INFO] [stdout] test replay_accepts_derived_and_rejects_tampered_recursor ... ok
[INFO] [stdout] test prop_inductive_small_elimination_enforced ... ok
[INFO] [stdout] test two_index_family_derivation_and_iota ... ok
[INFO] [stdout] test positivity_rejections ... ok
[INFO] [stdout] test nat_rec_on_literals ... ok
[INFO] [stdout] test subsingleton_large_elimination_eq_false ... ok
[INFO] [stdout] test plift_universe_polymorphism ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/struct_eta_defeq.rs (/opt/rustwide/target/release/build/oxilean-kernel/b21069be761a538c/out/struct_eta_defeq-b21069be761a538c)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test infer_proj_wrong_operand_type_is_error ... ok
[INFO] [stdout] test no_eta_for_recursive_single_constructor ... ok
[INFO] [stdout] test infer_proj_two_constructor_is_error ... ok
[INFO] [stdout] test infer_proj_indexed_is_error ... ok
[INFO] [stdout] test no_eta_for_indexed_family ... ok
[INFO] [stdout] test infer_proj_recursive_is_error ... ok
[INFO] [stdout] test infer_proj_positive_control ... ok
[INFO] [stdout] test infer_dependent_field_type ... ok
[INFO] [stdout] test no_eta_for_two_constructor_inductive ... ok
[INFO] [stdout] test fun_eta_two_binders ... ok
[INFO] [stdout] test fun_eta_three_binders ... ok
[INFO] [stdout] test probe_single_binder_fun_eta_still_works ... ok
[INFO] [stdout] test probe_struct_eta_defeqchecker ... ok
[INFO] [stdout] test probe_unit_like_vs_ctor ... ok
[INFO] [stdout] test struct_eta_polymorphic_two_field_reverse ... ok
[INFO] [stdout] test struct_eta_polymorphic_two_field ... ok
[INFO] [stdout] test struct_eta_dependent_sigma ... ok
[INFO] [stdout] test unit_like_axiom_vs_constructor ... ok
[INFO] [stdout] test infer_proj_out_of_range_is_error ... ok
[INFO] [stdout] test probe_struct_eta_typechecker_path ... ok
[INFO] [stderr]      Running tests/univ_hygiene.rs (/opt/rustwide/target/release/build/oxilean-kernel/cfc995a73454fdad/out/univ_hygiene-cfc995a73454fdad)
[INFO] [stdout] test unit_like_two_axioms_def_eq ... ok
[INFO] [stdout] test unit_like_parameterized ... ok
[INFO] [stdout] test probe_proj_ctor_iota_still_works ... ok
[INFO] [stdout] test struct_eta_nested ... ok
[INFO] [stdout] test struct_eta_swapped_fields_not_def_eq ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test s7_correct_arity_reference_is_accepted ... ok
[INFO] [stdout] test s8_level_mvar_rejected ... ok
[INFO] [stdout] test s8_ci_inductive_duplicate_univ_params_rejected ... ok
[INFO] [stdout] test s8_undeclared_param_in_type_rejected ... ok
[INFO] [stdout] test s8_ci_level_mvar_rejected ... ok
[INFO] [stdout] test s8_ci_undeclared_param_in_type_rejected ... ok
[INFO] [stdout] test s8_ci_theorem_duplicate_univ_params_rejected ... ok
[INFO] [stdout] test s8_ci_undeclared_param_in_value_rejected ... ok
[INFO] [stdout] test s7_polymorphic_const_referenced_with_too_many_levels_is_rejected ... ok
[INFO] [stdout] test s8_ci_definition_duplicate_univ_params_rejected ... ok
[INFO] [stdout] test s8_duplicate_univ_params_rejected ... ok
[INFO] [stderr]      Running tests/wave2_interactions.rs (/opt/rustwide/target/release/build/oxilean-kernel/a392480f470da53d/out/wave2_interactions-a392480f470da53d)
[INFO] [stdout] test s7_polymorphic_const_referenced_with_empty_levels_is_rejected ... ok
[INFO] [stdout] test s8_undeclared_param_in_value_rejected ... ok
[INFO] [stdout] test s8_wellformed_polymorphic_declaration_accepted ... ok
[INFO] [stdout] test s8_ci_axiom_duplicate_univ_params_rejected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test nat_rec_on_literal_inside_polymorphic_definition ... ok
[INFO] [stdout] test k_reduction_and_proof_irrelevance_agree_and_terminate ... ok
[INFO] [stdout] test quot_lift_of_ctor_pattern_reduces_through_proj ... ok
[INFO] [stdout] test non_prop_field_restricts_to_small_elimination ... ok
[INFO] [stdout] test quot_mk_of_eta_expanded_struct_is_def_eq ... ok
[INFO] [stdout] test prop_struct_proof_irrelevance_beats_eta_without_looping ... ok
[INFO] [stdout] test subsingleton_large_elimination_sees_through_raw_imax ... ok
[INFO] [stdout] test struct_eta_over_proof_fields_uses_proof_irrelevance ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests oxilean_kernel
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test src/def_eq_cache/functions.rs - def_eq_cache::functions::with_cache (line 227) ... ignored
[INFO] [stdout] test src/lib.rs - (line 191) ... ignored
[INFO] [stdout] test src/lib.rs - (line 201) ... ignored
[INFO] [stdout] test src/lib.rs - (line 21) ... ignored
[INFO] [stdout] test src/lib.rs - (line 210) ... ignored
[INFO] [stdout] test src/lib.rs - (line 31) ... ignored
[INFO] [stdout] test src/name/functions.rs - name::functions::name (line 50) ... ignored
[INFO] [stdout] test src/env_index/functions.rs - env_index::functions::is_in_namespace (line 233) ... ok
[INFO] [stdout] test src/lib.rs - hash_cons (line 372) ... ok
[INFO] [stdout] test src/lib.rs - whnf_memo (line 460) ... ok
[INFO] [stdout] test src/lib.rs - string_intern (line 379) ... ok
[INFO] [stdout] test src/lib.rs - env_index (line 450) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 7 ignored; 0 measured; 0 filtered out; finished in 0.54s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e", kill_on_drop: false }`
[INFO] [stdout] d58bb903368c91a6f1cbd26189a30e2137b98791b51c522e0b3d15254d9b993e
