[INFO] fetching crate oxilean-kernel 0.1.1...
[INFO] testing oxilean-kernel-0.1.1 against 1.95.0 for beta-1.96-2
[INFO] extracting crate oxilean-kernel 0.1.1 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate oxilean-kernel 0.1.1
[INFO] finished tweaking crates.io crate oxilean-kernel 0.1.1
[INFO] tweaked toml for crates.io crate oxilean-kernel 0.1.1 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxilean-kernel 0.1.1 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxilean-kernel 0.1.1 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.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 61049fdcd30f198982ba0cf0b95515cd433c56872fd529f6393337f24994fe78
[INFO] running `Command { std: "docker" "start" "-a" "61049fdcd30f198982ba0cf0b95515cd433c56872fd529f6393337f24994fe78", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "61049fdcd30f198982ba0cf0b95515cd433c56872fd529f6393337f24994fe78", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "61049fdcd30f198982ba0cf0b95515cd433c56872fd529f6393337f24994fe78", kill_on_drop: false }`
[INFO] [stdout] 61049fdcd30f198982ba0cf0b95515cd433c56872fd529f6393337f24994fe78
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 99bdaf80d673e27e919c87c9e764af6885049637f857d054e7757a9a5229e118
[INFO] running `Command { std: "docker" "start" "-a" "99bdaf80d673e27e919c87c9e764af6885049637f857d054e7757a9a5229e118", kill_on_drop: false }`
[INFO] [stderr]    Compiling oxilean-kernel v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 16.49s
[INFO] running `Command { std: "docker" "inspect" "99bdaf80d673e27e919c87c9e764af6885049637f857d054e7757a9a5229e118", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "99bdaf80d673e27e919c87c9e764af6885049637f857d054e7757a9a5229e118", kill_on_drop: false }`
[INFO] [stdout] 99bdaf80d673e27e919c87c9e764af6885049637f857d054e7757a9a5229e118
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 98e2dd64187fcbe9324612a66c03a4d372c464dea4a2bb83dd6f7edbdbcb7c1d
[INFO] running `Command { std: "docker" "start" "-a" "98e2dd64187fcbe9324612a66c03a4d372c464dea4a2bb83dd6f7edbdbcb7c1d", kill_on_drop: false }`
[INFO] [stderr]    Compiling oxilean-kernel v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 29.27s
[INFO] running `Command { std: "docker" "inspect" "98e2dd64187fcbe9324612a66c03a4d372c464dea4a2bb83dd6f7edbdbcb7c1d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "98e2dd64187fcbe9324612a66c03a4d372c464dea4a2bb83dd6f7edbdbcb7c1d", kill_on_drop: false }`
[INFO] [stdout] 98e2dd64187fcbe9324612a66c03a4d372c464dea4a2bb83dd6f7edbdbcb7c1d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ca293ba6ae9f4a4abe8f5b026a99cdc4008103350fc9a3633780942a25118e75
[INFO] running `Command { std: "docker" "start" "-a" "ca293ba6ae9f4a4abe8f5b026a99cdc4008103350fc9a3633780942a25118e75", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxilean_kernel-0eb4eefb71331b25)
[INFO] [stdout] 
[INFO] [stdout] running 3095 tests
[INFO] [stdout] test abstract_interp::functions::tests::test_abstract_state_join ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_depth_domain_increase ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_fixed_point_convergence ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_interpreter_analyze_depth ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_sign_negate ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_size_domain_add ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_sign_domain_join ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_cmp::test_abstract_eq ... 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_chaotic_iterator_limit ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_cmp::test_abstract_lt ... 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_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_extended3::test_cost_bound ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended3::test_reachability_analysis ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended3::test_termination_evidence ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended4::test_summary_database ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended4::test_transfer_function_apply ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended4::test_transfer_function_constrain ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_fixpoint_engine ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended5::test_analysis_config ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended4::test_function_summary ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended5::test_block_reachability ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended5::test_trilean_join ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended5::test_trilean_and_or_not ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_interval_arithmetic ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_fixpoint_detection ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_interval_basics ... 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_extended2::test_congruence_domain_join ... 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_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_product::test_analysis_results ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_product::test_interval_parity_add ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_interp_entry::test_simple_abstract_interpreter ... 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_all_alpha_equiv_different ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_parity_domain_join ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended2::test_congruence_domain_satisfies ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_all_alpha_equiv_empty ... ok
[INFO] [stdout] test abstract_interp::functions::tests::test_sign_domain_leq ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended::test_narrow_env ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_all_alpha_equiv_same ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_all_alpha_equiv_single ... 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 abstract_interp::functions::tests_abstract_extended2::test_abstract_trace ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_cache_basic ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_class_rep ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_equiv_mod_levels ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_hash_alpha_equiv ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_hash_lit ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_alpha_hash_same_expr ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_find_non_equiv_pair ... ok
[INFO] [stdout] test alpha::functions::alpha_extended_tests::test_find_non_equiv_pair_all_equiv ... ok
[INFO] [stdout] test alpha::functions::rename_tests::test_rename_bvar_basic ... ok
[INFO] [stdout] test alpha::functions::rename_tests::test_rename_bvar_no_match ... 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::rename_tests::test_rename_bvar_in_app ... 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_apply_fvar_subst ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_bvar0_free_false ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_count_bvar0_in_app ... 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 alpha::functions::shift_subst_tests::test_fvar_occurs_true ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_lift_basic ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_shift_bvar_above_cutoff ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_lower_basic ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_shift_in_lam ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_shift_bvar_below_cutoff ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_shift_preserves_const ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_app ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_structurally_equal ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_bvar ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_free_fvars_collects_all ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_const ... ok
[INFO] [stdout] test alpha::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test alpha::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test alpha::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test alpha::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test alpha::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_lambda ... ok
[INFO] [stdout] test alpha::functions::tests::test_alpha_equiv_sort ... ok
[INFO] [stdout] test alpha::functions::tests::test_canonicalize ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_arena_index_operator ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_scoped_arena_multiple_checkpoints ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_scoped_arena_rollback ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_fvar_occurs_false ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_slab_live_iter ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_alloc_and_get ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_interning_arena_contains ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_double_arena ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_alloc_many ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_iter_indexed ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_pool ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_arena_map ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_stats ... ok
[INFO] [stdout] test arena::functions::tests::test_arena_stats_utilisation ... ok
[INFO] [stdout] test arena::functions::tests::test_bump_arena ... ok
[INFO] [stdout] test arena::functions::tests::test_bump_arena_overflow ... ok
[INFO] [stdout] test arena::functions::tests::test_bump_arena_reset ... ok
[INFO] [stdout] test arena::functions::tests::test_idx_cast ... ok
[INFO] [stdout] test arena::functions::tests::test_idx_equality ... ok
[INFO] [stdout] test arena::functions::tests::test_idx_ordering ... ok
[INFO] [stdout] test arena::functions::tests::test_idx_range ... ok
[INFO] [stdout] test arena::functions::tests::test_interning_arena ... ok
[INFO] [stdout] test arena::functions::tests::test_slab_arena_get_free_returns_none ... ok
[INFO] [stdout] test arena::functions::tests::test_slab_arena_alloc_free ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra2::test_growable_arena ... 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 alpha::functions::shift_subst_tests::test_bvar0_free_true ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra2::test_two_generation_arena ... 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_chained_arena ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_linear_arena_oom ... ok
[INFO] [stdout] test arena::functions::tests_arena_extra::test_pool_arena ... 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_common_infra::test_loop_clock ... ok
[INFO] [stdout] test arena::functions::tests_arena_trait::test_arena_allocator_trait ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_work_queue ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_work_stack ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_event_counter ... ok
[INFO] [stdout] test arena::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_diag_meta ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_annotation_table ... ok
[INFO] [stdout] test arena::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test arena::functions::tests_extra_data_structures::test_simple_lru_cache ... 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_timestamp ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_typed_id ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_id_dispenser ... ok
[INFO] [stdout] test axiom::functions::axiom_category_tests::test_axioms_in_category_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_category_tests::test_axiom_summary_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_category_tests::test_classify_external ... ok
[INFO] [stdout] test axiom::functions::axiom_category_tests::test_has_axioms_of_category_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axiom_allowlist_classical ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axiom_allowlist_empty ... 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 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_build_safety_report_empty_env ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_classify_axiom_category_classical ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_classify_axiom_category_propositional ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_classify_axiom_category_user ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_collect_direct_refs ... 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_clear ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_axiom_sequence_empty ... 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_sequence_tests::test_axiom_sequence_remove_classical ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_count_definitions_empty ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_is_prop_axiom_not_prop ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_is_prop_axiom_sort_zero ... ok
[INFO] [stdout] test arena::functions::extra_tests::test_arena_map_remove ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_slot ... ok
[INFO] [stdout] test abstract_interp::functions::tests_abstract_extended3::test_call_graph ... ok
[INFO] [stdout] test arena::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test alpha::functions::shift_subst_tests::test_alpha_subst_simple ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_reachable_axioms_empty ... ok
[INFO] [stdout] test axiom::functions::tests::test_check_dependencies ... ok
[INFO] [stdout] test axiom::functions::tests::test_check_dependencies_empty ... ok
[INFO] [stdout] test axiom::functions::tests::test_classify_questionable ... ok
[INFO] [stdout] test axiom::functions::axiom_sequence_tests::test_validators_compatible_both_empty ... ok
[INFO] [stdout] test axiom::functions::tests::test_classify_safe ... ok
[INFO] [stdout] test axiom::functions::tests::test_extract_axioms_with_entries ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_axiom_allowlist_check_env_empty ... ok
[INFO] [stdout] test axiom::functions::tests::test_axiom_dependencies ... ok
[INFO] [stdout] test axiom::functions::tests::test_extract_axioms ... ok
[INFO] [stdout] test axiom::functions::tests::test_has_unsafe_deps ... ok
[INFO] [stdout] test axiom::functions::tests::test_unsafe_axioms ... ok
[INFO] [stdout] test axiom::functions::tests::test_is_classical ... ok
[INFO] [stdout] test axiom::functions::tests::test_register_axiom ... 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_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test axiom::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test axiom::functions::tests::test_is_constructive ... ok
[INFO] [stdout] test axiom::functions::tests::test_mark_unsafe ... ok
[INFO] [stdout] test axiom::functions::tests_final_padding::test_fixture ... 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_padding2::test_path_buf ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test axiom::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test axiom::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test axiom::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test axiom::functions::tests_tiny_padding::test_bitset64 ... ok
[INFO] [stdout] test axiom::functions::tests_tiny_padding::test_bucket_counter ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_harness_new ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_result_creation ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_suite_run ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_timer_elapsed ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_suite_new ... ok
[INFO] [stdout] test alpha::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test alpha::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test alpha::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test arena::functions::tests_common_infra::test_sparse_bit_set ... ok
[INFO] [stdout] test arena::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test axiom::functions::axiom_extra_tests::test_is_axiom_free_const ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_timer_start ... 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::test_bench_harness_throughput ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_bench_registry ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_compare_timings ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_cpu_pinner ... 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_bench_extra2::test_scaling_test ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_iteration_policy ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_sample_buffer ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_latency_percentile ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra2::test_progress_bar ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_regression_test ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_moving_average ... 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 bench_support::functions::tests_bench_extra::test_bench_harness_fixed ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final3::test_ols_regression ... 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_final::test_fuzz_input ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final::test_stability_checker ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final::test_multi_arm_bandit ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_bench_matrix ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final3::test_batch_timer ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_throughput_tracker ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final3::test_confidence_interval ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final3::test_hdr_histogram ... 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 beta::functions::extra_beta_tests2::test_beta_applicative_order_no_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_equivalent_same_normal_form ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_metric::test_metric_set ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_profiler::test_bench_profiler ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_result::test_bench_result_empty ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_final::test_time_slice ... ok
[INFO] [stdout] test bench_support::functions::tests_throughput_unit::test_calc_throughput ... 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_both_strategies_agree_on_id ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_extra::test_cold_cache_simulator ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_estimate_reduction_depth_zero ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_eta_reduce_non_eta ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_whnf_const ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_has_let_none ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_eta_reduce_simple ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_has_let_some ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_is_whnf_let_is_not ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_is_whnf_sort ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_mk_const_fn_ignores_arg ... 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_mk_identity_reduces_correctly ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_mk_compose_applies ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_count_redexes_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_reduce_lets_identity ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_normal_order_reduces_id ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_normalize_fueled_uses_fuel ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_config::test_default_config ... ok
[INFO] [stdout] test bench_support::functions::tests::test_bench_suite_report ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_head_normalize_basic ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_beta_stats_max_depth ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_apply_k ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_normal_order_no_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_beta_stats_tracking ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_beta_whnf_simple ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_beta_step_with_flag_no_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_collect_app_spine ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_count_reduction_steps ... ok
[INFO] [stdout] test bench_support::functions::tests_bench_config::test_ci_config ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_eta_expand_then_apply ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests2::test_estimate_reduction_depth_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_beta_step_with_flag_redex ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_is_eta_reducible_true ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_is_eta_reducible_false ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_applicative_order_simple ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_mk_i_combinator ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_reduce_app_spine ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_beta_equivalent ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_has_let_false ... 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::strategy_tests::test_reduce_lets_nested ... ok
[INFO] [stdout] test beta::functions::extra_beta_tests::test_mk_k_combinator ... ok
[INFO] [stdout] test beta::functions::tests::test_beta_normalize ... ok
[INFO] [stdout] test beta::functions::tests::test_beta_step_no_redex ... ok
[INFO] [stdout] test beta::functions::tests::test_beta_step_simple ... ok
[INFO] [stdout] test beta::functions::strategy_tests::test_beta_not_equivalent ... ok
[INFO] [stdout] test beta::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test beta::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test beta::functions::tests::test_is_beta_normal ... ok
[INFO] [stdout] test beta::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test beta::functions::tests::test_mk_beta_redex ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_ctor_count ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_write_once ... 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::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test beta::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_is_prop ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_kind_description ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_is_recursive ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_arith ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_builtin_universe_level ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_axiom ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_type ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_ctor ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_classify_builtin_unknown ... ok
[INFO] [stdout] test beta::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_all_builtin_names_nonempty ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_core_builtin_infos ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_is_logical_connective ... ok
[INFO] [stdout] test builtin::functions::extended_builtin_tests::test_is_primitive_value ... 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_inductive ... ok
[INFO] [stdout] test builtin::functions::tests::test_core_axioms_registered ... ok
[INFO] [stdout] test builtin::functions::tests::test_decidable_eq ... ok
[INFO] [stdout] test builtin::functions::tests::test_empty_axioms ... ok
[INFO] [stdout] test builtin::functions::tests::test_bool_axioms ... ok
[INFO] [stdout] test builtin::functions::tests::test_init_builtin_env ... 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_nat_inductive ... ok
[INFO] [stdout] test builtin::functions::tests::test_nat_ops_registered ... 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_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_unit_axioms ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test builtin::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_sparse_vec ... 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 builtin::functions::tests_padding_infra::test_config_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_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_versioned_record ... 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_size ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_multi_level_cache_hit_rate ... 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_multi_level_cache_clear_all ... ok
[INFO] [stdout] test builtin::functions::tests::test_string_ops_registered ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_multi_level_cache_l2_promotion ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_ttl_cache_clear ... 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_expiry ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_bloom_filter_clear ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_ttl_cache_insert_get ... 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_miss ... ok
[INFO] [stdout] test builtin::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test builtin::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test builtin::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_manager_new ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_manager_statistics ... ok
[INFO] [stdout] test cache::functions::cache_extra_tests::test_ttl_cache_not_expired_yet ... 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_cache_manager_default ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_new ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_clear ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_manager_clear_all ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_symmetry ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_store_and_check ... ok
[INFO] [stdout] test cache::functions::tests::test_expr_hash_complex ... ok
[INFO] [stdout] test cache::functions::tests::test_defeq_cache_false_result ... ok
[INFO] [stdout] test cache::functions::tests::test_expr_hash_consistency ... ok
[INFO] [stdout] test cache::functions::tests::test_fnv1a_hash_different ... ok
[INFO] [stdout] test cache::functions::tests::test_infer_cache_clear ... ok
[INFO] [stdout] test cache::functions::tests::test_fnv1a_hash_consistency ... ok
[INFO] [stdout] test cache::functions::tests::test_fnv1a_hash_basic ... ok
[INFO] [stdout] test cache::functions::tests::test_cache_statistics_overall_hit_rate ... ok
[INFO] [stdout] test cache::functions::tests::test_expr_hash_different ... 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_get_nonexistent ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_eviction ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_hit_rate ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_insert_and_get ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_remove ... ok
[INFO] [stdout] test cache::functions::tests::test_lru_cache_new ... 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_infer_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::test_infer_cache_stats ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test cache::functions::tests::test_whnf_cache_lookup_store ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test cache::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test cache::functions::tests::test_whnf_cache_new ... ok
[INFO] [stdout] test cache::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test cache::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test cache::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test cache::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_recursor ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_infos_sequence ... ok
[INFO] [stdout] test check::functions::tests::test_check_axiom ... ok
[INFO] [stdout] test check::functions::tests::test_batch_check_with_error ... 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_declarations_sequence ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_axiom ... 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 check::functions::tests::test_check_config_strict ... ok
[INFO] [stdout] test check::functions::tests::test_check_constant_info_quotient ... ok
[INFO] [stdout] test check::functions::tests::test_batch_check_all_ok ... ok
[INFO] [stdout] test check::functions::tests::test_check_stats_totals ... ok
[INFO] [stdout] test check::functions::tests::test_check_definition ... ok
[INFO] [stdout] test check::functions::tests::test_decl_kind_display ... ok
[INFO] [stdout] test check::functions::tests::test_format_batch_result_all_ok ... ok
[INFO] [stdout] test check::functions::tests::test_env_builder_with_error ... ok
[INFO] [stdout] test check::functions::tests::test_is_valid_decl_name ... ok
[INFO] [stdout] test check::functions::tests::test_has_unique_univ_params ... ok
[INFO] [stdout] test check::functions::tests::test_temp_env_scope ... ok
[INFO] [stdout] test check::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test check::functions::tests::test_summarize_declaration ... ok
[INFO] [stdout] test check::functions::tests::test_type_mismatch ... ok
[INFO] [stdout] test check::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test check::functions::tests::test_format_decl_summary ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test check::functions::tests::test_env_builder_clean ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test check::functions::tests::test_is_structurally_valid_expr ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test check::functions::tests::test_well_formed_result_display ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test check::functions::tests_padding_infra::test_small_map ... 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 check::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_all_hypotheses_trivial_false ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test check::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test check::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_all_hypotheses_trivial_true ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_compatible_heads ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_congr_hypothesis_trivial ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_congr_hypothesis_nontrivial ... 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_generate_congr_hypotheses ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_enode_add_member ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_is_simple_head ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_proof_refl ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_lemma_cache_basic ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_proof_symm ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_lemma_cache_hit ... 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_trans ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_congr_lemma_cache_clear ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_flat_cc_find_self ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_flat_cc_propagate_congruences ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_flat_cc_add_app ... 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::egraph_tests::test_egraph_add_equality ... 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_add_node ... 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_congruence ... ok
[INFO] [stdout] test congruence::functions::tests::test_merge ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_enode_singleton ... ok
[INFO] [stdout] test congruence::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test congruence::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test congruence::functions::new_tests::test_flat_cc_basic ... ok
[INFO] [stdout] test congruence::functions::egraph_tests::test_egraph_add_expr ... 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::egraph_tests::test_egraph_clear ... ok
[INFO] [stdout] test congruence::functions::tests::test_congr_theorem_with_fixed ... 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::new_tests::test_congr_proof_simplify_double_symm ... ok
[INFO] [stdout] test congruence::functions::tests::test_congr_theorem_basic ... 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_padding2::test_sliding_sum ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test congruence::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_either2 ... 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::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_transform_stat ... 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_empty ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_diff_empty ... 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_entry_local ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_chain_find ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_mk_lambda ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_diff_compute ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_mk_pi ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_entry_implicit ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_stats ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_entry_let ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_name_gen_hyp ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_name_gen_mvar ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_collect_fvars ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_fresh_name_seq ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_fresh_name_seq_reserve ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_fvar_occurs ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_name_gen_fresh ... 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_greek ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_collect_fvars_dedup ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_count_fvar ... ok
[INFO] [stdout] test congruence::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_scoped_context_depth ... ok
[INFO] [stdout] test context::functions::tests::test_binder_info_preserved ... ok
[INFO] [stdout] test context::functions::tests::test_context_create ... ok
[INFO] [stdout] test context::functions::tests::test_find_local_not_found ... ok
[INFO] [stdout] test context::functions::tests::test_find_local ... ok
[INFO] [stdout] test context::functions::tests::test_local_with_value ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_hyp_context_remove_last ... ok
[INFO] [stdout] test context::functions::tests::test_mk_let_decl ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_rename_fvar ... ok
[INFO] [stdout] test context::functions::tests::test_mk_local_decl ... ok
[INFO] [stdout] test context::functions::tests::test_clear ... ok
[INFO] [stdout] test context::functions::tests::test_name_generator ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_scoped_context_push_pop ... ok
[INFO] [stdout] test context::functions::tests::test_abstract_fvar ... ok
[INFO] [stdout] test context::functions::tests::test_get_fvars ... ok
[INFO] [stdout] test context::functions::extended_ctx_tests::test_context_with_local_cleanup ... ok
[INFO] [stdout] test congruence::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test context::functions::tests::test_pop_local ... ok
[INFO] [stdout] test context::functions::scoped_ctx_tests::test_hyp_context_not_found ... ok
[INFO] [stdout] test context::functions::tests::test_save_restore ... ok
[INFO] [stdout] test context::functions::tests::test_with_local ... ok
[INFO] [stdout] test context::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test context::functions::tests::test_push_local ... ok
[INFO] [stdout] test context::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_transitive_closure ... 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 context::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test context::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test context::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test arena::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_count_free_vars_dedup ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_count_free_vars_none ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_count_free_vars_one ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_atomic_bvar ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_atomic_app ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_atomic_lit ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_eta_equal_basic ... ok
[INFO] [stdout] test context::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_bounded_conversion_equal ... ok
[INFO] [stdout] test conversion::functions::atomic_tests::test_is_atomic_const ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_bounded_conversion_not_equal ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_coercion_priority_order ... 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::bounded_tests::test_same_head_lits ... 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::bounded_tests::test_same_head_different ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_coercion_table_empty ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_coercion_table_register_and_find ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_def_eq_with_mode ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_is_transparency_neutral_const ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_is_transparency_neutral_lit ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_conv_result_is_equal ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_same_head_sorts ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_levels_def_eq ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_alpha_similar_same ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_coercion_table_clear ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_convertibility_score_same ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_contains_subterm_inside_app ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_conversion_diff_different ... 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_is_beta_normal_const ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_alpha_similar_app ... ok
[INFO] [stdout] test conversion::functions::extended_tests::test_conversion_diff_same ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_expr_size_app ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_expr_depth_leaf ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_is_beta_normal_redex ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_expr_depth_app ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_contains_subterm_self ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_structural_distance_diff ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_expr_size_leaf ... ok
[INFO] [stdout] test conversion::functions::tests::test_convertible_identical ... ok
[INFO] [stdout] test conversion::functions::tests::test_convertible_different_lits ... 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_proj_convertible ... ok
[INFO] [stdout] test conversion::functions::tests::test_convertible_sorts ... ok
[INFO] [stdout] test conversion::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test conversion::functions::tests::test_sort_equivalence ... ok
[INFO] [stdout] test conversion::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test conversion::functions::tests::test_transparency_modes ... ok
[INFO] [stdout] test conversion::functions::extra_conv_tests::test_structural_distance_nested ... ok
[INFO] [stdout] test conversion::functions::tests::test_convertible_apps ... ok
[INFO] [stdout] test conversion::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test conversion::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test conversion::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test conversion::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test conversion::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test conversion::functions::tests_tiny_padding::test_bitset64 ... ok
[INFO] [stdout] test conversion::functions::tests_tiny_padding::test_bucket_counter ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_check_level_params_consistent_ok ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_check_level_params_consistent_fail ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_constant_kind_axiom ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_collect_level_params_in_const ... 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::extended_tests::test_definition_safety ... ok
[INFO] [stdout] test conversion::functions::bounded_tests::test_convertibility_score_diff_consts ... 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::extended_tests::test_summarize ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_display_string_monomorphic ... ok
[INFO] [stdout] test declaration::functions::tests::test_inductive_val ... ok
[INFO] [stdout] test declaration::functions::tests::test_instantiate_level_params_const ... ok
[INFO] [stdout] test declaration::functions::tests::test_quot_val ... ok
[INFO] [stdout] test declaration::functions::tests::test_structure_like ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test declaration::functions::tests::test_recursor_major_idx ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_annotation_table ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_num_level_params ... ok
[INFO] [stdout] test conversion::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test declaration::functions::tests::test_constant_info_accessors ... ok
[INFO] [stdout] test declaration::functions::extended_tests::test_collect_level_params_in_sort ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_loop_clock ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_diag_meta ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_work_queue ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_work_stack ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_event_counter ... ok
[INFO] [stdout] test declaration::functions::tests_decl_filter::test_decl_filter ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test declaration::functions::tests_common_infra::test_sparse_bit_set ... ok
[INFO] [stdout] test declaration::functions::tests_decl_filter::test_decl_filter_attr ... ok
[INFO] [stdout] test declaration::functions::tests::test_definition_val ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_attr ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_index ... ok
[INFO] [stdout] test declaration::functions::tests::test_instantiate_level_params ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_dependencies ... ok
[INFO] [stdout] test declaration::functions::tests::test_constructor_val ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_kind ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_signature ... ok
[INFO] [stdout] test declaration::functions::tests_extra_data_structures::test_simple_lru_cache ... ok
[INFO] [stdout] test declaration::functions::tests_declaration_extra::test_decl_visibility ... ok
[INFO] [stdout] test declaration::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test declaration::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test declaration::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test declaration::functions::tests_ring_buffer::test_seq_num ... 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_typed_utilities::test_memo_slot ... ok
[INFO] [stdout] test declaration::functions::tests_ring_buffer::test_before_after ... ok
[INFO] [stdout] test declaration::functions::tests_typed_utilities::test_id_dispenser ... 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 def_eq::functions::extended_def_eq_tests::test_batch_count_equal ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_def_eq_config_default ... 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_stats_no_accesses ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_is_def_eq_args_different_lengths ... ok
[INFO] [stdout] test declaration::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_def_eq_stats_hit_rate ... 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_typed_utilities::test_slot ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_batch_check_any ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_batch_check_all_fail ... 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::extended_def_eq_tests::test_proof_irrelevance_does_not_apply_to_types ... ok
[INFO] [stdout] test def_eq::functions::tests::test_app_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_self ... ok
[INFO] [stdout] test def_eq::functions::tests::test_beta_reduction ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_app ... ok
[INFO] [stdout] test def_eq::functions::tests::test_delta_reduction ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_proof_irrelevance_disabled ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_const ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_bvar ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_lit ... ok
[INFO] [stdout] test def_eq::functions::tests::test_lazy_delta ... ok
[INFO] [stdout] test def_eq::functions::tests::test_reflexivity ... ok
[INFO] [stdout] test def_eq::functions::tests_extra_iterators::test_non_empty_vec ... 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_padding2::test_path_buf ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test def_eq::functions::tests::test_level_equivalence ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test def_eq::functions::tests::test_not_equal ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test def_eq::functions::extended_def_eq_tests::test_syntactic_eq_pi ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_stat_summary ... 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::utility_tests::test_closest_match_empty ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_format_name_list_empty ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_format_name_list_one ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_closest_match_found ... ok
[INFO] [stdout] test def_eq::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_format_name_list_many ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test def_eq::functions::tests::test_pi_equality ... ok
[INFO] [stdout] test def_eq::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test def_eq::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_name_index_empty ... 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_starts_with ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_constants_with_prefix ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_contains_any ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_snapshot_basic ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_format_name_list_two ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_levenshtein_empty ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_levenshtein_one_edit ... 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_basic ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_snapshot_diff_no_change ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_snapshot_empty ... 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_env_stats_with_axioms ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_present_names ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_builder_empty ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_env_snapshot_diff ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_builder_len ... 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_error_display ... 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_axiom_names ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_string_trie_insert_contains ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_definition_value_retrieval ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_environment_view_counts ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_merge_environments_conflict ... ok
[INFO] [stdout] test env::functions::tests::test_constant_info_lookup ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_filter_environment ... 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_instantiate_const_type ... ok
[INFO] [stdout] test env::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test env::functions::tests::test_inductive_queries ... ok
[INFO] [stdout] test env::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_merge_environments_disjoint ... ok
[INFO] [stdout] test env::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_builder_duplicate_error ... ok
[INFO] [stdout] test env::functions::extended_env_tests::test_env_builder_with_constant ... ok
[INFO] [stdout] test env::functions::env_new_tests::test_missing_names ... ok
[INFO] [stdout] test env::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test def_eq::functions::utility_tests::test_name_index_get ... ok
[INFO] [stdout] test env::functions::tests::test_add_and_get ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test declaration::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test env::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test env::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_small_map ... 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 equiv_manager::functions::equiv_extended_tests::test_equiv_query ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test env::functions::tests_padding3::test_write_once ... 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_focus_stack ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test env::functions::tests_padding_infra::test_simple_dag ... 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_instrumented_manager ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_scoped_manager_pop_at_root ... 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_scoped_manager_push_pop ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_scoped_manager_total_equivs ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_index_equiv_manager_num_classes ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_persistent_equiv_manager_clone ... 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_equiv_manager_default ... 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::equiv_extended_tests::test_equiv_stats_default ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_union_find_all_separate ... 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_add_failure ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_find_classes_all_same ... ok
[INFO] [stdout] test equiv_manager::functions::equiv_extended_tests::test_instrumented_manager_clear ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_find_classes_two_classes ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_compute_equiv_classes_all_same ... 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_compute_equiv_classes_all_separate ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_persistent_manager_reflexive ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_persistent_manager_serialize ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_add_and_check_equiv ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_persistent_manager_sorted_output ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_clear ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_equiv_reflexive ... ok
[INFO] [stdout] test equiv_manager::functions::persistent_equiv_tests::test_compute_equiv_classes_basic ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_not_equiv ... 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_persistent_manager_is_empty ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_sort_equivalence ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_event_counter ... 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_common_infra::test_sparse_bit_set ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_work_queue ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_extra::test_equiv_class ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_work_stack ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_failure_cache ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_extra::test_equiv_manager_stats ... 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 equiv_manager::functions::tests_common_infra::test_loop_clock ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_extra::test_union_find ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_proof::test_checked_equiv ... ok
[INFO] [stdout] test equiv_manager::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test equiv_manager::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test equiv_manager::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test equiv_manager::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test equiv_manager::functions::tests::test_many_equivalences ... ok
[INFO] [stdout] test equiv_manager::functions::tests_ring_buffer::test_before_after ... ok
[INFO] [stdout] test equiv_manager::functions::tests_extra_data_structures::test_simple_lru_cache ... ok
[INFO] [stdout] test equiv_manager::functions::tests_ring_buffer::test_generation ... ok
[INFO] [stdout] test equiv_manager::functions::tests_ring_buffer::test_seq_num ... ok
[INFO] [stdout] test equiv_manager::functions::tests_ring_buffer::test_ring_buffer ... ok
[INFO] [stdout] test equiv_manager::functions::tests_symmetric_relation::test_symmetric_relation ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_id_dispenser ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_memo_slot ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_slot ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_timestamp ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_typed_id ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_annotated_error_is_fatal ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_annotated_error_no_notes ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_annotated_error_with_note ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_annotated_error_display ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_error_note_at ... 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_kernel_phase_display ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_error_note_display_with_location ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_phased_error_display ... ok
[INFO] [stdout] test equiv_manager::functions::tests_equiv_proof::test_equiv_proof_term ... ok
[INFO] [stdout] test error::functions::extra_error_tests::test_phased_error_new ... ok
[INFO] [stdout] test error::functions::tests::test_category_assignment ... ok
[INFO] [stdout] test error::functions::tests::test_collect_unknown_constants ... ok
[INFO] [stdout] test error::functions::tests::test_diagnostic_collection_has_errors ... ok
[INFO] [stdout] test error::functions::tests::test_count_by_category ... ok
[INFO] [stdout] test error::functions::tests::test_diagnostic_collection_by_severity ... ok
[INFO] [stdout] test error::functions::tests::test_error_accumulator_drain ... ok
[INFO] [stdout] test error::functions::tests::test_diagnostic_display ... ok
[INFO] [stdout] test error::functions::tests::test_error_accumulator_into_result ... ok
[INFO] [stdout] test error::functions::tests::test_error_accumulator_basic ... ok
[INFO] [stdout] test error::functions::tests::test_error_context_into_error ... ok
[INFO] [stdout] test error::functions::tests::test_fatal_recoverable_split ... ok
[INFO] [stdout] test error::functions::tests::test_error_report_display ... ok
[INFO] [stdout] test error::functions::tests::test_error_context_format ... ok
[INFO] [stdout] test error::functions::tests::test_format_error_panel ... ok
[INFO] [stdout] test error::functions::tests::test_has_universe_errors ... ok
[INFO] [stdout] test error::functions::tests::test_from_string_conversion ... ok
[INFO] [stdout] test error::functions::tests::test_recoverability ... ok
[INFO] [stdout] test error::functions::tests::test_kernel_result_ext_context ... 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_ok ... ok
[INFO] [stdout] test error::functions::tests::test_try_kernel_err ... ok
[INFO] [stdout] test error::functions::tests::test_type_mismatch_display ... ok
[INFO] [stdout] test error::functions::tests::test_unbound_variable_display ... ok
[INFO] [stdout] test error::functions::tests::test_unknown_constant_display ... ok
[INFO] [stdout] test error::functions::tests::test_with_context_type_mismatch ... ok
[INFO] [stdout] test error::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test error::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test error::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test error::functions::tests_final_padding::test_min_heap ... 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_sliding_sum ... 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_token_bucket ... ok
[INFO] [stdout] test error::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_index_equiv_manager_basic ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test equiv_manager::functions::extra_equiv_tests::test_index_equiv_manager_find_self ... ok
[INFO] [stdout] test equiv_manager::functions::tests_common_infra::test_annotation_table ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_lam_to_pi ... ok
[INFO] [stdout] test error::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test equiv_manager::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_beta_reduce_full ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_beta_reduce_one ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_arity ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_is_closed ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_is_simple_app ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_lambda_stats ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_rewrite_rule_apply ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_mk_app_spine ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_is_lambda_free ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_normal_eq ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test error::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_rebuild_lam ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_rebuild_pi ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_pi_depth ... ok
[INFO] [stdout] test eta::functions::eta_extended_tests::test_peel_pis ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_apply_bvars ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_is_beta_redex ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_is_eta_redex ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_node_count ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_reduce_let ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_rewrite_with_rules ... 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_expand_to_already_deep_enough ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_normalize_tracked_contracts_one ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_head_already_contracted ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_is_closed_fvar ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_is_closed_const ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_expr_structure_desc ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_outer_lambda_depth_two ... 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_zero ... ok
[INFO] [stdout] test eta::functions::tests::test_binder_depth ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_outer_lambda_depth_one ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_info_contracted_fields ... ok
[INFO] [stdout] test eta::functions::tests::test_contains_bvar ... ok
[INFO] [stdout] test eta::functions::tests::test_count_bvar ... ok
[INFO] [stdout] test eta::functions::tests::test_collect_app_spine ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_contract ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_contract_none_identity ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_expand ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_structural_hash_stable ... ok
[INFO] [stdout] test eta::functions::tests::test_is_eta_expandable ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_is_closed_app_with_fvar ... ok
[INFO] [stdout] test eta::functions::eta_further_tests::test_wrap_in_lambdas ... ok
[INFO] [stdout] test eta::functions::tests::test_peel_lambdas ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_expand_pi ... ok
[INFO] [stdout] test eta::functions::tests::test_shift_down ... ok
[INFO] [stdout] test eta::functions::tests::test_is_identity_lambda ... ok
[INFO] [stdout] test eta::functions::tests::test_shift_up ... ok
[INFO] [stdout] test eta::functions::extra_eta_tests::test_eta_normalize_tracked_already_normal ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_contract_full_recurses_into_lam_body ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_contract_full_recurses_into_app ... ok
[INFO] [stdout] test eta::functions::tests::test_eta_normalize_idempotent ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_job_queue ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_log ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_checker ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_outcome ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_normal_cache ... ok
[INFO] [stdout] test eta::functions::tests_eta_stat_counter::test_eta_stat_counter ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_op_counter ... ok
[INFO] [stdout] test eta::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test eta::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_reduction_stats ... ok
[INFO] [stdout] test eta::functions::tests_eta_padding::test_eta_structure ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test eta::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test export::functions::extra_tests::test_check_bytes_integrity_bad_magic ... ok
[INFO] [stdout] test export::functions::extra_tests::test_check_bytes_integrity_ok ... 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_check_module_integrity_empty ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_diff_added ... ok
[INFO] [stdout] test export::functions::extra_tests::test_dep_graph_topological_order ... 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_registry_register ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_registry_register_module ... 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_cache_remove ... ok
[INFO] [stdout] test export::functions::tests::test_export_environment ... ok
[INFO] [stdout] test export::functions::tests::test_module_cache ... ok
[INFO] [stdout] test export::functions::tests::test_add_dependency ... ok
[INFO] [stdout] test export::functions::tests::test_module_metadata ... ok
[INFO] [stdout] test export::functions::tests::test_exported_module_create ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_complex_expr ... ok
[INFO] [stdout] test export::functions::tests::test_import_all ... ok
[INFO] [stdout] test export::functions::tests::test_import_module ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_deserialize_header ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_registry_decls_for_module ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_deserialize_round_trip ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_invalid_magic ... ok
[INFO] [stdout] test export::functions::extra_tests::test_module_diff_total_changes ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_level_variants ... ok
[INFO] [stdout] test export::functions::tests::test_serialize_name_components ... 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_rewrite_rule_set ... ok
[INFO] [stdout] test export::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test export::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test export::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_versioned_record ... 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::version_tests::test_version_compatible_same ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_compatible_newer_minor ... 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 expr::functions::expr_new_tests::test_app_head ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_roundtrip ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_count_occurrences ... 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_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_and ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_not ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_app_args ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_same_head_false ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_subst_expr ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_mk_refl ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_binder_info_delimiters ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_constants_collection ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_app_arity ... ok
[INFO] [stdout] test expr::functions::expr_new_tests::test_same_head_true ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_config_node ... 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_as_bvar ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_ast_depth ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_is_atom ... ok
[INFO] [stdout] test export::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_pi_arity ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_parse_invalid ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_expr_size ... ok
[INFO] [stdout] test export::functions::version_tests::test_version_parse_ok ... 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::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_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_fvar_id_gen_fresh ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_fvar_id_gen_reset ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_literal_predicates ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_mk_app_many ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_mk_arrow ... ok
[INFO] [stdout] test expr::functions::extended_expr_tests::test_mk_arrows_chain ... 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_final_padding::test_fixture ... 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_extra_iterators::test_window_iterator ... 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_padding2::test_string_pool ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test expr::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test expr::functions::tests_padding3::test_stack_calc ... 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_config_node ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test expr::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test expr::functions::tests_padding_infra::test_stat_summary ... 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_get_by_id ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_hit_rate_empty ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_get_id_lookup ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_intern_different_exprs ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_hit_rate_with_duplicates ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_pool_add_root ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_intern_same_expr_twice ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_invalidation_set ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_memo_table_insert_get_remove ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_path_cache ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_cache_session_stats ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_pool_live_count ... 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_two_level_cache ... ok
[INFO] [stdout] test expr_cache::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_versioned_cache ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_rc_expr_pool_gc ... ok
[INFO] [stdout] test expr_cache::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_eviction_tracker_capacity ... ok
[INFO] [stdout] test expr_cache::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test expr_cache::functions::tests_cache_extended::test_eviction_tracker_lru_mru ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_dedup_ratio ... ok
[INFO] [stdout] test expr_cache::functions::tests_final_padding::test_prefix_counter ... 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_padding2::test_sliding_sum ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding2::test_string_pool ... 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_flat_substitution ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test expr_cache::functions::tests_padding_infra::test_transform_stat ... 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_tiny_padding::test_bucket_counter ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_decompose_lam ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_decompose_let ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_get_bvar_idx ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_decompose_pi ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_get_sort_level ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_fvar_bvar ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_get_const_name ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_lambda_pi ... 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_get_nth_arg ... ok
[INFO] [stdout] test expr_util::functions::tests::test_collect_fvars ... ok
[INFO] [stdout] test expr_util::functions::tests::test_count_lambdas_pis ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_mk_pi_n_two ... ok
[INFO] [stdout] test expr_util::functions::tests::test_expr_weight ... ok
[INFO] [stdout] test expr_util::functions::tests::test_for_each_expr ... ok
[INFO] [stdout] test expr_util::functions::tests::test_get_app_args ... ok
[INFO] [stdout] test expr_util::functions::tests::test_has_fvar ... ok
[INFO] [stdout] test expr_util::functions::tests::test_get_app_fn ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_mk_pi_n_empty ... ok
[INFO] [stdout] test expr_util::functions::tests::test_has_loose_bvars ... ok
[INFO] [stdout] test expr_util::functions::tests::test_mk_app ... ok
[INFO] [stdout] test expr_util::functions::tests::test_lift_loose_bvars ... ok
[INFO] [stdout] test expr_util::functions::tests::test_replace_expr ... ok
[INFO] [stdout] test expr_util::functions::tests::test_is_app_of ... ok
[INFO] [stdout] test expr_util::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test expr_util::functions::tests::test_mk_arrow ... ok
[INFO] [stdout] test expr_util::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test expr_util::functions::tests::test_mk_app_range ... ok
[INFO] [stdout] test expr_util::functions::tests::test_occurs_const ... ok
[INFO] [stdout] test expr_util::functions::tests::test_get_app_fn_args ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_simple ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_is_sort ... ok
[INFO] [stdout] test expr_util::functions::extended_tests::test_mk_lam_n_two ... ok
[INFO] [stdout] test expr_util::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_path_buf ... 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_padding3::test_decision_node ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test expr_util::functions::tests_padding3::test_stopwatch ... 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_nat ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_ffi_value_try_from_expr_mismatch ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test expr_util::functions::tests_padding_infra::test_focus_stack ... 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 expr_util::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_manifest_not_required ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_manifest_require ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_version_new ... 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::extra_ffi_tests::test_symbol_metadata_new ... ok
[INFO] [stdout] test ffi::functions::tests::test_builtin_externs_arithmetic ... ok
[INFO] [stdout] test ffi::functions::tests::test_calling_convention_display ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_symbol_metadata_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_builtin_externs_string ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_decl_validate_invalid_lib ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_decl_validate_valid ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_version_at_least ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_decl_new ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_duplicate_symbol ... ok
[INFO] [stdout] test ffi::functions::extra_ffi_tests::test_library_version_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_builtin_externs_io ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_lookup_by_symbol ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_register ... ok
[INFO] [stdout] test ffi::functions::tests::test_builtin_externs_register ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_error_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_new ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_signature_validate_safe ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_lookup_not_found ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_signature_new ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_signature_validate_unsafe ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_type_is_ffi_safe ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_lookup ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_type_fn_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_extern_registry_validate_all ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_type_ptr_display ... ok
[INFO] [stdout] test ffi::functions::tests::test_ffi_type_size_bytes ... 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_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test ffi::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test ffi::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test ffi::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test ffi::functions::tests_padding2::test_path_buf ... 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_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test ffi::functions::tests_padding2::test_token_bucket ... 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_padding3::test_either2 ... ok
[INFO] [stdout] test ffi::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test ffi::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test expr_util::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test ffi::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test ffi::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_arity ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_builder_basic ... 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_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::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_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 inductive::functions::extra_tests::test_mk_empty_inductive ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_recursor_name ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_error_display ... 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_empty ... 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_singleton ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_family_type_names ... 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_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_builder_validate ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_rhs_bool_false ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_type_is_recursive ... 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_iota_bool ... 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_num_constructors ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_inductive_family_find_type ... 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::tests::test_inductive_env ... ok
[INFO] [stdout] test inductive::functions::tests::test_recursive_detection ... ok
[INFO] [stdout] test inductive::functions::tests::test_positivity_check ... ok
[INFO] [stdout] test inductive::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test inductive::functions::tests::test_to_constant_infos ... ok
[INFO] [stdout] test inductive::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test inductive::functions::tests::test_register_in_env ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_close_term_over_fvars_empty ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_rhs_bool_true ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_normalize_literal ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_close_type_over_fvars_empty ... ok
[INFO] [stdout] test inductive::functions::inductive_extra_tests::test_recursor_rhs_nat_succ ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_count_pi_binders_none ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_count_pi_binders_two ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_telescope_type_no_pis ... 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_infer_stats_total_ops ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_try_check_wrong ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_verify_declaration_ok ... 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_lambda ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_classify_expr_type0 ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_classify_expr_pi ... 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_miss ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_infer_cache_eviction ... 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_insert_get ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_is_prop_false ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_is_prop_true ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_is_sort_true ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_is_sort_false ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_pi_sort_prop_codomain ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_pi_sort_type_codomain ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_typing_judgment_ok ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_pi_components ... ok
[INFO] [stdout] test infer::functions::tests::test_const_with_levels ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_typing_judgment_fail ... ok
[INFO] [stdout] test infer::functions::tests::test_ensure_sort ... ok
[INFO] [stdout] test infer::functions::tests::test_infer_constant ... ok
[INFO] [stdout] test infer::functions::tests::test_infer_lambda ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_telescope_type_with_pi ... ok
[INFO] [stdout] test infer::functions::extended_tests::test_try_check_correct ... ok
[INFO] [stdout] test infer::functions::extra_infer_tests::test_classify_expr_prop ... ok
[INFO] [stdout] test expr_util::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test expr_util::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test inductive::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test inductive::functions::extra_tests::test_builder_missing_ty_fails ... ok
[INFO] [stdout] test infer::functions::tests::test_def_eq_integration ... 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::tests::test_infer_literal ... ok
[INFO] [stdout] test infer::functions::tests::test_whnf_integration ... ok
[INFO] [stdout] test infer::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_abstract_fvar_hit ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_abstract_fvar_miss ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_has_loose_bvars_true ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_has_loose_bvars_false ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_instantiate_one ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_beta_apply_empty ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test infer::functions::tests_padding2::test_transitive_closure ... 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_subst_fvar ... 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_none ... ok
[INFO] [stdout] test infer::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test instantiate::functions::instantiate_extra_tests::test_is_whnf_simple_const ... 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_unfold_let_one ... 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_hit ... 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_in_app ... 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_from_pi ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_push ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_named_subst_basic ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_expr_mvars ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_to_pi_roundtrip ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_many_basic ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_empty ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_shift ... ok
[INFO] [stdout] test infer::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_single ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_basic ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_rev_under_binder ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_type_lparams_const ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_instantiate_empty_args ... ok
[INFO] [stdout] test instantiate::functions::instantiate_new_tests::test_telescope_to_lam ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_type_lparams_multi ... ok
[INFO] [stdout] test instantiate::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test instantiate::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test instantiate::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test instantiate::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test instantiate::functions::tests::test_instantiate_type_lparams_sort ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test instantiate::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test instantiate::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test instantiate::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test instantiate::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test kernel_extra_tests::test_build_lam_from_binders ... ok
[INFO] [stdout] test kernel_extra_tests::test_is_eta_reducible_false ... ok
[INFO] [stdout] test kernel_extra_tests::test_is_literal_false ... ok
[INFO] [stdout] test kernel_extra_tests::test_is_lam ... ok
[INFO] [stdout] test kernel_extra_tests::test_is_literal_true ... ok
[INFO] [stdout] test kernel_extra_tests::test_is_pi ... ok
[INFO] [stdout] test kernel_extra_tests::test_build_pi_from_binders ... ok
[INFO] [stdout] test kernel_extra_tests::test_is_const ... ok
[INFO] [stdout] test kernel_extra_tests::test_collect_literals ... ok
[INFO] [stdout] test kernel_extra_tests::test_is_sort ... ok
[INFO] [stdout] test kernel_extra_tests::test_const_name ... ok
[INFO] [stdout] test kernel_extra_tests::test_contains_bvar_false ... ok
[INFO] [stdout] test kernel_extra_tests::test_max_binder_depth_one ... ok
[INFO] [stdout] test kernel_extra_tests::test_max_binder_depth_zero ... ok
[INFO] [stdout] test kernel_extra_tests::test_contains_bvar_true ... ok
[INFO] [stdout] test kernel_extra_tests::test_count_apps_one ... ok
[INFO] [stdout] test kernel_extra_tests::test_count_apps_zero ... ok
[INFO] [stdout] test kernel_extra_tests::test_count_sorts_one ... ok
[INFO] [stdout] test kernel_extra_tests::test_count_sorts_zero ... ok
[INFO] [stdout] test kernel_extra_tests::test_has_let_binders_false ... ok
[INFO] [stdout] test kernel_extra_tests::test_has_projections_false ... ok
[INFO] [stdout] test kernel_extra_tests::test_is_app ... ok
[INFO] [stdout] test kernel_extra_tests::test_replace_const_in_app ... ok
[INFO] [stdout] test kernel_extra_tests::test_strip_pi_binders_none ... ok
[INFO] [stdout] test kernel_extra_tests::test_strip_pi_binders_one ... ok
[INFO] [stdout] test kernel_extra_tests::test_syntactically_equal ... ok
[INFO] [stdout] test kernel_util_tests::test_collect_const_names ... ok
[INFO] [stdout] test kernel_util_tests::test_count_lam_binders ... ok
[INFO] [stdout] test kernel_util_tests::test_expr_size_atom ... ok
[INFO] [stdout] test kernel_util_tests::test_has_metavars_false ... ok
[INFO] [stdout] test kernel_util_tests::test_has_metavars_true ... ok
[INFO] [stdout] test kernel_util_tests::test_is_app_of ... ok
[INFO] [stdout] test kernel_util_tests::test_count_pi_binders ... ok
[INFO] [stdout] test kernel_extra_tests::test_strip_lam_binders_one ... ok
[INFO] [stdout] test kernel_util_tests::test_expr_size_app ... ok
[INFO] [stdout] test kernel_util_tests::test_kernel_version_parses ... ok
[INFO] [stdout] test kernel_util_tests::test_is_closed_bvar_0 ... ok
[INFO] [stdout] test kernel_util_tests::test_mk_app_spine_empty ... ok
[INFO] [stdout] test kernel_util_tests::test_mk_app_spine ... ok
[INFO] [stdout] test kernel_util_tests::test_mk_nat_lit ... ok
[INFO] [stdout] test kernel_util_tests::test_mk_string_lit ... ok
[INFO] [stdout] test kernel_util_tests::test_mk_type0 ... ok
[INFO] [stdout] test kernel_util_tests::test_mk_prop ... ok
[INFO] [stdout] test kernel_util_tests::test_unfold_app ... ok
[INFO] [stdout] test kernel_util_tests::test_is_closed_const ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_constraint_set_all_satisfied ... ok
[INFO] [stdout] test kernel_util_tests::test_is_ground_const ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_constraint_set_len ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_eval_ground_level_numeral ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_constraint_set_unsatisfied ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_flatten_max_binary ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_flatten_max_single ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_imax_fold_empty ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_is_ground_param ... 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_is_ground_zero ... 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 level::functions::extra2_level_tests::test_is_numeral_false ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_collect_level_mvars_multiple ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_is_numeral_true ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_level_constraint_eq_satisfied ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_dedup_levels ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_level_constraint_leq_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 kernel_util_tests::test_is_ground_fvar ... ok
[INFO] [stdout] test level::functions::extra2_level_tests::test_eval_ground_level_param ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_is_definitely_succ_false ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_is_definitely_succ_true ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_is_leq ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_max3 ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_add_two_times ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_type_level_two ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_add_zero_times ... 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_depth ... ok
[INFO] [stdout] test level::functions::tests::test_instantiate_level ... ok
[INFO] [stdout] test level::functions::tests::test_from_nat_to_nat ... ok
[INFO] [stdout] test level::functions::tests::test_level_construction ... ok
[INFO] [stdout] test level::functions::tests::test_level_display ... ok
[INFO] [stdout] test level::functions::tests::test_is_geq ... ok
[INFO] [stdout] test level::functions::tests::test_level_mvar ... ok
[INFO] [stdout] test level::functions::tests::test_instantiate_level_mvars ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_max_zero ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_max_same ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_succ ... ok
[INFO] [stdout] test level::functions::extra_level_tests::test_level_min_equal ... 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::extra_level_tests::test_level_min_zeros ... ok
[INFO] [stdout] test level::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test level::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test level::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_zero ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_imax_succ ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test level::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_max_ordering ... ok
[INFO] [stdout] test level::functions::tests::test_to_offset ... 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_stack_calc ... ok
[INFO] [stdout] test level::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test level::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_stat_summary ... 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_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_count_decision_tree_leaves ... 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_is_irrefutable_ctor_false ... ok
[INFO] [stdout] test level::functions::tests::test_normalize_imax_zero ... ok
[INFO] [stdout] test level::functions::tests_padding_infra::test_versioned_record ... 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_wildcard ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_pattern_constructor ... ok
[INFO] [stdout] test match_compile::functions::extended_tests::test_pattern_subpatterns ... 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_pattern_binders_var ... 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_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::extended_tests::test_flatten_or_patterns ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_is_irrefutable_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_display ... 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_wildcard ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_exhaustive_wildcard ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_exhaustive_all_ctors ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_redundant_after_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_compile_simple_match ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_pattern_stats_wildcards ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test match_compile::functions::match_compile_extra_tests::test_pattern_stats_constructors ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test match_compile::functions::tests::test_pattern_eq ... ok
[INFO] [stdout] test match_compile::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_exhaustive_missing ... ok
[INFO] [stdout] test match_compile::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test match_compile::functions::tests::test_check_redundant ... 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_padding3::test_stack_calc ... ok
[INFO] [stdout] test match_compile::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test match_compile::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_config_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_label_set ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_simple_dag ... 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_versioned_record ... ok
[INFO] [stdout] test name::functions::tests::test_longest_common_prefix ... ok
[INFO] [stdout] test name::functions::tests::test_name_components ... ok
[INFO] [stdout] test name::functions::tests::test_name_freshen ... 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 match_compile::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test name::functions::tests::test_name_depth ... ok
[INFO] [stdout] test name::functions::tests::test_name_generator ... ok
[INFO] [stdout] test match_compile::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test name::functions::tests::test_name_has_prefix ... ok
[INFO] [stdout] test name::functions::tests::test_name_last_str ... ok
[INFO] [stdout] test name::functions::tests::test_name_from_str ... ok
[INFO] [stdout] test name::functions::tests::test_name_map_remove ... ok
[INFO] [stdout] test name::functions::tests::test_name_ord ... ok
[INFO] [stdout] test name::functions::tests::test_name_replace_last ... ok
[INFO] [stdout] test name::functions::tests::test_name_root ... ok
[INFO] [stdout] test name::functions::tests::test_name_set ... ok
[INFO] [stdout] test name::functions::tests::test_name_set_union ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_diag_meta ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_work_queue ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_loop_clock ... ok
[INFO] [stdout] test name::functions::tests::test_share_namespace ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_work_stack ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_event_counter ... ok
[INFO] [stdout] test name::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test name::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test name::functions::tests_name_extra2::test_name_generator ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_sparse_bit_set ... ok
[INFO] [stdout] test name::functions::tests_extra_data_structures::test_simple_lru_cache ... ok
[INFO] [stdout] test name::functions::tests::test_name_macro ... ok
[INFO] [stdout] test name::functions::tests_name_extra::test_name_resolver ... ok
[INFO] [stdout] test name::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test name::functions::tests::test_name_map ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test name::functions::tests_common_infra::test_annotation_table ... 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_extra::test_name_pool ... ok
[INFO] [stdout] test name::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test name::functions::tests_name_extra::test_name_trie ... ok
[INFO] [stdout] test name::functions::tests_name_extra::test_qualified_name ... ok
[INFO] [stdout] test name::functions::tests_ring_buffer::test_ring_buffer ... ok
[INFO] [stdout] test name::functions::tests_ring_buffer::test_before_after ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_id_dispenser ... ok
[INFO] [stdout] test name::functions::tests_ring_buffer::test_generation ... ok
[INFO] [stdout] test name::functions::tests_ring_buffer::test_seq_num ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_typed_id ... ok
[INFO] [stdout] test name::functions::trie_tests::test_direct_children ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_set_to_sorted_vec ... ok
[INFO] [stdout] test kernel_extra_tests::test_replace_const ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_trie_count ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_to_ident_string ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_memo_slot ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_trie_insert_lookup ... ok
[INFO] [stdout] test name::functions::trie_tests::test_qualified_name ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_alloc_config_default ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_trie_to_vec ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_timestamp ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_generator_reset ... ok
[INFO] [stdout] test level::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_map_filter_by_namespace ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_slot ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_prepend ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_compatibility_report ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_alloc_config_for_wasm ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_platform_info ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_std_compat_alloc_types ... ok
[INFO] [stdout] test name::functions::trie_tests::test_name_set_in_namespace ... 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_cfg_snapshot ... 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_compile_flags ... 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_cross_platform_timer ... 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_library_manifest ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_capability_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::test_std_compat_required_features ... 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_stack_guard ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_version_constraint ... 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_oom ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext3::test_bump_alloc ... 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_build_info ... 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_byte_order_round_trip ... 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_os_resource ... 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_conditional_init ... 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_spin_flag ... 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_static_str ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_scratch_buffer ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final2::test_object_file ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext2::test_shim_registry ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_feature_flags ... ok
[INFO] [stdout] test no_std_compat::functions::tests::test_wasm_feature_set ... 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_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_ext::test_memory_layout ... 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 no_std_compat::functions::tests_compat_final::test_page_map ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_is_in_whnf_let ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final::test_linear_scan_allocator ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_normalize_fully_depth_zero ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_memoized_normalizer_cache ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_count_reduction_steps_one ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_count_reduction_steps_zero ... 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_normalize_many ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_normalize_selective_no_env ... ok
[INFO] [stdout] test name::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_final2::test_standard_sections ... 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_zero ... ok
[INFO] [stdout] test normalize::functions::extended_normalize_tests::test_reduce_n_steps_one ... 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_none ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_norm_stats_total_steps ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_normalize_with_stats_beta ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_norm_strategy_full ... ok
[INFO] [stdout] test normalize::functions::tests::test_alpha_eq_different ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_normalize_with_stats_let ... ok
[INFO] [stdout] test normalize::functions::tests::test_alpha_eq_same ... ok
[INFO] [stdout] test normalize::functions::tests::test_alpha_eq_env ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_normalize_binders_depth1 ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_beta ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_bvar ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_lambda ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_lit ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_nested ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_norm_strategy_whnf ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_sort ... ok
[INFO] [stdout] test normalize::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test normalize::functions::normalize_new_tests::test_normalize_with_stats_no_reductions ... ok
[INFO] [stdout] test normalize::functions::tests::test_is_normal_form ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test normalize::functions::tests::test_normalize_with_env ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test normalize::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test normalize::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test normalize::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test normalize::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test normalize::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test normalize::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_colorize_lit_contains_number ... 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_nest ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_doc_concat ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_doc_text_render ... ok
[INFO] [stdout] test normalize::functions::tests_padding3::test_sparse_vec ... 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_bvar ... 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_summary_pi_arrow ... 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_false ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_print_name_str ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_print_expr_let ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_bvar ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_app ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_config_ascii ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_const ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_const_with_levels ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_implicit_binder ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_inst_implicit_binder ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_lambda_ascii ... ok
[INFO] [stdout] test prettyprint::functions::extra_prettyprint_tests::test_is_simple_name_true ... 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::extra_prettyprint_tests::test_expr_to_doc_sort ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_level_mvar ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_lit ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_config_verbose ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_level_param_plus ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pi_arrow ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_sort_param ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_sort_prop ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_sort_type ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_sort_type_n ... 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_common_infra::test_event_counter ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pi_forall ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_loop_clock ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_scope_stack ... ok
[INFO] [stdout] test prettyprint::functions::tests_common_infra::test_sparse_bit_set ... 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_escape_helper::test_escape_unescape ... ok
[INFO] [stdout] test prettyprint::functions::tests_extra_data_structures::test_bimap ... ok
[INFO] [stdout] test prettyprint::functions::tests_extra_data_structures::test_string_interner ... ok
[INFO] [stdout] test prettyprint::functions::tests_extra_data_structures::test_frequency_table ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra2::test_doc_builder ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_fmt_width ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_indent_style ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra2::test_printer_state ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_pretty_doc_render ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_pretty_table ... ok
[INFO] [stdout] test prettyprint::functions::tests_interval_set::test_interval_set ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_token_printer ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_pretty_token_raw ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_sexpr_printer ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_memo_slot ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_id_dispenser ... ok
[INFO] [stdout] test prettyprint::functions::tests_extra_data_structures::test_simple_lru_cache ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_slot ... ok
[INFO] [stdout] test prettyprint::functions::tests_prettyprint_extra::test_color_scheme ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_typed_id ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_is_closed_const ... 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_beta_reduce_simple ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_classify_app ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_classify_atomic_const ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_classify_bvar ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_count_const_occurrences ... 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_count_redexes_one ... ok
[INFO] [stdout] test no_std_compat::functions::tests_compat_ext::test_conditional_init_double_init - should panic ... 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_analysis_size ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_proof_effort_classical ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_proof_normalizer_subst_bvar_shift ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_proof_state_remaining ... ok
[INFO] [stdout] test proof::functions::extended_proof_tests::test_proof_obligation_discharge ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_contains_classical_sorry_false ... 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_analyzer_classical ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_contains_classical_sorry_true ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_skeleton_no_holes ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_analyzer_constructive ... ok
[INFO] [stdout] test proof::functions::extra_proof_tests::test_proof_skeleton_with_sorry ... 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::extra_proof_tests::test_proof_certificate_no_sorry ... 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_skeleton_display ... ok
[INFO] [stdout] test proof::functions::tests::test_collect_constants ... ok
[INFO] [stdout] test proof::functions::tests::test_depth ... 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_could_be_prop ... ok
[INFO] [stdout] test proof::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test proof::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test proof::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test proof::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test proof::functions::tests::test_is_proof ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test proof::functions::tests::test_is_proof_non_prop ... ok
[INFO] [stdout] test proof::functions::tests::test_is_sort_zero ... ok
[INFO] [stdout] test proof::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_irrelevance ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test proof::functions::tests::test_same_proposition_structure ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test proof::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test proof::functions::tests::test_size_app ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test proof::functions::tests::test_size_simple ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_label_set ... 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_transform_stat ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test proof::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_collect_quot_mk ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_contains_quot_lift ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test proof::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_quot_mk_def_eq ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_equiv_class_system ... 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::extended_tests::test_try_reduce_quot_full_lift ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_reduce_quot_ind ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_quot_lift_cache ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_quotient_description_display ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_is_identity_relation ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_is_quot_sound ... 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::more_tests::test_quot_stats_no_quot ... ok
[INFO] [stdout] test quotient::functions::more_tests::test_quotient_reducer_step_limit ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_count_quot_mk ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_all_quot_mk ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_quot_reduction_kind_description ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_quotient_builder_incomplete ... 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_sort_relation ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_validate_quotient_type_valid ... ok
[INFO] [stdout] test quotient::functions::extended_tests::test_validate_quotient_type_with_app_relation ... 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::normalizer_tests::test_extract_quot_lift_args ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_build_quot_lift ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_is_quot_const ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_quot_const_arity ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_is_quot_normal_with_lift ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_quot_normalizer_no_change ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_quot_normalizer_steps ... 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_requires_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_quot_type_doc ... ok
[INFO] [stdout] test quotient::functions::tests::test_is_quot_type_expr_not_quot ... ok
[INFO] [stdout] test quotient::functions::tests::test_quot_eq_eq_relation_different ... ok
[INFO] [stdout] test quotient::functions::tests::test_quot_eq_reflexive ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_build_quot_mk ... ok
[INFO] [stdout] test quotient::functions::tests::test_quot_eq_symmetric_relation ... 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::tests::test_is_quot_type_expr_valid ... ok
[INFO] [stdout] test prettyprint::functions::tests_typed_utilities::test_slot_double_fill - should panic ... ok
[INFO] [stdout] test quotient::functions::tests::test_quot_eq_eq_relation_same ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_strip_quot_mk ... ok
[INFO] [stdout] test quotient::functions::tests::test_is_quot_mk ... ok
[INFO] [stdout] test quotient::functions::normalizer_tests::test_standard_quot_consts ... ok
[INFO] [stdout] test quotient::functions::tests::test_is_eq_relation ... ok
[INFO] [stdout] test quotient::functions::tests::test_quot_lift_reduction ... ok
[INFO] [stdout] test quotient::functions::tests::test_quot_mk_arg ... ok
[INFO] [stdout] test quotient::functions::tests::test_quot_lift_too_few_args ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_kernel_is_quot_type_structural ... ok
[INFO] [stdout] test quotient::functions::tests::test_is_quot_type_expr_not_app ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_creation ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_kernel_find_by_base ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_mk_const ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_kernel_reduce ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_kernel_register ... ok
[INFO] [stdout] test quotient::functions::tests::test_quotient_mk_apply ... ok
[INFO] [stdout] test quotient::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test quotient::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test quotient::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_transform_stat ... 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_count_fvar_occurrences_multiple ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_count_fvar_occurrences_one ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_count_fvar_occurrences_zero ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_is_closed_under ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_mk_app_multiple ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_let_abstract ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_pi_arity ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_shift_bvars_above_cutoff ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_subst_fvar_replacement ... 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_split_pi ... 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_bvars_in_range_bvar_out_of_range ... 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_max_bvar_app ... 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_rename_const ... 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_rename_const_no_match ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_distinct_const_count_zero ... ok
[INFO] [stdout] test r#abstract::functions::ground_tests::test_is_ground_bvar ... 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_fvar ... ok
[INFO] [stdout] test r#abstract::functions::extra_abstract_tests::test_replace_nat_lit ... ok
[INFO] [stdout] test r#abstract::functions::ground_tests::test_is_ground_lit ... 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_distinct_const_count_dedup ... 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_multiple ... ok
[INFO] [stdout] test quotient::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_abstract_no_fvars ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_abstract_roundtrip ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_apply_beta ... 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::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_abstract_fvars_single ... ok
[INFO] [stdout] test r#abstract::functions::extended_tests::test_collect_fvars_multi ... ok
[INFO] [stdout] test r#abstract::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test r#abstract::functions::tests::test_abstract_fvars_under_binder ... ok
[INFO] [stdout] test r#abstract::functions::tests_final_padding::test_prefix_counter ... 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_string_pool ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_sparse_vec ... 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_write_once ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding_infra::test_config_node ... 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_versioned_record ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding3::test_stopwatch ... 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::tests_padding_infra::test_stat_summary ... 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 r#abstract::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_mk_lambda_empty ... ok
[INFO] [stdout] test r#abstract::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_add ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_split_lam ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_div_zero ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_split_pi_not_pi ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_gcd ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_land ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_cmp_beq_true ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_subst_fvar_identity ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_cmp_ble ... ok
[INFO] [stdout] test r#abstract::functions::topo_tests::test_topo_sort_no_deps ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_is_whnf_lam ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_app_arity ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_head_of_nested_app ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_is_whnf_redex ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_is_whnf_lit ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reducer_stats_cache_hit_rate ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_lcm ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reducer_stats_display ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_binop_sub_saturating ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_trace_clear ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_is_whnf_sort ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_eval_nat_cmp_beq_false ... ok
[INFO] [stdout] test reduce::functions::tests::test_beta_reduction_nested ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reduction_trace_disabled ... ok
[INFO] [stdout] test reduce::functions::tests::test_cache_hit ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reducer_stats_total ... ok
[INFO] [stdout] test reduce::functions::tests::test_beta_reduction ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reduction_trace_enabled ... ok
[INFO] [stdout] test reduce::functions::extra_reduce_tests::test_reduction_rule_display ... ok
[INFO] [stdout] test reduce::functions::tests::test_string_ops ... ok
[INFO] [stdout] test reduce::functions::tests::test_nat_arithmetic ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test reduce::functions::tests::test_nat_extended_ops ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test reduce::functions::tests::test_nat_bitwise_ops ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test reduce::functions::tests::test_zeta_reduction ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test reduce::functions::tests::test_transparency_modes ... ok
[INFO] [stdout] test reduce::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test reduce::functions::tests::test_whnf_already_normal ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test reduce::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_stack_calc ... 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_padding_infra::test_transform_stat ... 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_bvar ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_alpha_equiv_different_constructors ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test reduce::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test reduce::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_reduction_memo_insert_get ... 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_len ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_expr_fingerprint_different ... ok
[INFO] [stdout] test reduction::functions::tests::test_build_reduction_trace_normal ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_expr_fingerprint_same ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_reduction_memo_strategy_separation ... 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_clear ... ok
[INFO] [stdout] test reduction::functions::tests::test_are_convertible_same ... ok
[INFO] [stdout] test reduce::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test reduction::functions::extra_reduction_tests::test_reduction_memo_hit_rate ... ok
[INFO] [stdout] test reduction::functions::tests::test_classify_head_beta_redex ... ok
[INFO] [stdout] test reduction::functions::tests::test_classify_head_lambda ... ok
[INFO] [stdout] test reduction::functions::tests::test_classify_head_let ... ok
[INFO] [stdout] test reduction::functions::tests::test_find_redexes_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_none ... ok
[INFO] [stdout] test reduction::functions::tests::test_count_beta_redexes_one ... 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_not_normal_form_beta ... ok
[INFO] [stdout] test reduction::functions::tests::test_not_normal_form_let ... ok
[INFO] [stdout] test reduction::functions::tests::test_redex_kind_description ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduce_bounded_normal ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduce_whnf ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_result_accessors ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_bound_exceeded ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_strategy_lazy_eager ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_strategy_complete ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_stats_summary ... ok
[INFO] [stdout] test reduction::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test reduction::functions::tests::test_reduction_strategy_name ... ok
[INFO] [stdout] test reduction::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test reduction::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test reduction::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test reduction::functions::tests_extra_iterators::test_window_iterator ... 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::test_head_form_is_neutral ... 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::test_is_normal_form_lit ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test reduction::functions::tests::test_try_reduce_step_reduces ... ok
[INFO] [stdout] test reduction::functions::tests::test_is_normal_form_sort ... ok
[INFO] [stdout] test reduction::functions::tests::test_try_reduce_step_normal ... ok
[INFO] [stdout] test reduction::functions::tests::test_find_redexes_empty ... ok
[INFO] [stdout] test reduction::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_config_node ... 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_padding3::test_sparse_vec ... ok
[INFO] [stdout] test reduction::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test serial::functions::tests::test_header_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests::test_invalid_magic_error ... ok
[INFO] [stdout] test serial::functions::tests::test_serial_decl_name ... ok
[INFO] [stdout] test serial::functions::tests::test_magic_bytes ... ok
[INFO] [stdout] test serial::functions::tests::test_serialize_empty_names ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test serial::functions::tests::test_writer_read_string_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests::test_serialize_names_roundtrip ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test serial::functions::tests::test_writer_read_u32_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests_hex::test_hex_roundtrip ... ok
[INFO] [stdout] test reduction::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test serial::functions::tests_serial_diag::test_format_diagnostics ... 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_serial ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended2::test_delta_list_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_fnv1a_64 ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_buffered_writer ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended3::test_decl_index_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_filter_and_find ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended2::test_string_pool_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_has_valid_magic ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended3::test_blobs_equal ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_with_context_err ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_with_context_ok ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended3::test_metadata_writer_reader ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_compatibility_checker ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_merge_union ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_dedup_decls ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_sort_decls_by_name ... 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_extended5::test_serial_error ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_peek_version_and_decl_count ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_name_table_intern_lookup ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_checkpointed_reader_rollback ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended4::test_count_by_kind ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_checkpointed_reader_no_checkpoint ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended5::test_serialized_sizes ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended7::test_olean_archive ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended6::test_merge_intersection ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended8::test_decl_diff ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_name_table_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended8::test_group_by_namespace ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_section_header_roundtrip ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_serialize_deserialize_decls ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_section_table_roundtrip ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_free_vars ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_is_nat_lit ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_is_closed ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_is_succ_and_succ_of ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_is_zero ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_decompose_app_single ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_binary_section_bytes ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_blob_validator ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_checksummed_writer ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_decode_invalid_kind ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_encode_decode_decl_inductive ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_rewrite_all ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests2::test_rewrite_once ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_decompose_app ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_add ... ok
[INFO] [stdout] test serial::functions::tests_serial_extended::test_encode_decode_decl_theorem ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_literal ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_succ ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_expr_depth ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_expr_size ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_alpha_eq_lit ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_mk_app ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_is_app_of ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_simp_lemma_reversed ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_pow ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eval_nat_pred ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_simplify_bounded_depth_zero ... 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_extra_tests::test_contains_bvar ... ok
[INFO] [stdout] test simp::functions::simp_extra_tests::test_eta_reduce_no_change ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_fold_nat_constants_succ ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_is_false_expr ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_is_true ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_lemma_set_apply_once ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_lemma_set_apply_all ... 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_prop ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_result_unchanged ... 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::tests::test_alpha_eq_bvar ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_lemma_set_find ... 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_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test simp::functions::tests::test_simplify_nat_succ ... ok
[INFO] [stdout] test simp::functions::simp_set_tests::test_simp_result_simplified ... ok
[INFO] [stdout] test simp::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test simp::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test simp::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test simp::functions::tests_final_padding::test_fixture ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test simp::functions::tests_padding2::test_string_pool ... 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_decision_node ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test simp::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test struct_eta::functions::tests::test_collect_field_types_mypair ... ok
[INFO] [stdout] test struct_eta::functions::tests::test_eta_expand_struct_produces_app_tree ... ok
[INFO] [stdout] test struct_eta::functions::tests::test_is_not_singleton_mypair ... ok
[INFO] [stdout] test struct_eta::functions::tests::test_is_structure_type_rejects_unknown ... ok
[INFO] [stdout] test struct_eta::functions::tests::test_is_singleton_unit ... ok
[INFO] [stdout] test struct_eta::functions::tests::test_k_reduce_unit_returns_ctor ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_engine::test_eta_equality_oracle ... ok
[INFO] [stdout] test struct_eta::functions::tests::test_make_proj_chain_length ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended2::test_coherence_result ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test struct_eta::functions::tests::test_is_structure_type_recognizes_mypair ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended2::test_field_bounds_checker ... ok
[INFO] [stdout] test simp::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended2::test_projection_rewrite_as_rule ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended3::test_eta_redex_collector ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended3::test_eta_redex_depth_limit ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_engine::test_eta_rewrite_engine ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended3::test_shape_equivalence ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended2::test_eta_depth_tracker ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended4::test_injectivity_checker ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended2::test_eta_state_machine ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended3::test_struct_shape_basics ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended5::test_eta_categorizer ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended5::test_eta_category ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended3::test_struct_flattening_pass ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended5::test_eta_long_checker ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended5::test_eta_long_status ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended4::test_eta_norm_run_summary ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended6::test_eta_pass_config ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended6::test_eta_change_log ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended7::test_eta_graph ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended2::test_field_bounds_checker_validate_set ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended::test_eta_normalization_pass ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended::test_eta_expanded ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended::test_eta_stats ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended::test_field_descriptor ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended::test_k_reduction_table ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended2::test_projection_rewrite_set ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended::test_structure_registry ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended::test_eta_reduction ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended4::test_record_update_batch ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_apply_args_non_lam ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_count_pis ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_count_lambdas ... 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 struct_eta::functions::tests_struct_eta_extended7::test_eta_canon_map ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_expr_contains_fvar_false ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended::test_eta_normal_form_checker ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_expr_contains_fvar_true ... ok
[INFO] [stdout] test struct_eta::functions::tests_struct_eta_extended4::test_record_update ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_open_binder_simple ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_open_binder_nested ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_apply_args_lam ... ok
[INFO] [stdout] test subst::functions::extended2_tests::test_apply_args_empty ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_insert_replace ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitute_fvars_parallel ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_len ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_remove ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_restrict ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_beta_reduce_head ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_collect_loose_bvar_indices ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_count_free_occurrences ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_build_subst_map ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_instantiate_many_two ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_insert_and_get ... ok
[INFO] [stdout] test subst::functions::extended3_subst_tests::test_substitution_compose ... 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_apply_fvar ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_instantiate_tracked ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_free_vars_single ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_is_whnf_beta_lam ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_occurs_free_true ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_parallel_subst_single ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_parallel_subst_tracked ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_shift_bvars_above_cutoff ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_subst_fvar ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_shift_bvars_below_cutoff ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_subst_stats_merge ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_try_beta_reduce_success ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_try_beta_reduce_fail ... ok
[INFO] [stdout] test subst::functions::tests::test_instantiate_simple ... ok
[INFO] [stdout] test subst::functions::tests::test_abstract_roundtrip ... ok
[INFO] [stdout] test subst::functions::tests::test_instantiate_shift_down ... ok
[INFO] [stdout] test subst::functions::tests::test_instantiate_app ... ok
[INFO] [stdout] test subst::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test subst::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test subst::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test subst::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test subst::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_flat_substitution ... 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_padding2::test_token_bucket ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_is_whnf_beta_app_not_whnf ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_collect_consts_app ... ok
[INFO] [stdout] test subst::functions::extended_tests::test_parallel_subst_empty ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_alpha_eq_lambda_ignores_name ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test subst::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_abstract_fvars_ordered ... 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_padding_infra::test_small_map ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_count_fvar_absent ... 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_fvar ... ok
[INFO] [stdout] test substitution::functions::tests::test_abstract_fvar ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_rename_binder ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_is_ground_literal ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_is_ground_sort ... ok
[INFO] [stdout] test substitution::functions::tests::test_count_bvar ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_is_ground_bvar ... ok
[INFO] [stdout] test substitution::functions::tests::test_collect_fvars_dedup ... ok
[INFO] [stdout] test substitution::functions::tests::test_close_with_lambdas ... ok
[INFO] [stdout] test substitution::functions::tests::test_has_bvar_false ... 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_instantiate ... ok
[INFO] [stdout] test substitution::functions::tests::test_lift_lambda ... ok
[INFO] [stdout] test substitution::functions::tests::test_subst_bvar ... ok
[INFO] [stdout] test substitution::functions::tests::test_has_fvar_false ... ok
[INFO] [stdout] test substitution::functions::tests::test_close_with_pis ... ok
[INFO] [stdout] test substitution::functions::tests::test_has_fvar_true ... ok
[INFO] [stdout] test substitution::functions::tests::test_subst_fvars ... ok
[INFO] [stdout] test substitution::functions::tests::test_collect_fvars ... ok
[INFO] [stdout] test substitution::functions::tests::test_has_bvar_true ... ok
[INFO] [stdout] test substitution::functions::tests::test_lift_bvar_below_cutoff ... ok
[INFO] [stdout] test substitution::functions::tests::test_lower_safe ... ok
[INFO] [stdout] test substitution::functions::tests::test_lift_bvar_above_cutoff ... ok
[INFO] [stdout] test substitution::functions::tests::test_lower_below_cutoff ... ok
[INFO] [stdout] test substitution::functions::tests::test_lower_unsafe ... ok
[INFO] [stdout] test substitution::functions::tests::test_subst_lambda ... ok
[INFO] [stdout] test subst::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_alpha_eq_bvar ... ok
[INFO] [stdout] test substitution::functions::tests::test_subst_no_match ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test substitution::functions::tests::test_substitution_single ... ok
[INFO] [stdout] test substitution::functions::extra_subst_tests::test_alpha_eq_literal ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test substitution::functions::tests::test_substitution_apply ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test substitution::functions::tests::test_substitution_no_match ... 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_final_padding::test_min_heap ... 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_stopwatch ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test substitution::functions::tests_padding3::test_write_once ... 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 substitution::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_stat_summary ... 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 substitution::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test substitution::functions::tests_tiny_padding::test_bucket_counter ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test substitution::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test substitution::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_try_structural_certificate_empty ... ok
[INFO] [stdout] test substitution::functions::tests_tiny_padding::test_bitset64 ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_wf_custom_description ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_try_structural_certificate_success ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_wf_relation_lex_depth ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_wf_relation_measure ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_obvious_nontermination ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_termination_cache_clear ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_detailed_result_success ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_wf_relation_nat_sub ... ok
[INFO] [stdout] test termination::functions::extended_termination_tests::test_termination_cache ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test termination::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test substitution::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test termination::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test termination::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test termination::functions::tests_final_padding::test_min_heap ... 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::tests::test_lambda_body ... ok
[INFO] [stdout] test termination::functions::tests::test_no_recursive_calls ... ok
[INFO] [stdout] test termination::functions::tests::test_non_recursive ... 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_smaller_transitivity ... ok
[INFO] [stdout] test termination::functions::tests::test_register_params ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test termination::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_closest_match_empty ... ok
[INFO] [stdout] test termination::functions::tests::test_simple_recursive ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_closest_match_found ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_either2 ... 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_padding3::test_stack_calc ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test termination::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_format_name_list_empty ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_format_name_list_one ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_levenshtein_empty ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_levenshtein_same_string ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_levenshtein_one_edit ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_name_index_get ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_name_index_basic ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_string_trie_insert_contains ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_string_trie_empty_prefix ... ok
[INFO] [stdout] test termination::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_name_index_empty ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_format_name_list_many ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_string_trie_starts_with ... ok
[INFO] [stdout] test termination::functions::utility_tests::test_format_name_list_two ... ok
[INFO] [stdout] test tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test tests_padding3::test_either2 ... ok
[INFO] [stdout] test tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test tests_padding2::test_string_pool ... ok
[INFO] [stdout] test tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test tests_padding3::test_decision_node ... ok
[INFO] [stdout] test tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test tests_padding2::test_path_buf ... ok
[INFO] [stdout] test tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test tests_padding3::test_write_once ... ok
[INFO] [stdout] test tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test trace::functions::tests::test_clear ... ok
[INFO] [stdout] test trace::functions::tests::test_convenience_builders ... ok
[INFO] [stdout] test trace::functions::tests::test_depth_indentation ... ok
[INFO] [stdout] test trace::functions::tests::test_level_from_str ... ok
[INFO] [stdout] test trace::functions::tests::test_level_ordering ... ok
[INFO] [stdout] test trace::functions::tests::test_log_event ... ok
[INFO] [stdout] test trace::functions::tests::test_log_filtered ... ok
[INFO] [stdout] test trace::functions::tests::test_record_reduction ... 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_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test trace::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_transform_stat ... 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::trace_extended_tests::test_simp_event ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_ring_tracer_basic ... 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_tracer_log_with_category ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_tracer_stats ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_ring_tracer_overflow ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_tracer_last_event ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_trace_filter_category ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_trace_filter_default_accepts_nothing ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_warn_error_events ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_unify_event ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_unique_categories_non_empty ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_count_filtered ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_count_matching ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_def_eq_event_at_location ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_trace_filter_exclude_text ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_has_message_containing ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_trace_filter_level_excludes ... ok
[INFO] [stdout] test trace::functions::trace_filter_tests::test_unique_categories_empty ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_merge_tracers ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_filter_events ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_summarize_reductions_empty ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_string_sink_clear ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_string_sink_record ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_ring_tracer_clear ... ok
[INFO] [stdout] test trace::functions::trace_extended_tests::test_ring_tracer_level_filter ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erase_config_default ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_summarize_reductions_some ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erase_lit ... 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::test_erase_sort ... ok
[INFO] [stdout] test trace::functions::trace_further_tests::test_infer_event_category ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erase_app ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_erasure_stats_ratio ... ok
[INFO] [stdout] test type_erasure::functions::tests::test_optimize_type_erased ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_beta_reduce_lam_app ... 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_dce ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_erased_expr_size ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_erased_inliner ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_erased_optimizer ... 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_extended2::test_erasure_pass_pipeline ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_interpreter_app_lam ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_collect_consts ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_anf_converter ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_count_apps ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_codegen ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_renamer ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_pattern_depth ... ok
[INFO] [stdout] test type_erasure::functions::tests_erased_expr::test_erased_expr_predicates ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_size_bound_checker ... 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_type_map ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_interpreter_lit ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended2::test_erased_tuple_ops ... 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_module ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erasure_context ... ok
[INFO] [stdout] test trace::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test trace::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_reachability ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_pattern_irrefutable ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_erased_scope ... 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_pretty_print_erased ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_call_site_self_tail ... 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_extra::test_erased_let_chain_push_and_into ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_flat_app_round_trip ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_liveness_merge ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_normalizer::test_erased_bit_ops ... 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_erased_let_chain_empty ... 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_erased_stack ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_normalizer::test_erased_env ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_ambiguous_instances ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_default_registry ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extra::test_subst_map ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_class_name_of_constraint ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_normalizer::test_flatten_build_apps ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_find_best_instance_not_found ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_instance_method_impl ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_class_method_lookup ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_merge_registries ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_total_method_impls ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_method_projection ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_transitive_supers ... 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_local_instance_clear ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_priority_ordering ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_find_best_instance_unique ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_find_instances ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_register_and_find_class ... ok
[INFO] [stdout] test typeclasses::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test typeclasses::functions::tests::test_instances_for_class ... 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_padding2::test_transitive_closure ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_flat_substitution ... 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_padding3::test_decision_node ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_transform_stat ... 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::typeclass_extra_tests::test_instance_priority_from_u32 ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_instance_impl_add_get ... 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::typeclass_extra_tests::test_instance_priority_ordering ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_method_impl_custom ... ok
[INFO] [stdout] test typeclasses::functions::tests_padding_infra::test_stat_summary ... 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 typeclasses::functions::typeclass_extra_tests::test_layered_registry_push_pop ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_instance_subsumes_empty_params ... 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_add_succ_n ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_eval_closed_level_param ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_is_imax_level ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_is_valid_instantiation ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_level_comparison_table ... ok
[INFO] [stdout] test typeclasses::functions::typeclass_extra_tests::test_instances_compatible ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_instantiate_levels ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_constraint_display ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_level_max_many_one ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_constraint_set_dedup ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_same_level_shape_max ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_is_max_level ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_constraint_set_merge ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_level_max_many_empty ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_level_comparison_table_max ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_poly_signature_check_ok ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_poly_signature_instantiate ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_poly_signature_wrong_arity ... ok
[INFO] [stdout] test universe::functions::tests::test_is_geq ... ok
[INFO] [stdout] test universe::functions::poly_tests::test_univ_instantiation_len ... ok
[INFO] [stdout] test universe::functions::tests::test_is_gt ... 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::poly_tests::test_universe_instantiation_apply ... ok
[INFO] [stdout] test universe::functions::tests::test_add_univ_var ... ok
[INFO] [stdout] test universe::functions::tests::test_le_constraint ... ok
[INFO] [stdout] test universe::functions::tests::test_le_equal ... ok
[INFO] [stdout] test universe::functions::tests::test_level_def_eq_normalized ... ok
[INFO] [stdout] test universe::functions::tests::test_satisfiable_lt ... ok
[INFO] [stdout] test universe::functions::tests::test_le_violation ... ok
[INFO] [stdout] test universe::functions::tests::test_unsatisfiable_lt ... ok
[INFO] [stdout] test universe::functions::tests::test_level_mvar_assignment ... ok
[INFO] [stdout] test universe::functions::tests::test_solve_simple ... ok
[INFO] [stdout] test universe::functions::tests::test_satisfiable_eq ... ok
[INFO] [stdout] test universe::functions::tests_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test universe::functions::tests::test_create_checker ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_path_buf ... ok
[INFO] [stdout] test universe::functions::tests_extra_iterators::test_window_iterator ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_rewrite_rule_set ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test universe::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_stopwatch ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test universe::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_add_succs ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_collect_level_params ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_count_succs ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_normal_form ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_max_fn ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_is_prop_level ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_to_nat_param ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_parse_level_str ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_succ_fn ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_peel_succs ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_pi_type_level ... ok
[INFO] [stdout] test universe::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_to_nat_zero ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_type0_type1 ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_prop_level ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_normalize_full_beta ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_normalize_full_lam ... 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_sort_type_level ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_normalize_full_sort ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_normalize_head_sort ... 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_as_fvar_some ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_depth_budget_reset ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_reduction_order_display ... 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_depth_budget_consumed ... ok
[INFO] [stdout] test whnf::functions::tests::test_app_arity ... 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_empty ... ok
[INFO] [stdout] test whnf::functions::tests::test_collect_pi_telescope_nested ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_is_fvar_true ... ok
[INFO] [stdout] test whnf::functions::extra_whnf_tests::test_whnf_as_fvar_none ... ok
[INFO] [stdout] test whnf::functions::tests::test_collect_pi_telescope_one ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_app_lambda_false ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_let_false ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_sort ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_lit ... ok
[INFO] [stdout] test whnf::functions::tests::test_reduction_budget_basic ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_bvar ... ok
[INFO] [stdout] test whnf::functions::tests::test_is_whnf_lam ... ok
[INFO] [stdout] test whnf::functions::tests::test_reduction_budget_unlimited ... ok
[INFO] [stdout] test whnf::functions::tests::test_spine_of_no_args ... ok
[INFO] [stdout] test whnf::functions::tests::test_spine_of_two_args ... ok
[INFO] [stdout] test whnf::functions::tests::test_stuck_reason_free_var ... ok
[INFO] [stdout] test whnf::functions::tests::test_stuck_reason_normal_form ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_as_pi ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_beta_reduce ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_budgeted_exhausted ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_budgeted_success ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_cache_key ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_head_to_expr ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_heads_match_const ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_heads_match_sorts ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_const ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_lambda ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_lit ... 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_default ... 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_extra_iterators::test_non_empty_vec ... ok
[INFO] [stdout] test whnf::functions::tests_final_padding::test_min_heap ... ok
[INFO] [stdout] test whnf::functions::tests_final_padding::test_fixture ... 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::tests_padding2::test_token_bucket ... ok
[INFO] [stdout] test whnf::functions::tests_padding2::test_transitive_closure ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_decision_node ... ok
[INFO] [stdout] test whnf::functions::tests_padding2::test_string_pool ... ok
[INFO] [stdout] test whnf::functions::tests_padding2::test_sliding_sum ... ok
[INFO] [stdout] test whnf::functions::tests_final_padding::test_prefix_counter ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_as_sort ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_either2 ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_flat_substitution ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_config_node ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_write_once ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_sparse_vec ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_simple_dag ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_label_set ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_transform_stat ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_count_nodes_app ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_count_nodes_sort ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_expr_depth_sort ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_expr_depth_nested ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_focus_stack ... ok
[INFO] [stdout] test whnf::functions::tests_padding_infra::test_versioned_record ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_clear ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_capacity_eviction ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_stack_calc ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_empty ... ok
[INFO] [stdout] test whnf::functions::tests_padding3::test_stopwatch ... 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_insert_get ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_cache_miss ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_default ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_no_delta ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_no_beta ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_structural ... ok
[INFO] [stdout] test whnf::functions::whnf_cache_tests::test_whnf_config_with_limit ... ok
[INFO] [stdout] test trace::functions::tests::test_render ... ok
[INFO] [stdout] test trace::functions::tests::test_suppress_category ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_small_map ... ok
[INFO] [stdout] test trace::functions::tests_padding_infra::test_stat_summary ... ok
[INFO] [stdout] test type_erasure::functions::tests_erasure_extended::test_lambda_depth ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_format_level ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_level_to_nat_succ ... ok
[INFO] [stdout] test universe::functions::universe_arith_tests::test_sat_checker ... ok
[INFO] [stdout] test whnf::functions::tests::test_whnf_is_sort_true ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3095 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.45s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests oxilean_kernel
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[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] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 6 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "ca293ba6ae9f4a4abe8f5b026a99cdc4008103350fc9a3633780942a25118e75", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ca293ba6ae9f4a4abe8f5b026a99cdc4008103350fc9a3633780942a25118e75", kill_on_drop: false }`
[INFO] [stdout] ca293ba6ae9f4a4abe8f5b026a99cdc4008103350fc9a3633780942a25118e75
