[INFO] fetching crate oxilean-elab 0.1.1... [INFO] testing oxilean-elab-0.1.1 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-2 [INFO] extracting crate oxilean-elab 0.1.1 into /workspace/builds/worker-0-tc1/source [INFO] started tweaking crates.io crate oxilean-elab 0.1.1 [INFO] finished tweaking crates.io crate oxilean-elab 0.1.1 [INFO] tweaked toml for crates.io crate oxilean-elab 0.1.1 written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate oxilean-elab 0.1.1 on toolchain 562dee4820c458d823175268e41601d4c060588a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate oxilean-elab 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded oxilean-parse v0.1.1 [INFO] [stderr] Downloaded oxilean-kernel v0.1.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c3057d7f7e97eccbcd8aab34e4e300f0888c07f862d1432311e5edd732004e5d [INFO] running `Command { std: "docker" "start" "-a" "c3057d7f7e97eccbcd8aab34e4e300f0888c07f862d1432311e5edd732004e5d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c3057d7f7e97eccbcd8aab34e4e300f0888c07f862d1432311e5edd732004e5d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c3057d7f7e97eccbcd8aab34e4e300f0888c07f862d1432311e5edd732004e5d", kill_on_drop: false }` [INFO] [stdout] c3057d7f7e97eccbcd8aab34e4e300f0888c07f862d1432311e5edd732004e5d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d0973bb88ab4d6bf0f1589853338bc1ad117a236bf272a421dced0bc8c34f262 [INFO] running `Command { std: "docker" "start" "-a" "d0973bb88ab4d6bf0f1589853338bc1ad117a236bf272a421dced0bc8c34f262", kill_on_drop: false }` [INFO] [stderr] Compiling oxilean-kernel v0.1.1 [INFO] [stderr] Compiling oxilean-parse v0.1.1 [INFO] [stderr] Compiling oxilean-elab v0.1.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 37.47s [INFO] running `Command { std: "docker" "inspect" "d0973bb88ab4d6bf0f1589853338bc1ad117a236bf272a421dced0bc8c34f262", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d0973bb88ab4d6bf0f1589853338bc1ad117a236bf272a421dced0bc8c34f262", kill_on_drop: false }` [INFO] [stdout] d0973bb88ab4d6bf0f1589853338bc1ad117a236bf272a421dced0bc8c34f262 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d8a8ba494d2bcd30ae82daa4419984b35c5749b712312a182264e54e272285b9 [INFO] running `Command { std: "docker" "start" "-a" "d8a8ba494d2bcd30ae82daa4419984b35c5749b712312a182264e54e272285b9", kill_on_drop: false }` [INFO] [stderr] Compiling oxilean-elab v0.1.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 28.49s [INFO] running `Command { std: "docker" "inspect" "d8a8ba494d2bcd30ae82daa4419984b35c5749b712312a182264e54e272285b9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d8a8ba494d2bcd30ae82daa4419984b35c5749b712312a182264e54e272285b9", kill_on_drop: false }` [INFO] [stdout] d8a8ba494d2bcd30ae82daa4419984b35c5749b712312a182264e54e272285b9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 5e4ed93b84dbaa29335b269adbe8e88ef2044d7c86d70f9bf58f91490c0c24bb [INFO] running `Command { std: "docker" "start" "-a" "5e4ed93b84dbaa29335b269adbe8e88ef2044d7c86d70f9bf58f91490c0c24bb", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxilean_elab-ae20c77d3393ec25) [INFO] [stdout] [INFO] [stdout] running 3165 tests [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_attr_pipeline_advance_to_done ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_attr_pipeline_advance_idempotent_at_done ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_attr_pipeline_fail ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_attr_pipeline_stage_display ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_derive_handler_no_instance ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_derive_handler_new ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_derive_handler_registry_empty ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_derive_handler_registry_register_get ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_macro_attr_expansion_failure ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_macro_attr_no_args ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_attr_filter_for_kind ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_attr_filter_any ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_attr_inheritance ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_attr_snapshot_take_restore ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_derive_handler_registry_class_names ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_macro_attr_expansion_success ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_attr_scope_global ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_attr_stats_collect ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_attr_scope_namespace ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_count_custom_attrs ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_custom_attr_names ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_format_attrs_one ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_has_inline ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_has_instance ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_has_reducible ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_has_simp ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_instance_queue_empty ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_instance_queue_insert_pop ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_kind_from_str ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_instance_queue_names_in_order ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_propagation_rule_applies_no_condition ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_scoped_attr_global ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_propagation_rule_applies_with_condition ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_macro_attr_with_args ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_scoped_attr_namespace ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_attr_pipeline_stage_order ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_simp_attrs ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_simp_set_forward_reverse ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_attr_filter_priority_range ... ok [INFO] [stdout] test attribute::functions::tests::test_apply_attributes_incompatible_error ... ok [INFO] [stdout] test attribute::functions::tests::test_attr_entry_kind_name ... ok [INFO] [stdout] test attribute::functions::tests::test_attr_entry_with_args ... ok [INFO] [stdout] test attribute::functions::tests::test_attr_action_variants ... ok [INFO] [stdout] test attribute::functions::tests::test_apply_attributes_with_priority ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_simp_set_insert_order ... ok [INFO] [stdout] test attribute::functions::tests::test_apply_attributes_basic ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_format_attrs_empty ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_format_attrs_multiple ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_scoped_attr_local ... ok [INFO] [stdout] test attribute::functions::tests::test_attr_entry_new ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_detect_attr_conflicts_none ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_simp_set_remove ... ok [INFO] [stdout] test attribute::functions::extra_attr_tests::test_simp_set_by_tag ... ok [INFO] [stdout] test attribute::functions::tests::test_attr_entry_with_priority ... ok [INFO] [stdout] test attribute::functions::tests::test_attr_error_display ... ok [INFO] [stdout] test attribute::functions::tests::test_attr_handler_new ... ok [INFO] [stdout] test attribute::functions::tests::test_builtin_handlers ... ok [INFO] [stdout] test attribute::functions::tests::test_default_action ... ok [INFO] [stdout] test attribute::functions::tests::test_create_default_manager ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_clear ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_all_attributed_names ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_get_by_kind ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_get_instances ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_merge ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_get_inline ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_is_instance ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_get_reducible ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_has_attribute ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_new ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_register_incompatible_error ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_register_custom_handler ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_register_multiple_kinds ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_unregister ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_get_simp_lemmas ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_get_irreducible ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_get_ext_lemmas ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_register ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_unregister_nonexistent ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_validate_duplicate ... ok [INFO] [stdout] test attribute::functions::tests::test_process_duplicate_simp_error ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_validate_incompatible ... ok [INFO] [stdout] test attribute::functions::tests::test_process_empty ... ok [INFO] [stdout] test attribute::functions::tests::test_process_incompatible_inline_noinline ... ok [INFO] [stdout] test attribute::functions::tests::test_process_custom ... ok [INFO] [stdout] test attribute::functions::tests::test_process_incompatible_irreducible_reducible ... ok [INFO] [stdout] test attribute::functions::tests::test_process_incompatible_reducible_irreducible ... ok [INFO] [stdout] test attribute::functions::tests::test_process_incompatible_noinline_inline ... ok [INFO] [stdout] test attribute::functions::tests::test_process_reducible ... ok [INFO] [stdout] test attribute::functions::tests::test_process_duplicate_custom_error ... ok [INFO] [stdout] test attribute::functions::tests::test_process_inline ... ok [INFO] [stdout] test attribute::functions::tests::test_process_specialize ... ok [INFO] [stdout] test attribute::functions::tests::test_processed_attrs_count_with_custom ... ok [INFO] [stdout] test attribute::functions::tests::test_process_simp ... ok [INFO] [stdout] test attribute::functions::tests::test_processed_attrs_empty ... ok [INFO] [stdout] test attribute::functions::tests::test_processed_attrs_has_any ... ok [INFO] [stdout] test attribute::functions::tests::test_process_multiple ... ok [INFO] [stdout] test bench_support::functions::bench_compare_tests::test_bench_compare_table_empty ... ok [INFO] [stdout] test bench_support::functions::bench_compare_tests::test_bench_compare_table_format ... ok [INFO] [stdout] test bench_support::functions::bench_compare_tests::test_bench_compare_table_improvements ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_elab_micro_bench_median ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_elab_micro_bench_regression ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_flamegraph_hook_clear ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_flamegraph_hook_inactive ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_flamegraph_hook_record ... ok [INFO] [stdout] test attribute::functions::tests::test_processed_attrs_count ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_hot_path_analyzer_top_n ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_hot_path_analyzer_report ... ok [INFO] [stdout] test attribute::functions::tests::test_processed_to_kinds ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_validate_ok ... ok [INFO] [stdout] test bench_support::functions::bench_compare_tests::test_bench_compare_row_improvement ... ok [INFO] [stdout] test bench_support::functions::bench_compare_tests::test_bench_compare_row_zero_baseline ... ok [INFO] [stdout] test bench_support::functions::bench_compare_tests::test_bench_compare_table_regressions ... ok [INFO] [stdout] test bench_support::functions::bench_compare_tests::test_bench_compare_row_ratio ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_elab_micro_bench_no_data ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_elab_micro_bench_mean_stddev ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_hot_path_entry_self_ratio ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_micro_bench_registry_register_get ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_micro_bench_registry_regressions ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_partial_eval_bench_result_avg ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_solver_bench_stats_merge ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_solver_bench_stats_record ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_bench_meta_tags ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_bench_result_builder ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_benchmark_set_basic ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_benchmark_set_empty ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_confidence_interval ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_harmonic_mean ... ok [INFO] [stdout] test bench_support::functions::bench_ext_tests::test_partial_eval_bench_config_builder ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_iqr_basic ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_latency_histogram_ascii ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_geometric_mean ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_moving_average_basic ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_moving_average_reset ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_latency_histogram_record ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_regression_severity_display ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_regression_severity_ordering ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_regression_report_improvement ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_warmup_strategy_iterations ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_warmup_strategy_none ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_retry_policy_lenient ... ok [INFO] [stdout] test bench_support::functions::tests::test_bench_suite_fastest_slowest ... ok [INFO] [stdout] test bench_support::functions::tests::test_comparison ... ok [INFO] [stdout] test bench_support::functions::tests::test_bench_config_builder ... ok [INFO] [stdout] test bench_support::functions::tests::test_elab_benchmark_run ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_throughput_result ... ok [INFO] [stdout] test bench_support::functions::tests::test_bench_config_quick_and_thorough ... ok [INFO] [stdout] test bench_support::functions::tests::test_elab_benchmark_run_with_result ... ok [INFO] [stdout] test bench_support::functions::tests::test_comparison_regression ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_retry_policy_strict ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_remove_outliers ... ok [INFO] [stdout] test bench_support::functions::tests::test_format_json ... ok [INFO] [stdout] test bench_support::functions::tests::test_format_csv ... ok [INFO] [stdout] test bench_support::functions::tests::test_bench_config_defaults ... ok [INFO] [stdout] test bench_support::functions::tests::test_format_suite_json ... ok [INFO] [stdout] test bench_support::functions::tests::test_format_text ... ok [INFO] [stdout] test bench_support::functions::extended_bench_tests::test_regression_report_major ... ok [INFO] [stdout] test bench_support::functions::tests::test_statistics_mean ... ok [INFO] [stdout] test bench_support::functions::tests::test_statistics_median ... ok [INFO] [stdout] test bench_support::functions::tests::test_suite_summary_text ... ok [INFO] [stdout] test binder::functions_2::tests::test_BinderTypeResult_fields ... ok [INFO] [stdout] test bench_support::functions::tests::test_statistics_percentile ... ok [INFO] [stdout] test bench_support::functions::tests::test_bench_result_from_samples ... ok [INFO] [stdout] test bench_support::functions::tests::test_timer_accumulates ... ok [INFO] [stdout] test bench_support::functions::tests::test_timer_reset ... ok [INFO] [stdout] test bench_support::functions::tests::test_timer_start_stop ... ok [INFO] [stdout] test bench_support::functions::tests::test_statistics_stddev ... ok [INFO] [stdout] test binder::functions_2::tests::test_abstract_over_telescope_single ... ok [INFO] [stdout] test binder::functions_2::tests::test_auto_bind_implicits_no_free ... ok [INFO] [stdout] test binder::functions_2::tests::test_auto_bound_info_term_var ... ok [INFO] [stdout] test binder::functions_2::tests::test_auto_bind_implicits_with_free ... ok [INFO] [stdout] test binder::functions_2::tests::test_auto_bound_info_greek ... ok [INFO] [stdout] test binder::functions_2::tests::test_abstract_binders_nested ... ok [INFO] [stdout] test binder::functions_2::tests::test_abstract_binders_tuple_basic ... ok [INFO] [stdout] test binder::functions_2::tests::test_abstract_binders_empty ... ok [INFO] [stdout] test binder::functions_2::tests::test_abstract_over_telescope_empty ... ok [INFO] [stdout] test binder::functions_2::tests::test_binder_scope_from_binders ... ok [INFO] [stdout] test binder::functions_2::tests::test_binder_with_default_has_default ... ok [INFO] [stdout] test binder::functions_2::tests::test_abstract_binders_single ... ok [INFO] [stdout] test binder::functions_2::tests::test_binder_with_default_no_default ... ok [INFO] [stdout] test binder::functions_2::tests::test_binder_scope_basic ... ok [INFO] [stdout] test binder::functions_2::tests::test_binder_validation_error_display ... ok [INFO] [stdout] test binder::functions_2::tests::test_binder_scope_child ... ok [INFO] [stdout] test binder::functions_2::tests::test_binders_have_distinct_names_dup ... ok [INFO] [stdout] test binder::functions_2::tests::test_binders_have_distinct_names_ok ... ok [INFO] [stdout] test binder::functions_2::tests::test_build_dependency_graph_no_deps ... ok [INFO] [stdout] test binder::functions_2::tests::test_collect_binder_fvars_nested ... ok [INFO] [stdout] test binder::functions_2::tests::test_collect_binder_fvars_single ... ok [INFO] [stdout] test binder::functions_2::tests::test_build_dependency_graph_with_dep ... ok [INFO] [stdout] test binder::functions_2::tests::test_collect_unbound_vars_dedup ... ok [INFO] [stdout] test binder::functions_2::tests::test_collect_unbound_vars_found ... ok [INFO] [stdout] test binder::functions_2::tests::test_collect_unbound_vars_empty ... ok [INFO] [stdout] test binder::functions_2::tests::test_convert_binder_kind_default ... ok [INFO] [stdout] test binder::functions_2::tests::test_convert_binder_kind_implicit ... ok [INFO] [stdout] test binder::functions_2::tests::test_classify_binder_universe_prop ... ok [INFO] [stdout] test binder::functions_2::tests::test_classify_binder_universe_type ... ok [INFO] [stdout] test binder::functions_2::tests::test_classify_binder_universe_unknown ... ok [INFO] [stdout] test binder::functions_2::tests::test_collect_binder_fvars_dedup ... ok [INFO] [stdout] test binder::functions_2::tests::test_collect_binder_fvars_empty ... ok [INFO] [stdout] test binder::functions_2::tests::test_convert_binder_kind_instance ... ok [INFO] [stdout] test binder::functions_2::tests::test_count_elab_binder_kinds ... ok [INFO] [stdout] test binder::functions_2::tests::test_elaborate_binder_types_basic ... ok [INFO] [stdout] test binder::functions_2::tests::test_elaborate_binder_types_no_context_push ... ok [INFO] [stdout] test binder::functions_2::tests::test_elaborate_binders_instance ... ok [INFO] [stdout] test binder::functions_2::tests::test_elaborate_binders_single_untyped ... ok [INFO] [stdout] test binder::functions_2::tests::test_elaborate_binders_multiple ... ok [INFO] [stdout] test binder::functions_2::tests::test_elaborate_binders_empty ... ok [INFO] [stdout] test binder::functions_2::tests::test_infer_binder_type_from_context_no_expected ... ok [INFO] [stdout] test binder::functions_2::tests::test_convert_binder_kind_strict ... ok [INFO] [stdout] test binder::functions_2::tests::test_dependent_binder_indices ... ok [INFO] [stdout] test binder::functions_2::tests::test_count_binder_kinds ... ok [INFO] [stdout] test binder::functions_2::tests::test_expr_contains_fvar_false ... ok [INFO] [stdout] test binder::functions_2::tests::test_has_dependent_binders_true ... ok [INFO] [stdout] test binder::functions_2::tests::test_implicit_strictness_is_eager ... ok [INFO] [stdout] test binder::functions_2::tests::test_implicit_strictness_from_kind ... ok [INFO] [stdout] test binder::functions_2::tests::test_expr_contains_fvar_true ... ok [INFO] [stdout] test binder::functions_2::tests::test_elaborate_binders_strict_implicit ... ok [INFO] [stdout] test binder::functions_2::tests::test_is_dependent_binder_true ... ok [INFO] [stdout] test binder::functions_2::tests::test_is_implicit_binder ... ok [INFO] [stdout] test binder::functions_2::tests::test_let_binders_single ... ok [INFO] [stdout] test binder::functions_2::tests::test_make_anonymous_result ... ok [INFO] [stdout] test binder::functions_2::tests::test_make_binder_no_type ... ok [INFO] [stdout] test binder::functions_2::tests::test_normalise_binder_names ... ok [INFO] [stdout] test binder::functions_2::tests::test_insert_instance_implicits_no_implicits ... ok [INFO] [stdout] test binder::functions_2::tests::test_pi_binders_tuple_basic ... ok [INFO] [stdout] test binder::functions_2::tests::test_insert_instance_implicits_one_instance ... ok [INFO] [stdout] test binder::functions_2::tests::test_is_anonymous_binder ... ok [INFO] [stdout] test binder::functions_2::tests::test_make_binder_with_type ... ok [INFO] [stdout] test binder::functions_2::tests::test_pi_binders_nested ... ok [INFO] [stdout] test binder::functions_2::tests::test_pi_binders_single ... ok [INFO] [stdout] test binder::functions_2::tests::test_infer_binder_type_from_expected ... ok [INFO] [stdout] test binder::functions_2::tests::test_duplicate_name_indices ... ok [INFO] [stdout] test binder::functions_2::tests::test_elaborate_binders_single_typed ... ok [INFO] [stdout] test binder::functions_2::tests::test_reorder_named_args ... ok [INFO] [stdout] test binder::functions_2::tests::test_telescope_basic ... ok [INFO] [stdout] test binder::functions_2::tests::test_telescope_split_implicit ... ok [INFO] [stdout] test binder::functions_2::tests::test_telescope_to_lam ... ok [INFO] [stdout] test binder::functions_2::tests::test_pop_binders ... ok [INFO] [stdout] test binder::functions_2::tests::test_telescope_to_pi ... ok [INFO] [stdout] test binder::functions_2::tests::test_resolve_named_binder_found ... ok [INFO] [stdout] test binder::functions_2::tests::test_resolve_named_binder_not_found ... ok [INFO] [stdout] test binder::functions_2::tests::test_validate_binder_empty_name ... ok [INFO] [stdout] test binder::functions_2::tests::test_validate_binder_reserved_name ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_coercion_stats_display ... ok [INFO] [stdout] test binder::functions_2::tests::test_topological_binder_order_linear ... ok [INFO] [stdout] test binder::functions_2::tests::test_topological_binder_order_no_deps ... ok [INFO] [stdout] test binder::functions_2::tests::test_validate_binder_instance_without_type ... ok [INFO] [stdout] test binder::functions_2::tests::test_validate_binder_ok ... ok [INFO] [stdout] test binder::functions_2::tests::test_validate_binders_ok ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_coercion_stats_empty_rate ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_coercion_stats_success_rate ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_coercion_stats_record ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_is_not_trivial_coercion ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_coercion_stats_total_attempts ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_is_trivial_coercion ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_same_coercion_head_app ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_same_coercion_head_different ... ok [INFO] [stdout] test coercion::functions::coercion_extra_tests::test_same_coercion_head_same ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_cache_basic ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_graph_bfs_multi_step ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_registry_user_and_instance ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_registry_path ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_event_log_cache_hit_rate ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_event_log_capacity ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_normalizer_none_strategy ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_pretty_printer ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_validator_registry_warnings ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_cache_clear ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_cache_hit_rate ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_graph_add_find ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_graph_no_path ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_registry_direct ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_registry_empty ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_coercion_stats ... ok [INFO] [stdout] test coercion::functions::extended_coercion_tests::test_compose_coercion_path ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_event_log_applied ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_inference_hint_forbidden ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_validator_valid_coercion ... ok [INFO] [stdout] test coercion::functions::function_sort_scope_tests::test_coercion_scope_basic ... ok [INFO] [stdout] test coercion::functions::function_sort_scope_tests::test_function_coercion ... ok [INFO] [stdout] test coercion::functions::function_sort_scope_tests::test_function_coercion_both ... ok [INFO] [stdout] test coercion::functions::function_sort_scope_tests::test_sort_coercion_direction_eq ... ok [INFO] [stdout] test coercion::functions::tests::test_apply_coercion_chain ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_validator_invalid_priority ... ok [INFO] [stdout] test coercion::functions::tests::test_coerce_to_sort ... ok [INFO] [stdout] test coercion::functions::tests::test_coercion_kind_eq ... ok [INFO] [stdout] test coercion::functions::tests::test_coercion_path_multi ... ok [INFO] [stdout] test coercion::functions::function_sort_scope_tests::test_coercion_scope_stack ... ok [INFO] [stdout] test coercion::functions::function_sort_scope_tests::test_scope_stack_add_when_empty ... ok [INFO] [stdout] test coercion::functions::function_sort_scope_tests::test_sort_coercion_decl ... ok [INFO] [stdout] test coercion::functions::extended_tests::test_typeclass_coercion_registry ... ok [INFO] [stdout] test coercion::functions::tests::test_apply_coercion ... ok [INFO] [stdout] test coercion::functions::tests::test_builtins_nat_to_rat_chain ... ok [INFO] [stdout] test coercion::functions::tests::test_coerce_to_function ... ok [INFO] [stdout] test coercion::functions::tests::test_coerce_to_function_not_pi ... ok [INFO] [stdout] test coercion::functions::tests::test_coerce_to_sort_not_sort ... ok [INFO] [stdout] test coercion::functions::tests::test_coercion_graph ... ok [INFO] [stdout] test coercion::functions::tests::test_coercion_kind_compound ... ok [INFO] [stdout] test coercion::functions::tests::test_coercion_path_single ... ok [INFO] [stdout] test coercion::functions::tests::test_coercion_priority ... ok [INFO] [stdout] test attribute::functions::tests::test_manager_register_duplicate_error ... ok [INFO] [stdout] test coercion::functions::tests::test_collect_app_args ... ok [INFO] [stdout] test coercion::functions::tests::test_default_registry ... ok [INFO] [stdout] test coercion::functions::tests::test_head_const_name ... ok [INFO] [stdout] test coercion::functions::tests::test_find_coercion_chain_direct ... ok [INFO] [stdout] test coercion::functions::tests::test_find_coercion_chain_no_cycle ... ok [INFO] [stdout] test coercion::functions::tests::test_find_coercion_chain_none ... ok [INFO] [stdout] test coercion::functions::tests::test_lift_sort_different ... ok [INFO] [stdout] test coercion::functions::tests::test_find_coercion_chain_two_steps ... ok [INFO] [stdout] test coercion::functions::tests::test_lift_sort_same ... ok [INFO] [stdout] test coercion::functions::tests::test_mk_coercion_app ... ok [INFO] [stdout] test coercion::functions::tests::test_find_coercion_none ... ok [INFO] [stdout] test coercion::functions::tests::test_mk_fun_coercion ... ok [INFO] [stdout] test coercion::functions::tests::test_has_coercion_direct ... ok [INFO] [stdout] test coercion::functions::tests::test_register_builtins ... ok [INFO] [stdout] test coercion::functions::tests::test_register_sort_coercion ... ok [INFO] [stdout] test coercion::functions::tests::test_registry_create ... ok [INFO] [stdout] test coercion::functions::tests::test_register_function_coercion ... ok [INFO] [stdout] test coercion::functions::tests::test_register_coercion ... ok [INFO] [stdout] test coercion::functions::tests::test_has_coercion_transitive ... ok [INFO] [stdout] test coercion::functions::tests::test_same_type_head ... ok [INFO] [stdout] test coercion::functions::tests::test_try_insert_coercion_chain ... ok [INFO] [stdout] test coercion::functions::tests::test_try_insert_coercion_direct ... ok [INFO] [stdout] test coercion::functions::tests::test_try_insert_coercion_none ... ok [INFO] [stdout] test coercion::functions::tests::test_unregister_coercion ... ok [INFO] [stdout] test coercion::functions::tests::test_unregister_coercion_not_found ... ok [INFO] [stdout] test coercion::functions::tests::test_try_insert_coercion_same_type ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_command_history_empty ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_command_history_record_failure ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_command_history_record_success ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_command_pipeline_abort ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_command_pipeline_advance_to_done ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_command_pipeline_warn ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_validation_result_add_warning ... ok [INFO] [stdout] test command_elab::functions::command_throughput_tests::test_throughput_empty ... ok [INFO] [stdout] test command_elab::functions::command_throughput_tests::test_throughput_merge ... ok [INFO] [stdout] test command_elab::functions::command_throughput_tests::test_throughput_record_and_rate ... ok [INFO] [stdout] test command_elab::functions::command_throughput_tests::test_throughput_summary_contains_rate ... ok [INFO] [stdout] test command_elab::functions::tests::test_abstract_section_vars_empty ... ok [INFO] [stdout] test command_elab::functions::tests::test_abstract_section_vars_lam ... ok [INFO] [stdout] test command_elab::functions::tests::test_abstract_section_vars_multiple ... ok [INFO] [stdout] test command_elab::functions::tests::test_abstract_section_vars_pi ... ok [INFO] [stdout] test command_elab::functions::tests::test_all_universe_vars ... ok [INFO] [stdout] test command_elab::functions::tests::test_attribute_cmd ... ok [INFO] [stdout] test command_elab::functions::tests::test_close_open_cmd ... ok [INFO] [stdout] test command_elab::functions::tests::test_collect_fvars ... ok [INFO] [stdout] test command_elab::functions::tests::test_check_cmd_nat ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_command_stage_ordering ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_univ_constraint_set_add_len ... ok [INFO] [stdout] test command_elab::functions::tests::test_collect_fvars_lambda ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_univ_constraint_set_params ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_validate_decl_ok ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_validation_result_add_error ... ok [INFO] [stdout] test command_elab::functions::tests::test_check_cmd_sort ... ok [INFO] [stdout] test command_elab::functions::tests::test_command_result_empty ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_validation_result_err ... ok [INFO] [stdout] test command_elab::functions::tests::test_command_state_namespace ... ok [INFO] [stdout] test command_elab::functions::tests::test_default_state ... ok [INFO] [stdout] test command_elab::functions::tests::test_command_state_new ... ok [INFO] [stdout] test command_elab::functions::tests::test_end_namespace_empty ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_validation_result_ok ... ok [INFO] [stdout] test command_elab::functions::tests::test_eval_cmd_nat ... ok [INFO] [stdout] test command_elab::functions::tests::test_error_display ... ok [INFO] [stdout] test command_elab::functions::tests::test_evaluate_simple_string ... ok [INFO] [stdout] test command_elab::functions::tests::test_eval_cmd_string ... ok [INFO] [stdout] test command_elab::functions::tests::test_namespace_open_close ... ok [INFO] [stdout] test command_elab::functions::tests::test_describe_type ... ok [INFO] [stdout] test command_elab::functions::tests::test_open_cmd ... ok [INFO] [stdout] test command_elab::functions::tests::test_evaluate_simple_nat ... ok [INFO] [stdout] test command_elab::functions::tests::test_end_no_section ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_command_stage_display ... ok [INFO] [stdout] test command_elab::functions::tests::test_command_state_section_vars ... ok [INFO] [stdout] test command_elab::functions::tests::test_lookup_section_var_nested ... ok [INFO] [stdout] test command_elab::functions::command_elab_ext_tests::test_univ_constraint_set_deduplicate ... ok [INFO] [stdout] test command_elab::functions::tests::test_evaluate_simple_const ... ok [INFO] [stdout] test command_elab::functions::tests::test_namespace_mismatch ... ok [INFO] [stdout] test command_elab::functions::tests::test_command_result_with_message ... ok [INFO] [stdout] test command_elab::functions::tests::test_open_cmd_dotted ... ok [INFO] [stdout] test command_elab::functions::tests::test_open_cmd_idempotent ... ok [INFO] [stdout] test command_elab::functions::tests::test_option_value_display ... ok [INFO] [stdout] test command_elab::functions::tests::test_print_cmd_found ... ok [INFO] [stdout] test command_elab::functions::tests::test_print_cmd_not_found ... ok [INFO] [stdout] test command_elab::functions::tests::test_resolve_name_qualified ... ok [INFO] [stdout] test command_elab::functions::tests::test_resolve_unique_name_ok ... ok [INFO] [stdout] test command_elab::functions::tests::test_section_state ... ok [INFO] [stdout] test command_elab::functions::tests::test_section_state_lookup ... ok [INFO] [stdout] test command_elab::functions::tests::test_set_option_bool ... ok [INFO] [stdout] test command_elab::functions::tests::test_set_option_new ... ok [INFO] [stdout] test command_elab::functions::tests::test_set_option_type_mismatch ... ok [INFO] [stdout] test command_elab::functions::tests::test_universe_cmd ... ok [INFO] [stdout] test command_elab::functions::tests::test_set_option_nat ... ok [INFO] [stdout] test command_elab::functions::tests::test_variable_cmd ... ok [INFO] [stdout] test command_elab::functions::tests::test_print_cmd_theorem ... ok [INFO] [stdout] test command_elab::functions::tests::test_universe_cmd_duplicate ... ok [INFO] [stdout] test command_elab::functions::tests::test_resolve_name_open_namespace ... ok [INFO] [stdout] test command_elab::functions::tests::test_resolve_name_simple ... ok [INFO] [stdout] test command_elab::functions::tests::test_resolve_unique_name_not_found ... ok [INFO] [stdout] test command_elab::functions::tests::test_section_mismatch ... ok [INFO] [stdout] test command_elab::functions::tests::test_section_open_close ... ok [INFO] [stdout] test command_elab::functions::tests::test_universe_in_section ... ok [INFO] [stdout] test command_elab::functions::tests::test_variable_cmd_duplicate ... ok [INFO] [stdout] test command_elab::functions::tests::test_variables_cmd ... ok [INFO] [stdout] test command_elab::functions::tests::test_with_scope ... ok [INFO] [stdout] test command_elab::functions::tests::test_with_namespace ... ok [INFO] [stdout] test completion_provider::functions::annotation_tests::test_annotated_item_deprecated ... ok [INFO] [stdout] test command_elab::functions::tests::test_with_section ... ok [INFO] [stdout] test completion_provider::functions::annotation_tests::test_completion_annotation_default ... ok [INFO] [stdout] test completion_provider::functions::annotation_tests::test_completion_annotation_user ... ok [INFO] [stdout] test completion_provider::functions::annotation_tests::test_completion_cache_entry_new ... ok [INFO] [stdout] test completion_provider::functions::annotation_tests::test_filter_chain_names_all ... ok [INFO] [stdout] test completion_provider::functions::cache_and_trigger_tests::test_cache_entry_invalidate ... ok [INFO] [stdout] test completion_provider::functions::cache_and_trigger_tests::test_completion_cache_eviction ... ok [INFO] [stdout] test completion_provider::functions::cache_and_trigger_tests::test_completion_cache_update ... ok [INFO] [stdout] test completion_provider::functions::cache_and_trigger_tests::test_completion_trigger_variants ... ok [INFO] [stdout] test completion_provider::functions::cache_and_trigger_tests::test_enriched_completion_context ... ok [INFO] [stdout] test completion_provider::functions::documentation_tests::test_completion_documentation_basic ... ok [INFO] [stdout] test completion_provider::functions::cache_and_trigger_tests::test_completion_trigger_eq ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_completion_item_sort_key_defaults_to_label ... ok [INFO] [stdout] test completion_provider::functions::documentation_tests::test_completion_documentation_default ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_completion_kind_as_str_all_variants ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_completion_kind_eq_and_clone ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_matches_prefix_case_sensitive ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_matches_prefix_empty_always_true ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_default_provider_type_completions_present ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_provider_default_is_empty ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_provider_tactic_block_excludes_type ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_provider_no_match_returns_empty ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_provider_sorted_same_score_alpha_order ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_register_type_completions_scores ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_register_keyword_completions_scores ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_provider_tactic_block_includes_function_theorem ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_register_tactic_completions_scores ... ok [INFO] [stdout] test completion_provider::functions::annotation_tests::test_completion_annotation_builtin ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_snippet_scores ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_snippet_kinds ... ok [INFO] [stdout] test completion_provider::functions::annotation_tests::test_completion_ranker_sort_stability_same_score ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_snippet_labels ... ok [INFO] [stdout] test completion_provider::functions::cache_and_trigger_tests::test_completion_cache_basic ... ok [INFO] [stdout] test completion_provider::functions::cache_and_trigger_tests::test_completion_cache_clear ... ok [INFO] [stdout] test completion_provider::functions::documentation_tests::test_completion_documentation_full ... ok [INFO] [stdout] test completion_provider::functions::annotation_tests::test_annotated_completion_item ... ok [INFO] [stdout] test completion_provider::functions::filter_and_ranker_tests::test_completion_ranker_basic ... ok [INFO] [stdout] test completion_provider::functions::filter_and_ranker_tests::test_completion_ranker_with_recency ... ok [INFO] [stdout] test completion_provider::functions::extra_tests::test_completion_context_flags ... ok [INFO] [stdout] test completion_provider::functions::filter_and_ranker_tests::test_filter_chain_combined ... ok [INFO] [stdout] test completion_provider::functions::filter_and_ranker_tests::test_filter_chain_empty ... ok [INFO] [stdout] test completion_provider::functions::filter_and_ranker_tests::test_kind_filter ... ok [INFO] [stdout] test completion_provider::functions::filter_and_ranker_tests::test_min_score_filter ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_completion_session_dedup ... ok [INFO] [stdout] test completion_provider::functions::filter_and_ranker_tests::test_label_contains_filter ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_matcher_case_sensitive_no_match ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_matcher_empty_query ... ok [INFO] [stdout] test completion_provider::functions::filter_and_ranker_tests::test_kinds_filter_multiple_kinds ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_matcher_exact ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_completion_score_total ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_matcher_case_insensitive ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_completion_session_max_recent ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_matcher_no_match ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_completion_session_basic ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_matcher_non_contiguous ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_snippet_library_default ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_snippet_template_to_completion_item ... ok [INFO] [stdout] test completion_provider::functions::pipeline_tests::test_deduplicate_stage ... ok [INFO] [stdout] test completion_provider::functions::pipeline_tests::test_sort_by_score_stage ... ok [INFO] [stdout] test completion_provider::functions::pipeline_tests::test_truncate_stage ... ok [INFO] [stdout] test completion_provider::functions::stats_and_middleware_tests::test_boost_middleware ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_matcher_score_completions ... ok [INFO] [stdout] test completion_provider::functions::stats_and_middleware_tests::test_completion_statistics_empty ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_matcher_prefix ... ok [INFO] [stdout] test completion_provider::functions::stats_and_middleware_tests::test_limit_middleware ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_score_and_sort ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_fuzzy_weights_default ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_is_separator ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_snippet_template_placeholder_count ... ok [INFO] [stdout] test completion_provider::functions::stats_and_middleware_tests::test_completion_statistics_basic ... ok [INFO] [stdout] test completion_provider::functions::stats_and_middleware_tests::test_middleware_pre_complete_noop ... ok [INFO] [stdout] test completion_provider::functions::tests::test_completion_item_builder ... ok [INFO] [stdout] test completion_provider::functions::tests::test_matches_prefix ... ok [INFO] [stdout] test completion_provider::functions::tests::test_snippet_insert_text ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_abstract_fvar_simple ... ok [INFO] [stdout] test completion_provider::functions::tests::test_tactic_block_filter ... ok [INFO] [stdout] test completion_provider::functions::stats_and_middleware_tests::test_statistics_top_accepted_sorting ... ok [INFO] [stdout] test completion_provider::functions::tests::test_completion_item_new_defaults ... ok [INFO] [stdout] test completion_provider::functions::tests::test_completion_context_new ... ok [INFO] [stdout] test completion_provider::functions::tests::test_default_provider_has_tactics_and_types ... ok [INFO] [stdout] test completion_provider::functions::tests::test_provider_complete_basic ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_abstract_fvar_not_present ... ok [INFO] [stdout] test completion_provider::functions::tests::test_provider_complete_sorted_by_score ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_apply_rename_to_locals ... ok [INFO] [stdout] test attribute::functions::attribute_ext_tests::test_derive_handler_with_dec_eq ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_context_diff_added ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_context_diff_empty ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_context_stats_mixed ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_context_validation_duplicate_fvar ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_dedup_locals ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_elab_context_new ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_elab_context_push_pop_hypothesis ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_filter_locals_by_kind ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_goal_queue_label ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_context_diff_removed ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_context_stats_empty ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_context_validation_ok ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_count_valued_locals ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_goal_queue_priority_order ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_innermost_first ... ok [INFO] [stdout] test completion_provider::functions::filter_and_ranker_tests::test_completion_ranker_no_match ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_local_entry_builder_let ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_let_binding_iter ... ok [INFO] [stdout] test completion_provider::functions::pipeline_tests::test_pipeline_stages ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_local_entry_builder_hypothesis ... ok [INFO] [stdout] test completion_provider::functions::pipeline_tests::test_histogram ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_hypothesis_iter ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_local_names_and_types ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_locals_at_depth ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_merge_locals_no_duplicates ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_locals_since_depth ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_partition_locals ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_remove_locals_from_depth ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_rename_map_apply ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_sort_locals_by_depth ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_rename_map_merge ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_merge_locals_with_overlap ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_meta_dependency ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_type_snapshot_empty ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_type_snapshot_record_lookup ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_clear_metas ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_describe_context ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_hypothesis_count ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_is_in_scope ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_let_bindings ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_with_expected_type ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_meta_assignments ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_pop_goal ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_snapshot_restore ... ok [INFO] [stdout] test context::functions::context_view_tests::test_context_stats ... ok [INFO] [stdout] test context::functions::context_view_tests::test_copy_hypotheses ... ok [INFO] [stdout] test context::functions::context_view_tests::test_local_view ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_take_first_goal ... ok [INFO] [stdout] test context::functions::context_view_tests::test_meta_completion ... ok [INFO] [stdout] test context::functions::context_view_tests::test_locals_with_type_const ... ok [INFO] [stdout] test context::functions::context_view_tests::test_rename_local ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_update_local_type ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_build_telescope_empty ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_type_snapshot_from_locals ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_checkpoint_take ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_builder_allow_sorry ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_collect_free_vars_some ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_collect_free_vars_none ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_context_summary_clean ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_context_summary_fields ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_hyp_group_contains ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_hyp_group_len ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_build_telescope_one ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_context_summary_has_goals ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_is_local_used_in_false ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_is_local_used_in_true ... ok [INFO] [stdout] test context::functions::extra_context_tests::test_relevant_locals ... ok [INFO] [stdout] test context::functions::tests::test_assign_meta ... ok [INFO] [stdout] test context::functions::tests::test_expected_type ... ok [INFO] [stdout] test context::functions::tests::test_fresh_meta ... ok [INFO] [stdout] test context::functions::context_extended_tests_1::test_is_clean ... ok [INFO] [stdout] test context::functions::tests::test_let_binding ... ok [INFO] [stdout] test context::functions::tests::test_goals ... ok [INFO] [stdout] test context::functions::tests::test_lookup_local ... ok [INFO] [stdout] test context::functions::tests::test_pop_to_depth ... ok [INFO] [stdout] test context::functions::tests::test_univ_params ... ok [INFO] [stdout] test context::functions::tests::test_with_local_helper ... ok [INFO] [stdout] test context::functions::tests::test_hypotheses_filter ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_contextual_delaborator_hole_at_max_depth ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_count_const_occurrences ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_contextual_delaborator_lit ... ok [INFO] [stdout] test context::functions::tests::test_depth ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_decode_nat_numeral_lit ... ok [INFO] [stdout] test context::functions::tests::test_push_pop_local ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_contextual_delaborator_const ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_collect_pi_binders_empty ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_contextual_delaborator_sort ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_collect_const_names ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_decode_nat_numeral_non_nat ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_decode_nat_numeral_three ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_decode_nat_numeral_zero ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_decode_nat_numeral_one ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_contextual_delaborator_nat_numeral_abbrev ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_delab_context_fresh ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_delab_literal_nat ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_delab_context_push_pop ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_delab_literal_str ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_delab_cache_hit_rate ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_delab_config_export ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_delab_cache_hit_miss ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_is_anonymous_name ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_kernel_has_fvar ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_delab_literal_str_val ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_level_to_string_succ ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_fresh_name ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_level_to_string_param ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_is_atom_expr ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_is_var_expr ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_kernel_expr_size ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_level_to_string_zero ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_delab_config_proof_state ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_looks_like_proof ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_format_context ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_fvar_id_gen ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_surface_eq_up_to_max_depth ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_surface_prec_binder ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_goal_queue_count_by_priority ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_surface_prec_var ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_abbreviation_list_nil ... ok [INFO] [stdout] test completion_provider::functions::cache_and_trigger_tests::test_completion_cache_invalidate_prefix ... ok [INFO] [stdout] test completion_provider::functions::fuzzy_and_session_tests::test_snippet_library_no_match ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_abbreviation_non_list ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_name_last_component ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_surface_expr_size ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_notation_registry_register_unregister ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_notation_registry_standard ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_application_no_notation ... ok [INFO] [stdout] test delaborator::functions::delab_extended_tests::test_surface_eq_up_to_vars ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_binder_info_strict_implicit ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_context_fresh_name_underscore_base ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_definition ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_collect_app_args_two_args ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_let_expr ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_abbreviation_nat_non_lit ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_axiom ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_str_literal ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_has_loose_bvar_in_app ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_config_default_fields ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_theorem_hide_proof ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_config_minimal ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_context_fvar_unknown ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_lambda ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_context_fresh_name_empty_base ... ok [INFO] [stdout] test context::functions::context_extended_tests::test_depth_guard ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_has_loose_bvar_in_sort ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_notation_table_all_entries_nonempty ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_print_list_lit_empty ... ok [INFO] [stdout] test delaborator::functions::tests::test_delab_nat_literal ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_abbreviation_nat_zero_const ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_config_name_override ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_projection ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_delab_sort_nonzero_gives_type ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_notation_table_register_custom ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_print_nat_lit ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_notation_table_get_missing ... ok [INFO] [stdout] test delaborator::functions::extra_tests::test_print_sort_prop ... ok [INFO] [stdout] test delaborator::functions::tests::test_delab_sort ... ok [INFO] [stdout] test delaborator::functions::tests::test_fresh_name ... ok [INFO] [stdout] test delaborator::functions::tests::test_abbreviation_nat ... ok [INFO] [stdout] test delaborator::functions::tests::test_binder_info_to_kind ... ok [INFO] [stdout] test delaborator::functions::tests::test_delab_bvar ... ok [INFO] [stdout] test delaborator::functions::tests::test_has_loose_bvar ... ok [INFO] [stdout] test delaborator::functions::tests::test_notation_table_standard ... ok [INFO] [stdout] test delaborator::functions::tests::test_delab_config_verbose ... ok [INFO] [stdout] test delaborator::functions::tests::test_delab_const ... ok [INFO] [stdout] test derive::functions::extended_tests::test_additional_derivable_class_names ... ok [INFO] [stdout] test derive::functions::extended_tests::test_additional_derivable_requires_type_param ... ok [INFO] [stdout] test derive::functions::extended_tests::test_batch_deriver_for_all ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derive_command_all_known ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derive_registry_all_classes ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derive_registry_custom_deriver ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derive_registry_derive_all ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derive_stats ... ok [INFO] [stdout] test derive::functions::extended_tests::test_deriver_can_derive_all_classes ... ok [INFO] [stdout] test derive::functions::extended_tests::test_field_analysis_non_primitive ... ok [INFO] [stdout] test derive::functions::extended_tests::test_instance_namer_custom ... ok [INFO] [stdout] test derive::functions::extended_tests::test_additional_derivable_requires_enum ... ok [INFO] [stdout] test derive::functions::extended_tests::test_field_analysis_unit ... ok [INFO] [stdout] test derive::functions::extended_tests::test_additional_derivable_display ... ok [INFO] [stdout] test derive::functions::extended_tests::test_batch_deriver_classes_for ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derivation_context_cache ... ok [INFO] [stdout] test derive::functions::extended_tests::test_batch_deriver_all_standard ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derivation_context_clear ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derivation_plan_execute_success ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derivation_plan_fail_fast ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derivation_plan_no_fail_fast ... ok [INFO] [stdout] test derive::functions::extended_tests::test_derive_command_parse ... ok [INFO] [stdout] test derive::functions::extended_tests::test_deriver_old_api_cannot_derive_without_type_info ... ok [INFO] [stdout] test derive::functions::extended_tests::test_field_analysis_newtype ... ok [INFO] [stdout] test derive::functions::extended_tests::test_instance_namer_default ... ok [INFO] [stdout] test derive::functions::extended_tests::test_is_primitive_type ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_ctor_app ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_field_proj ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_ne_prop ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_pi_chain ... ok [INFO] [stdout] test derive::functions::extended_tests::test_structural_eq_ctor_count ... ok [INFO] [stdout] test derive::functions::extended_tests::test_structural_eq_deriver ... ok [INFO] [stdout] test derive::functions::extended_tests::test_structural_eq_deriver_empty ... ok [INFO] [stdout] test derive::functions::extended_tests::test_type_analysis_derivable_classes ... ok [INFO] [stdout] test derive::functions::tests::test_can_derive ... ok [INFO] [stdout] test derive::functions::tests::test_check_instance_available ... ok [INFO] [stdout] test derive::functions::tests::test_collect_type_info ... ok [INFO] [stdout] test derive::functions::tests::test_bool_field_type ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_and_type ... ok [INFO] [stdout] test derive::functions::tests::test_constructor_info_nullary ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_eq_prop ... ok [INFO] [stdout] test derive::functions::tests::test_default_deriver ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_lam_chain ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_or_type ... ok [INFO] [stdout] test derive::functions::extended_tests::test_type_analysis_enum ... ok [INFO] [stdout] test derive::functions::extended_tests::test_type_analysis_struct ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_pi_type ... ok [INFO] [stdout] test derive::functions::tests::test_constructor_info_with_fields ... ok [INFO] [stdout] test derive::functions::extended_tests::test_mk_not_type ... ok [INFO] [stdout] test derive::functions::tests::test_default_registry ... ok [INFO] [stdout] test derive::functions::tests::test_derivable_class_display ... ok [INFO] [stdout] test derive::functions::tests::test_derivable_class_names ... ok [INFO] [stdout] test derive::functions::tests::test_derivable_class_from_name ... ok [INFO] [stdout] test derive::functions::tests::test_derive_beq_mixed ... ok [INFO] [stdout] test derive::functions::tests::test_derive_decidable_eq_enum ... ok [INFO] [stdout] test derive::functions::tests::test_derive_decidable_eq_recursive_fails ... ok [INFO] [stdout] test derive::functions::tests::test_derive_decidable_eq_struct ... ok [INFO] [stdout] test derive::functions::tests::test_derive_hashable_enum ... ok [INFO] [stdout] test derive::functions::tests::test_derivation_error_display ... ok [INFO] [stdout] test derive::functions::tests::test_derive_inhabited_enum ... ok [INFO] [stdout] test derive::functions::tests::test_derive_hashable_struct ... ok [INFO] [stdout] test derive::functions::tests::test_derive_beq_enum ... ok [INFO] [stdout] test derive::functions::tests::test_derive_nonempty_enum ... ok [INFO] [stdout] test derive::functions::tests::test_derive_ord_recursive_fails ... ok [INFO] [stdout] test derive::functions::tests::test_derive_nonempty_empty_fails ... ok [INFO] [stdout] test derive::functions::tests::test_derive_inhabited_struct ... ok [INFO] [stdout] test derive::functions::tests::test_derive_inhabited_empty_fails ... ok [INFO] [stdout] test derive::functions::tests::test_derive_repr_person ... ok [INFO] [stdout] test derive::functions::tests::test_derive_ord_struct ... ok [INFO] [stdout] test derive::functions::tests::test_derive_repr_struct ... ok [INFO] [stdout] test derive::functions::tests::test_derive_ord_enum ... ok [INFO] [stdout] test derive::functions::tests::test_derive_repr_enum ... ok [INFO] [stdout] test derive::functions::tests::test_derive_beq_recursive_fails ... ok [INFO] [stdout] test derive::functions::tests::test_derive_beq_struct ... ok [INFO] [stdout] test derive::functions::tests::test_derive_hashable_recursive_fails ... ok [INFO] [stdout] test derive::functions::tests::test_derive_result_aux_defs ... ok [INFO] [stdout] test derive::functions::tests::test_derive_to_string ... ok [INFO] [stdout] test derive::functions::tests::test_mk_and_chain_multiple ... ok [INFO] [stdout] test derive::functions::tests::test_mk_and_chain_single ... ok [INFO] [stdout] test derive::functions::tests::test_mk_hash_combine_multiple ... ok [INFO] [stdout] test derive::functions::tests::test_derive_with_info_beq ... ok [INFO] [stdout] test derive::functions::tests::test_mk_hash_combine_empty ... ok [INFO] [stdout] test derive::functions::tests::test_mk_field_comparison ... ok [INFO] [stdout] test derive::functions::tests::test_mk_repr_string_no_fields ... ok [INFO] [stdout] test derive::functions::tests::test_deriver_create ... ok [INFO] [stdout] test derive::functions::tests::test_derive_with_info_repr ... ok [INFO] [stdout] test derive::functions::tests::test_mk_and_chain_empty ... ok [INFO] [stdout] test derive::functions::tests::test_mk_hash_combine_single ... ok [INFO] [stdout] test derive::functions::tests::test_mk_repr_string_with_fields ... ok [INFO] [stdout] test derive::functions::tests::test_registry ... ok [INFO] [stdout] test derive::functions::tests::test_registry_custom_deriver ... ok [INFO] [stdout] test derive::functions::tests::test_registry_derive_all ... ok [INFO] [stdout] test derive::functions::tests::test_set_debug ... ok [INFO] [stdout] test derive::functions::tests::test_type_info_recursive ... ok [INFO] [stdout] test derive::functions::tests::test_type_info_enum ... ok [INFO] [stdout] test derive_adv::functions::tests::test_aux_decl_name ... ok [INFO] [stdout] test derive_adv::functions::tests::test_can_derive_builtin_fn ... ok [INFO] [stdout] test derive_adv::functions::tests::test_build_parametric_instance_type ... ok [INFO] [stdout] test derive_adv::functions::tests::test_class_is_builtin ... ok [INFO] [stdout] test derive_adv::functions::tests::test_ctor_info_with_fields ... ok [INFO] [stdout] test derive_adv::functions::tests::test_class_names ... ok [INFO] [stdout] test derive_adv::functions::tests::test_default_registry ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_beq_recursive_fails ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_beq_struct ... ok [INFO] [stdout] test derive::functions::tests::test_registry_derive_all_custom ... ok [INFO] [stdout] test derive::functions::tests::test_registry_derive_all_with_failure ... ok [INFO] [stdout] test derive_adv::functions::tests::test_all_builtins ... ok [INFO] [stdout] test derive_adv::functions::tests::test_check_field_instances ... ok [INFO] [stdout] test derive_adv::functions::tests::test_class_display ... ok [INFO] [stdout] test derive_adv::functions::tests::test_class_from_name ... ok [INFO] [stdout] test derive_adv::functions::tests::test_ctor_info_nullary ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_beq_empty_fails ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_decidable_eq_struct ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_beq_enum ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_beq_mixed ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_hashable_enum ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_beq_person ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_builtin_fn ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_hashable_person ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_decidable_eq_enum ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_hashable_recursive_fails ... ok [INFO] [stdout] test derive::functions::tests::test_type_info_struct ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_decidable_eq_recursive_fails ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_hashable_struct ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_inhabited_enum ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_inhabited_person ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_inhabited_empty_fails ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_builtin_custom_fails ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_multiple_ok_fn ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_nonempty_person ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_ord_recursive_fails ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_ord_enum ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_repr_enum ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_nonempty_empty_fails ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_ord_struct ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_result ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_repr_struct ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_to_string ... ok [INFO] [stdout] test derive_adv::functions::tests::test_error_display ... ok [INFO] [stdout] test derive_adv::functions::tests::test_full_derive_beq ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_inhabited_struct ... ok [INFO] [stdout] test derive_adv::functions::tests::test_full_derive_ord ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_multiple_fn ... ok [INFO] [stdout] test derive_adv::functions::tests::test_full_derive_many ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_nonempty_enum ... ok [INFO] [stdout] test derive_adv::functions::tests::test_full_derive_recursive_fails ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_ord_person ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_result_with_aux ... ok [INFO] [stdout] test derive_adv::functions::tests::test_mk_and_chain_empty ... ok [INFO] [stdout] test derive_adv::functions::tests::test_mk_hash_combine_empty ... ok [INFO] [stdout] test derive_adv::functions::tests::test_mk_and_chain_single ... ok [INFO] [stdout] test derive_adv::functions::tests::test_mk_hash_combine_single ... ok [INFO] [stdout] test derive_adv::functions::tests::test_mk_repr_string_no_fields ... ok [INFO] [stdout] test derive_adv::functions::tests::test_mk_structure_info ... ok [INFO] [stdout] test derive_adv::functions::tests::test_registry_can_derive ... ok [INFO] [stdout] test derive_adv::functions::tests::test_mk_lex_compare_empty ... ok [INFO] [stdout] test derive_adv::functions::tests::test_registry_class_names ... ok [INFO] [stdout] test derive_adv::functions::tests::test_registry_custom_handler ... ok [INFO] [stdout] test derive_adv::functions::tests::test_registry_builtins ... ok [INFO] [stdout] test derive_adv::functions::tests::test_instance_name ... ok [INFO] [stdout] test derive_adv::functions::tests::test_registry_derive_all_possible_recursive ... ok [INFO] [stdout] test derive_adv::functions::tests::test_mk_lex_compare_single_field ... ok [INFO] [stdout] test derive_adv::functions::tests::test_registry_derive_all_possible ... ok [INFO] [stdout] test derive_adv::functions::tests::test_full_derive_repr ... ok [INFO] [stdout] test derive_adv::functions::tests::test_derive_repr_person ... ok [INFO] [stdout] test derive_adv::functions::tests::test_registry_try_derive ... ok [INFO] [stdout] test derive_adv::functions::tests::test_registry_try_derive_no_handler ... ok [INFO] [stdout] test derive_adv::functions::tests::test_type_info_all_field_types ... ok [INFO] [stdout] test derive_adv::functions::tests::test_type_info_enum ... ok [INFO] [stdout] test derive_adv::functions::tests::test_type_info_recursive ... ok [INFO] [stdout] test derive_adv::functions::tests::test_registry_derive_many ... ok [INFO] [stdout] test derive_adv::functions::tests::test_type_info_first_ctor ... ok [INFO] [stdout] test derive_adv::functions::tests::test_type_info_struct ... ok [INFO] [stdout] test derive_adv::functions::tests::test_type_info_type_expr ... ok [INFO] [stdout] test derive_adv::functions::tests::test_validate_derivation_recursive ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_compare_strategy ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_diff_corpus_filter ... ok [INFO] [stdout] test derive_adv::functions::tests::test_validate_derivation_ok ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_diff_corpus_merge ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_diff_corpus_serialize_deserialize ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_diff_test_comparator ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_diff_test_harness_aggregate ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_diff_test_filter ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_diff_test_statistics ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_parametric_diff_case ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_regression_detector ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_snapshot_store_remove ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_harness_from_corpus ... ok [INFO] [stdout] test differential_test::functions::matrix_and_scheduler_tests::test_diff_test_scheduler_group ... ok [INFO] [stdout] test differential_test::functions::matrix_and_scheduler_tests::test_diff_test_matrix_basic ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_snapshot_store_serialize_deserialize ... ok [INFO] [stdout] test differential_test::functions::matrix_and_scheduler_tests::test_diff_test_scheduler_priority ... ok [INFO] [stdout] test differential_test::functions::metrics_tests::test_diff_test_metrics ... ok [INFO] [stdout] test differential_test::functions::extended_tests::test_snapshot_store_merge ... ok [INFO] [stdout] test differential_test::functions::metrics_tests::test_metrics_empty ... ok [INFO] [stdout] test differential_test::functions::matrix_and_scheduler_tests::test_scheduler_empty ... ok [INFO] [stdout] test differential_test::functions::matrix_and_scheduler_tests::test_test_priority_ordering ... ok [INFO] [stdout] test differential_test::functions::metrics_tests::test_multi_line_output_match ... ok [INFO] [stdout] test differential_test::functions::matrix_and_scheduler_tests::test_matrix_out_of_bounds ... ok [INFO] [stdout] test differential_test::functions::metrics_tests::test_multi_line_output_diff ... ok [INFO] [stdout] test differential_test::functions::metrics_tests::test_test_timing ... ok [INFO] [stdout] test differential_test::functions::pipeline_and_history_tests::test_diff_test_history_basic ... ok [INFO] [stdout] test differential_test::functions::pipeline_and_history_tests::test_pipeline_empty ... ok [INFO] [stdout] test differential_test::functions::pipeline_and_history_tests::test_suite_pipeline_chained ... ok [INFO] [stdout] test differential_test::functions::pipeline_and_history_tests::test_suite_pipeline_limit ... ok [INFO] [stdout] test differential_test::functions::pipeline_and_history_tests::test_suite_pipeline_reverse ... ok [INFO] [stdout] test differential_test::functions::pipeline_and_history_tests::test_suite_pipeline_dedup ... ok [INFO] [stdout] test differential_test::functions::metrics_tests::test_multi_line_output_different_lengths ... ok [INFO] [stdout] test differential_test::functions::matrix_and_scheduler_tests::test_annotated_diff_case ... ok [INFO] [stdout] test differential_test::functions::tag_registry_tests::test_tag_registry_basic ... ok [INFO] [stdout] test differential_test::functions::tag_registry_tests::test_tag_registry_missing_tag ... ok [INFO] [stdout] test differential_test::functions::tag_registry_tests::test_tag_registry_intersection ... ok [INFO] [stdout] test differential_test::functions::tests::test_diff_test_case_creation ... ok [INFO] [stdout] test differential_test::functions::tests::test_diff_test_report ... ok [INFO] [stdout] test differential_test::functions::tests::test_diff_test_runner_fail ... ok [INFO] [stdout] test differential_test::functions::tests::test_diff_test_runner_pass ... ok [INFO] [stdout] test differential_test::functions::tests::test_diff_test_suite_empty ... ok [INFO] [stdout] test differential_test::functions::tests::test_lean4_diff_tester_add_case ... ok [INFO] [stdout] test differential_test::functions::tests::test_diff_test_suite_run ... ok [INFO] [stdout] test differential_test::functions::tests::test_lean4_diff_tester_new ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_bound_names ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_count_actions ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_count_binds ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_count_lets ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_do_elab_stats_merge ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_do_elab_stats_record ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_do_elab_stats_summary ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_do_nesting_level_enter_leave ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_is_pure_return ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_do_elab_stats_for_try ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_max_do_nesting_for_loop ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_max_do_nesting_flat ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_monad_chain_bind_action ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_monad_chain_elaborate_ok ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_monad_chain_let_bind ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_optimizer_no_change_without_pure ... ok [INFO] [stdout] test do_notation::functions::tests::test_convert_do_actions ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_optimizer_inline_pure_bind ... ok [INFO] [stdout] test do_notation::functions::tests::test_convert_let_typed ... ok [INFO] [stdout] test do_notation::functions::tests::test_desugar_for_loop ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_block_display ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_block_new ... ok [INFO] [stdout] test do_notation::functions::tests::test_desugar_try_catch ... ok [INFO] [stdout] test differential_test::functions::pipeline_and_history_tests::test_test_run_snapshot_statistics ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_block_validate_bind_at_end ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_block_validate_empty ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_block_validate_ok ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_block_with_monad ... ok [INFO] [stdout] test do_notation::functions::tests::test_convert_expr_action ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_do_nesting_level_monad_stack ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_elem_bind ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_monad_chain_monad ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_elem_for_loop ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_elem_action ... ok [INFO] [stdout] test do_notation::functions::tests::test_config_builder ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_elem_let_bind ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_elem_return ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_elem_try_catch ... ok [INFO] [stdout] test do_notation::functions::tests::test_config_defaults ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_action_seq ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_elem_unless ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_bind_at_end ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_empty_block ... ok [INFO] [stdout] test do_notation::functions::do_notation_ext_tests::test_monad_chain_build_empty ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_for_loop ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_if_in_do ... ok [INFO] [stdout] test do_notation::functions::tests::test_do_elem_bind_typed ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_unless ... ok [INFO] [stdout] test do_notation::functions::tests::test_error_display ... ok [INFO] [stdout] test do_notation::functions::tests::test_expander_cache ... ok [INFO] [stdout] test do_notation::functions::tests::test_expander_elaborate ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_match_in_do ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_nested_do ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_simple_bind ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_let_bind ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_try_catch ... ok [INFO] [stdout] test do_notation::functions::tests::test_elaborate_single_return ... ok [INFO] [stdout] test do_notation::functions::tests::test_expander_fresh_name ... ok [INFO] [stdout] test do_notation::functions::tests::test_expander_new ... ok [INFO] [stdout] test do_notation::functions::tests::test_for_with_continuation ... ok [INFO] [stdout] test do_notation::functions::tests::test_mixed_binds_and_lets ... ok [INFO] [stdout] test do_notation::functions::tests::test_monad_instance_mk_bind ... ok [INFO] [stdout] test do_notation::functions::tests::test_expander_reset ... ok [INFO] [stdout] test do_notation::functions::tests::test_monad_instance_mk_map ... ok [INFO] [stdout] test do_notation::functions::tests::test_monad_instance_mk_pure ... ok [INFO] [stdout] test do_notation::functions::tests::test_monad_instance_mk_seq_with_seq_fn ... ok [INFO] [stdout] test do_notation::functions::tests::test_monad_instance_new ... ok [INFO] [stdout] test do_notation::functions::tests::test_resolve_list_monad ... ok [INFO] [stdout] test do_notation::functions::tests::test_resolve_monad_from_app ... ok [INFO] [stdout] test do_notation::functions::tests::test_resolve_option_monad ... ok [INFO] [stdout] test do_notation::functions::tests::test_single_action_block ... ok [INFO] [stdout] test do_notation::functions::tests::test_monad_instance_mk_seq ... ok [INFO] [stdout] test do_notation::functions::tests::test_try_catch_with_continuation ... ok [INFO] [stdout] test do_notation::functions::tests::test_multiple_binds ... ok [INFO] [stdout] test do_notation::functions::tests::test_option_monad_do ... ok [INFO] [stdout] test do_notation::functions::tests::test_resolve_custom_monad ... ok [INFO] [stdout] test do_notation::functions::tests::test_resolve_io_monad ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_decl_stats_empty ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_decl_stats_mixed ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_expr_contains_sorry_false ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_expr_contains_sorry_nested ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_expr_contains_sorry_true ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_filter_all_accepts_everything ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_filter_definitions_only ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_filter_simp_lemmas ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_filter_theorems_only ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_namespace_manager_push_pop ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_namespace_manager_qualify_nested ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_namespace_manager_qualify_root ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_namespace_manager_root ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_pipeline_identity_stage ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_pipeline_multiple_stages ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_pipeline_run_all ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_repo_contains ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_repo_drain ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_repo_empty ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_repo_insert_and_get ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_repo_insert_duplicate ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_repo_iter ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_repo_names ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_validation_error_display_empty_name ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_validation_error_display_trivial_proof ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_validation_warning_missing_annotation ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_validation_warning_sorry ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_validator_clean_theorem ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_validator_clear ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_validator_many_constructors ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_validator_no_constructors ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_validator_sorry_theorem ... ok [INFO] [stdout] test elab_decl::functions::tests::test_decl_elaborator_elaborate_definition ... ok [INFO] [stdout] test elab_decl::functions::tests::test_decl_elaborator_new ... ok [INFO] [stdout] test elab_decl::functions::tests::test_decl_elaborator_take_pending ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_axiom ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_axiom_with_univ_params ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_definition_with_where ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_class_stub ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_derive_unsupported ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_hash_cmd ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_import_unsupported ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_inductive_no_ctors ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_inductive_simple ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_definition_without_type ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_inductive_with_params ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_mutual_block ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_mutual_block_empty ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_notation_unsupported ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_structure_stub ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_theorem ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_theorem_with_where ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_universe_decl ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_universe_decl_empty ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_variable ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_variable_empty ... ok [INFO] [stdout] test elab_decl::functions::tests::test_error_display_duplicate_name ... ok [INFO] [stdout] test elab_decl::functions::tests::test_error_display_elab_error ... ok [INFO] [stdout] test elab_decl::functions::tests::test_error_display_invalid_recursion ... ok [INFO] [stdout] test elab_decl::functions::tests::test_error_display_missing_type ... ok [INFO] [stdout] test elab_decl::functions::tests::test_error_display_type_mismatch ... ok [INFO] [stdout] test elab_decl::functions::tests::test_extract_decl_name_def ... ok [INFO] [stdout] test elab_decl::functions::tests::test_extract_decl_name_unsupported ... ok [INFO] [stdout] test elab_decl::functions::tests::test_pending_decl_kind_checks ... ok [INFO] [stdout] test elab_decl::functions::tests::test_pending_decl_name ... ok [INFO] [stdout] test elab_decl::functions::tests::test_pending_decl_ty ... ok [INFO] [stdout] test elab_decl::functions::tests::test_prefix_name ... ok [INFO] [stdout] test elab_decl::functions::tests::test_process_multiple_attrs ... ok [INFO] [stdout] test elab_decl::functions::tests::test_process_no_attrs ... ok [INFO] [stdout] test elab_decl::functions::tests::test_process_simp_attr ... ok [INFO] [stdout] test elab_decl::functions::tests::test_validate_axiom_type_pi ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_pipeline_drop_stage ... ok [INFO] [stdout] test elab_decl::functions::tests::test_validate_axiom_type_sort ... ok [INFO] [stdout] test elab_decl::functions::elab_decl_extra_tests::test_pipeline_empty ... ok [INFO] [stdout] test elab_decl::functions::tests::test_elaborate_definition_with_type ... ok [INFO] [stdout] test elab_decl::functions::tests::test_error_display_unsupported ... ok [INFO] [stdout] test elab_decl::functions::tests::test_where_clause_with_params ... ok [INFO] [stdout] test elab_expr::functions::expected_type_stack_tests::test_expected_type_stack_push_pop ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_elab_hole_all_assigned ... ok [INFO] [stdout] test elab_expr::functions::expected_type_stack_tests::test_expected_type_stack_empty_pop ... ok [INFO] [stdout] test elab_expr::functions::expected_type_stack_tests::test_expected_type_frame_from_implicit ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_elab_hole_alloc_assign ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_elab_hole_unassigned_list ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_elab_trace_clear ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_elab_trace_depth ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_elab_trace_disabled ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_elab_trace_enabled ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_hole_ctx_lifecycle ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_hole_ctx_reject ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_hole_state ... ok [INFO] [stdout] test elab_expr::functions::hole_and_trace_tests::test_universe_var_alloc ... ok [INFO] [stdout] test elab_expr::functions::hole_report_tests::test_elab_hole_report ... ok [INFO] [stdout] test elab_expr::functions::hole_report_tests::test_elab_hole_report_empty_diagnostic ... ok [INFO] [stdout] test elab_expr::functions::implicit_queue_tests::test_elab_context_current_expected_ty ... ok [INFO] [stdout] test elab_expr::functions::implicit_queue_tests::test_elab_context_mode_switching ... ok [INFO] [stdout] test elab_expr::functions::implicit_queue_tests::test_elab_context_positions ... ok [INFO] [stdout] test elab_expr::functions::implicit_queue_tests::test_implicit_arg_queue_basic ... ok [INFO] [stdout] test elab_expr::functions::implicit_queue_tests::test_implicit_arg_queue_drain ... ok [INFO] [stdout] test elab_expr::functions::implicit_queue_tests::test_pending_implicit_basic ... ok [INFO] [stdout] test elab_expr::functions::implicit_queue_tests::test_pending_implicit_instance ... ok [INFO] [stdout] test elab_expr::functions::implicit_queue_tests::test_pending_implicit_strict ... ok [INFO] [stdout] test elab_expr::functions::implicit_queue_tests::test_pending_implicit_with_fvar ... ok [INFO] [stdout] test elab_expr::functions::session_summary_tests::test_elab_session_summary ... ok [INFO] [stdout] test elab_expr::functions::session_summary_tests::test_elab_session_summary_empty ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_elab_config_debug ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_elab_config_default ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_elab_config_strict ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_elab_mode_display ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_elab_stats_all_holes_filled ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_elab_stats_basic ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_elab_stats_empty ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_elab_stats_merge ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_hole_state_irrelevant ... ok [INFO] [stdout] test elab_expr::functions::stats_config_tests::test_universe_var_alloc_names ... ok [INFO] [stdout] test elab_expr::functions::synthetic_arg_tests::test_built_arg_explicit ... ok [INFO] [stdout] test elab_expr::functions::synthetic_arg_tests::test_built_arg_implicit ... ok [INFO] [stdout] test elab_expr::functions::synthetic_arg_tests::test_elab_result_into_pair ... ok [INFO] [stdout] test elab_expr::functions::synthetic_arg_tests::test_synthetic_arg_builder ... ok [INFO] [stdout] test elab_expr::functions::tests::test_coercion_insert_numeric ... ok [INFO] [stdout] test elab_expr::functions::tests::test_collect_fvars ... ok [INFO] [stdout] test elab_expr::functions::tests::test_collect_implicit_args_none ... ok [INFO] [stdout] test elab_expr::functions::tests::test_collect_implicit_args_one ... ok [INFO] [stdout] test elab_expr::functions::tests::test_count_lam_binders ... ok [INFO] [stdout] test elab_expr::functions::tests::test_count_pi_binders ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_bool_lit_false ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_bool_lit_true ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_char_lit ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_mode_display ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_mode_predicates ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_nat_lit ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_result_into_pair ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_str_lit ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_trace_disabled ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_trace_display ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_trace_enabled ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elabsynthetic_arg_with_span ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_with_env_invalid_returns_none ... ok [INFO] [stdout] test elab_expr::functions::tests::test_elab_with_env_nat_literal ... ok [INFO] [stdout] test elab_expr::functions::tests::test_expr_depth_app ... ok [INFO] [stdout] test elab_expr::functions::tests::test_fresh_meta_id_format ... ok [INFO] [stdout] test elab_expr::functions::tests::test_head_is_const ... ok [INFO] [stdout] test elab_expr::functions::tests::test_expr_depth_const ... ok [INFO] [stdout] test elab_expr::functions::tests::test_implicit_arg_is_strict ... ok [INFO] [stdout] test elab_expr::functions::tests::test_implicit_arg_is_instance ... ok [INFO] [stdout] test elab_expr::functions::tests::test_is_bvar ... ok [INFO] [stdout] test elab_expr::functions::tests::test_is_fvar ... ok [INFO] [stdout] test elab_expr::functions::tests::test_level_str_one ... ok [INFO] [stdout] test elab_expr::functions::tests::test_level_str_zero ... ok [INFO] [stdout] test elab_expr::functions::tests::test_meta_id_gen ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_and ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_app ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_app2 ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_app_empty ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_arrow ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_const_app_no_args ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_eq ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_not ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_lam_telescope_single ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_or ... ok [INFO] [stdout] test elab_expr::functions::tests::test_mk_pi_telescope_empty ... ok [INFO] [stdout] test elab_expr::functions::tests::test_prop_type ... ok [INFO] [stdout] test elab_expr::functions::tests::test_spine ... ok [INFO] [stdout] test elab_expr::functions::tests::test_spine_arg_count ... ok [INFO] [stdout] test elab_expr::functions::tests::test_type0_not_prop ... ok [INFO] [stdout] test elab_expr::functions::tests::test_type_at ... ok [INFO] [stdout] test elab_lib_extra_tests::test_elab_note_display ... ok [INFO] [stdout] test elab_lib_extra_tests::test_elab_note_hint ... ok [INFO] [stdout] test elab_lib_extra_tests::test_elab_note_set_add_warning ... ok [INFO] [stdout] test elab_lib_extra_tests::test_elab_note_set_clear ... ok [INFO] [stdout] test elab_lib_extra_tests::test_elab_note_set_merge ... ok [INFO] [stdout] test elab_lib_extra_tests::test_elab_note_sorry ... ok [INFO] [stdout] test elab_lib_extra_tests::test_elab_note_warning ... ok [INFO] [stdout] test elab_lib_extra_tests::test_reducibility_attr_names ... ok [INFO] [stdout] test elab_lib_extra_tests::test_is_known_tactic ... ok [INFO] [stdout] test elab_lib_extra_tests::test_reducibility_ordering ... ok [INFO] [stdout] test elab_lib_extra_tests::test_tactic_category ... ok [INFO] [stdout] test elaborate::functions_2::elaborate_ext_tests::test_elab_run_metrics_summary ... ok [INFO] [stdout] test elab_lib_extra_tests::test_tactic_names_intro ... ok [INFO] [stdout] test elaborate::functions_2::elaborate_ext_tests::test_elab_run_metrics_merge ... ok [INFO] [stdout] test elaborate::functions_2::elaborate_ext_tests::test_elab_run_metrics_metavar_rate ... ok [INFO] [stdout] test elab_expr::functions::tests::test_syntactic_eq_diff ... ok [INFO] [stdout] test elab_expr::functions::tests::test_contains_fvar_true ... ok [INFO] [stdout] test elab_expr::functions::tests::test_syntactic_eq_same ... ok [INFO] [stdout] test elab_expr::functions::tests::test_head_const_name ... ok [INFO] [stdout] test elab_lib_extra_tests::test_reducibility_default ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elab_error_display_implicit_arg_failed ... ok [INFO] [stdout] test elaborate::functions_2::elaborate_ext_tests::test_elab_run_metrics_record_decl ... ok [INFO] [stdout] test elaborate::functions_2::elaborate_ext_tests::test_elab_run_metrics_empty_rate ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elab_error_display_overload ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_calc_single_step ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_annotation ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_do_single_expr ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_do_bind ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_do_let_then_expr ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_calc_empty_fails ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_do_empty_fails ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_do_return ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_by_tactic ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_have ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_hole ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elab_error_display_coercion ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_app_basic ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_if ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_list_empty ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_lambda_multiple_binders ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_lambda_typed ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_lambda_untyped ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elab_error_display_name_not_found ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_lambda_with_expected_pi ... ok [INFO] [stdout] test elab_lib_extra_tests::test_elab_note_warnings_filter ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_let_typed ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_list_multiple ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_list_singleton ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_let_untyped ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elab_error_display_tactic ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_anonymous_ctor ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_lit_char ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_lit_float ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_lit_nat ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_match_basic ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_lit_string ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_pi_basic ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_range_from_zero ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_range_full ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_sort_prop ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_return ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_sort_type ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_show ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_sort_type_u ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_string_interp_empty ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_string_interp_literal_only ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_pi_no_type_fails ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_string_interp_with_hole ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_proj ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_var_local ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_var_not_found ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_expected_type_let_propagation ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_suffices ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_tuple_triple ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_resolve_overload_empty ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_tuple_empty ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_expected_type_hole ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_tuple_pair ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_tuple_single ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_match_no_arms_fails ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_resolve_overload_single ... ok [INFO] [stdout] test elaborate::functions_2::tests::test_elaborate_named_arg ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_hot_path_report_add_decl_below_threshold ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_hot_path_report_format ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_hot_path_report_sorted ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_profiling_event_log_avg ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_profiling_event_log_record ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_profiling_event_log_empty ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_profiling_event_log_for_phase ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_profiling_event_new ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_timing_breakdown_summary ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_profiling_event_log_slowest ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_timing_breakdown_total ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_timing_breakdown_fraction ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_hot_path_report_add_decl_above_threshold ... ok [INFO] [stdout] test elaboration_profiler::functions::elaboration_profiler_ext_tests::test_timing_breakdown_zero_total ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_decl_profile_slowest_phase ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_decl_profile_no_phases_slowest_none ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_elab_phase_names_all ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_elab_phase_clone_eq ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_phase_timer_duration_ms_precision ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_profiler_disabled_does_not_record ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_profile_report_default ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_profiler_record_out_of_bounds_no_panic ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_sampling_profiler_multiple_phases ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_profiler_reset ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_sampling_profiler_record_increments_total ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_call_graph_dfs_visit ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_sampling_profiler_no_samples ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_decl_profile_add_phase_accumulation ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_call_graph_reachable_from ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_decl_profile_total_ms ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_call_graph_top_by_inclusive ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_phase_timer_clone ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_profiler_enable_disable ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_call_graph_add_node_and_edge ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_profile_report_phase_totals ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_decl_span_profile_basic ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_decl_span_profile_dominant_phase ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_decl_span_profile_ns_per_byte ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_elab_span_basic ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_decl_span_profile_ns_per_byte_zero_span ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_elab_span_empty ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_elab_span_display ... ok [INFO] [stdout] test elaboration_profiler::functions::extra_tests::test_profiler_top_slow_fewer_than_n ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_call_node_record_call ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_call_graph_find_node ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_extended_profile_report_default ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_elab_span_clone_eq ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_flamegraph_collapsed_text ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_elab_span_with_file ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_extended_profile_report_format_json ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_hotspot_detector_below_threshold ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_hotspot_detector_critical_recommendation ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_extended_profile_report_format_text ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_elab_span_overlaps ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_elab_span_contains ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_extended_profile_report_from_profiler ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_flame_frame_fraction ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_hotspot_detector_no_data ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_flamegraph_builder_empty_graph ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_flamegraph_builder_simple ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_hotspot_detector_zero_total ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_mem_snapshot_diff_compute ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_mem_snapshot_diff_display ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_mem_snapshot_diff_shrinkage ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_mem_snapshot_new ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_mem_tracker_snapshots_and_diffs ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_mem_tracker_empty ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_profile_comparison_phase_regressions ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_profile_comparison_improvement ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_profile_comparison_regression ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_profile_comparison_summary ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_tactic_block_profile_add_steps ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_tactic_block_profile_count_by_tactic ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_tactic_block_profile_empty ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_tactic_block_profile_time_by_tactic ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_tactic_profile_efficiency_positive ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_tactic_profile_efficiency_zero_time ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_tactic_profile_goals_closed ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_tactic_profile_goals_opened ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_unif_kind_clone_eq ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_unif_kind_labels ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_unification_profiler_add ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_unification_profiler_count_by_kind ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_unification_profiler_empty ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_unification_profiler_time_by_kind ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_unification_profiler_top_slow ... ok [INFO] [stdout] test elaboration_profiler::functions::tests::test_decl_profile_new ... ok [INFO] [stdout] test elaboration_profiler::functions::tests::test_decl_profile_summary ... ok [INFO] [stdout] test elaboration_profiler::functions::tests::test_elab_profiler_new ... ok [INFO] [stdout] test elaboration_profiler::functions::tests::test_elab_profiler_record ... ok [INFO] [stdout] test elaboration_profiler::functions::tests::test_phase_timer ... ok [INFO] [stdout] test elaboration_profiler::functions::tests::test_profile_report ... ok [INFO] [stdout] test elaboration_profiler::functions::tests::test_sampling_profiler ... ok [INFO] [stdout] test elaboration_profiler::functions::tests::test_top_slow ... ok [INFO] [stdout] test equation::functions::equation_extended_tests::test_decision_tree_stats_leaf ... ok [INFO] [stdout] test equation::functions::equation_extended_tests::test_decision_tree_stats_switch ... ok [INFO] [stdout] test equation::functions::equation_extended_tests::test_equation_compilation_report ... ok [INFO] [stdout] test equation::functions::equation_extended_tests::test_equation_compiler_config ... ok [INFO] [stdout] test equation::functions::equation_extended_tests::test_equation_set_has_guards ... ok [INFO] [stdout] test equation::functions::equation_extended_tests::test_equation_set_has_wildcards ... ok [INFO] [stdout] test equation::functions::equation_extended_tests::test_pattern_annotation ... ok [INFO] [stdout] test equation::functions::equation_extended_tests::test_pattern_complexity ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_check_exhaustiveness_empty ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_check_exhaustiveness_wildcard ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_compile_function_single_leaf ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_decision_tree_fail ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_decision_tree_leaves ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_decision_tree_switch_depth ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_equation_consume_first ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_equation_new ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_equation_with_guard ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_flatten_or ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_mk_ctor_pattern ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_pattern_count_ctors ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_pattern_depth_ctor ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_pattern_depth_zero ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_pattern_matches_ctor ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_pattern_matrix_operations ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_pattern_matrix_first_ctor_column ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_patterns_overlap_wilds ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_patterns_overlap_different_ctors ... ok [INFO] [stdout] test equation::functions::extended_equation_tests::test_wildcards_to_vars ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_count_leaf_patterns ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_ctors_in_column ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_find_redundant_equations ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_pattern_depth_flat ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_pattern_depth_nested ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_pattern_matrix_ctor_columns ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_pattern_matrix_from_equations ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_pattern_matrix_is_empty ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_pattern_row_first_ctor_col ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_pattern_row_irrefutable ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_pattern_row_not_irrefutable ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_pattern_row_with_guard ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_patterns_orthogonal_ctors ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_patterns_orthogonal_same_ctor ... ok [INFO] [stdout] test equation::functions::extra2_equation_tests::test_patterns_orthogonal_wild ... ok [INFO] [stdout] test equation::functions::extra_equation_tests::test_find_uncovered_ctors_none_missing ... ok [INFO] [stdout] test equation::functions::extra_equation_tests::test_group_by_ctor_basic ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_column_selector_left_to_right ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_default_matrix ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_exhaustiveness_non_exhaustive ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_normalizer_desugar_or ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_overlap_checker_redundant_pairs ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_overlap_checker_subsumes ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_pattern_matrix_from_equations ... ok [INFO] [stdout] test equation::functions::tests::test_check_exhaustive ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_specialize ... ok [INFO] [stdout] test equation::functions::tests::test_compile_empty ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_caret_annotation ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_deduplicate_errors ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_error_chain_format ... ok [INFO] [stdout] test equation::functions::extra_equation_tests::test_find_uncovered_ctors_some_missing ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_annotate_source_out_of_bounds ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_error_chain_push_len ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_error_chain_root_immediate ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_error_stats_from_batch ... ok [INFO] [stdout] test equation::functions::tests::test_pattern_is_irrefutable ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_annotate_source ... ok [INFO] [stdout] test equation::functions::tests::test_check_redundant ... ok [INFO] [stdout] test equation::functions::tests::test_compiler_create ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_error_stats_from_errors ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_error_stats_summary ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_ext_error_code_description ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_ext_error_code_display ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_ext_error_code_is_hard_error ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_ext_error_code_number ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_filter_by_severity ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_fix_suggestion_creation ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_group_errors_by_code ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_group_errors_by_line ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_fix_suggestion_not_confident ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_localise_severity_german ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_localise_severity_english ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_highlight_code_valid ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_localise_severity_japanese ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_multi_span_diagnostic_secondary_spans ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_multi_span_diagnostic_with_primary ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_multi_span_diagnostic_format_compact ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_name_database_add_contains ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_name_database_completions ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_name_database_len ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_multi_span_diagnostic_with_note ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_multi_span_diagnostic_creation ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_name_database_suggest ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_error_chain_clear ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_pretty_print_batch ... ok [INFO] [stdout] test equation::functions::extra_equation_tests::test_specialize_for_ctor_removes_head ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_deduplicate_messages ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_exhaustiveness_simple ... ok [INFO] [stdout] test equation::functions::matrix_tests::test_head_constructors ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_highlight_code_invalid_line ... ok [INFO] [stdout] test equation::functions::tests::test_pattern_bound_vars ... ok [INFO] [stdout] test elaboration_profiler::functions::profiler_extended_tests::test_tactic_block_total_goals_closed ... ok [INFO] [stdout] test equation::functions::extra_equation_tests::test_count_head_ctors ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_pretty_print_options_default ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_span_contains_offset ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_pretty_print_error ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_span_is_empty ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_span_label_primary ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_span_label_secondary ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_span_len ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_span_merge ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_to_sarif_json_empty ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_span_format_location ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_to_sarif_json_with_messages ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_elab_message_at ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_elab_message_error ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_elab_message_format_diagnostic ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_pretty_print_options_minimal ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_recovery_hint_e1000 ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_recovery_hint_e2000 ... ok [INFO] [stdout] test error_msg::functions::extended_error_msg_tests::test_recovery_hint_e5000 ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_elab_message_info ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_elab_message_warning ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_message_batch_errors_warnings ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_message_batch_has_errors ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_message_batch_len ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_msg_severity_display ... ok [INFO] [stdout] test error_msg::functions::extra_error_msg_tests::test_msg_severity_ordering ... ok [INFO] [stdout] test error_msg::functions::tests::test_contextual_help_type_mismatch ... ok [INFO] [stdout] test error_msg::functions::tests::test_edit_distance_identical ... ok [INFO] [stdout] test error_msg::functions::tests::test_edit_distance_one_char ... ok [INFO] [stdout] test error_msg::functions::tests::test_edit_distance_substitution ... ok [INFO] [stdout] test error_msg::functions::tests::test_error_code_description ... ok [INFO] [stdout] test error_msg::functions::tests::test_error_code_display ... ok [INFO] [stdout] test error_msg::functions::tests::test_error_code_number ... ok [INFO] [stdout] test error_msg::functions::tests::test_error_context_creation ... ok [INFO] [stdout] test error_msg::functions::tests::test_error_formatter_type_error ... ok [INFO] [stdout] test error_msg::functions::tests::test_error_report ... ok [INFO] [stdout] test error_msg::functions::tests::test_example_fix_type_mismatch ... ok [INFO] [stdout] test error_msg::functions::tests::test_format_suggestion ... ok [INFO] [stdout] test error_msg::functions::tests::test_suggestions_import ... ok [INFO] [stdout] test error_msg::functions::tests::test_suggestions_similar_name ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_formatter_plaintext ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_formatter_markdown ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_index_query ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_info_builder ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_link_markdown ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_location_contains ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_markdown_code_block ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_stats ... ok [INFO] [stdout] test error_msg::functions::tests::test_error_context_format ... ok [INFO] [stdout] test error_msg::functions::tests::test_error_formatter_name_error ... ok [INFO] [stdout] test error_msg::functions::tests::test_suggestions_tactic ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_diagnostic_collection ... ok [INFO] [stdout] test error_msg::functions::tests::test_find_similar ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_contextual_hover_all_builtin_types ... ok [INFO] [stdout] test error_msg::functions::tests::test_error_context_with_suggestions ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_cache_lru_eviction ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_contextual_hover_all_core_tactics ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_hover_result_no_type_no_doc_markdown ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_contextual_hover_default ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_contextual_hover_unknown_word ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_hover_kind_eq_and_clone ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_hover_kind_as_str_all_variants ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_hover_provider_lookup_prefix_multiple ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_hover_provider_default_is_empty ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_hover_provider_overwrite ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_hover_provider_register_keyword ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_hover_provider_lookup_prefix_empty_provider ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_is_builtin_type_non_types ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_is_tactic_keyword_non_tactics ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_hover_response_builder ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_is_tactic_keyword_all_known ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_goal_info_render ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_hover_throttler ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_doc_reference_index ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_hover_history ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_hover_renderer_config_compact ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_hover_annotation_is_implicit ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_doc_reference_full_url ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_hover_history_unique_lines ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_hover_request_context_format ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_hyp_info_to_hover ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_module_info_export_count ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_type_sig_parser_arity ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_type_sig_parser_is_prop ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_type_sig_parser_return_type ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests2::test_type_sig_parser_split_arrows ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_tactic_suggestion_conjunction ... ok [INFO] [stdout] test hover_info::functions::tests::test_hover_provider_lookup_prefix ... ok [INFO] [stdout] test hover_info::functions::tests::test_hover_result_builder ... ok [INFO] [stdout] test hover_info::functions::tests::test_to_markdown_code_block ... ok [INFO] [stdout] test hover_info::functions::tests::test_to_plain_text ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_arg_class_from_binder ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_arg_class_is_implicit ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_auto_implicit_scope_names ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_binder_counts ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_hover_renderer_render ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_performance_monitor_stats ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_region_merger ... ok [INFO] [stdout] test hover_info::functions::hover_extended_tests3::test_tactic_suggestion_engine ... ok [INFO] [stdout] test hover_info::functions::tests::test_contextual_hover_tactic_and_type ... ok [INFO] [stdout] test hover_info::functions::tests::test_default_tactics_populated ... ok [INFO] [stdout] test hover_info::functions::tests::test_hover_provider_register_and_lookup ... ok [INFO] [stdout] test hover_info::functions::tests::test_hover_result_new ... ok [INFO] [stdout] test hover_info::functions::tests::test_to_markdown_contains_name ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_auto_implicit_scope ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_classify_binders ... ok [INFO] [stdout] test implicit::functions::implicit_ext_tests::test_implicit_insertion_stats_empty ... ok [INFO] [stdout] test implicit::functions::implicit_ext_tests::test_implicit_insertion_stats_record ... ok [INFO] [stdout] test implicit::functions::implicit_ext_tests::test_implicit_insertion_stats_summary ... ok [INFO] [stdout] test implicit::functions::implicit_extra_tests::test_generate_implicit_holes ... ok [INFO] [stdout] test implicit::functions::implicit_extra_tests::test_insert_all_implicits ... ok [INFO] [stdout] test implicit::functions::implicit_extra_tests::test_implicit_insert_result_fields ... ok [INFO] [stdout] test implicit::functions::implicit_extra_tests::test_is_implicit_bi ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_instance_table_class_names ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_pending_implicit_peek ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_pending_implicit_queue_basic ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_pending_implicit_queue_clear ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_pending_implicit_queue_tc_count ... ok [INFO] [stdout] test implicit::functions::extra_implicit_tests::test_pending_implicit_user_provided ... ok [INFO] [stdout] test implicit::functions::implicit_ext_tests::test_implicit_insertion_stats_avg ... ok [INFO] [stdout] test implicit::functions::implicit_extra_tests::test_count_likely_implicit_args ... ok [INFO] [stdout] test implicit::functions::implicit_extra_tests::test_is_inst_implicit ... ok [INFO] [stdout] test implicit::functions::implicit_extra_tests::test_is_strict_implicit ... ok [INFO] [stdout] test implicit::functions::implicit_extra_tests::test_instance_table_register_lookup ... ok [INFO] [stdout] test implicit::functions::implicit_final_tests::test_has_trailing_implicits_false ... ok [INFO] [stdout] test implicit::functions::implicit_final_tests::test_has_trailing_implicits_true ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_analyze_implicit_dependencies_dependent ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_analyze_implicit_dependencies_none ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_check_direction_is_check ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_check_direction_is_infer ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_contains_bvar_true ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_contains_meta_fvar_true ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_contains_meta_fvar_false ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_describe_implicits_none ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_count_app_spine ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_eta_expand_one_implicit ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_arg_summary ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_elab_result_inferred ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_eta_expand_no_implicits ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_position_index_empty ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_scope_stack_push_pop ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_position_index_mixed ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_describe_implicits_one ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_scope_stack_empty ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_guard_enable_disable ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_cache_clear ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_stats_new ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_cache_insert_get ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_elab_result_pending ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_guard_nested_disable ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_cache_new ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_error_display ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_leading_implicit_arity ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_normalise_implicit_pass_substitutes ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_pipeline_config_default ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_pipeline_config_minimal ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_return_type ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_strip_implicit_apps_strips_meta ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_run_implicit_pipeline_no_implicits ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_stats_reset ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_run_implicit_pipeline_one_implicit ... ok [INFO] [stdout] test implicit::functions::tests::test_binder_names ... ok [INFO] [stdout] test implicit::functions::tests::test_count_explicit_args ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_is_meta_placeholder ... ok [INFO] [stdout] test implicit::functions::tests::test_count_implicit_prefix ... ok [INFO] [stdout] test implicit::functions::tests::test_has_implicit_prefix ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_pipeline_config_full ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_total_arity ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_reorder_implicits_to_front ... ok [INFO] [stdout] test implicit::functions::tests::test_collect_implicit_prefix ... ok [INFO] [stdout] test implicit::functions::tests::test_is_auto_implicit_candidate ... ok [INFO] [stdout] test implicit::functions::tests::test_resolve_implicits_none ... ok [INFO] [stdout] test implicit::functions::tests::test_resolve_implicits_one ... ok [INFO] [stdout] test implicit::functions::tests::test_resolve_instance_returns_none ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_bidir_result_mode ... ok [INFO] [stdout] test implicit::functions::tests::test_strip_n_explicit ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_prop_type_levels ... ok [INFO] [stdout] test implicit::functions::tests::test_implicit_mode_from_binder ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_type_annotation_to_constraint ... ok [INFO] [stdout] test implicit::functions::tests::test_implicit_mode_needs ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_annotation_pool ... ok [INFO] [stdout] test implicit::functions::tests::test_infer_implicit_returns_none ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_check_direction ... ok [INFO] [stdout] test implicit::functions::tests::test_resolve_implicits_tracked ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_constraint_simplifier_all ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_infer_fuel ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_type_env_len ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_constraint_simplifier ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_type_env_lookup ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_constraint_solver_trivial ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_infer_error_display ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_infer_literal_type_str ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_infer_literal_type_nat ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_infer_sort_prop ... ok [INFO] [stdout] test infer::functions::bidir_tests::test_type_env_shadow ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_constraint_solver_assignment ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_infer_cache_operations ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_infer_stats_hit_rate ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_mk_metavar ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_partition_constraints ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_prioritized_constraint ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_simplify_constraints_removes_trivial ... ok [INFO] [stdout] test infer::functions::infer_bidir_tests::test_bidir_check_mode ... ok [INFO] [stdout] test infer::functions::infer_bidir_tests::test_bidir_infer_mode ... ok [INFO] [stdout] test infer::functions::infer_bidir_tests::test_infer_session_config ... ok [INFO] [stdout] test infer::functions::infer_extended_tests2::test_infer_error_collector ... ok [INFO] [stdout] test infer::functions::infer_extended_tests2::test_type_inference_rules ... ok [INFO] [stdout] test infer::functions::infer_extended_tests2::test_infer_rule_stats ... ok [INFO] [stdout] test infer::functions::infer_extended_tests2::test_infer_error_display ... ok [INFO] [stdout] test infer::functions::infer_extended_tests2::test_unification_context_assign ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_constraint_solver_trivial ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_constraint_solver_stuck ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_expected_type_stack ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_infer_cache_hit_rate ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_infer_decision_success ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_meta_var_subst ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_infer_logger_failures ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_type_annotation_map ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_merge_constraints_no_duplicates ... ok [INFO] [stdout] test infer::functions::tests::test_constraint_equal ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_sort_constraints_by_priority ... ok [INFO] [stdout] test infer::functions::extended_infer_tests::test_is_type_expr ... ok [INFO] [stdout] test infer::functions::tests::test_infer_sort ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_infer_hint_builder ... ok [INFO] [stdout] test infer::functions::infer_extended_tests::test_infer_stats_unsolved ... ok [INFO] [stdout] test infer::functions::tests::test_inferencer_create ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_find_references_index_empty ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_find_references_index_find ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_find_references_index_stats ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_goto_def_entry_local ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_goto_def_index_len ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_goto_def_index_lookup_pos ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_mk_nat_is_const ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_name_reference_def_site ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_name_reference_use_site ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_semantic_token_kind_display ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_semantic_token_len ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_semantic_token_list_empty ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_semantic_token_list_of_kind ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_semantic_token_list_push_sort ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_semantic_token_modifier ... ok [INFO] [stdout] test info_tree::functions::tests::test_binder_kind_display ... ok [INFO] [stdout] test info_tree::functions::tests::test_builder_add_hole ... ok [INFO] [stdout] test info_tree::functions::tests::test_builder_basic ... ok [INFO] [stdout] test info_tree::functions::tests::test_builder_context ... ok [INFO] [stdout] test info_tree::functions::tests::test_builder_disabled ... ok [INFO] [stdout] test info_tree::functions::tests::test_builder_add_leaf ... ok [INFO] [stdout] test info_tree::functions::tests::test_builder_current_context ... ok [INFO] [stdout] test info_tree::functions::tests::test_builder_finish ... ok [INFO] [stdout] test info_tree::functions::tests::test_builder_doc_strings ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_goto_def_entry_cross_file ... ok [INFO] [stdout] test info_tree::functions::tests::test_completion_item ... ok [INFO] [stdout] test info_tree::functions::tests::test_builder_nested ... ok [INFO] [stdout] test info_tree::functions::info_tree_ext_tests::test_find_references_index_at_pos ... ok [INFO] [stdout] test info_tree::functions::tests::test_deeply_nested_tree ... ok [INFO] [stdout] test info_tree::functions::tests::test_empty_tree_query ... ok [INFO] [stdout] test info_tree::functions::tests::test_find_definition_field ... ok [INFO] [stdout] test info_tree::functions::tests::test_find_definition_miss ... ok [INFO] [stdout] test info_tree::functions::tests::test_find_references_none ... ok [INFO] [stdout] test info_tree::functions::tests::test_find_references_simple ... ok [INFO] [stdout] test info_tree::functions::tests::test_hole_collector ... ok [INFO] [stdout] test info_tree::functions::tests::test_goal_info ... ok [INFO] [stdout] test info_tree::functions::tests::test_hover_info_miss ... ok [INFO] [stdout] test info_tree::functions::tests::test_hover_info ... ok [INFO] [stdout] test info_tree::functions::tests::test_hover_info_empty ... ok [INFO] [stdout] test info_tree::functions::tests::test_hover_info_markdown ... ok [INFO] [stdout] test info_tree::functions::tests::test_completion_kind_display ... ok [INFO] [stdout] test info_tree::functions::tests::test_definition_collector ... ok [INFO] [stdout] test info_tree::functions::tests::test_find_definition_ref ... ok [INFO] [stdout] test info_tree::functions::tests::test_hover_info_ref_with_doc ... ok [INFO] [stdout] test info_tree::functions::tests::test_hover_with_local_context ... ok [INFO] [stdout] test info_tree::functions::tests::test_hover_info_term ... ok [INFO] [stdout] test info_tree::functions::tests::test_info_display ... ok [INFO] [stdout] test info_tree::functions::tests::test_info_tree_context ... ok [INFO] [stdout] test info_tree::functions::tests::test_hover_info_with_tactic_state ... ok [INFO] [stdout] test info_tree::functions::tests::test_info_contains_pos ... ok [INFO] [stdout] test info_tree::functions::tests::test_info_tree_leaf ... ok [INFO] [stdout] test info_tree::functions::tests::test_query_at_nested ... ok [INFO] [stdout] test info_tree::functions::tests::test_local_context_entry ... ok [INFO] [stdout] test info_tree::functions::tests::test_query_at_simple ... ok [INFO] [stdout] test info_tree::functions::tests::test_serialize_context ... ok [INFO] [stdout] test info_tree::functions::tests::test_name_usage_collector ... ok [INFO] [stdout] test info_tree::functions::tests::test_serialize_hole ... ok [INFO] [stdout] test info_tree::functions::tests::test_info_data_display ... ok [INFO] [stdout] test info_tree::functions::tests::test_info_tree_node_with_children ... ok [INFO] [stdout] test info_tree::functions::tests::test_info_tree_hole ... ok [INFO] [stdout] test info_tree::functions::tests::test_serialize_leaf ... ok [INFO] [stdout] test info_tree::functions::tests::test_query_at_miss ... ok [INFO] [stdout] test info_tree::functions::tests::test_serialize_nested ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_chain_basic ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_chain_empty ... ok [INFO] [stdout] test instance::functions::extended_tests::test_diamond_resolution_strategy_default ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_graph_has_cycle ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_graph_nodes ... ok [INFO] [stdout] test info_tree::functions::tests::test_tactic_state_info ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_priority_queue_push_pop ... ok [INFO] [stdout] test instance::functions::extended_tests::test_typeclass_instance_default_local ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_priority_queue_peek ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_could_conflict_different_class ... ok [INFO] [stdout] test instance::functions::extended_tests::test_typeclass_instance_dependencies ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_graph_edges ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_priority_queue_clear ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_search_state ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_graph_no_cycle ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_priority_queue_best_candidates ... ok [INFO] [stdout] test instance::functions::extended_tests::test_instance_search_state_depth_limit ... ok [INFO] [stdout] test instance::functions::extended_tests::test_typeclass_instance_basic ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_instance_snapshot_class ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_priority_group_unambiguous ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_search_path_clear ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_search_path_get ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_search_path_len ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_sorted_instances ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_validate_instances_conflict ... ok [INFO] [stdout] test instance::functions::matcher_tests::test_instance_matcher_filter ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_could_conflict_same ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_validate_instances_no_conflict ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_group_by_priority ... ok [INFO] [stdout] test instance::functions::matcher_tests::test_match_outcome_variants ... ok [INFO] [stdout] test instance::functions::matcher_tests::test_instance_matcher_basic ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_instance_snapshot ... ok [INFO] [stdout] test instance::functions::report_tests::test_instance_report_success ... ok [INFO] [stdout] test instance::functions::scope_tests::test_instance_scope_deactivate ... ok [INFO] [stdout] test instance::functions::report_tests::test_instance_report_failure ... ok [INFO] [stdout] test instance::functions::stats_tests::test_instance_registry_stats ... ok [INFO] [stdout] test instance::functions::scope_tests::test_instance_scope_stack_pop_empty ... ok [INFO] [stdout] test instance::functions::scope_tests::test_instance_scope_stack ... ok [INFO] [stdout] test instance::functions::scope_tests::test_instance_scope_stack_add_to_top_when_empty ... ok [INFO] [stdout] test instance::functions::scope_tests::test_instance_scope_basic ... ok [INFO] [stdout] test instance::functions::stats_tests::test_instance_registry_stats_empty ... ok [INFO] [stdout] test instance::functions::stats_tests::test_priority_queue_all_candidates ... ok [INFO] [stdout] test instance::functions::stats_tests::test_synth_config_custom ... ok [INFO] [stdout] test instance::functions::synth_and_cache_tests::test_instance_cache_store_lookup ... ok [INFO] [stdout] test instance::functions::synth_and_cache_tests::test_instance_cache_clear ... ok [INFO] [stdout] test instance::functions::synth_and_cache_tests::test_instance_synthesizer_add_deps ... ok [INFO] [stdout] test instance::functions::synth_and_cache_tests::test_instance_cache_hit_count ... ok [INFO] [stdout] test instance::functions::synth_and_cache_tests::test_synth_config_default ... ok [INFO] [stdout] test instance::functions::synth_and_cache_tests::test_instance_synthesizer_new ... ok [INFO] [stdout] test instance::functions::synth_and_cache_tests::test_synth_result_ambiguous ... ok [INFO] [stdout] test instance::functions::synth_and_cache_tests::test_synth_result_failure ... ok [INFO] [stdout] test instance::functions::synth_and_cache_tests::test_synth_result_success ... ok [INFO] [stdout] test instance::functions::tests::test_cache_hit_miss ... ok [INFO] [stdout] test instance::functions::tests::test_find_instance_none ... ok [INFO] [stdout] test instance::functions::tests::test_has_instances_for ... ok [INFO] [stdout] test instance::functions::tests::test_cache_key ... ok [INFO] [stdout] test instance::functions::tests::test_priority_ordering ... ok [INFO] [stdout] test instance::functions::tests::test_local_scope_nested ... ok [INFO] [stdout] test instance::functions::tests::test_local_scope ... ok [INFO] [stdout] test instance::functions::tests::test_register_instance ... ok [INFO] [stdout] test instance::functions::tests::test_clear_class ... ok [INFO] [stdout] test instance::functions::tests::test_register_many ... ok [INFO] [stdout] test instance::functions::tests::test_find_instance ... ok [INFO] [stdout] test instance::functions::tests::test_resolve_not_found ... ok [INFO] [stdout] test instance::functions::tests::test_stats_recording ... ok [INFO] [stdout] test instance::functions::tests::test_resolve_or_error_not_found ... ok [INFO] [stdout] test instance::functions::tests::test_traced_resolver ... ok [INFO] [stdout] test instance::functions::tests::test_resolve_or_error_ok ... ok [INFO] [stdout] test instance::functions::tests::test_select_best ... ok [INFO] [stdout] test instance::functions::trace_tests::test_trace_disabled ... ok [INFO] [stdout] test instance::functions::tests::test_select_best_empty ... ok [INFO] [stdout] test instance::functions::tests::test_resolver_create ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_attribute_new ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_build_compat_reports_nonempty ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_camel_to_snake ... ok [INFO] [stdout] test instance::functions::trace_tests::test_instance_resolution_trace ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_compat_checker_clean_source ... ok [INFO] [stdout] test instance::functions::trace_tests::test_trace_enable_disable ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_attribute_is_reducibility ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_compat_checker_fat_arrow_error ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_compat_checker_universe_warning ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_compat_report_new ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_constructor_format_no_args ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_compat_issue_format ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_compat_report_to_markdown_contains_feature ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_elab_error_format ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_elab_error_is_recoverable ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_constructor_format_with_args ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_compat_report_with_gaps ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_declaration_keywords_nonempty ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_error_kind_labels ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_extract_all_docstrings ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_error_kind_is_recoverable ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_extract_leading_docstring_found ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_expand_by_exact ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_feature_affects_surface_syntax ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_extract_leading_docstring_none ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_feature_descriptions_nonempty ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_feature_is_core ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_field_descriptor_private ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_field_descriptor_with_default ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_inductive_descriptor_with_params ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_field_descriptor_format ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_field_visibility_as_str ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_keyword_classifier_not_keyword ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_inductive_descriptor_format ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_hover_result_with_location_plain ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_keyword_classifier_tactic ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_known_syntax_diffs_nonempty ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_keyword_classifier_declaration ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_lean4_option_set ... ok [INFO] [stdout] test hover_info::functions::extra_tests::test_is_builtin_type_all_known ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_lean4_option_format ... ok [INFO] [stdout] test implicit::functions::pipeline_tests::test_implicit_stats_record ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_matrix_count_full ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_keyword_classifier_is_keyword ... ok [INFO] [stdout] test infer::functions::infer_extended_tests2::test_unification_context_depth ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_matrix_set_level ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_lean4_option_new ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_matrix_count_stub ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_namespace_of ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_matrix_iter ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_namespace_tracker_empty ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_namespace_tracker_resolve ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_namespace_tracker_push_pop ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_open_command_partial ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_normalize_sort_star ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_namespace_tracker_resolve_root ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_open_command_scoped ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_matrix_summary_line_contains_counts ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_open_command_full ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_module_to_path ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_normalize_all_universe ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_namespace_keywords_include_import ... ok [INFO] [stdout] test instance::functions::instance_extended_tests::test_search_path_push_has_class ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_matrix_count_partial ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_option_config_defaults ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_option_config_set_value ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_parse_imports ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_option_config_format_non_defaults ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_parse_lean4_attributes_empty ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_parse_lean4_attributes_multiple ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_position_mapper_multi_line ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_position_mapper_single_line ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_relative_name ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_resolver_resolve ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_resolver_root_count ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_same_namespace ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_scope_kind_keyword ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_section_manager_add_variable ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_section_manager_empty ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_section_manager_enter_section ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_section_manager_exit ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_section_manager_nested_namespace ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_snake_to_camel ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_strip_namespace ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_strip_docstrings ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_strip_universe_annotations_basic ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_strip_universe_decls ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_structure_descriptor_as_class ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_structure_descriptor_format ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_structure_descriptor_own_field_count ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_syntax_version_ordering ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_syntax_diff_backward_compat ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_syntax_version_to_string ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_position_mapper_roundtrip ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_strip_check_commands ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_strip_variable_commands ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_tactic_keywords_nonempty ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_term_rewriter_multiple_rules ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_term_rewriter_single_rule ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_type_annotation_brackets ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_token_is_eof ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_type_annotation_is_implicit ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_type_annotation_labels_nonempty ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_token_is_ident ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_token_kind_can_start_expr ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_token_kind_labels_nonempty ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_adapt_do_notation ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_adapt_do_notation_multiple_binds ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_compat_level_is_any_support_all_variants ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_compat_matrix_full_supported ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_compat_matrix_partially_supported_count_positive ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_type_annotation_all_count ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_term_rewriter_standard ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_default_matrix_has_all_features ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_is_valid_oxilean_name_edge_cases ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_lean4_feature_all_count ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_lean4_feature_all_labels_nonempty ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_lean4_feature_all_unique_labels ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_adapt_where_clause ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_compat_level_clone_and_eq ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_lean4_feature_eq_and_clone ... ok [INFO] [stdout] test lean4_compat::functions::tests::test_adapt_lambda ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_attribute_format_no_args ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_lean4_feature_labels_all ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_attribute_format_with_args ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_compat_matrix_report_contains_all_features ... ok [INFO] [stdout] test lean4_compat::functions::tests::test_adapt_all ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_section_manager_enter_namespace ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_name_roundtrip ... ok [INFO] [stdout] test lean4_compat::functions::tests::test_adapt_match ... ok [INFO] [stdout] test lean4_compat::functions::tests::test_adapt_arrow ... ok [INFO] [stdout] test lib_extended_tests::test_coercion_registry_remove_from ... ok [INFO] [stdout] test lib_extended_tests::test_decl_kind_display ... ok [INFO] [stdout] test lib_extended_tests::test_decl_kind_is_computable ... ok [INFO] [stdout] test lib_extended_tests::test_decl_kind_keyword ... ok [INFO] [stdout] test lib_extended_tests::test_decl_kind_produces_term ... ok [INFO] [stdout] test lib_extended_tests::test_decl_kind_requires_proof ... ok [INFO] [stdout] test lib_extended_tests::test_elab_config_batch ... ok [INFO] [stdout] test lib_extended_tests::test_elab_config_defaults ... ok [INFO] [stdout] test lib_extended_tests::test_elab_config_interactive ... ok [INFO] [stdout] test lib_extended_tests::test_elab_config_strict ... ok [INFO] [stdout] test lib_extended_tests::test_elab_metrics_merge ... ok [INFO] [stdout] test lib_extended_tests::test_elab_metrics_solve_rate ... ok [INFO] [stdout] test lib_extended_tests::test_elab_metrics_solve_rate_zero ... ok [INFO] [stdout] test lib_extended_tests::test_env_snapshot_manager ... ok [INFO] [stdout] test lean4_compat::functions::tests::test_compat_level_check ... ok [INFO] [stdout] test lean4_compat::functions::tests::test_name_converter ... ok [INFO] [stdout] test lib_extended_tests::test_instance_registry ... ok [INFO] [stdout] test lib_extended_tests::test_coercion_apply ... ok [INFO] [stdout] test lib_extended_tests::test_is_mathlib_tactic ... ok [INFO] [stdout] test lib_extended_tests::test_instance_registry_remove_class ... ok [INFO] [stdout] test lean4_compat::functions::tests::test_compat_matrix_new ... ok [INFO] [stdout] test lib_extended_tests::test_might_be_recursive_no ... ok [INFO] [stdout] test lib_extended_tests::test_pretty_expr ... ok [INFO] [stdout] test lib_extended_tests::test_proof_history_current ... ok [INFO] [stdout] test lib_extended_tests::test_tactic_names_ext_constants ... ok [INFO] [stdout] test lib_tests::test_all_error_variants_display ... ok [INFO] [stdout] test lib_extended_tests::test_might_be_recursive_yes ... ok [INFO] [stdout] test lib_extended_tests::test_namespace_manager ... ok [INFO] [stdout] test lib_tests::test_elab_config_batch ... ok [INFO] [stdout] test lib_tests::test_elab_config_default ... ok [INFO] [stdout] test lib_tests::test_elab_config_debug ... ok [INFO] [stdout] test lib_tests::test_elab_config_interactive ... ok [INFO] [stdout] test lib_tests::test_elab_config_strict ... ok [INFO] [stdout] test lib_tests::test_elab_error_codes_display ... ok [INFO] [stdout] test lib_tests::test_elab_error_other ... ok [INFO] [stdout] test lib_tests::test_elab_stage_names ... ok [INFO] [stdout] test lib_tests::test_elab_stage_order ... ok [INFO] [stdout] test lib_tests::test_elab_stats_default ... ok [INFO] [stdout] test lib_tests::test_elab_stats_merge ... ok [INFO] [stdout] test lib_tests::test_elab_stats_mvar_rate ... ok [INFO] [stdout] test macro_expand::functions::macro_config_tests::test_expansion_config_builder ... ok [INFO] [stdout] test lib_extended_tests::test_pretty_expr_list ... ok [INFO] [stdout] test macro_expand::functions::macro_config_tests::test_expansion_report ... ok [INFO] [stdout] test lib_extended_tests::test_universe_check_mode_equality ... ok [INFO] [stdout] test lib_extended_tests::test_proof_history_undo_redo ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_expansion_result_builder ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_registry_register_lookup ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_registry_remove ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_scope_stack ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_tracer_disabled ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_tracer_record ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_tracer_ring_buffer ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_validator_duplicate_priority ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_environment_lookup ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_expansion_stats ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_hygiene_map ... ok [INFO] [stdout] test macro_expand::functions::macro_extend_tests2::test_macro_ast_operations ... ok [INFO] [stdout] test macro_expand::functions::macro_extend_tests2::test_macro_ast_cons ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_pattern_matcher ... ok [INFO] [stdout] test lib_tests::test_attr_names ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_environment_child_lookup ... ok [INFO] [stdout] test macro_expand::functions::macro_extend_tests2::test_macro_interpreter_define_eval ... ok [INFO] [stdout] test macro_expand::functions::macro_extend_tests2::test_macro_interpreter_depth_limit ... ok [INFO] [stdout] test macro_expand::functions::macro_extend_tests2::test_macro_namespace_lookup ... ok [INFO] [stdout] test macro_expand::functions::macro_extend_tests2::test_macro_pipeline_identity ... ok [INFO] [stdout] test macro_expand::functions::macro_extend_tests2::test_macro_pipeline_step_names ... ok [INFO] [stdout] test macro_expand::functions::macro_final_tests::test_macro_extension_marker ... ok [INFO] [stdout] test macro_expand::functions::tests::test_apply_hygiene_lambda ... ok [INFO] [stdout] test macro_expand::functions::tests::test_depth_exceeded ... ok [INFO] [stdout] test macro_expand::functions::tests::test_expand_fully ... ok [INFO] [stdout] test macro_expand::functions::tests::test_expand_in_app ... ok [INFO] [stdout] test macro_expand::functions::tests::test_expand_no_macro ... ok [INFO] [stdout] test macro_expand::functions::tests::test_expand_with_args_positional ... ok [INFO] [stdout] test macro_expand::functions::tests::test_hygiene_preserve_underscore ... ok [INFO] [stdout] test macro_expand::functions::tests::test_expand_with_args_undefined ... ok [INFO] [stdout] test macro_expand::functions::tests::test_expander_create ... ok [INFO] [stdout] test macro_expand::functions::tests::test_fresh_name ... ok [INFO] [stdout] test macro_expand::functions::tests::test_is_terminal_with_macro ... ok [INFO] [stdout] test macro_expand::functions::tests::test_hygiene_rename ... ok [INFO] [stdout] test macro_expand::functions::tests::test_match_app_pattern ... ok [INFO] [stdout] test macro_expand::functions::tests::test_is_terminal_no_macros ... ok [INFO] [stdout] test macro_expand::functions::tests::test_match_exact_pattern ... ok [INFO] [stdout] test macro_expand::functions::tests::test_match_lit_pattern ... ok [INFO] [stdout] test macro_expand::functions::tests::test_macro_error_display ... ok [INFO] [stdout] test macro_expand::functions::tests::test_match_var_consistency ... ok [INFO] [stdout] test macro_expand::functions::tests::test_match_var_pattern ... ok [INFO] [stdout] test macro_expand::functions::tests::test_quote_lit ... ok [INFO] [stdout] test macro_expand::functions::tests::test_quote_const ... ok [INFO] [stdout] test macro_expand::functions::tests::test_roundtrip_quote_unquote_const ... ok [INFO] [stdout] test macro_expand::functions::tests::test_substitute_expr_template ... ok [INFO] [stdout] test macro_expand::functions::tests::test_substitute_app_template ... ok [INFO] [stdout] test macro_expand::functions::tests::test_rule_based_macro ... ok [INFO] [stdout] test macro_expand::functions::tests::test_substitute_quote_template ... ok [INFO] [stdout] test macro_expand::functions::tests::test_substitute_unbound_var ... ok [INFO] [stdout] test macro_expand::functions::tests::test_register_macro ... ok [INFO] [stdout] test macro_expand::functions::tests::test_substitute_var_template ... ok [INFO] [stdout] test macro_expand::functions::tests::test_unquote_lit ... ok [INFO] [stdout] test metaprog::functions::builtin_tactic_tests::test_ring_meta_tactic ... ok [INFO] [stdout] test macro_expand::functions::tests::test_trace_expansion ... ok [INFO] [stdout] test macro_expand::functions::tests::test_unquote_const ... ok [INFO] [stdout] test metaprog::functions::builtin_tactic_tests::test_omega_meta_tactic ... ok [INFO] [stdout] test metaprog::functions::builtin_tactic_tests::test_register_builtin_tactics ... ok [INFO] [stdout] test metaprog::functions::builtin_tactic_tests::test_ring_tactic_various_equalities ... ok [INFO] [stdout] test metaprog::functions::builtin_tactic_tests::test_simp_meta_tactic_with_lemmas ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_false_eliminator_whitespace_false ... ok [INFO] [stdout] test metaprog::functions::builtin_tactic_tests::test_simp_meta_tactic_refl ... ok [INFO] [stdout] test metaprog::functions::builtin_tactic_tests::test_simp_meta_tactic_true ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_false_eliminator_multiple_hyps_second_is_false ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_false_eliminator_only_true_hyp_fails ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_macro_engine_literal_fallthrough ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_macro_rule_clone ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_macro_token_clone ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_macro_engine_many_token ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_macro_engine_no_match_empty ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_macro_rule_priority_ordering ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_macro_token_variants_debug ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_registry_default_is_empty ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_true_decider_with_false_hyps_still_succeeds ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_user_tactic_result_variants ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_registry_names_ordered_by_insertion ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_true_decider_whitespace ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_user_elab_registry_multiple ... ok [INFO] [stdout] test metaprog::functions::extra_tests::test_user_tactic_result_clone ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_meta_elab_context ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_meta_env_parent_lookup ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_meta_stack_quotation_depth ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_meta_elab_context_bind_lookup ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_meta_env_basic ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_meta_env_unbind ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_meta_stack_push_pop ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_quoted_expr_app ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_quoted_expr_let_binding ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_quoted_expr_atom ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_reflect_expr_atom ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_quoted_expr_lambda ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_quoted_expr_splice_detection ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_reflect_expr_app ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_reflected_term ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_subst_quoted_lambda_shadowing ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_splice_term_roundtrip ... ok [INFO] [stdout] test metaprog::functions::meta_error_tests::test_meta_env_multiple_parents ... ok [INFO] [stdout] test metaprog::functions::meta_env_tests::test_subst_quoted ... ok [INFO] [stdout] test metaprog::functions::meta_error_tests::test_error_equality ... ok [INFO] [stdout] test metaprog::functions::meta_error_tests::test_macro_transformer_lambda_transform ... ok [INFO] [stdout] test metaprog::functions::meta_error_tests::test_meta_result_err ... ok [INFO] [stdout] test metaprog::functions::meta_error_tests::test_quotation_mode_default ... ok [INFO] [stdout] test metaprog::functions::meta_error_tests::test_meta_result_ok ... ok [INFO] [stdout] test metaprog::functions::meta_error_tests::test_meta_stack_empty_pop ... ok [INFO] [stdout] test metaprog::functions::meta_error_tests::test_quoted_expr_clone_deep ... ok [INFO] [stdout] test metaprog::functions::pipeline_tests::test_meta_elab_pipeline_empty ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_macro_transformer_empty ... ok [INFO] [stdout] test metaprog::functions::pipeline_tests::test_meta_elab_pipeline_error_propagates ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_macro_transformer_recursive ... ok [INFO] [stdout] test metaprog::functions::pipeline_tests::test_meta_elab_pipeline_with_identity ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_macro_transformer_rule_names ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_meta_value_quoted_display ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_macro_transformer_with_rule ... ok [INFO] [stdout] test metaprog::functions::meta_error_tests::test_meta_programming_error_display ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_meta_value_display ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_meta_value_variants ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_term_quoter_args ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_meta_definition_apply ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_meta_definition_recursive_flag ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_meta_definition_wrong_arg_count ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_term_quoter_full ... ok [INFO] [stdout] test metaprog::functions::quoter_transformer_tests::test_term_quoter_partial ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_meta_definition_with_doc ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_meta_frame_with_label ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_meta_stack_macro_frame ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_meta_prog_registry ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_meta_prog_registry_overwrite ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_splice_context_basic ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_splice_context_depth_log ... ok [INFO] [stdout] test metaprog::functions::splice_and_meta_def_tests::test_splice_context_no_underflow ... ok [INFO] [stdout] test metaprog::functions::tests::test_macro_engine_expand ... ok [INFO] [stdout] test metaprog::functions::tests::test_false_eliminator ... ok [INFO] [stdout] test metaprog::functions::tests::test_macro_engine_add_rule ... ok [INFO] [stdout] test metaprog::functions::tests::test_true_decider ... ok [INFO] [stdout] test metaprog::functions::tests::test_user_elab_registry ... ok [INFO] [stdout] test metaprog::functions::tests::test_user_tactic_registry ... ok [INFO] [stdout] test metavar::functions::meta_extra_tests::test_assignment_map ... ok [INFO] [stdout] test metaprog::functions::tests::test_user_tactic_registry_find ... ok [INFO] [stdout] test metavar::functions::meta_extra_tests::test_assigned_at_depth ... ok [INFO] [stdout] test metavar::functions::meta_extra_tests::test_debug_summary ... ok [INFO] [stdout] test metavar::functions::meta_extra_tests::test_merge_contexts ... ok [INFO] [stdout] test metavar::functions::meta_extra_tests::test_safe_assign_no_occurs ... ok [INFO] [stdout] test metavar::functions::meta_extra_tests::test_metas_of_kind ... ok [INFO] [stdout] test metavar::functions::meta_extra_tests::test_occurs_check_simple ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_assignment_history_clear ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_assignment_history_record ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_delayed_queue_drain_ready ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_delayed_assignment_is_ready ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_delayed_assignment_not_ready ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_meta_eq_class_class_count ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_meta_eq_class_same_class ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_metavar_graph_no_dependents ... ok [INFO] [stdout] test metavar::functions::meta_extra_tests::test_checkpoint_rollback ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_metavar_graph_add_edge ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_metavar_graph_remove_node ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_meta_eq_class_transitivity ... ok [INFO] [stdout] test metavar::functions::rich_tests::test_count_meta_occurrences ... ok [INFO] [stdout] test metavar::functions::rich_tests::test_depth_tracking_rich ... ok [INFO] [stdout] test metavar::functions::rich_tests::test_is_fully_assigned ... ok [INFO] [stdout] test metavar::functions::rich_tests::test_pending_constraint_kinds ... ok [INFO] [stdout] test metavar::functions::rich_tests::test_rich_context_fresh_assign ... ok [INFO] [stdout] test metavar::functions::rich_tests::test_meta_status_table ... ok [INFO] [stdout] test metavar::functions::rich_tests::test_rich_context_constraints ... ok [INFO] [stdout] test metavar::functions::rich_tests::test_rich_context_snapshot_restore ... ok [INFO] [stdout] test metavar::functions::rich_tests::test_unassigned_ids ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_assign_checked_frozen ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_assign_accepts_non_circular ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_assign_checked_nonexistent ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_assign_checked_occurs_fail ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_assign_checked_ok ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_assign_checked_scope_fail ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_assign_checked_scope_ok_with_var ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_assign_rejects_transitive_cycle ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_fresh_captures_current_scope ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_assign_rejects_circular ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_fresh_captures_empty_scope ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_meta_fvar_always_in_scope ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_metavar_fvar_in_scope_method ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_push_pop_scope_var ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_fvar_not_in_empty_scope ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_scope_check_expr_fvar_in_scope ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_scope_check_expr_no_fvars ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_scope_check_expr_fvar_out_of_scope ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_scope_check_expr_meta_fvar_always_ok ... ok [INFO] [stdout] test metavar::functions::tests::test_all_solved ... ok [INFO] [stdout] test metavar::functions::tests::test_depth ... ok [INFO] [stdout] test metavar::functions::tests::test_constraints ... ok [INFO] [stdout] test metavar::functions::tests::test_force_assign_ignores_freeze ... ok [INFO] [stdout] test metavar::functions::tests::test_fresh_meta ... ok [INFO] [stdout] test metavar::functions::tests::test_fresh_kinds ... ok [INFO] [stdout] test metavar::functions::tests::test_frozen_meta_cannot_be_assigned ... ok [INFO] [stdout] test metavar::functions::tests::test_named_meta_display ... ok [INFO] [stdout] test metavar::functions::tests::test_snapshot_restore ... ok [INFO] [stdout] test metavar::functions::tests::test_summary ... ok [INFO] [stdout] test metavar::functions::tests::test_unsolved ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_apply_substitution_no_match ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_apply_substitution_replaces ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_bvar_is_used ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_collect_meta_fvars_found ... ok [INFO] [stdout] test metavar::functions::tests::test_assign_meta ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_collect_meta_fvars_none ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_constraint_queue_push_pop ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_count_bvar_occurrences_in_app ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_constraint_queue_simple_first ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_is_meta_free ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_count_bvar_occurrences_match ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_log_disabled_no_events ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_log_enable_disable ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_log_enabled_records ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_meta_subst_insert_get ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_meta_subst_apply_to_ctx ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_meta_subst_merge ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_meta_var_group_add ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_meta_var_group_solved_count ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_meta_var_group_close ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_priority_display ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_priority_ordering ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_stats_from_ctx_with_metas ... ok [INFO] [stdout] test metavar::functions::metavar_extended_tests::test_metavar_graph_transitive ... ok [INFO] [stdout] test metavar::functions::scope_and_occurs_tests::test_scope_check_expr_app ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_stats_summary_contains_percent ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_stats_from_empty_ctx ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_unification_result_failure ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_filter_all ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_filter_apply ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_filter_except ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_filter_only ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_meta_var_pool_create_and_add ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_meta_var_pool_all_solved ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_session_add_lookup ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_session_conflict ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_session_empty ... ok [INFO] [stdout] test metavar::functions::tests_extended::test_unification_result_success ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_stats_avg_decls ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_stats_avg_decls_zero_modules ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_stats_merge ... ok [INFO] [stdout] test module_import::functions::module_load_batch_tests::test_module_load_outcome_path ... ok [INFO] [stdout] test module_import::functions::module_import_ext_tests::test_import_stats_summary ... ok [INFO] [stdout] test module_import::functions::module_load_batch_tests::test_module_load_batch_counts ... ok [INFO] [stdout] test module_import::functions::module_load_batch_tests::test_module_load_batch_failed_paths ... ok [INFO] [stdout] test module_import::functions::tests::test_compute_load_order ... ok [INFO] [stdout] test module_import::functions::tests::test_build_name_table ... ok [INFO] [stdout] test module_import::functions::tests::test_conflict_display ... ok [INFO] [stdout] test module_import::functions::tests::test_check_import_conflicts_found ... ok [INFO] [stdout] test module_import::functions::tests::test_check_import_conflicts_none ... ok [INFO] [stdout] test module_import::functions::tests::test_deduplicate_imports ... ok [INFO] [stdout] test module_import::functions::tests::test_dependency_graph_from_env ... ok [INFO] [stdout] test module_import::functions::tests::test_dependency_graph_cycle ... ok [INFO] [stdout] test module_import::functions::tests::test_dependency_graph_basic ... ok [INFO] [stdout] test module_import::functions::tests::test_dependency_graph_no_cycle ... ok [INFO] [stdout] test module_import::functions::tests::test_import_decl_display ... ok [INFO] [stdout] test module_import::functions::tests::test_export_info ... ok [INFO] [stdout] test module_import::functions::tests::test_export_info_reexport ... ok [INFO] [stdout] test module_import::functions::tests::test_import_decl_hiding ... ok [INFO] [stdout] test module_import::functions::tests::test_export_info_with_type ... ok [INFO] [stdout] test module_import::functions::tests::test_import_decl_public ... ok [INFO] [stdout] test module_import::functions::tests::test_import_decl_simple ... ok [INFO] [stdout] test module_import::functions::tests::test_import_decl_selective_display ... ok [INFO] [stdout] test module_import::functions::tests::test_import_error_display ... ok [INFO] [stdout] test module_import::functions::tests::test_import_result_merge ... ok [INFO] [stdout] test module_import::functions::tests::test_module_data ... ok [INFO] [stdout] test module_import::functions::tests::test_module_data_public_exports ... ok [INFO] [stdout] test module_import::functions::tests::test_module_env ... ok [INFO] [stdout] test module_import::functions::tests::test_module_env_resolve_name ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_child ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_depth ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_display ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_empty ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_from_name ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_from_str ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_is_prefix_of ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_join ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_leaf ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_parent ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_root ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_to_dir_path ... ok [INFO] [stdout] test module_import::functions::tests::test_import_decl_renamed ... ok [INFO] [stdout] test module_import::functions::tests::test_import_decl_selective ... ok [INFO] [stdout] test module_import::functions::tests::test_module_header ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_to_file_path_with_ext ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_all ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_to_name ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_strip_prefix ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_allow_private ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_hiding_import ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_module_not_found ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_selective_import ... ok [INFO] [stdout] test module_import::functions::tests::test_module_path_to_file_path ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_adapt_all_composes ... ok [INFO] [stdout] test module_import::functions::tests::test_reverse_deps ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_transitive_imports ... ok [INFO] [stdout] test module_import::functions::tests::test_topological_sort_cycle ... ok [INFO] [stdout] test module_import::functions::tests::test_topological_sort_no_cycle ... ok [INFO] [stdout] test module_import::functions::tests::test_validate_imports_missing ... ok [INFO] [stdout] test module_import::functions::tests::test_validate_imports_ok ... ok [INFO] [stdout] test module_import::functions::tests::test_visibility ... ok [INFO] [stdout] test module_import::functions::tests::test_visibility_display ... ok [INFO] [stdout] test mutual::functions::mutual_budget_tests::test_budget_default_allows_normal_scc ... ok [INFO] [stdout] test mutual::functions::mutual_budget_tests::test_budget_liberal ... ok [INFO] [stdout] test module_import::functions::tests::test_transitive_deps ... ok [INFO] [stdout] test mutual::functions::mutual_budget_tests::test_budget_strict ... ok [INFO] [stdout] test mutual::functions::mutual_budget_tests::test_mutual_sig_collection_lookup ... ok [INFO] [stdout] test mutual::functions::mutual_budget_tests::test_mutual_sig_collection_all_resolved ... ok [INFO] [stdout] test mutual::functions::mutual_budget_tests::test_partial_sig_resolve ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_decl_dependency_graph_cycle ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_decl_dependency_graph_no_cycle ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_mutual_def_cycle_detector_add_dependency_unknown ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_mutual_def_cycle_detector_mutual ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_mutual_def_cycle_detector_no_mutual ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_mutual_recursion_summary_no_mutual ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_mutual_recursion_summary_with_diagnostics ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_tarjan_scc_simple_cycle ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_tarjan_scc_no_cycle ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_tarjan_scc_two_components ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_termination_measure_reliable ... ok [INFO] [stdout] test mutual::functions::mutual_pipeline_tests::test_mutual_elab_progress_advance_from_done_is_idempotent ... ok [INFO] [stdout] test mutual::functions::mutual_pipeline_tests::test_mutual_elab_progress_advance_to_done ... ok [INFO] [stdout] test mutual::functions::mutual_pipeline_tests::test_mutual_elab_progress_fail ... ok [INFO] [stdout] test mutual::functions::mutual_pipeline_tests::test_mutual_elab_progress_stage_display ... ok [INFO] [stdout] test mutual::functions::mutual_pipeline_tests::test_mutual_elab_stage_display ... ok [INFO] [stdout] test mutual::functions::mutual_pipeline_tests::test_mutual_elab_stage_order ... ok [INFO] [stdout] test mutual::functions::tests::test_add_without_block ... ok [INFO] [stdout] test mutual::functions::tests::test_arg_relation_variants ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_empty ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_find_decreasing_arg ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_get_calls ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_mutual_recursive ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_non_recursive ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_scc_mutual ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_scc_no_recursion ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_scc_single ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_self_recursive ... ok [INFO] [stdout] test mutual::functions::tests::test_call_graph_structurally_decreasing ... ok [INFO] [stdout] test mutual::functions::tests::test_check_termination_non_recursive ... ok [INFO] [stdout] test mutual::functions::tests::test_check_termination_self_recursive ... ok [INFO] [stdout] test mutual::functions::tests::test_check_termination_wf_fallback ... ok [INFO] [stdout] test mutual::functions::tests::test_check_well_formedness_empty ... ok [INFO] [stdout] test mutual::functions::tests::test_check_well_formedness_ok ... ok [INFO] [stdout] test mutual::functions::tests::test_elaborate_mutual_defs ... ok [INFO] [stdout] test mutual::functions::tests::test_elaborate_mutual_defs_empty ... ok [INFO] [stdout] test mutual::functions::tests::test_elaborate_mutual_defs_mismatched ... ok [INFO] [stdout] test mutual::functions::tests::test_encode_recursion_non_recursive ... ok [INFO] [stdout] test mutual::functions::tests::test_finish_without_block ... ok [INFO] [stdout] test mutual::functions::tests::test_full_pipeline_non_recursive ... ok [INFO] [stdout] test mutual::functions::tests::test_full_pipeline_structural_recursive ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_add ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_add_with_attrs ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_create ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_get_all_bodies ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_names_in_order ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_noncomputable ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_set_univ_params ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_validate_empty ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_validate_missing_body ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_validate_missing_type ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_block_validate_ok ... ok [INFO] [stdout] test mutual::functions::mutual_ext_tests::test_well_founded_order_display ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_checker ... ok [INFO] [stdout] test mutual::functions::tests::test_split_mutual_block ... ok [INFO] [stdout] test mutual::functions::tests::test_mutual_elab_error_display ... ok [INFO] [stdout] test mutual::functions::tests::test_structural_recursion_detect ... ok [INFO] [stdout] test mutual::functions::tests::test_structural_recursion_encode ... ok [INFO] [stdout] test mutual::functions::tests::test_structural_recursion_non_recursive ... ok [INFO] [stdout] test mutual::functions::tests::test_termination_kind_variants ... ok [INFO] [stdout] test mutual::functions::tests::test_wf_recursion_detect_decreasing ... ok [INFO] [stdout] test hover_info::functions::extended_hover_tests::test_hover_enricher_tactic ... ok [INFO] [stdout] test instance::functions::tests::test_resolve_found ... ok [INFO] [stdout] test lean4_compat::functions::compat_expansion_tests::test_parse_lean4_attributes_single ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_adapt_match_multiple_arms ... ok [INFO] [stdout] test lean4_compat::functions::extra_tests::test_compat_matrix_all_features_covered ... ok [INFO] [stdout] test lean4_compat::functions::tests::test_unsupported_features ... ok [INFO] [stdout] test lib_extended_tests::test_attribute_registry ... ok [INFO] [stdout] test lib_extended_tests::test_coercion_registry_find ... ok [INFO] [stdout] test macro_expand::functions::macro_expand_extended_tests::test_macro_validator_empty_rules ... ok [INFO] [stdout] test macro_expand::functions::tests::test_expand_simple ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_name_not_found ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_private_name ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_renamed_import ... ok [INFO] [stdout] test module_import::functions::tests::test_resolve_simple_import ... ok [INFO] [stdout] test mutual::functions::tests::test_wf_recursion_encode_with_measure ... ok [INFO] [stdout] test mutual::functions::tests::test_wf_recursion_encode_no_measure ... ok [INFO] [stdout] test mutual::functions::tests::test_wf_recursion_generate_proof_no_measure ... ok [INFO] [stdout] test mutual::functions::tests::test_wf_recursion_generate_proof_with_measure ... ok [INFO] [stdout] test mutual::functions::tests::test_wf_recursion_new ... ok [INFO] [stdout] test mutual::functions::tests::test_wf_recursion_set_measure ... ok [INFO] [stdout] test mutual::functions::tests::test_wf_recursion_set_relation ... ok [INFO] [stdout] test notation::functions::notation_completion_tests::test_notation_dsl_count ... ok [INFO] [stdout] test notation::functions::notation_completion_tests::test_completion_helper_prefix ... ok [INFO] [stdout] test notation::functions::notation_completion_tests::test_notation_elab_context_builtin_count ... ok [INFO] [stdout] test notation::functions::notation_completion_tests::test_notation_sorter_by_priority ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_dsl_infixr ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_environment_register_with_doc ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_tokenizer_done ... ok [INFO] [stdout] test notation::functions::notation_extended_tests::test_notation_conflict_detector_no_conflict ... ok [INFO] [stdout] test notation::functions::notation_marker_tests::test_marker ... ok [INFO] [stdout] test notation::functions::tests::test_builtin_add_expansion ... ok [INFO] [stdout] test notation::functions::tests::test_builtins_arithmetic ... ok [INFO] [stdout] test notation::functions::tests::test_builtins_comparison ... ok [INFO] [stdout] test notation::functions::tests::test_builtins_logic ... ok [INFO] [stdout] test notation::functions::tests::test_builtins_misc ... ok [INFO] [stdout] test notation::functions::tests::test_do_bind_then_expr ... ok [INFO] [stdout] test notation::functions::tests::test_do_empty ... ok [INFO] [stdout] test notation::functions::tests::test_do_let ... ok [INFO] [stdout] test notation::functions::tests::test_do_return ... ok [INFO] [stdout] test notation::functions::tests::test_do_single_expr ... ok [INFO] [stdout] test notation::functions::tests::test_expand_list_empty ... ok [INFO] [stdout] test notation::functions::tests::test_expand_list_multiple ... ok [INFO] [stdout] test notation::functions::tests::test_expand_list_single ... ok [INFO] [stdout] test notation::functions::tests::test_expand_none ... ok [INFO] [stdout] test notation::functions::tests::test_expand_notation_string ... ok [INFO] [stdout] test notation::functions::tests::test_is_right_assoc ... ok [INFO] [stdout] test notation::functions::tests::test_notation_kind_precedence ... ok [INFO] [stdout] test notation::functions::tests::test_open_scope_idempotent ... ok [INFO] [stdout] test notation::functions::tests::test_operator_precedence ... ok [INFO] [stdout] test notation::functions::tests::test_register_infix_left ... ok [INFO] [stdout] test notation::functions::tests::test_register_infix_right ... ok [INFO] [stdout] test notation::functions::tests::test_find_notation ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_environment_no_conflicts ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_tokenizer_identifier ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_tokenizer_symbols ... ok [INFO] [stdout] test notation::functions::notation_extended_tests::test_notation_pretty_printer ... ok [INFO] [stdout] test notation::functions::notation_extended_tests::test_notation_scope_stack ... ok [INFO] [stdout] test notation::functions::tests::test_register_notation ... ok [INFO] [stdout] test notation::functions::tests::test_register_prefix ... ok [INFO] [stdout] test notation::functions::tests::test_registry_create ... ok [INFO] [stdout] test notation::functions::tests::test_scope_management ... ok [INFO] [stdout] test notation::functions::tests::test_registry_default ... ok [INFO] [stdout] test notation::functions::tests::test_register_notation_parts ... ok [INFO] [stdout] test notation::functions::tests::test_template_arg_out_of_range ... ok [INFO] [stdout] test notation::functions::tests::test_template_expansion ... ok [INFO] [stdout] test notation::functions::tests::test_unregister_notation ... ok [INFO] [stdout] test parallel::functions::parallel_batch_tests::test_batch_result_avg_ns ... ok [INFO] [stdout] test notation::functions::tests::test_register_postfix ... ok [INFO] [stdout] test notation::functions::tests::test_scoped_notation_inactive ... ok [INFO] [stdout] test parallel::functions::parallel_batch_tests::test_batch_result_counts ... ok [INFO] [stdout] test parallel::functions::parallel_batch_tests::test_batch_result_empty ... ok [INFO] [stdout] test parallel::functions::parallel_batch_tests::test_batch_result_success_rate ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_parallel_elab_config_builder ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_parallel_elab_stats_speedup ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_parallel_task_queue_throughput ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_task_priority_order ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_parallel_elab_config_effective_threads ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_parallel_elab_stats_merge ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_parallel_task_queue_enqueue_dequeue ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_prioritized_task_constructors ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_task_priority_display ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_task_priority_queue_empty ... ok [INFO] [stdout] test parallel::functions::tests::test_batch_execution_result_partial_failure ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_task_priority_queue_ordering ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_work_steal_deque_push_pop ... ok [INFO] [stdout] test parallel::functions::parallel_ext_tests::test_work_steal_deque_steal ... ok [INFO] [stdout] test parallel::functions::tests::test_batch_execution_result_display ... ok [INFO] [stdout] test parallel::functions::tests::test_batch_execution_result_success ... ok [INFO] [stdout] test parallel::functions::tests::test_dependency_config_defaults ... ok [INFO] [stdout] test parallel::functions::tests::test_dependency_analyzer_analyze_empty ... ok [INFO] [stdout] test parallel::functions::tests::test_dependency_analyzer_creation ... ok [INFO] [stdout] test parallel::functions::tests::test_elab_output_creation ... ok [INFO] [stdout] test parallel::functions::tests::test_elab_result_creation ... ok [INFO] [stdout] test parallel::functions::tests::test_elab_task_creation ... ok [INFO] [stdout] test parallel::functions::tests::test_elab_task_is_ready ... ok [INFO] [stdout] test parallel::functions::tests::test_execution_stats_from_empty_results ... ok [INFO] [stdout] test parallel::functions::tests::test_execution_stats_from_results ... ok [INFO] [stdout] test parallel::functions::tests::test_parallel_scheduler_creation ... ok [INFO] [stdout] test parallel::functions::tests::test_parallel_scheduler_wavefront ... ok [INFO] [stdout] test parallel::functions::tests::test_progress_tracker_creation ... ok [INFO] [stdout] test parallel::functions::tests::test_progress_tracker_progress_pct ... ok [INFO] [stdout] test parallel::functions::tests::test_progress_tracker_format_progress ... ok [INFO] [stdout] test parallel::functions::tests::test_progress_tracker_mark_completed ... ok [INFO] [stdout] test parallel::functions::tests::test_progress_tracker_mark_failed ... ok [INFO] [stdout] test parallel::functions::tests::test_task_dependency_info_analyze ... ok [INFO] [stdout] test parallel::functions::tests::test_scheduler_config_builder ... ok [INFO] [stdout] test parallel::functions::parallel_batch_tests::test_task_outcome_task_id ... ok [INFO] [stdout] test parallel::functions::tests::test_scheduler_config_defaults ... ok [INFO] [stdout] test parallel::functions::tests::test_elab_task_add_dependency ... ok [INFO] [stdout] test parallel::functions::tests::test_scheduler_summary_creation ... ok [INFO] [stdout] test parallel::functions::tests::test_scheduler_summary_display ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_add_dependency ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_add_dependency_nonexistent ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_complete_task ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_fail_task ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_detects_cycles ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_creation ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_no_cycles ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_critical_path ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_add_task ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_ready_tasks ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_start_task ... ok [INFO] [stdout] test parallel::functions::tests::test_task_id_creation ... ok [INFO] [stdout] test parallel::functions::tests::test_task_id_display ... ok [INFO] [stdout] test parallel::functions::tests::test_task_status_display ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_topological_order_no_deps ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_collect_literals ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_topological_order_with_cycle ... ok [INFO] [stdout] test parallel::functions::tests::test_task_graph_topological_order_with_deps ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_count_ctor_patterns ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_count_lit_patterns ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_collect_literals_nested ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_elab_pattern_with_counter_or ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_column_heuristic_leftmost ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_env_lookup_constructors ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_decision_tree_analyzer ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_literal_set_strings ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_is_irrefutable_elab ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_literal_set_wildcard ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_literal_set_nats ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_match_coverage_basic ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_match_coverage_oob ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_match_coverage_zero_arms ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_mk_as_pattern ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_mk_inaccessible ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_match_coverage_full ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_kind_can_bind ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_depth_nested ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_kind_display ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_match_elaborator_fresh_fvar ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_match_elaborator_elab_pattern ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_matcher_all_match_idxs ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_kind_is_catch_all ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_lists_equal ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_kind_of ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_matcher_literals ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_matcher_first_match ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_normalizer_as_wildcard ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_printer_ctor ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_normalizer_ctor ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_printer_lit_nat ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_normalizer_identical_or ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_printer_all ... ok [INFO] [stdout] test parallel::functions::tests::test_task_error_display ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_printer_lit_str ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_printer_wild ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_substitution_bind_get ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_subsumption_or ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_to_expr_lit ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_printer_or ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_to_expr_wild ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_stats_from_patterns ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_printer_var ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_vars_as ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_patterns_structurally_equal ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_patterns_structurally_equal_ctor ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_wild_pattern_for ... ok [INFO] [stdout] test pattern_match::functions::tests::test_check_exhaustive_simple_empty ... ok [INFO] [stdout] test pattern_match::functions::tests::test_check_exhaustive_simple_ok ... ok [INFO] [stdout] test pattern_match::functions::tests::test_check_redundant_empty ... ok [INFO] [stdout] test pattern_match::functions::tests::test_compiler_compile_empty ... ok [INFO] [stdout] test pattern_match::functions::tests::test_compiler_create ... ok [INFO] [stdout] test pattern_match::functions::tests::test_constructors_for_type_empty ... ok [INFO] [stdout] test pattern_match::functions::tests::test_count_pattern_vars_surface ... ok [INFO] [stdout] test pattern_match::functions::tests::test_decision_tree_ctor ... ok [INFO] [stdout] test pattern_match::functions::tests::test_decision_tree_empty ... ok [INFO] [stdout] test pattern_match::functions::tests::test_decision_tree_from_equations ... ok [INFO] [stdout] test pattern_match::functions::tests::test_decision_tree_single_wild ... ok [INFO] [stdout] test pattern_match::functions::tests::test_elab_pattern_ctors ... ok [INFO] [stdout] test pattern_match::functions::tests::test_elab_pattern_size ... ok [INFO] [stdout] test pattern_match::functions::tests::test_elaborate_ctor_pattern ... ok [INFO] [stdout] test pattern_match::functions::tests::test_elaborate_lit_pattern ... ok [INFO] [stdout] test pattern_match::functions::extended_tests::test_pattern_substitution_merge ... ok [INFO] [stdout] test pattern_match::functions::tests::test_elaborate_nested_pattern ... ok [INFO] [stdout] test pattern_match::functions::tests::test_elaborate_match_simple ... ok [INFO] [stdout] test pattern_match::functions::tests::test_elaborate_or_pattern ... ok [INFO] [stdout] test pattern_match::functions::tests::test_elaborate_var_pattern ... ok [INFO] [stdout] test pattern_match::functions::tests::test_elaborate_wild_pattern ... ok [INFO] [stdout] test pattern_match::functions::tests::test_exhaustive_empty ... ok [INFO] [stdout] test pattern_match::functions::tests::test_exhaustive_var ... ok [INFO] [stdout] test pattern_match::functions::tests::test_exhaustive_wildcard ... ok [INFO] [stdout] test pattern_match::functions::tests::test_flatten_or ... ok [INFO] [stdout] test pattern_match::functions::tests::test_has_or_pattern ... ok [INFO] [stdout] test pattern_match::functions::tests::test_is_irrefutable_as_wild ... ok [INFO] [stdout] test pattern_match::functions::tests::test_exhaustive_with_ctors ... ok [INFO] [stdout] test pattern_match::functions::tests::test_exhaustive_with_ctors_complete ... ok [INFO] [stdout] test pattern_match::functions::tests::test_fresh_var ... ok [INFO] [stdout] test pattern_match::functions::tests::test_is_irrefutable_ctor ... ok [INFO] [stdout] test pattern_match::functions::tests::test_is_irrefutable_lit ... ok [INFO] [stdout] test pattern_match::functions::tests::test_is_irrefutable_or_with_wild ... ok [INFO] [stdout] test pattern_match::functions::tests::test_match_arms_with_guards ... ok [INFO] [stdout] test pattern_match::functions::tests::test_or_pattern_exhaustiveness ... ok [INFO] [stdout] test pattern_match::functions::tests::test_is_irrefutable_var ... ok [INFO] [stdout] test pattern_match::functions::tests::test_is_irrefutable_wild ... ok [INFO] [stdout] test pattern_match::functions::tests::test_mk_helper_patterns ... ok [INFO] [stdout] test pattern_match::functions::tests::test_nested_ctor_pattern ... ok [INFO] [stdout] test pattern_match::functions::tests::test_no_redundancy ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_depth_nested ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_depth_wild ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_matrix_from_equations ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_matrix_specialize ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_vars_as ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_vars_var ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_matrix_default ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_subsumes ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_vars_ctor ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_vars_wild ... ok [INFO] [stdout] test pattern_match::functions::tests::test_pattern_matrix_best_column ... ok [INFO] [stdout] test pattern_match::functions::tests::test_redundant_after_var ... ok [INFO] [stdout] test pipeline_tests::test_pipeline_registry_add_passes ... ok [INFO] [stdout] test predef::functions::tests::test_build_fix_term_invalid_idx ... ok [INFO] [stdout] test pattern_match::functions::tests::test_redundant_after_wildcard ... ok [INFO] [stdout] test pattern_match::functions::tests::test_redundant_duplicate_pattern ... ok [INFO] [stdout] test pipeline_tests::test_pipeline_registry_empty ... ok [INFO] [stdout] test predef::functions::tests::test_arg_decrease_display ... ok [INFO] [stdout] test predef::functions::tests::test_build_fix_term_nat ... ok [INFO] [stdout] test predef::functions::tests::test_build_function_type ... ok [INFO] [stdout] test predef::functions::tests::test_empty_params ... ok [INFO] [stdout] test predef::functions::tests::test_find_nested_recursive_calls ... ok [INFO] [stdout] test predef::functions::tests::test_mutual_rec_group_decrease_matrix ... ok [INFO] [stdout] test predef::functions::tests::test_mutual_rec_group_basic ... ok [INFO] [stdout] test predef::functions::tests::test_mutual_rec_group_format_matrix ... ok [INFO] [stdout] test predef::functions::tests::test_predef_analyzer_mutual ... ok [INFO] [stdout] test predef::functions::tests::test_predef_analyzer_structural ... ok [INFO] [stdout] test predef::functions::tests::test_predef_analyzer_non_recursive ... ok [INFO] [stdout] test predef::functions::tests::test_find_no_recursive_calls ... ok [INFO] [stdout] test predef::functions::tests::test_predef_config_builder ... ok [INFO] [stdout] test predef::functions::tests::test_predef_config_defaults ... ok [INFO] [stdout] test predef::functions::tests::test_find_simple_recursive_call ... ok [INFO] [stdout] test predef::functions::tests::test_deeply_nested_body ... ok [INFO] [stdout] test predef::functions::tests::test_rec_call ... ok [INFO] [stdout] test predef::functions::tests::test_proof_obligation ... ok [INFO] [stdout] test predef::functions::tests::test_recursion_detector_recursive ... ok [INFO] [stdout] test predef::functions::tests::test_recursion_kind_display ... ok [INFO] [stdout] test predef::functions::tests::test_structural_decrease_projection ... ok [INFO] [stdout] test predef::functions::tests::test_recursion_detector_non_recursive ... ok [INFO] [stdout] test predef::functions::tests::test_recursion_detector_mutual ... ok [INFO] [stdout] test predef::functions::tests::test_structural_decrease_bvar ... ok [INFO] [stdout] test predef::functions::tests::test_structural_decrease_literal_fails ... ok [INFO] [stdout] test predef::functions::tests::test_structural_rec_param ... ok [INFO] [stdout] test predef::functions::tests::test_tactic_termination_proof_no_calls ... ok [INFO] [stdout] test predef::functions::tests::test_subterm_relation_nat ... ok [INFO] [stdout] test predef::functions::tests::test_tactic_termination_proof_with_calls ... ok [INFO] [stdout] test predef::functions::tests::test_termination_checker_structural_nat ... ok [INFO] [stdout] test predef::functions::tests::test_termination_error_display ... ok [INFO] [stdout] test predef::functions::tests::test_termination_checker_non_recursive ... ok [INFO] [stdout] test predef::functions::tests::test_subterm_relation_standard ... ok [INFO] [stdout] test predef::functions::tests::test_termination_result_non_recursive ... ok [INFO] [stdout] test predef::functions::tests::test_termination_result_structural ... ok [INFO] [stdout] test predef::functions::tests::test_well_founded_order_build_fix ... ok [INFO] [stdout] test predef::functions::tests::test_wrap_with_params ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_alpha_eq_bvars ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_alpha_eq_consts ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_beta_reduce_simple ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_app_chain ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_builder_resolve ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_env_lookup_type ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_env_push_pop ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_env_snapshot_restore ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_free_bvars ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_free_bvars_under_lambda ... ok [INFO] [stdout] test predef::functions::tests::test_unwrap_lambdas ... ok [INFO] [stdout] test predef::functions::tests::test_unwrap_pis ... ok [INFO] [stdout] test predef::functions::tests::test_well_founded_order_validate ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_env_lookup ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_binding_bvar_index ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_builder_konst ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_match_result_merge ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_match_any ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_scope_stack_push_pop ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_session_open_close_scope ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_match_const ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_match_bvar ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_match_capture ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_stats_match_hit_rate ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_fold_app ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_app_spine_len ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_stats_summary ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_quoted_pattern_any ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_quoted_pattern_app ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_quoted_pattern_head_name ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_quoted_pattern_sort ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_split_app_atom ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_split_app_two_args ... ok [INFO] [stdout] test quote::functions::quote_util_tests::test_expr_contains_bvar_app ... ok [INFO] [stdout] test quote::functions::quote_util_tests::test_expr_contains_bvar_false ... ok [INFO] [stdout] test quote::functions::quote_util_tests::test_expr_contains_bvar_true ... ok [INFO] [stdout] test quote::functions::tests::test_add_splice ... ok [INFO] [stdout] test quote::functions::tests::test_clear_splices ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_app ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_app_many ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_cnst ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_arrow ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_lam ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_let_bind ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_nat_lit ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_pi ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_proj ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_sort ... ok [INFO] [stdout] test quote::functions::tests::test_expr_depth_app ... ok [INFO] [stdout] test quote::functions::tests::test_expr_builder_str_lit ... ok [INFO] [stdout] test quote::functions::tests::test_expr_depth_leaf ... ok [INFO] [stdout] test quote::functions::tests::test_expr_size_app ... ok [INFO] [stdout] test quote::functions::tests::test_is_const ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_scope_bindings_in_scope ... ok [INFO] [stdout] test quote::functions::tests::test_is_quotation ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_session_bind_resolve ... ok [INFO] [stdout] test quote::functions::tests::test_is_unquotation ... ok [INFO] [stdout] test quote::functions::tests::test_quote_context_create ... ok [INFO] [stdout] test quote::functions::tests::test_quote ... ok [INFO] [stdout] test quote::functions::tests::test_quasi_quote_passthrough ... ok [INFO] [stdout] test quote::functions::tests::test_quote_context_enter_exit ... ok [INFO] [stdout] test quote::functions::tests::test_quote_context_nested ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_app ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_const ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_lam ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_bvar ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_quoted_pattern_bvar ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_lit_nat ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_pi ... ok [INFO] [stdout] test quote::functions::quote_extra_tests::test_quoted_pattern_const_match ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_let ... ok [INFO] [stdout] test quote::functions::quote_ext_tests::test_quote_session_quote_depth ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_proj ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_lit_str ... ok [INFO] [stdout] test quote::functions::tests::test_quote_expr_sort ... ok [INFO] [stdout] test quote::functions::tests::test_reflect_bool ... ok [INFO] [stdout] test quote::functions::tests::test_reflect_nat ... ok [INFO] [stdout] test quote::functions::tests::test_splice_expr_const ... ok [INFO] [stdout] test quote::functions::tests::test_splice_expr_no_match ... ok [INFO] [stdout] test quote::functions::tests::test_unquote_expr_unknown_returns_identity ... ok [INFO] [stdout] test quote::functions::tests_extra::test_deep_splice_no_match ... ok [INFO] [stdout] test quote::functions::tests::test_unfold_app ... ok [INFO] [stdout] test quote::functions::tests_extra::test_deep_splice_nested ... ok [INFO] [stdout] test quote::functions::tests_extra::test_expr_depth_nested_lam ... ok [INFO] [stdout] test quote::functions::tests::test_unquote ... ok [INFO] [stdout] test quote::functions::tests_extra::test_expr_size_single_node ... ok [INFO] [stdout] test quote::functions::tests_extra::test_free_vars_in_app ... ok [INFO] [stdout] test quote::functions::tests_extra::test_free_vars_none ... ok [INFO] [stdout] test quote::functions::tests_extra::test_free_vars_single ... ok [INFO] [stdout] test quote::functions::tests_extra::test_is_lambda_and_pi ... ok [INFO] [stdout] test quote::functions::tests_extra::test_reflect_name ... ok [INFO] [stdout] test quote::functions::tests::test_splice_expr_app ... ok [INFO] [stdout] test quote::functions::tests::test_take_splice ... ok [INFO] [stdout] test quote::functions::tests_extra::test_unfold_app_single ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_constraint_queue_drain ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_constraint_queue_clear ... ok [INFO] [stdout] test quote::functions::tests_extra::test_expr_builder_implicit_lam ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_constraint_queue_iter ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_constraint_queue_new ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_postpone_and_retry_new_assignments_propagate ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_retry_postponed_meta_solved_by_assignment ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_postpone_constraint_adds_to_queue ... ok [INFO] [stdout] test quote::functions::tests_extra::test_free_vars_no_duplicates ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_retry_postponed_constant_mismatch_stays ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_retry_until_stable_no_progress ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_retry_until_stable_with_progress ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_retry_updates_assignments ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_constraints_equivalent_order ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_format_constraint ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_incremental_solver_clear ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_incremental_solver_pending_count ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_incremental_solver_solve_all ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_incremental_solver_solve_assign ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_group_constraints ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_incremental_solver_solve_equal ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_simplify_constraints ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_normalize_constraint_eq ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_solver_state_assign_and_normalize ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_solver_state_num_assignments ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_solver_state_pending ... ok [INFO] [stdout] test solver::functions::pipeline_tests::test_solver_extension_version ... ok [INFO] [stdout] test solver::functions::pipeline_tests::test_simplification_phase ... ok [INFO] [stdout] test solver::functions::pipeline_tests::test_solver_pipeline_empty ... ok [INFO] [stdout] test solver::functions::pipeline_tests::test_solver_pipeline_with_simplification ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_checkpoint_manager ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_constraint_graph ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_constraint_simplifier_trivial ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_diag_collector ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_event_log_disabled ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_meta_var_all_assigned ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_meta_var_context ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_occurs_check_direct ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_solver_config_default ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_solver_config_strict ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_solver_diag_levels ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_solver_event_log ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_solver_report_failure ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_solver_report_success ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_sort0_trivial_constraint ... ok [INFO] [stdout] test solver::functions::tests::test_add_constraint ... ok [INFO] [stdout] test solver::functions::tests::test_apply_assignments_app ... ok [INFO] [stdout] test solver::functions::tests::test_clear ... ok [INFO] [stdout] test solver::functions::tests::test_conflict_info_creation ... ok [INFO] [stdout] test solver::functions::tests::test_detect_obvious_conflicts_none ... ok [INFO] [stdout] test solver::functions::tests::test_detect_obvious_conflicts_some ... ok [INFO] [stdout] test solver::functions::tests::test_priority_ordering ... ok [INFO] [stdout] test solver::functions::tests::test_priority_solver_add_normal ... ok [INFO] [stdout] test solver::functions::tests::test_priority_solver_clear ... ok [INFO] [stdout] test solver::functions::tests::test_priority_solver_equal_literals ... ok [INFO] [stdout] test solver::functions::tests::test_priority_solver_solve_assign ... ok [INFO] [stdout] test solver::functions::tests::test_scheduled_constraint_retry ... ok [INFO] [stdout] test solver::functions::tests::test_solve_assign ... ok [INFO] [stdout] test solver::functions::tests::test_solve_equal ... ok [INFO] [stdout] test solver::functions::tests::test_solver_create ... ok [INFO] [stdout] test solver::functions::tests::test_solver_stats_partial ... ok [INFO] [stdout] test solver::functions::tests::test_solver_stats_success_rate ... ok [INFO] [stdout] test solver::functions::tests::test_unify_app ... ok [INFO] [stdout] test solver::functions::tests::test_unify_same ... ok [INFO] [stdout] test structure::functions::structure_ext_tests::test_flattened_structure_get_field ... ok [INFO] [stdout] test structure::functions::structure_ext_tests::test_flattened_structure_field_names ... ok [INFO] [stdout] test structure::functions::structure_ext_tests::test_flattened_structure_with_parent ... ok [INFO] [stdout] test structure::functions::structure_ext_tests::test_struct_update_builder_invalid_field ... ok [INFO] [stdout] test structure::functions::structure_ext_tests::test_struct_update_builder_num_updates ... ok [INFO] [stdout] test structure::functions::structure_ext_tests::test_structure_stats_from_info ... ok [INFO] [stdout] test structure::functions::structure_ext_tests::test_structure_stats_summary ... ok [INFO] [stdout] test structure::functions::tests::test_all_ancestors ... ok [INFO] [stdout] test structure::functions::tests::test_all_fields_have_defaults ... ok [INFO] [stdout] test structure::functions::tests::test_constructor_type_is_pi ... ok [INFO] [stdout] test structure::functions::tests::test_default_ctor_call ... ok [INFO] [stdout] test structure::functions::tests::test_default_field_values ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_class ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_class_extends_class ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_class_extends_non_class_fails ... ok [INFO] [stdout] test solver::functions::solver_ext_tests::test_occurs_check_in_app ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_empty_structure ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_structure_duplicate_field ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_structure_duplicate_with_parent ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_structure_field_default ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_structure_parent_not_found ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_structure_univ_params ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_structure_with_fields ... ok [INFO] [stdout] test structure::functions::tests::test_elaborate_structure_with_parent ... ok [INFO] [stdout] test structure::functions::tests::test_eta_expand_struct ... ok [INFO] [stdout] test structure::functions::tests::test_eta_reduce_fails_different_bases ... ok [INFO] [stdout] test structure::functions::tests::test_eta_reduce_struct ... ok [INFO] [stdout] test structure::functions::tests::test_field_index_map ... ok [INFO] [stdout] test structure::functions::tests::test_generate_constructor ... ok [INFO] [stdout] test structure::functions::tests::test_generate_projections ... ok [INFO] [stdout] test structure::functions::tests::test_generate_recursor ... ok [INFO] [stdout] test structure::functions::tests::test_get_fields ... ok [INFO] [stdout] test structure::functions::tests::test_get_parent_fields ... ok [INFO] [stdout] test structure::functions::tests::test_head_const_name ... ok [INFO] [stdout] test structure::functions::tests::test_inheritance_depth ... ok [INFO] [stdout] test structure::functions::tests::test_is_ancestor ... ok [INFO] [stdout] test structure::functions::tests::test_is_instance_and_implicit_field ... ok [INFO] [stdout] test structure::functions::tests::test_is_structure_and_is_class ... ok [INFO] [stdout] test structure::functions::tests::test_no_circular_inheritance ... ok [INFO] [stdout] test structure::functions::tests::test_own_and_inherited_field_counts ... ok [INFO] [stdout] test structure::functions::tests::test_has_parents ... ok [INFO] [stdout] test structure::functions::tests::test_projection_types ... ok [INFO] [stdout] test structure::functions::tests::test_register_and_lookup ... ok [INFO] [stdout] test structure::functions::tests::test_resolve_anonymous_ctor ... ok [INFO] [stdout] test structure::functions::tests::test_resolve_anonymous_ctor_wrong_count ... ok [INFO] [stdout] test structure::functions::tests::test_struct_update_invalid_field ... ok [INFO] [stdout] test structure::functions::tests::test_surface_to_placeholder ... ok [INFO] [stdout] test structure::functions::tests::test_validate_update_fields ... ok [INFO] [stdout] test structure::functions::tests::test_wrong_decl_type ... ok [INFO] [stdout] test tactic::functions_3::tests::test_error_display ... ok [INFO] [stdout] test tactic::functions_3::tests::test_eval_tactic_block ... ok [INFO] [stdout] test tactic::functions_3::tests::test_eval_tactic_block_empty ... ok [INFO] [stdout] test tactic::functions_3::tests::test_eval_tactic_intro ... ok [INFO] [stdout] test tactic::functions_3::tests::test_eval_tactic_sorry ... ok [INFO] [stdout] test tactic::functions_3::tests::test_eval_tactic_unknown ... ok [INFO] [stdout] test tactic::functions_3::tests::test_goal_add_hypothesis ... ok [INFO] [stdout] test tactic::functions_3::tests::test_goal_create ... ok [INFO] [stdout] test tactic::functions_3::tests::test_goal_find_hypothesis ... ok [INFO] [stdout] test tactic::functions_3::tests::test_goal_has_hypothesis ... ok [INFO] [stdout] test tactic::functions_3::tests::test_goal_local_names ... ok [INFO] [stdout] test tactic::functions_3::tests::test_goal_replace_target ... ok [INFO] [stdout] test tactic::functions_3::tests::test_goal_with_hypothesis ... ok [INFO] [stdout] test tactic::functions_3::tests::test_state_focus ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_pattern_compiler_extract_symbols ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_pattern_compiler_is_simple ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_pattern_compiler_token_count ... ok [INFO] [stdout] test notation::functions::notation_extended_tests3::test_notation_tokenizer_number ... ok [INFO] [stdout] test notation::functions::notation_extended_tests::test_notation_conflict_detector_same_prec ... ok [INFO] [stdout] test notation::functions::notation_extended_tests::test_notation_expansion_cache ... ok [INFO] [stdout] test notation::functions::notation_extended_tests::test_notation_migration_helper ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_apply_matching ... ok [INFO] [stdout] test notation::functions::notation_extended_tests::test_notation_search_index ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_apply_pi ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_clear_not_found ... ok [INFO] [stdout] test notation::functions::notation_extended_tests::test_notation_stats ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_constructor_true ... ok [INFO] [stdout] test solver::functions::constraint_queue_tests::test_retry_postponed_trivial_equal ... ok [INFO] [stdout] test solver::functions::incremental_tests::test_count_constraint_kinds_all ... ok [INFO] [stdout] test tactic::functions_3::tests::test_state_swap ... ok [INFO] [stdout] test tactic::functions_3::tests::test_state_replace_goal ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_assumption_found ... ok [INFO] [stdout] test tactic::functions_3::tests::test_state_save_restore ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_exact ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_exact_no_goals ... ok [INFO] [stdout] test tactic::functions_3::tests::test_state_rotate ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_exfalso ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_clear ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_have_with_proof ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_have_without_proof ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_intro_no_goals ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_intro_not_pi ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_left_or ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_intro_pi ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_assumption_not_found ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_intros ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_refl_eq ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_refl_not_eq ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_rename ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_registry_all ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_registry_execute ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_sorry ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_state ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_trivial_assumption ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_trivial_true ... ok [INFO] [stdout] test tactic_auto::functions::auto_marker_test::test_auto_marker ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_trivial_refl ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_registry_execute_unknown ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_revert ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_registry ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_suffices ... ok [INFO] [stdout] test tactic_auto::functions::auto_session_tests::test_auto_budget_tracker_steps ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_registry_arity ... ok [INFO] [stdout] test tactic::functions_3::tests::test_tactic_right_or ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended3::test_auto_goal_queue_capacity ... ok [INFO] [stdout] test tactic_auto::functions::auto_session_tests::test_auto_hint_filter_chain_empty ... ok [INFO] [stdout] test tactic_auto::functions::auto_session_tests::test_auto_tactic_session_creation ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended3::test_auto_tactic_registry_names ... ok [INFO] [stdout] test tactic_auto::functions::auto_session_tests::test_auto_tactic_session_lemma_score ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended2::test_auto_annotation_apply ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended2::test_auto_annotation_names ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended2::test_auto_tactic_chain_count ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended2::test_auto_tactic_registry ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended2::test_best_first_search_node ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended2::test_search_stats_efficiency ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended3::test_auto_goal_queue ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended3::test_lemma_scorer ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_auto_result_solved_summary ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_hint_database_all_lemmas ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_proof_step_is_closing ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_proof_trace_record_when_enabled ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended3::test_budget_tracker ... ok [INFO] [stdout] test tactic_auto::functions::auto_tactic_extended3::test_hint_filter_chain ... ok [INFO] [stdout] test tactic_auto::functions::auto_version_tests::test_version_functions ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_auto_result_failed_summary ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_auto_result_with_trace ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_hint_database_add_get ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_hint_database_merge ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_hint_database_standard ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_proof_trace_clear ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_proof_trace_format ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_score_lemma_relevance ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_search_budget_consume ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_search_frontier_clear ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_sort_hints_by_relevance ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_auto_search_false_goal_not_solved ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_eval_auto_empty_state_ok ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_eval_auto_false_goal_err ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_expr_to_summary_all_variants ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_eval_auto_true_goal_ok ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_search_budget_depth ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_tauto_config_default ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_auto_config_clone ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_auto_config_custom ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_auto_search_multiple_true_goals ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_auto_with_defaults_steps_zero ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_find_balanced_content_nested_parens ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_search_budget_reset ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_search_frontier_empty ... ok [INFO] [stdout] test tactic_auto::functions::extended_tactic_auto_tests::test_search_frontier_push_pop ... ok [INFO] [stdout] test tactic_auto::functions::tactic_auto_extended_tests::test_auto_tactic_builder ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_find_balanced_content_simple_comma ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_goal_summary_includes_hyp_names ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_is_refl_target_neq_args ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_is_refl_target_non_refl ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_is_trivial_refl_eq ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_is_trivial_via_assumption ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_split_and_returns_none_for_non_and ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_split_or_returns_none_for_non_or ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_tauto_assumption_is_tautology ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_tauto_default_equals_new ... ok [INFO] [stdout] test tactic_auto::functions::extra_tests::test_tauto_false_goal_not_tautology ... ok [INFO] [stdout] test tactic_auto::functions::tactic_auto_extended_tests::test_tactic_auto_profile ... ok [INFO] [stdout] test tactic_auto::functions::tactic_auto_extended_tests::test_tactic_auto_report_failure ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_auto_config_default ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_auto_max_depth_config ... ok [INFO] [stdout] test tactic_auto::functions::tactic_auto_extended_tests::test_tactic_auto_report_success ... ok [INFO] [stdout] test tactic_auto::functions::tactic_auto_extended_tests::test_exhaustive_search ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_auto_search_empty_state ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_auto_search_true_goal ... ok [INFO] [stdout] test tactic_auto::functions::tactic_auto_extended_tests::test_hint_filter_min_length ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_auto_with_hints ... ok [INFO] [stdout] test tactic_auto::functions::tactic_auto_extended_tests::test_search_statistics ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_goal_summary ... ok [INFO] [stdout] test tactic_auto::functions::tactic_auto_extended_tests::test_search_strategy_name ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_tauto_new ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_trivial_false_goal_not_trivial ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_auto_tactic_new ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_search_result_display ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_trace_annotation ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_trivial_true_goal ... ok [INFO] [stdout] test tactic_auto::functions::tactic_auto_extended_tests::test_hint_filter_name_prefix ... ok [INFO] [stdout] test tactic_auto::functions::tests::test_auto_assumption ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_trace_elab_node_render ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_trace_mask_operations ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_trace_pipeline_dedup ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_trace_session_stats ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_trace_pipeline_steps ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_dispatcher ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_trace_elab_node_depth ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_trace_pipeline_level_filter ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_trace_mask_union_intersection ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_buffer_ring ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_exporter_json ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_filter_accepts ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_profiler_violations ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_filter_blocked_message ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_span_collector_slowest ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_vec_trace_sink ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_aggregator ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_report_summary ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_buffer_latest ... ok [INFO] [stdout] test trace::functions::tests::test_clear ... ok [INFO] [stdout] test trace::functions::tests::test_contexts_batch ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_context_baggage ... ok [INFO] [stdout] test trace::functions::tests::test_category_enable_disable ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_counting_trace_sink ... ok [INFO] [stdout] test trace::functions::tests::test_elab_tracer_new ... ok [INFO] [stdout] test trace::functions::tests::test_error_log ... ok [INFO] [stdout] test trace::functions::tests::test_escape_chars ... ok [INFO] [stdout] test trace::functions::tests::test_filter_category ... ok [INFO] [stdout] test trace::functions::tests::test_filter_level ... ok [INFO] [stdout] test trace::functions::tests::test_filter_both ... ok [INFO] [stdout] test trace::functions::tests::test_format_event ... ok [INFO] [stdout] test trace::functions::tests::test_global_init_only ... ok [INFO] [stdout] test trace::functions::tests::test_count_at_level ... ok [INFO] [stdout] test trace::functions::tests::test_indent ... ok [INFO] [stdout] test trace::functions::tests::test_global_clear_first ... ok [INFO] [stdout] test trace::functions::tests::test_count_in_category ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_span_duration ... ok [INFO] [stdout] test trace::functions::tests::test_summary ... ok [INFO] [stdout] test trace::functions::tests::test_timestamp ... ok [INFO] [stdout] test trace::functions::tests::test_timestamp_order ... ok [INFO] [stdout] test trace::functions::tests::test_trace_event_context ... ok [INFO] [stdout] test trace::functions::tests::test_trace_event_new ... ok [INFO] [stdout] test trace::functions::tests::test_trace_event_span ... ok [INFO] [stdout] test trace::functions::tests::test_trace_level_display ... ok [INFO] [stdout] test trace::functions::tests::test_trace_level_ordering ... ok [INFO] [stdout] test trace::functions::tests::test_level_filtering ... ok [INFO] [stdout] test trace::functions::tests::test_set_level ... ok [INFO] [stdout] test trace::functions::tests::test_timeline ... ok [INFO] [stdout] test trace::functions::tests::test_info_log ... ok [INFO] [stdout] test trace::functions::tests::test_trace_category_display ... ok [INFO] [stdout] test trace::functions::tests::test_debug_log ... ok [INFO] [stdout] test trace::functions::tests::test_trace_records_event ... ok [INFO] [stdout] test trace::functions::tests::test_tree ... ok [INFO] [stdout] test trace::functions::tests::test_warn_log ... ok [INFO] [stdout] test trace::functions::trace_metrics_tests::test_metrics_snapshot_health ... ok [INFO] [stdout] test trace::functions::trace_query_tests::test_event_counter ... ok [INFO] [stdout] test trace::functions::trace_query_tests::test_query_by_level ... ok [INFO] [stdout] test trace::functions::trace_query_tests::test_query_containing ... ok [INFO] [stdout] test trace::functions::tests::test_export ... ok [INFO] [stdout] test trace::functions::trace_query_tests::test_trace_group_by ... ok [INFO] [stdout] test typeclass::functions::tests::test_check_completeness_errors ... ok [INFO] [stdout] test structure::functions::structure_ext_tests::test_flattened_structure_own_only ... ok [INFO] [stdout] test structure::functions::structure_ext_tests::test_struct_update_builder_build ... ok [INFO] [stdout] test structure::functions::tests::test_circular_inheritance_direct ... ok [INFO] [stdout] test structure::functions::tests::test_struct_update ... ok [INFO] [stdout] test trace::functions::extended_trace_tests2::test_prefix_enricher ... ok [INFO] [stdout] test trace::functions::extended_trace_tests::test_trace_exporter_csv ... ok [INFO] [stdout] test typeclass::functions::tests::test_class_error_display ... ok [INFO] [stdout] test typeclass::functions::tests::test_coherence_check_incoherence ... ok [INFO] [stdout] test typeclass::functions::tests::test_coherence_check_no_errors ... ok [INFO] [stdout] test typeclass::functions::tests::test_find_instance_exact ... ok [INFO] [stdout] test typeclass::functions::tests::test_find_instance_wrong_class ... ok [INFO] [stdout] test typeclass::functions::tests::test_find_instance_wrong_ty ... ok [INFO] [stdout] test typeclass::functions::tests::test_get_instances ... ok [INFO] [stdout] test typeclass::functions::tests::test_instance_is_complete ... ok [INFO] [stdout] test typeclass::functions::tests::test_instance_method_impl ... ok [INFO] [stdout] test typeclass::functions::tests::test_make_eq_class ... ok [INFO] [stdout] test typeclass::functions::tests::test_make_ord_class ... ok [INFO] [stdout] test typeclass::functions::tests::test_method_has_default ... ok [INFO] [stdout] test typeclass::functions::tests::test_pending_constraints ... ok [INFO] [stdout] test typeclass::functions::tests::test_priority_selection ... ok [INFO] [stdout] test typeclass::functions::tests::test_register_class ... ok [INFO] [stdout] test typeclass::functions::tests::test_register_instance ... ok [INFO] [stdout] test typeclass::functions::tests::test_registry_create ... ok [INFO] [stdout] test typeclass::functions::tests::test_resolve_superclasses ... ok [INFO] [stdout] test typeclass::functions::tests::test_typeclass_add_method ... ok [INFO] [stdout] test typeclass::functions::tests::test_typeclass_arity ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_all_superclasses_chain ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_all_superclasses_empty ... ok [INFO] [stderr] Doc-tests oxilean_elab [INFO] [stdout] test typeclass::functions::tests_extra::test_decompose_app_constraint ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_decompose_app_different_head ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_decompose_bare_class ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_derive_instances_no_duplicate ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_derive_instances_with_satisfied_premise ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_derive_rule_sorry ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_derive_instances_unsatisfied_premise ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_instance_with_priority ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_resolve_constraint_not_found ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_resolve_constraint_found ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_resolve_constraint_app_form ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_class_error_ambiguous_display ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_class_error_missing_method_display ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_functor_class ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_resolve_constraint_prefers_higher_priority ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_type_matches_app_heads_equal ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_type_matches_bvar_wildcard ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_type_matches_const_different_names ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_type_matches_exact_equal ... ok [INFO] [stdout] test typeclass::functions::tests_extra::test_type_matches_sort_mismatch ... ok [INFO] [stdout] test typeclass::functions::typeclass_budget_tests::test_instance_search_budget_chain ... ok [INFO] [stdout] test typeclass::functions::typeclass_budget_tests::test_instance_search_budget_default ... ok [INFO] [stdout] test typeclass::functions::typeclass_budget_tests::test_outcome_no_instance ... ok [INFO] [stdout] test typeclass::functions::typeclass_budget_tests::test_outcome_success ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_check_coherence_no_error ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_default_method_fill_from_default ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_coherence_error_display ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_hierarchy_direct_superclasses ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_hierarchy_all_superclasses ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_hierarchy_is_superclass_transitive ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_hierarchy_self_is_superclass ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_hierarchy_is_superclass_direct ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_default_method_fill_synthesised ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_instance_cache_hit_rate ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_synth_stats_merge ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_synth_stats_record ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_instance_cache_miss ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_instance_cache_insert_lookup ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_synth_stats_success_rate ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_coherence_violation_display ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_coherence_checker_violation ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_instance_context_stack_depth ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_coherence_checker_no_violations ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_default_method_registry ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_instance_context_stack_push_pop ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_instance_search_result_not_found ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_instance_set_len ... ok [INFO] [stdout] test typeclass::functions::typeclass_budget_tests::test_typeclass_dep_graph_deps_of ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_instance_set_insert_order ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_instance_cache_clear ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_synth_stats_summary ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_instance_search_result_found ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_check_coherence_duplicate ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_instance_set_is_empty ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_instance_set_remove_by_name ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_occurs_in_fvar_basic ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_typeclass_query_new ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_typeclass_query_with_max_depth ... ok [INFO] [stdout] test typeclass::functions::typeclass_ext_tests::test_instance_cache_invalidate ... ok [INFO] [stdout] test typeclass::functions::typeclass_extra_tests::test_typeclass_query_allow_synthetic ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_apply_meta_assignments_chain ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_already_assigned_meta_chase ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_already_assigned_meta_conflict ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_apply_meta_assignments_simple ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_flex_flex_assigns ... ok [INFO] [stdout] test unify::functions::tests::test_occurs ... ok [INFO] [stdout] test unify::functions::tests::test_rigidity ... ok [INFO] [stdout] test unify::functions::tests::test_substitution_apply_shallow ... ok [INFO] [stdout] test unify::functions::tests::test_substitution_len ... ok [INFO] [stdout] test unify::functions::tests::test_substitution_insert_get ... ok [INFO] [stdout] test unify::functions::tests::test_substitution_remove ... ok [INFO] [stdout] test unify::functions::tests::test_substitution_merge ... ok [INFO] [stdout] test unify::functions::tests::test_unify_consts_different ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_occurs_check_prevents_cyclic ... ok [INFO] [stdout] test unify::functions::tests::test_unify_error_display ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_rigid_flex_assigns ... ok [INFO] [stdout] test unify::functions::tests::test_unifier_lenient_deferred ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_rigid_rigid_different_const_fails ... ok [INFO] [stdout] test unify::functions::tests::test_unify_different_lits ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_rigid_rigid_same_const ... ok [INFO] [stdout] test unify::functions::tests::test_unify_identical ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_unify_app_with_meta ... ok [INFO] [stdout] test unify::functions::tests::test_unify_different_sorts ... ok [INFO] [stdout] test unify::functions::tests::test_unify_consts_same ... ok [INFO] [stdout] test unify::functions::tests::test_constraint_set_basic ... ok [INFO] [stdout] test unify::functions::tests::test_unifier_strict ... ok [INFO] [stdout] test unify::functions::tests::test_unify_lam ... ok [INFO] [stdout] test unify::functions::mvar_unify_tests::test_flex_rigid_assigns ... ok [INFO] [stdout] test unify::functions::tests::test_unify_apps ... ok [INFO] [stdout] test unify::functions::tests::test_unify_levels_equal ... ok [INFO] [stdout] test unify::functions::tests::test_unify_lits ... ok [INFO] [stdout] test unify::functions::tests::test_unify_sorts ... ok [INFO] [stdout] test unify::functions::tests::test_unify_state_assign ... ok [INFO] [stdout] test unify::functions::tests::test_unify_state_occurs_check ... ok [INFO] [stdout] test unify::functions::tests_extra::test_alpha_unify_mismatch ... ok [INFO] [stdout] test unify::functions::tests_extra::test_alpha_unify_pi_different_names ... ok [INFO] [stdout] test unify::functions::tests_extra::test_level_le_same ... ok [INFO] [stdout] test unify::functions::tests_extra::test_alpha_unify_same ... ok [INFO] [stdout] test unify::functions::tests_extra::test_names_equal ... ok [INFO] [stdout] test unify::functions::tests_extra::test_substitution_domain ... ok [INFO] [stdout] test unify::functions::tests_extra::test_substitution_chase_no_chain ... ok [INFO] [stdout] test unify::functions::tests_extra::test_unify_result_unwrap_subst ... ok [INFO] [stdout] test unify::functions::tests_extra::test_unify_result_failed ... ok [INFO] [stdout] test unify::functions::tests_extra::test_unify_state_step_limit ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_collect_spine_no_app ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_beta_subst_no_match ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_beta_subst_simple ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_constraint_set_count_expr_eq ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_collect_spine_single_app ... ok [INFO] [stdout] test unify::functions::tests::test_unify_pi ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_level_free_params ... ok [INFO] [stdout] test unify::functions::tests_extra::test_alpha_unify_lam_different_binder_names ... ok [INFO] [stdout] test unify::functions::tests_extra::test_substitution_chain ... ok [INFO] [stdout] test unify::functions::tests::test_unify_levels_different ... ok [INFO] [stdout] test unify::functions::tests_extra::test_unify_result_ok ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_constraint_set_drain ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_level_add ... ok [INFO] [stdout] test unify::functions::tests_extra::test_unify_state_unlimited ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_contains_bvar_false ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_collect_spine_two_args ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_constraint_set_extend ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_contains_bvar_true ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_level_max_numeric ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_levels_equal_different ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_levels_equal_succ ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_levels_equal_zero ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_lift_bvars_below_cutoff ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_level_depth ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_rebuild_app_one_arg ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_structurally_equal_different ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_structurally_equal_same ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_substitution_apply_recursive ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_substitution_compose ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_tracer_disabled ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_tracer_record ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_tracer_clear ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_unifiable_true ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_unify_exprs_same ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_unification_state_fail ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_unify_exprs_fail ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_substitution_sorted_pairs ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_normalize_level_max_same ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_unification_state_add_and_run_trivial ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_lift_bvars_simple ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_unification_state_decompose_app ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_normalize_level_imax_zero ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_rebuild_app_empty ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_whnf_no_beta ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_whnf_beta_reduce ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_substitution_restrict ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_unifiable_false ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_unify_many_all_same ... ok [INFO] [stdout] test unify::functions::unify_extended_tests::test_structurally_equal_with_subst ... ok [INFO] [stdout] test unify::functions::unify_extra_tests::test_constraint_with_source ... ok [INFO] [stdout] test unify::functions::unify_extra_tests::test_unify_config_default ... ok [INFO] [stdout] test unify::functions::unify_extra_tests::test_constraint_set_remove_trivial ... ok [INFO] [stdout] test unify::functions::unify_extra_tests::test_constraint_set_iter ... ok [INFO] [stdout] test unify::functions::unify_extra_tests::test_constraint_trivial ... ok [INFO] [stdout] test unify::functions::unify_extra_tests::test_constraint_set_add_and_len ... ok [INFO] [stdout] test unify::functions::unify_extra_tests::test_unify_config_syntactic ... ok [INFO] [stdout] test unify::functions::unify_extra_tests::test_constraint_set_pop ... ok [INFO] [stdout] test unify::functions::unify_extra_tests::test_unify_config_without_occurs_check ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3165 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.70s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test src/lib.rs - (line 13) ... ignored [INFO] [stdout] test src/lib.rs - (line 25) ... ignored [INFO] [stdout] test src/lib.rs - (line 254) ... ignored [INFO] [stdout] test src/lib.rs - (line 268) ... ignored [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "5e4ed93b84dbaa29335b269adbe8e88ef2044d7c86d70f9bf58f91490c0c24bb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5e4ed93b84dbaa29335b269adbe8e88ef2044d7c86d70f9bf58f91490c0c24bb", kill_on_drop: false }` [INFO] [stdout] 5e4ed93b84dbaa29335b269adbe8e88ef2044d7c86d70f9bf58f91490c0c24bb