[INFO] fetching crate oxilean-cli 0.1.1...
[INFO] testing oxilean-cli-0.1.1 against 1.95.0 for beta-1.96-2
[INFO] extracting crate oxilean-cli 0.1.1 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate oxilean-cli 0.1.1
[INFO] finished tweaking crates.io crate oxilean-cli 0.1.1
[INFO] tweaked toml for crates.io crate oxilean-cli 0.1.1 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxilean-cli 0.1.1 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxilean-cli 0.1.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded oxilean-parse v0.1.1
[INFO] [stderr]   Downloaded oxilean-elab 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-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c8ebd91dd6c5936de3247db625278163eba68fa0772b01dfc3f7735dd80f6db9
[INFO] running `Command { std: "docker" "start" "-a" "c8ebd91dd6c5936de3247db625278163eba68fa0772b01dfc3f7735dd80f6db9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c8ebd91dd6c5936de3247db625278163eba68fa0772b01dfc3f7735dd80f6db9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c8ebd91dd6c5936de3247db625278163eba68fa0772b01dfc3f7735dd80f6db9", kill_on_drop: false }`
[INFO] [stdout] c8ebd91dd6c5936de3247db625278163eba68fa0772b01dfc3f7735dd80f6db9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 08fdc18235614ec869c5ba8be54022a58817e2ddcc05f1f7176a7f2a45c46c0d
[INFO] running `Command { std: "docker" "start" "-a" "08fdc18235614ec869c5ba8be54022a58817e2ddcc05f1f7176a7f2a45c46c0d", 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
[INFO] [stderr]    Compiling oxilean-cli v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 07s
[INFO] running `Command { std: "docker" "inspect" "08fdc18235614ec869c5ba8be54022a58817e2ddcc05f1f7176a7f2a45c46c0d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "08fdc18235614ec869c5ba8be54022a58817e2ddcc05f1f7176a7f2a45c46c0d", kill_on_drop: false }`
[INFO] [stdout] 08fdc18235614ec869c5ba8be54022a58817e2ddcc05f1f7176a7f2a45c46c0d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a35ba9486a06a89d7eac6a50afa2f74ce4aeca8f90d9d337de0728fcbc89d85c
[INFO] running `Command { std: "docker" "start" "-a" "a35ba9486a06a89d7eac6a50afa2f74ce4aeca8f90d9d337de0728fcbc89d85c", kill_on_drop: false }`
[INFO] [stderr]    Compiling oxilean-cli v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 24.94s
[INFO] running `Command { std: "docker" "inspect" "a35ba9486a06a89d7eac6a50afa2f74ce4aeca8f90d9d337de0728fcbc89d85c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a35ba9486a06a89d7eac6a50afa2f74ce4aeca8f90d9d337de0728fcbc89d85c", kill_on_drop: false }`
[INFO] [stdout] a35ba9486a06a89d7eac6a50afa2f74ce4aeca8f90d9d337de0728fcbc89d85c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 96a13d6c177e8b481c8c65470b1c129084b9e054f05593e92c76d562b062d4fe
[INFO] running `Command { std: "docker" "start" "-a" "96a13d6c177e8b481c8c65470b1c129084b9e054f05593e92c76d562b062d4fe", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/oxilean-4d1c2e8712fdfddf)
[INFO] [stdout] 
[INFO] [stdout] running 1903 tests
[INFO] [stdout] test agda_export::functions::agda_extra_tests::test_agda_export_stats ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests::test_agda_export_version ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests::test_agda_module_config_pragma ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests::test_agda_proof_term_sym_trans ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests::test_agda_proof_term_hole ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests_3::test_import_decl_render ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests_3::test_agda_pragma ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests::test_agda_proof_term_refl ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests::test_agda_record_render ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests_3::test_agda_comment ... ok
[INFO] [stdout] test agda_export::functions::agda_extra_tests_3::test_sanitize_name ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_config_minimal ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_config_with_import ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_config_with_option ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_def ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_fixity ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_instance ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_multiple_postulates_grouped ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_postulate ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_open ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_comment ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_open_using ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_with_options ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_with_imports ... ok
[INFO] [stdout] test agda_export::functions::tests::arg_spec_render_agda ... ok
[INFO] [stdout] test agda_export::functions::tests::arg_spec_render_coq ... ok
[INFO] [stdout] test agda_export::functions::tests::batch_convert_axioms ... ok
[INFO] [stdout] test agda_export::functions::tests::batch_convert_coq_axioms ... ok
[INFO] [stdout] test agda_export::functions::tests::batch_convert_coq_theorems ... ok
[INFO] [stdout] test agda_export::functions::tests::batch_convert_defs ... ok
[INFO] [stdout] test agda_export::functions::tests::conversion_stats_rates ... ok
[INFO] [stdout] test agda_export::functions::tests::coq_export_axiom ... ok
[INFO] [stdout] test agda_export::functions::tests::conversion_stats_summary ... ok
[INFO] [stdout] test agda_export::functions::tests::coq_export_comment ... ok
[INFO] [stdout] test agda_export::functions::tests::coq_export_definition ... ok
[INFO] [stdout] test agda_export::functions::tests::coq_export_header_and_footer ... ok
[INFO] [stdout] test agda_export::functions::tests::coq_export_inductive ... ok
[INFO] [stdout] test agda_export::functions::tests::coq_export_lemma ... ok
[INFO] [stdout] test agda_export::functions::tests::coq_export_notation ... ok
[INFO] [stdout] test agda_export::functions::tests::find_arrow_nested_parens ... ok
[INFO] [stdout] test agda_export::functions::tests::find_arrow_none ... ok
[INFO] [stdout] test agda_export::functions::tests::find_arrow_simple ... ok
[INFO] [stdout] test agda_export::functions::tests::coq_export_order_preserved ... ok
[INFO] [stdout] test agda_export::functions::tests::inductive_decl_agda_render ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_function_def_render ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_pragma ... ok
[INFO] [stdout] test agda_export::functions::tests::level_to_agda_max ... ok
[INFO] [stdout] test agda_export::functions::tests::inductive_decl_coq_render ... ok
[INFO] [stdout] test agda_export::functions::tests::level_to_agda_one ... ok
[INFO] [stdout] test agda_export::functions::tests::level_to_agda_succ ... ok
[INFO] [stdout] test agda_export::functions::tests::level_to_coq_zero ... ok
[INFO] [stdout] test agda_export::functions::tests::level_to_agda_zero ... ok
[INFO] [stdout] test agda_export::functions::tests::level_to_coq_nonzero ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_to_file ... ok
[INFO] [stdout] test agda_export::functions::tests::level_to_agda_variable ... ok
[INFO] [stdout] test agda_export::functions::tests::multi_file_export_count ... ok
[INFO] [stdout] test agda_export::functions::tests::name_cache_coq_unique ... ok
[INFO] [stdout] test agda_export::functions::tests::name_cache_unique_names ... ok
[INFO] [stdout] test agda_export::functions::tests::multi_file_export_paths ... ok
[INFO] [stdout] test agda_export::functions::tests::oxi_decl_kinds ... ok
[INFO] [stdout] test agda_export::functions::tests::sanitize_agda_digit_start ... ok
[INFO] [stdout] test agda_export::functions::tests::sanitize_agda_reserved ... ok
[INFO] [stdout] test agda_export::functions::tests::type_to_agda_arrow ... ok
[INFO] [stdout] test agda_export::functions::tests::record_decl_agda_render ... ok
[INFO] [stdout] test agda_export::functions::tests::sanitize_agda_special_chars ... ok
[INFO] [stdout] test agda_export::functions::tests::type_to_agda_bool ... ok
[INFO] [stdout] test agda_export::functions::tests::type_to_agda_list ... ok
[INFO] [stdout] test agda_export::functions::tests::sanitize_coq_reserved ... ok
[INFO] [stdout] test agda_export::functions::tests::sanitize_coq_valid ... ok
[INFO] [stdout] test agda_export::functions::tests::type_to_agda_nat ... ok
[INFO] [stdout] test agda_export::functions::tests::type_to_agda_option ... ok
[INFO] [stdout] test agda_export::functions::tests::type_to_coq_arrow ... ok
[INFO] [stdout] test agda_export::functions::tests::type_to_coq_nat ... ok
[INFO] [stdout] test agda_export::functions::tests::type_to_coq_list ... ok
[INFO] [stdout] test bench::functions::bench_comparison_tests::test_bench_annotation_severity ... ok
[INFO] [stdout] test bench::functions::bench_comparison_tests::test_bench_capabilities_default ... ok
[INFO] [stdout] test bench::functions::bench_comparison_tests::test_bench_run_config_default ... ok
[INFO] [stdout] test bench::functions::bench_comparison_tests::test_bench_comparison_improvements ... ok
[INFO] [stdout] test bench::functions::bench_comparison_tests::test_bench_comparison_regression ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_baseline_store ... ok
[INFO] [stdout] test bench::functions::bench_comparison_tests::test_bench_comparison_table ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_bench_budget_fail ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_bench_report_regressions ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_bench_report_to_table ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_bench_tag_filter ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_pragma_render ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_format_ns_f64 ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_ns_histogram_render ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_bench_budget_pass ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_online_rolling_avg ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_ops_counter ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_percentile_tracker ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_sample_collector_outlier_removal ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_z_score_regression ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_group_results_by_prefix ... ok
[INFO] [stdout] test agda_export::functions::tests::sanitize_agda_valid ... ok
[INFO] [stdout] test bench::functions::bench_extended_tests::test_ns_histogram_add_and_count ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_adaptive_warmup ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_flame_stack_sample ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_bench_env_current ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_multi_run_aggregator ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_format_throughput ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_pipeline_timing_csv ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_percentile_tracker_empty ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_pipeline_timing_total ... ok
[INFO] [stdout] test bench::functions::bench_run_tests::test_bench_run_empty ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_spec_registry ... ok
[INFO] [stdout] test bench::functions::bench_run_tests::test_bench_run_mean ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_bench_spec_builder ... ok
[INFO] [stdout] test bench::functions::bench_run_tests::test_bench_run_to_report ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_suite_run_record ... ok
[INFO] [stdout] test bench::functions::bench_utility_tests::test_bench_version ... ok
[INFO] [stdout] test bench::functions::bench_utility_tests::test_do_not_optimize ... ok
[INFO] [stdout] test bench::functions::bench_utility_tests::test_estimate_iters ... ok
[INFO] [stdout] test bench::functions::bench_utility_tests::test_estimate_iters_zero_single ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_aggregate_results_empty ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_aggregate_results_single_suite ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_bench_config_builder_custom ... ok
[INFO] [stdout] test bench::functions::bench_final_tests::test_summarize_group ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_bench_config_builder_defaults ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_bench_history_entries_for_missing ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_bench_history_record_and_entries ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_detect_trend_regressions_no_regression ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_trend_slope_insufficient_data ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_bench_names ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_detect_trend_regressions_detected ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_trend_slope_flat ... ok
[INFO] [stdout] test bench::functions::extended_tests::test_trend_slope_increasing ... ok
[INFO] [stdout] test bench::functions::tests::test_bench_runner_simple ... ok
[INFO] [stdout] test bench::functions::tests::test_benchmark_config_default ... ok
[INFO] [stdout] test bench::functions::tests::test_benchmark_result_cv ... ok
[INFO] [stdout] test bench::functions::tests::test_benchmark_result_display ... ok
[INFO] [stdout] test bench::functions::tests::test_benchmark_config_fast ... ok
[INFO] [stdout] test bench::functions::tests::test_compute_statistics_empty ... ok
[INFO] [stdout] test bench::functions::tests::test_benchmark_suite_empty ... ok
[INFO] [stdout] test bench::functions::tests::test_compare_results ... ok
[INFO] [stdout] test bench::functions::tests::test_compute_statistics_multiple ... ok
[INFO] [stdout] test bench::functions::tests::test_benchmark_result_throughput ... ok
[INFO] [stdout] test bench::functions::tests::test_benchmark_suite_total_time ... ok
[INFO] [stdout] test bench::functions::tests::test_format_ns ... ok
[INFO] [stdout] test bench::functions::tests::test_compute_statistics_single ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_artifact_registry ... ok
[INFO] [stdout] test bench::functions::tests::test_detect_regression ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_cache_is_stale ... ok
[INFO] [stdout] test bench::functions::tests::test_format_bench_results ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_event_recorder ... ok
[INFO] [stdout] test bench::functions::tests::test_format_comparison ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_metrics ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_filter_include_exclude ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_profile_add ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_profile_dominant ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_progress ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_lockfile ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_fingerprint_deterministic ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_summary_report ... ok
[INFO] [stdout] test build::functions::build_extra_tests::test_build_diagnostic_error ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_parallel_build_plan_waves ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_log ... ok
[INFO] [stdout] test build::functions::build_extended_tests::test_build_fingerprint_different ... ok
[INFO] [stdout] test build::functions::build_extra_tests::test_build_environment_release ... ok
[INFO] [stdout] test build::functions::build_extra_tests::test_build_environment_development ... ok
[INFO] [stdout] test build::functions::build_extra_tests::test_build_pipeline ... ok
[INFO] [stdout] test build::functions::build_extra_tests::test_build_module_version ... ok
[INFO] [stdout] test build::functions::build_extra_tests::test_build_diagnostic_warning ... ok
[INFO] [stdout] test build::functions::build_extra_tests::test_build_target_library ... ok
[INFO] [stdout] test build::functions::build_extra_tests::test_build_target_with_dependency ... ok
[INFO] [stdout] test build::functions::build_extra_tests::test_num_cpus_estimate ... ok
[INFO] [stdout] test build::functions::build_validator_tests::test_build_validator_valid ... ok
[INFO] [stdout] test build::functions::tests::test_affected_nodes ... ok
[INFO] [stdout] test build::functions::build_history_tests::test_build_history ... ok
[INFO] [stdout] test build::functions::tests::test_artifact_path ... ok
[INFO] [stdout] test build::functions::build_validator_tests::test_build_features ... ok
[INFO] [stdout] test build::functions::build_validator_tests::test_build_validator_invalid_jobs ... ok
[INFO] [stdout] test build::functions::tests::test_build_config_validate ... ok
[INFO] [stdout] test build::functions::tests::test_build_config_effective_opt_level ... ok
[INFO] [stdout] test build::functions::tests::test_build_graph_add_and_get ... ok
[INFO] [stdout] test build::functions::tests::test_build_graph_empty ... ok
[INFO] [stdout] test build::functions::tests::test_build_graph_module_names ... ok
[INFO] [stdout] test build::functions::tests::test_build_node_add_dependency ... ok
[INFO] [stdout] test build::functions::tests::test_artifact_store_roundtrip ... ok
[INFO] [stdout] test build::functions::tests::test_build_config_default ... ok
[INFO] [stdout] test build::functions::tests::test_build_node_new ... ok
[INFO] [stdout] test build::functions::tests::test_build_status_display ... ok
[INFO] [stdout] test build::functions::tests::test_build_config_for_project ... ok
[INFO] [stdout] test build::functions::tests::test_build_report_failed_modules ... ok
[INFO] [stdout] test build::functions::tests::test_build_config_is_parallel ... ok
[INFO] [stdout] test build::functions::tests::test_build_step_result_is_ok ... ok
[INFO] [stdout] test build::functions::tests::test_build_report_is_success ... ok
[INFO] [stdout] test build::functions::tests::test_build_target_display ... ok
[INFO] [stdout] test build::functions::tests::test_compute_staleness_stale ... ok
[INFO] [stdout] test build::functions::tests::test_format_build_report_content ... ok
[INFO] [stdout] test build::functions::tests::test_content_hash_deterministic ... ok
[INFO] [stdout] test build::functions::tests::test_format_duration ... ok
[INFO] [stdout] test build::functions::tests::test_compute_staleness_fresh ... ok
[INFO] [stdout] test build::functions::tests::test_format_size ... ok
[INFO] [stdout] test build::functions::tests::test_content_hash_different_data ... ok
[INFO] [stdout] test build::functions::tests::test_opt_level_display ... ok
[INFO] [stdout] test build::functions::tests::test_progress_bar ... ok
[INFO] [stdout] test build::functions::tests::test_topological_order_no_deps ... ok
[INFO] [stdout] test build::functions::tests::test_topological_order_cycle ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_horizontal_rule ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_data_dir_default ... ok
[INFO] [stdout] test build::functions::tests::test_topological_order_with_deps ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_center ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_count_lines_empty ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_exit_codes ... ok
[INFO] [stdout] test agda_export::functions::tests::agda_export_module_header ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_is_valid_identifier ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_format_number ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_progress_bar_tick ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_progress_bar_zero_total ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_truncate_long ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_truncate_short ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_word_wrap_long ... ok
[INFO] [stdout] test cli_main_module::functions::cli_reporter_tests::test_cli_description ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_progress_bar_render ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_parse_key_value ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_progress_bar_percent ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_table_row ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_cli_command_parse_check ... ok
[INFO] [stdout] test cli_main_module::functions::cli_reporter_tests::test_reporter_format_summary ... ok
[INFO] [stdout] test cli_main_module::functions::additional_cli_tests::test_word_wrap_short ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_cli_command_parse_unknown ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_cli_command_parse_version ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_cli_config_default ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_cli_result_exit_code ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_format_duration_ms ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_is_oxilean_file ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_cli_command_parse_repl ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_pad_right ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_is_valid_project_name ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_count_lines ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_commands_table_non_empty ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_format_file_size ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_strip_ansi ... ok
[INFO] [stdout] test cli_main_module::functions::main_config_tests::test_main_module_features ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_builtin_subcommands ... ok
[INFO] [stdout] test cli_main_module::functions::cli_util_tests::test_requires_file ... ok
[INFO] [stdout] test cli_main_module::functions::main_config_tests::test_cli_execution_result ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_cli_banner ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_cli_build_info ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_cli_environment_detect ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_cli_version ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_global_args_default ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_cli_help_summary ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_resolve_subcommand ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_color_choice_parse ... ok
[INFO] [stdout] test cli_main_module::functions::main_extra_tests::test_exit_codes_ext ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_check_for_update_stub ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_diag_severity_display ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_cli_diagnostic_error_format ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_ext_command_is_mutating ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_ext_command_parse_init ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_ext_command_parse_test ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_ext_command_parse_unknown ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_generate_completions_bash ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_generate_completions_fish ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_all_command_names_has_check ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_generate_session_id ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_global_flags_parse_jobs ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_generate_completions_zsh ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_shell_display ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_global_flags_default ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_shell_from_str ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_global_flags_parse_verbose ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_num_cpus_positive ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_telemetry_default_disabled ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_telemetry_opt_in_out ... ok
[INFO] [stdout] test commands::functions::commands_extra_tests::test_command_arg_parser ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_version_info_current ... ok
[INFO] [stdout] test commands::functions::commands_extra_tests::test_command_metadata_check ... ok
[INFO] [stdout] test commands::functions::commands_count_tests::test_standard_command_count ... ok
[INFO] [stdout] test commands::functions::commands_extra_tests::test_command_output ... ok
[INFO] [stdout] test commands::functions::commands_extra_tests::test_command_registry ... ok
[INFO] [stdout] test commands::functions::commands_extra_tests::test_command_registry_by_category ... ok
[INFO] [stdout] test commands::functions::commands_extra_tests::test_commands_module_version ... ok
[INFO] [stdout] test commands::functions::commands_final_tests::test_commands_features ... ok
[INFO] [stdout] test commands::functions::commands_extra_tests::test_flag_meta_creation ... ok
[INFO] [stdout] test commands::functions::commands_extra_tests::test_help_formatter ... ok
[INFO] [stdout] test commands::functions::commands_pipeline_tests::test_command_environment ... ok
[INFO] [stdout] test commands::functions::commands_pipeline_tests::test_command_pipeline ... ok
[INFO] [stdout] test commands::functions::tests::test_build_debug_vs_release ... ok
[INFO] [stdout] test commands::functions::commands_pipeline_tests::test_command_logger ... ok
[INFO] [stdout] test commands::functions::tests::test_build_options_cross_compile ... ok
[INFO] [stdout] test commands::functions::tests::test_build_options_default ... ok
[INFO] [stdout] test commands::functions::commands_pipeline_tests::test_command_stats ... ok
[INFO] [stdout] test commands::functions::tests::test_build_options_docs_flag ... ok
[INFO] [stdout] test commands::functions::tests::test_build_options_custom ... ok
[INFO] [stdout] test commands::functions::tests::test_build_options_release_flag ... ok
[INFO] [stdout] test commands::functions::tests::test_build_options_parallel_jobs ... ok
[INFO] [stdout] test commands::functions::tests::test_build_options_tests_flag ... ok
[INFO] [stdout] test commands::functions::tests::test_check_empty_source ... ok
[INFO] [stdout] test commands::functions::tests::test_check_source_error_handling ... ok
[INFO] [stdout] test commands::functions::tests::test_check_source_preserves_context ... ok
[INFO] [stdout] test commands::functions::tests::test_clean_nonexistent_project ... ok
[INFO] [stdout] test commands::functions::tests::test_command_config_clone ... ok
[INFO] [stdout] test commands::functions::tests::test_command_config_custom ... ok
[INFO] [stdout] test commands::functions::tests::test_clean_verbose ... ok
[INFO] [stdout] test commands::functions::tests::test_command_config_default ... ok
[INFO] [stdout] test cli_main_module::functions::main_config_tests::test_find_config_file ... ok
[INFO] [stdout] test commands::functions::tests::test_command_config_equality ... ok
[INFO] [stdout] test commands::functions::tests::test_command_context_add_warning ... ok
[INFO] [stdout] test commands::functions::tests::test_command_context_clone ... ok
[INFO] [stdout] test commands::functions::tests::test_command_context_max_errors_limit ... ok
[INFO] [stdout] test commands::functions::tests::test_command_context_multiple_warnings ... ok
[INFO] [stdout] test commands::functions::tests::test_command_context_new ... ok
[INFO] [stdout] test commands::functions::tests::test_command_error_debug ... ok
[INFO] [stdout] test commands::functions::tests::test_command_context_add_error ... ok
[INFO] [stdout] test commands::functions::tests::test_command_error_clone ... ok
[INFO] [stdout] test commands::functions::tests::test_command_error_general ... ok
[INFO] [stdout] test commands::functions::tests::test_command_error_new ... ok
[INFO] [stdout] test commands::functions::tests::test_command_error_preserves_exit_code ... ok
[INFO] [stdout] test commands::functions::tests::test_command_error_usage ... ok
[INFO] [stdout] test commands::functions::tests::test_command_result_err ... ok
[INFO] [stdout] test commands::functions::tests::test_command_error_not_found ... ok
[INFO] [stdout] test commands::functions::tests::test_command_error_permission_denied ... ok
[INFO] [stdout] test commands::functions::tests::test_command_result_ok ... ok
[INFO] [stdout] test commands::functions::tests::test_command_result_map ... ok
[INFO] [stdout] test commands::functions::tests::test_context_error_limit_respected ... ok
[INFO] [stdout] test commands::functions::tests::test_context_many_warnings ... ok
[INFO] [stdout] test commands::functions::tests::test_context_debug_info ... ok
[INFO] [stdout] test commands::functions::tests::test_command_workflow_simulate ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_build_default ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_build_release ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_clean_default ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_doc_default ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_chain_commands ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_format_with_args ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_check_no_args ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_dispatch_unknown_command ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_test_default ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_test_with_filter ... ok
[INFO] [stdout] test commands::functions::tests::test_doc_generation_custom_output ... ok
[INFO] [stdout] test commands::functions::tests::test_doc_generation_default_output ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_new ... ok
[INFO] [stdout] test commands::functions::tests::test_dispatcher_verbose_mode ... ok
[INFO] [stdout] test commands::functions::tests::test_error_exit_codes_distinct ... ok
[INFO] [stdout] test commands::functions::tests::test_exit_code_error ... ok
[INFO] [stdout] test commands::functions::tests::test_exit_code_not_found ... ok
[INFO] [stdout] test commands::functions::tests::test_exit_code_permission_denied ... ok
[INFO] [stdout] test commands::functions::tests::test_exit_code_success ... ok
[INFO] [stdout] test commands::functions::tests::test_exit_code_equality ... ok
[INFO] [stdout] test commands::functions::tests::test_exit_code_ordering ... ok
[INFO] [stdout] test commands::functions::tests::test_format_command_options_custom ... ok
[INFO] [stdout] test commands::functions::tests::test_exit_code_usage ... ok
[INFO] [stdout] test commands::functions::tests::test_format_command_options_default ... ok
[INFO] [stdout] test commands::functions::tests::test_format_empty_errors ... ok
[INFO] [stdout] test commands::functions::tests::test_format_error_general_type ... ok
[INFO] [stdout] test commands::functions::tests::test_format_error_with_color ... ok
[INFO] [stdout] test commands::functions::tests::test_format_files_empty_list ... ok
[INFO] [stdout] test commands::functions::tests::test_format_multiple_errors ... ok
[INFO] [stdout] test commands::functions::tests::test_format_error_preserves_message ... ok
[INFO] [stdout] test commands::functions::tests::test_format_error_without_color ... ok
[INFO] [stdout] test commands::functions::tests::test_format_options_check_mode ... ok
[INFO] [stdout] test commands::functions::tests::test_format_options_combined ... ok
[INFO] [stdout] test commands::functions::tests::test_format_options_diff_mode ... ok
[INFO] [stdout] test commands::functions::tests::test_format_single_error ... ok
[INFO] [stdout] test commands::functions::tests::test_format_options_in_place ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_complete ... ok
[INFO] [stdout] test commands::functions::tests::test_format_options_non_recursive ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_empty_message ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_error ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_multiple_operations ... ok
[INFO] [stdout] test cli_main_module::functions::main_config_tests::test_config_search_paths ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_new ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_detect_working_dir ... ok
[INFO] [stdout] test cli_main_module::functions::main_new_tests::test_config_search_paths_not_empty ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_verbose ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_long_message ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_progress ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_verbose_output ... ok
[INFO] [stdout] test commands::functions::tests::test_run_tests_empty_project ... ok
[INFO] [stdout] test commands::functions::tests::test_run_tests_verbose ... ok
[INFO] [stdout] test commands::functions::tests::test_run_tests_with_filter ... ok
[INFO] [stdout] test commands::functions::tests::test_test_options_custom ... ok
[INFO] [stdout] test commands::functions::tests::test_test_options_show_output ... ok
[INFO] [stdout] test commands::functions::tests::test_test_options_default ... ok
[INFO] [stdout] test commands::functions::tests::test_test_options_parallel_jobs ... ok
[INFO] [stdout] test commands::functions::tests::test_test_options_with_filter ... ok
[INFO] [stdout] test completions::functions::config_tests::test_completion_config_default ... ok
[INFO] [stdout] test completions::functions::config_tests::test_completion_config_disabled ... ok
[INFO] [stdout] test completions::functions::config_tests::test_completion_features ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_candidates_to_lsp_items ... ok
[INFO] [stdout] test commands::functions::tests::test_test_options_sequential_mode ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_completion_script_header ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_filter_candidates ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_completion_cache_basic ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_completion_cache_expired ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_completion_history ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_completion_output_format_fish ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_completion_stats ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_fuzzy_match_score ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_render_completions_zsh ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_fuzzy_sort_candidates ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_shell_environment_detect ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_loading_instructions ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_lsp_completion_item ... ok
[INFO] [stdout] test completions::functions::extra_tests::test_render_completions_json ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_app_spec_find_subcommand ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_completions_version ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_dedup_candidates ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_completion_context_parse ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_engine_top_level ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_completion_install_target ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_completion_spec_builder ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_format_candidates ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_detect_shell ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_dynamic_registry ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_parse_shell_kind ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_rich_bash_generation ... ok
[INFO] [stdout] test completions::functions::tests::test_bash_completion ... ok
[INFO] [stdout] test completions::functions::tests::test_elvish_completion ... ok
[INFO] [stdout] test completions::functions::tests::test_powershell_completion ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_rich_fish_generation ... ok
[INFO] [stdout] test completions::functions::tests::test_fish_completion ... ok
[INFO] [stdout] test completions::functions::tests::test_subcommands_list ... ok
[INFO] [stdout] test completions::functions::tests::test_zsh_completion ... ok
[INFO] [stdout] test config::functions::config_ext2_tests::test_config_annotation_doc_string ... ok
[INFO] [stdout] test config::functions::config_ext2_tests::test_generate_config_docs ... ok
[INFO] [stdout] test config::functions::config_ext2_tests::test_apply_config_patch_add ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_config_changes_diff_no_change ... ok
[INFO] [stdout] test config::functions::config_ext2_tests::test_render_config_as_table_contains_header ... ok
[INFO] [stdout] test config::functions::config_ext2_tests::test_apply_config_patch_remove ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_config_changes_diff_verbosity ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_config_from_string_comments ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_config_validator_zero_errors ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_layered_config_resolve ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_config_from_string_custom ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_config_validator_empty_lib ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_layered_config_layer_count ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_layered_config_session_wins ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_parse_define_empty_val ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_session_config_mark_saved ... ok
[INFO] [stdout] test config::functions::config_fingerprint_tests::test_fingerprint_differs_on_change ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_apply_preset ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_builtin_presets_names ... ok
[INFO] [stdout] test config::functions::config_extra_tests::test_session_config_override ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_compare_configs_added ... ok
[INFO] [stdout] test config::functions::config_fingerprint_tests::test_fingerprint_deterministic ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_compare_configs_removed ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_compute_config_stats ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_config_history_max_entries ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_config_history_record_and_undo ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_is_secret_key ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_config_migration ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_config_aliases_resolve ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_render_config_as_env ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_schema_required_keys ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_render_config_as_json ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_schema_validate_missing_required ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_render_config_masked ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_schema_validate_unknown_key ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_validate_config_values_invalid_jobs ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_validate_config_values_invalid_backend ... ok
[INFO] [stdout] test config::functions::config_summary_tests::test_config_has_required_true ... ok
[INFO] [stdout] test config::functions::config_schema_tests::test_serialize_deserialize_roundtrip ... ok
[INFO] [stdout] test config::functions::config_summary_tests::test_config_has_required_false ... ok
[INFO] [stdout] test config::functions::config_summary_tests::test_config_key_count ... ok
[INFO] [stdout] test config::functions::config_summary_tests::test_config_one_liner ... ok
[INFO] [stdout] test config::functions::config_summary_tests::test_config_section_count ... ok
[INFO] [stdout] test config::functions::extended_tests::test_config_roundtrip ... ok
[INFO] [stdout] test config::functions::extended_tests::test_add_import_path ... ok
[INFO] [stdout] test config::functions::extended_tests::test_cache_config_default ... ok
[INFO] [stdout] test config::functions::extended_tests::test_define ... ok
[INFO] [stdout] test config::functions::extended_tests::test_merge_configs ... ok
[INFO] [stdout] test config::functions::extended_tests::test_lint_severity_ordering ... ok
[INFO] [stdout] test config::functions::extended_tests::test_merge_extended_config ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_subcommand_spec_builder ... ok
[INFO] [stdout] test completions::functions::rich_tests::test_rich_zsh_generation ... ok
[INFO] [stdout] test config::functions::extended_tests::test_extended_config_new ... ok
[INFO] [stdout] test config::functions::extended_tests::test_lsp_config_default ... ok
[INFO] [stdout] test commands::functions::tests::test_progress_reporter_timing ... ok
[INFO] [stdout] test config::functions::extended_tests::test_output_format_default ... ok
[INFO] [stdout] test config::functions::extended_tests::test_parse_define ... ok
[INFO] [stdout] test config::functions::extended_tests::test_validate_small_recursion ... ok
[INFO] [stdout] test config::functions::extended_tests::test_perf_profile_default ... ok
[INFO] [stdout] test config::functions::preset_tests::test_ci_preset ... ok
[INFO] [stdout] test config::functions::preset_tests::test_release_preset ... ok
[INFO] [stdout] test config::functions::preset_tests::test_debug_preset ... ok
[INFO] [stdout] test config::functions::tests::test_config_builder ... ok
[INFO] [stdout] test config::functions::tests::test_config_new ... ok
[INFO] [stdout] test config::functions::extended_tests::test_with_output_format ... ok
[INFO] [stdout] test config::functions::extended_tests::test_with_proof_check_skip ... ok
[INFO] [stdout] test config::functions::tests::test_add_library_path ... ok
[INFO] [stdout] test config::functions::extended_tests::test_with_threads ... ok
[INFO] [stdout] test config::functions::tests::test_custom_settings ... ok
[INFO] [stdout] test config::functions::tests::test_set_verbosity ... ok
[INFO] [stdout] test diff::functions::diff_counter_tests::test_diff_is_empty_true ... ok
[INFO] [stdout] test diff::functions::diff_counter_tests::test_diff_is_empty_false ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_blame_view ... ok
[INFO] [stdout] test diff::functions::diff_counter_tests::test_count_line_types ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_diff_statistics ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_file_patch_net_change ... ok
[INFO] [stdout] test config::functions::tests::test_verbosity_levels ... ok
[INFO] [stdout] test diff::functions::diff_counter_tests::test_largest_hunk ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_extract_decl_items ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_has_conflicts_false ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_hunk_whitespace_only ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_has_conflicts_true ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_line_similarity_different ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_normalize_line_endings ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_diff_to_csv ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_keyword_filter ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_oxi_tokenize_keyword ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_line_similarity_equal ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_side_by_side_render ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_split_into_words ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_structural_diff_added ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_word_diff_equal ... ok
[INFO] [stdout] test diff::functions::diff_final_tests::test_classify_change_proof ... ok
[INFO] [stdout] test diff::functions::diff_final_tests::test_classify_change_import ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_render_word_diff ... ok
[INFO] [stdout] test diff::functions::diff_final_tests::test_classify_change_whitespace ... ok
[INFO] [stdout] test diff::functions::diff_final_tests::test_diff_cache_get_or_compute ... ok
[INFO] [stdout] test diff::functions::diff_final_tests::test_count_blank_line_changes ... ok
[INFO] [stdout] test diff::functions::diff_final_tests::test_diff_cache_invalidate ... ok
[INFO] [stdout] test diff::functions::diff_final_tests::test_diff_to_json ... ok
[INFO] [stdout] test diff::functions::diff_final_tests::test_sort_hunks_by_impact ... ok
[INFO] [stdout] test diff::functions::diff_multi_tests::test_annotate_all_lines_runs ... ok
[INFO] [stdout] test diff::functions::diff_multi_tests::test_compact_summary ... ok
[INFO] [stdout] test diff::functions::diff_multi_tests::test_diff_to_html ... ok
[INFO] [stdout] test diff::functions::diff_multi_tests::test_lcs_of_words ... ok
[INFO] [stdout] test diff::functions::diff_multi_tests::test_multi_diff_changed_files ... ok
[INFO] [stdout] test diff::functions::diff_multi_tests::test_pair_changed_lines ... ok
[INFO] [stdout] test diff::functions::diff_multi_tests::test_reverse_hunk_swaps_kinds ... ok
[INFO] [stdout] test diff::functions::diff_multi_tests::test_multi_diff_summary ... ok
[INFO] [stdout] test diff::functions::diff_numbering_tests::test_format_diff_with_line_numbers ... ok
[INFO] [stdout] test diff::functions::diff_multi_tests::test_word_diff_removed ... ok
[INFO] [stdout] test diff::functions::diff_numbering_tests::test_diff_total_lines_count ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_char_diff_equal ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_count_changed_lines_in_hunk ... ok
[INFO] [stdout] test diff::functions::diff_window_tests::test_present_diff_compact ... ok
[INFO] [stdout] test diff::functions::diff_window_tests::test_diff_summary_report ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_char_diff_added ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_config_builder ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_empty_inputs ... ok
[INFO] [stdout] test diff::functions::diff_window_tests::test_diff_window_max_size ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_identical ... ok
[INFO] [stdout] test diff::functions::diff_extended_tests::test_word_diff_added ... ok
[INFO] [stdout] test diff::functions::diff_window_tests::test_present_diff_json ... ok
[INFO] [stdout] test diff::functions::diff_window_tests::test_diff_window_push_and_total ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_ignore_whitespace ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_modification ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_simple_deletion ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_whitespace_sensitive ... ok
[INFO] [stdout] test diff::functions::tests::test_extract_decl_summaries ... ok
[INFO] [stdout] test diff::functions::tests::test_format_diff_no_color ... ok
[INFO] [stdout] test diff::functions::tests::test_format_diff_with_color ... ok
[INFO] [stdout] test diff::functions::tests::test_hunk_header ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_one_empty ... ok
[INFO] [stdout] test diff::functions::tests::test_line_change_prefix ... ok
[INFO] [stdout] test diff::functions::tests::test_structural_diff_no_changes ... ok
[INFO] [stdout] test docgen::functions::docgen_extra_tests::test_doc_index_filter ... ok
[INFO] [stdout] test docgen::functions::docgen_extra_tests::test_generate_anchor ... ok
[INFO] [stdout] test docgen::functions::docgen_extra_tests::test_output_format_ext ... ok
[INFO] [stdout] test diff::functions::tests::test_normalize_whitespace ... ok
[INFO] [stdout] test docgen::functions::docgen_extra_tests::test_section_markdown ... ok
[INFO] [stdout] test docgen::functions::docgen_extra_tests::test_stats_coverage ... ok
[INFO] [stdout] test docgen::functions::docgen_site_tests::test_doc_site_sitemap ... ok
[INFO] [stdout] test docgen::functions::tests::test_build_search_index ... ok
[INFO] [stdout] test diff::functions::tests::test_large_diff ... ok
[INFO] [stdout] test docgen::functions::tests::test_build_toc ... ok
[INFO] [stdout] test diff::functions::tests::test_structural_diff_modified ... ok
[INFO] [stdout] test diff::functions::tests::test_structural_diff_summary ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_result_display ... ok
[INFO] [stdout] test diff::functions::tests::test_diff_simple_addition ... ok
[INFO] [stdout] test docgen::functions::docgen_site_tests::test_doc_page_render ... ok
[INFO] [stdout] test diff::functions::tests::test_structural_diff_added_removed ... ok
[INFO] [stdout] test docgen::functions::tests::test_doc_item_kind_display ... ok
[INFO] [stdout] test docgen::functions::tests::test_count_by_kind ... ok
[INFO] [stdout] test docgen::functions::tests::test_escape_html ... ok
[INFO] [stdout] test docgen::functions::tests::test_doc_item_accessors ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_doc_comment_block ... ok
[INFO] [stdout] test docgen::functions::tests::test_doc_item_no_type_sig ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_doc_comment_line ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_doc_comment_multiline ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_from_env_empty ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_from_source_class ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_doc_comment_none ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_from_source_inductive ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_from_source_theorem ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_instance ... ok
[INFO] [stdout] test docgen::functions::tests::test_format_code_block ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_structure ... ok
[INFO] [stdout] test docgen::functions::tests::test_first_sentence ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_from_source_def ... ok
[INFO] [stdout] test docgen::functions::tests::test_extract_from_source_import ... ok
[INFO] [stdout] test docgen::functions::tests::test_doc_module_add_item ... ok
[INFO] [stdout] test docgen::functions::tests::test_doc_module_new ... ok
[INFO] [stdout] test docgen::functions::tests::test_generate_index_page ... ok
[INFO] [stdout] test docgen::functions::tests::test_html_config_default ... ok
[INFO] [stdout] test docgen::functions::tests::test_json_escape ... ok
[INFO] [stdout] test docgen::functions::tests::test_link_cross_references ... ok
[INFO] [stdout] test docgen::functions::tests::test_generate_module_page ... ok
[INFO] [stdout] test docgen::functions::tests::test_format_type_html ... ok
[INFO] [stdout] test docgen::functions::tests::test_link_cross_references_no_match ... ok
[INFO] [stdout] test docgen::functions::tests::test_generate_search_index_json ... ok
[INFO] [stdout] test docgen::functions::tests::test_link_cross_references_with_spaces ... ok
[INFO] [stdout] test docgen::functions::tests::test_noncomputable_def ... ok
[INFO] [stdout] test docgen::functions::tests::test_proof_status_display ... ok
[INFO] [stdout] test docgen::functions::tests::test_render_markdown_code_block ... ok
[INFO] [stdout] test docgen::functions::tests::test_render_markdown_list ... ok
[INFO] [stdout] test docgen::functions::tests::test_render_markdown_inline ... ok
[INFO] [stdout] test docgen::functions::tests::test_render_markdown_paragraph ... ok
[INFO] [stdout] test docgen::functions::tests::test_render_markdown_headers ... ok
[INFO] [stdout] test docgen::functions::tests::test_search_by_kind ... ok
[INFO] [stdout] test docgen::functions::tests::test_search_by_prefix ... ok
[INFO] [stdout] test docgen::functions::tests::test_search_index_basic ... ok
[INFO] [stdout] test docgen::functions::tests::test_search_full_text ... ok
[INFO] [stdout] test docgen::functions::tests::test_toc_empty ... ok
[INFO] [stdout] test docgen::functions::tests::test_serialize_index ... ok
[INFO] [stdout] test docgen::functions::tests::test_source_location ... ok
[INFO] [stdout] test docgen::functions::tests::test_toc_entry_with_children ... ok
[INFO] [stdout] test docgen::functions::tests::test_render_toc_html ... ok
[INFO] [stdout] test format::functions::format_extra_tests::test_column_left ... ok
[INFO] [stdout] test format::functions::format_extra_tests::test_format_stats ... ok
[INFO] [stdout] test docgen::functions::tests::test_toc_entry_new ... ok
[INFO] [stdout] test format::functions::format_extra_tests::test_strip_trailing ... ok
[INFO] [stdout] test format::functions::format_extra_tests::test_truncate ... ok
[INFO] [stdout] test format::functions::format_extra_tests::test_word_wrap ... ok
[INFO] [stdout] test format::functions::format_primitives_tests::test_escape_html ... ok
[INFO] [stdout] test docgen::functions::tests::test_inline_markdown_empty ... ok
[INFO] [stdout] test docgen::functions::tests::test_html_generator_item_rendering ... ok
[INFO] [stdout] test format::functions::format_primitives_tests::test_format_duration ... ok
[INFO] [stdout] test format::functions::format_primitives_tests::test_pluralize ... ok
[INFO] [stdout] test format::functions::format_primitives_tests::test_repeat_char ... ok
[INFO] [stdout] test format::functions::format_primitives_tests::test_numbered_lines ... ok
[INFO] [stdout] test format::functions::tests::test_classify_import_local ... ok
[INFO] [stdout] test format::functions::tests::test_classify_import_external ... ok
[INFO] [stdout] test format::functions::tests::test_classify_import_stdlib ... ok
[INFO] [stdout] test format::functions::tests::test_alignment_style_pipes ... ok
[INFO] [stdout] test format::functions::tests::test_comment_basic ... ok
[INFO] [stdout] test format::functions::format_primitives_tests::test_format_bytes ... ok
[INFO] [stdout] test format::functions::tests::test_diff_line_count_decrease ... ok
[INFO] [stdout] test format::functions::tests::test_diff_no_changes ... ok
[INFO] [stdout] test format::functions::tests::test_diff_line_count_increase ... ok
[INFO] [stdout] test format::functions::tests::test_diff_show ... ok
[INFO] [stdout] test format::functions::tests::test_diff_show_no_changes ... ok
[INFO] [stdout] test format::functions::tests::test_diff_apply ... ok
[INFO] [stdout] test format::functions::tests::test_doc_concat ... ok
[INFO] [stdout] test format::functions::tests::test_doc_flat_alt ... ok
[INFO] [stdout] test format::functions::tests::test_diff_with_changes ... ok
[INFO] [stdout] test format::functions::tests::test_doc_line_break ... ok
[INFO] [stdout] test format::functions::tests::test_doc_line_flat ... ok
[INFO] [stdout] test format::functions::tests::test_doc_text ... ok
[INFO] [stdout] test format::functions::tests::test_doc_nest ... ok
[INFO] [stdout] test format::functions::tests::test_doc_group ... ok
[INFO] [stdout] test format::functions::tests::test_doc_hard_line ... ok
[INFO] [stdout] test format::functions::tests::test_doc_nil ... ok
[INFO] [stdout] test format::functions::tests::test_extract_comments_multiple_lines ... ok
[INFO] [stdout] test format::functions::tests::test_extract_multiple_comments ... ok
[INFO] [stdout] test format::functions::tests::test_extract_no_comments ... ok
[INFO] [stdout] test format::functions::tests::test_fits_function_width_check ... ok
[INFO] [stdout] test format::functions::tests::test_flatten_document ... ok
[INFO] [stdout] test format::functions::tests::test_format_app ... ok
[INFO] [stdout] test format::functions::tests::test_format_axiom_declaration ... ok
[INFO] [stdout] test format::functions::tests::test_format_bvar ... ok
[INFO] [stdout] test format::functions::tests::test_format_const ... ok
[INFO] [stdout] test format::functions::tests::test_format_def_declaration ... ok
[INFO] [stdout] test format::functions::tests::test_format_empty_file ... ok
[INFO] [stdout] test format::functions::tests::test_format_file_basic ... ok
[INFO] [stdout] test format::functions::tests::test_format_file_with_extension ... ok
[INFO] [stdout] test format::functions::tests::test_format_literal_str ... ok
[INFO] [stdout] test format::functions::tests::test_format_inductive_str ... ok
[INFO] [stdout] test format::functions::tests::test_format_long_function_definition ... ok
[INFO] [stdout] test format::functions::tests::test_format_lambda ... ok
[INFO] [stdout] test format::functions::tests::test_format_on_save_add_pattern ... ok
[INFO] [stdout] test format::functions::tests::test_format_multiple_apps ... ok
[INFO] [stdout] test format::functions::tests::test_format_literal_nat ... ok
[INFO] [stdout] test format::functions::tests::test_format_on_save_default ... ok
[INFO] [stdout] test format::functions::tests::test_format_on_save_disable ... ok
[INFO] [stdout] test format::functions::tests::test_format_on_save_custom_patterns ... ok
[INFO] [stdout] test format::functions::tests::test_format_on_save_enabled_by_default ... ok
[INFO] [stdout] test format::functions::tests::test_format_nested_structure ... ok
[INFO] [stdout] test format::functions::tests::test_format_only_whitespace ... ok
[INFO] [stdout] test format::functions::tests::test_extract_single_comment ... ok
[INFO] [stdout] test format::functions::tests::test_format_file_non_matching_extension ... ok
[INFO] [stdout] test format::functions::tests::test_format_options_with_rules ... ok
[INFO] [stdout] test format::functions::tests::test_format_pi_arrow ... ok
[INFO] [stdout] test format::functions::tests::test_format_preserves_meaningful_content ... ok
[INFO] [stdout] test format::functions::tests::test_format_sort_prop ... ok
[INFO] [stdout] test format::functions::tests::test_format_rule_normalize_operators ... ok
[INFO] [stdout] test format::functions::tests::test_format_sort_type ... ok
[INFO] [stdout] test format::functions::tests::test_format_source_full ... ok
[INFO] [stdout] test format::functions::tests::test_format_pi_forall ... ok
[INFO] [stdout] test format::functions::tests::test_format_structure_str ... ok
[INFO] [stdout] test format::functions::tests::test_format_rule_indent_block ... ok
[INFO] [stdout] test format::functions::tests::test_format_with_tabs_preservation ... ok
[INFO] [stdout] test format::functions::tests::test_format_with_tabs_to_spaces ... ok
[INFO] [stdout] test format::functions::tests::test_function_style_smart ... ok
[INFO] [stdout] test format::functions::tests::test_indent_block ... ok
[INFO] [stdout] test format::functions::tests::test_format_theorem_declaration ... ok
[INFO] [stdout] test format::functions::tests::test_is_not_in_string_complex ... ok
[INFO] [stdout] test format::functions::tests::test_format_unicode_content ... ok
[INFO] [stdout] test format::functions::tests::test_format_with_multiple_rules ... ok
[INFO] [stdout] test format::functions::tests::test_formatter_create ... ok
[INFO] [stdout] test format::functions::tests::test_function_style_compact ... ok
[INFO] [stdout] test format::functions::tests::test_line_breaker_args_long ... ok
[INFO] [stdout] test format::functions::tests::test_line_breaker_args_short ... ok
[INFO] [stdout] test format::functions::tests::test_line_breaker_nested_parens ... ok
[INFO] [stdout] test format::functions::tests::test_line_breaker_short_line ... ok
[INFO] [stdout] test format::functions::tests::test_normalize_consecutive_spaces ... ok
[INFO] [stdout] test format::functions::tests::test_is_not_in_string_inside ... ok
[INFO] [stdout] test format::functions::tests::test_is_not_in_string_outside ... ok
[INFO] [stdout] test format::functions::tests::test_normalize_whitespace ... ok
[INFO] [stdout] test format::functions::tests::test_line_breaker_long_line ... ok
[INFO] [stdout] test format::functions::tests::test_normalize_mixed_whitespace ... ok
[INFO] [stdout] test format::functions::tests::test_sort_imports_mixed ... ok
[INFO] [stdout] test format::functions::tests::test_style_config_default ... ok
[INFO] [stdout] test format::functions::tests::test_unified_diff_added_lines ... ok
[INFO] [stdout] test format::functions::tests::test_set_options ... ok
[INFO] [stdout] test format::functions::tests::test_sort_imports ... ok
[INFO] [stdout] test format::functions::tests::test_unified_diff_headers ... ok
[INFO] [stdout] test format::functions::tests::test_unified_diff_complex ... ok
[INFO] [stdout] test format::functions::tests::test_style_config_with_custom_settings ... ok
[INFO] [stdout] test format::functions::tests::test_unified_diff_removed_lines ... ok
[INFO] [stdout] test format::functions::tests::test_unified_diff_unchanged_lines ... ok
[INFO] [stdout] test format::functions::tests::test_wrap_line_long ... ok
[INFO] [stdout] test format::functions::tests::test_unified_diff_no_changes ... ok
[INFO] [stdout] test format::functions::tests::test_unified_diff_with_changes ... ok
[INFO] [stdout] test format::functions::tests::test_with_options ... ok
[INFO] [stdout] test format::functions::tests::test_unified_diff_multiline ... ok
[INFO] [stdout] test format::functions::tests::test_wrap_line_short ... ok
[INFO] [stdout] test format::functions::tests::test_indent_block_empty_lines ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_empty_tactic ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_assumption ... ok
[INFO] [stdout] test format::functions::tests::test_pattern_style_compact ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_cases_not_found ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_assumption_fail ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_constructor_true ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_cases ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_intro ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_intro_not_pi ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_unknown ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_unknown_tactic ... ok
[INFO] [stdout] test interactive::functions::tests::test_format_goal_simple ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_exact ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_induction ... ok
[INFO] [stdout] test interactive::functions::tests::test_format_goals_panel_multiple ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_intro_session ... ok
[INFO] [stdout] test interactive::functions::tests::test_execute_sorry ... ok
[INFO] [stdout] test interactive::functions::tests::test_format_goal_with_tag ... ok
[INFO] [stdout] test interactive::functions::tests::test_format_goal_with_hypotheses ... ok
[INFO] [stdout] test interactive::functions::tests::test_format_goals_panel_no_goals ... ok
[INFO] [stdout] test interactive::functions::tests::test_format_hypothesis_info ... ok
[INFO] [stdout] test interactive::functions::tests::test_format_hypothesis ... ok
[INFO] [stdout] test interactive::functions::tests::test_generate_hints_for_true ... ok
[INFO] [stdout] test interactive::functions::tests::test_hypothesis_info ... ok
[INFO] [stdout] test interactive::functions::tests::test_generate_hints_no_goals ... ok
[INFO] [stdout] test interactive::functions::tests::test_goal_display_new ... ok
[INFO] [stdout] test interactive::functions::tests::test_highlight_differences_new_goals ... ok
[INFO] [stdout] test interactive::functions::tests::test_highlight_differences_solved ... ok
[INFO] [stdout] test interactive::functions::tests::test_lsp_integration_connect ... ok
[INFO] [stdout] test interactive::functions::tests::test_lsp_integration_connect_disabled ... ok
[INFO] [stdout] test interactive::functions::tests::test_lsp_integration_new ... ok
[INFO] [stdout] test interactive::functions::tests::test_navigator_add_step ... ok
[INFO] [stdout] test interactive::functions::tests::test_navigator_goto_step ... ok
[INFO] [stdout] test interactive::functions::tests::test_inspect_hypothesis ... ok
[INFO] [stdout] test interactive::functions::tests::test_list_all_hypotheses ... ok
[INFO] [stdout] test interactive::functions::tests::test_navigator_proof_script ... ok
[INFO] [stdout] test interactive::functions::tests::test_navigator_new ... ok
[INFO] [stdout] test interactive::functions::tests::test_navigator_step_forward_backward ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_hint_creation ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_state_snapshot ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_history_add_snapshot ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_history_current_state ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_history_new ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_history_step_backward ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_session_stats_default ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_tree_empty ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_tree_render ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_tree_single_step ... ok
[INFO] [stdout] test interactive::functions::tests::test_proof_tree_summary ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_connect_lsp ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_create ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_format_hypothesis_info ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_get_session_summary ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_inspect_hypothesis ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_is_complete ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_list_hypotheses ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_proof_script ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_redo ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_reset ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_suggest ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_undo ... ok
[INFO] [stdout] test interactive::functions::tests::test_show_goals ... ok
[INFO] [stdout] test interactive::functions::tests::test_start_proof ... ok
[INFO] [stdout] test interactive::functions::tests::test_suggest_assumption ... ok
[INFO] [stdout] test interactive::functions::tests::test_suggest_constructor_true ... ok
[INFO] [stdout] test interactive::functions::tests::test_suggest_intro ... ok
[INFO] [stdout] test interactive::functions::tests::test_suggest_refl ... ok
[INFO] [stdout] test interactive::functions::tests::test_suggest_sorry_always ... ok
[INFO] [stdout] test interactive::functions::tests::test_truncate_type_long ... ok
[INFO] [stdout] test interactive::functions::tests::test_suggest_no_goals ... ok
[INFO] [stdout] test interactive::functions::tests::test_truncate_type_short ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_json_writer_bool ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_json_writer_null ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_object_builder_float_field ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_json_writer_number ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_parse_json_array ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_json_writer_string ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_parse_json_bool ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_json_writer_string_escape ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_parse_json_null ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_json_writer_value ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_parse_json_number ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_parse_json_object ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_result_collector_timing ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_catalog_builder ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_count_per_module ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_parse_json_string ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_json_deep_equal_strings ... ok
[INFO] [stdout] test json_export::functions::extended_tests::test_result_collector_record ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_json_patch_add ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_json_merge_patch ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_json_ptr_root ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_json_deep_equal_different ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_json_stats_counts ... ok
[INFO] [stdout] test interactive::functions::tests::test_session_get_hints ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_export_records_to_json ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_filter_by_status ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_minify_json ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_ndjson ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_pretty_print_json ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_compute_export_stats ... ok
[INFO] [stdout] test json_export::functions::json_export_extended_tests::test_strip_null_fields ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_json_stream_decoder_feed ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_json_template ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_minify_preserves_content ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_reformat_json_basic ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_oxilean_export_schema ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_value_to_json_bool ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_value_to_json_null ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_redact_json_keys ... ok
[INFO] [stdout] test json_export::functions::json_export_index_tests::test_assert_array_min_len ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_json_value_diff_changed ... ok
[INFO] [stdout] test json_export::functions::json_export_final_tests::test_jsonpath_simple ... ok
[INFO] [stdout] test json_export::functions::json_export_index_tests::test_assert_has_keys_true ... ok
[INFO] [stdout] test json_export::functions::json_export_index_tests::test_estimate_json_size_null ... ok
[INFO] [stdout] test json_export::functions::json_export_index_tests::test_catalog_index_lookup ... ok
[INFO] [stdout] test json_export::functions::json_export_index_tests::test_estimate_json_size_string ... ok
[INFO] [stdout] test json_export::functions::json_final_tests::test_json_flatten ... ok
[INFO] [stdout] test json_export::functions::json_final_tests::test_json_version ... ok
[INFO] [stdout] test json_export::functions::json_final_tests::test_json_merge_objects ... ok
[INFO] [stdout] test json_export::functions::json_final_tests::test_patch_op_name ... ok
[INFO] [stdout] test json_export::functions::json_final_tests::test_stream_writer ... ok
[INFO] [stdout] test json_export::functions::json_helpers_tests::test_json_helpers ... ok
[INFO] [stdout] test json_export::functions::tests::test_environment_snapshot ... ok
[INFO] [stdout] test json_export::functions::tests::test_json_integer ... ok
[INFO] [stdout] test json_export::functions::tests::test_json_bool ... ok
[INFO] [stdout] test json_export::functions::json_final_tests::test_schema_kind_object ... ok
[INFO] [stdout] test json_export::functions::json_export_index_tests::test_normalize_json_keys ... ok
[INFO] [stdout] test json_export::functions::tests::test_json_array ... ok
[INFO] [stdout] test json_export::functions::json_export_index_tests::test_assert_has_keys_false ... ok
[INFO] [stdout] test json_export::functions::tests::test_json_object ... ok
[INFO] [stdout] test json_export::functions::tests::test_json_string_escape ... ok
[INFO] [stdout] test json_export::functions::tests::test_json_null ... ok
[INFO] [stdout] test json_export::functions::tests::test_json_string ... ok
[INFO] [stdout] test json_export::functions::tests::test_object_builder_optional ... ok
[INFO] [stdout] test json_export::functions::tests::test_proof_exporter ... ok
[INFO] [stdout] test json_export::functions::tests::test_span_to_json ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_export_definition_fn ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_equation_labeled ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_export_theorem_fn ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_prod ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_display_math ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_section_render ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_section_subsection ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_sqrt ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_sum ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_table_render ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_table_with_caption ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_macro_library_add_and_render ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_macro_library_oxilean_standard ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_proof_tree_binary ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_proof_tree_leaf ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_proof_tree_render_bussproofs ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_proof_tree_size_depth ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_inline_math ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_frac ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_proof_tree_unary ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_set_builder ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_config_add_macro ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_integral ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_macro_library_find ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_to_math_fn ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_latex_export_version ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_bib_entry ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_abs ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_macro_to_latex_no_args ... ok
[INFO] [stdout] test latex_export::functions::extended_tests::test_latex_config_add_package ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_macro_to_latex_with_args ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_proof_exporter_itemized ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_proof_step_derived ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_proof_step_assumption ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_document_builder ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_proof_exporter_prose ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_export_stats ... ok
[INFO] [stdout] test latex_export::functions::latex_extra2_tests::test_macro_library_preamble ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_math_display_mode_wrap ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_proof_tree_binary ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_section_level_commands ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_standard_environments ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_theorem_env_render ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_math_display_equation ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_symbol_table_translate ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_theorem_env_definition ... ok
[INFO] [stdout] test latex_export::functions::tests::test_document_generation ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_symbol_table_custom ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_proof_tree_leaf ... ok
[INFO] [stdout] test latex_export::functions::tests::test_escape_latex ... ok
[INFO] [stdout] test latex_export::functions::tests::test_symbol_conversion ... ok
[INFO] [stdout] test lsp::completion::functions::completion_extra_tests::test_completion_item_label ... ok
[INFO] [stdout] test latex_export::functions::tests::test_theorem_env ... ok
[INFO] [stdout] test lsp::completion::functions::completion_extra_tests::test_filter_by_prefix ... ok
[INFO] [stdout] test latex_export::functions::latex_extra_tests::test_proof_tree_text_render ... ok
[INFO] [stdout] test latex_export::functions::tikz_tests::test_tikz_diagram ... ok
[INFO] [stdout] test latex_export::functions::tests::test_minimal_config ... ok
[INFO] [stdout] test lsp::completion::functions::completion_extra_tests::test_rank_completions ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_completion_history_clear ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_completion_history_boost_items ... ok
[INFO] [stdout] test latex_export::functions::tests::test_type_conversion ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_attach_previews_empty ... ok
[INFO] [stdout] test lsp::completion::functions::completion_extra_tests::test_standard_triggers ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_completion_history_dedup ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_completion_preview_tactic ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_completion_history_max_size ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_completion_history_record_rank ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_completion_preview_keyword ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_document_has_import_no ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_document_has_import_yes ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_completion_preview_from_env ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_extract_enclosing_namespace_found ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_fuzzy_score_prefix ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_fuzzy_filter_and_sort ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_fuzzy_score_subsequence ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_hash_command_completions ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_imported_completion_new ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_extract_enclosing_namespace_none ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_fuzzy_score_exact ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_fuzzy_score_no_match ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_import_adding_completions ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_imported_completion_to_item ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_infer_expected_type_annotation ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_is_trigger_character ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_multi_edit_completion_new ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_multi_edit_completion_with_import ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_postfix_completions_no_dot ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_postfix_template_expand ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_postfix_completions_after_dot ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_is_subsequence_no ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_namespace_completions_empty_env ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_priority_score_high ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_is_subsequence_yes ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_postfix_templates_nonempty ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_priority_score_exact ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_priority_score_medium ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_simple_text_edit ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_sort_key_order ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_type_expectation_source_eq ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_priority_score_low ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_completion_list_empty ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_complete_at_position_basic ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_smart_completion_bool ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_completion_list_new ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_smart_completion_nat ... ok
[INFO] [stdout] test lsp::completion::functions::completion_new_tests::test_smart_completion_prop ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_constructor_completions_empty_env ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_def_snippet_content ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_determine_context_in_type ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_determine_context_trigger_dot ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_engine_extract_prefix ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_inductive_snippet_content ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_keyword_completions_empty_prefix ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_engine_extract_prefix_empty ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_determine_context_command ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_field_completions_after_dot ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_keyword_completions_with_prefix ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_match_snippet_content ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_determine_context_import ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_snippet_completions_empty ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_structure_snippet_content ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_tactic_completions_prefix ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_tactic_argument_completions_empty_doc ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_module_completions ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_score_completion_exact_prefix ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_theorem_snippet_content ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_tactic_completions_empty_prefix ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_advanced_completion_item ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_completion_list_sort ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_completion_stats ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_completion_registry ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_completion_list_filter ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_completion_adv_version ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_keyword_completions_no_match ... ok
[INFO] [stdout] test lsp::completion::functions::tests::test_snippet_completions_def ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_completion_trigger ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_deprecated_item ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_snippet_definition ... ok
[INFO] [stdout] test lsp::completion_adv::functions::cache_format_tests::test_completion_cache_basic ... ok
[INFO] [stdout] test lsp::completion_adv::functions::cache_format_tests::test_completion_cache_miss ... ok
[INFO] [stdout] test lsp::completion_adv::functions::cache_format_tests::test_completion_cache_invalidate ... ok
[INFO] [stdout] test lsp::completion_adv::functions::cache_format_tests::test_completion_resolve_request ... ok
[INFO] [stdout] test lsp::completion_adv::functions::cache_format_tests::test_formatter_terminal_deprecated ... ok
[INFO] [stdout] test lsp::completion_adv::functions::import_provider_tests::test_completion_adv_features ... ok
[INFO] [stdout] test lsp::completion_adv::functions::import_provider_tests::test_import_provider ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_keyword_provider ... ok
[INFO] [stdout] test lsp::completion_adv::functions::pipeline_tests::test_limit_step ... ok
[INFO] [stdout] test lsp::completion_adv::functions::adv_completion_tests::test_snippet_provider ... ok
[INFO] [stdout] test lsp::completion_adv::functions::cache_format_tests::test_formatter_terminal ... ok
[INFO] [stdout] test lsp::completion_adv::functions::pipeline_tests::test_pipeline_combine ... ok
[INFO] [stdout] test lsp::completion_adv::functions::pipeline_tests::test_remove_deprecated_step ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_attribute_completions ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_completion_result ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_import_completer ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_snippet_provider_tactic ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_context_analyzer_import ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_import_completer_submodule ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_context_analyzer_top_level ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_snippet_provider_top_level ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_context_category_type_annotation ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_tactic_completer ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_tactic_completer_empty_prefix ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_type_filter ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_unified_engine_tactic ... ok
[INFO] [stdout] test lsp::diagnostics::functions::aggregator_tests::test_aggregator ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_cache_tests::test_diagnostic_cache ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_deduplicate_diagnostics ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_cache_tests::test_diagnostic_subscription ... ok
[INFO] [stdout] test lsp::completion_adv::functions::tests::test_unified_engine_top_level ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_diagnostic_group_counts ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_diagnostic_aggregator ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_diagnostic_report_clean ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_diagnostic_priority_ordering ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_diagnostic_rate_limiter ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_diagnostic_report_summary ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_diagnostic_snapshot_capture_and_diff ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_extended_diagnostic_new ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_extended_diagnostic_tag ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_print_annotated_source_basic ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_sort_diagnostics ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_diagnostic_snapshot_count_by_code ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_extended_diagnostic_with_fix ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_inline_annotations ... ok
[INFO] [stdout] test lsp::completion_adv::functions::cache_format_tests::test_formatter_json ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_serialize_diagnostics_json_lines ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extended_tests::test_serialize_diagnostics_plain ... ok
[INFO] [stdout] test lsp::completion_adv::functions::cache_format_tests::test_formatter_list_to_json ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extra_tests::test_diagnostics_features ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extra_tests::test_diagnostics_module_version ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_default_severity_for_code_lex_error ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_diagnostic_batch_empty ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_diagnostic_batch_error_count ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extra_tests::test_diagnostic_budget ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extra_tests::test_diagnostic_pipeline ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extra_tests::test_diagnostic_threshold ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diagnostics_extra_tests::test_enricher ... ok
[INFO] [stdout] test lsp::diagnostics::functions::diff_tracker_tests::test_diff_tracker_new_resolved ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_default_severity_for_code_unused_variable ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_filter_errors_only_accepts_error ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_filter_errors_only_rejects_warning ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_filter_suppress ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_closing_for ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_code_action_kind_as_str ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_collector_empty_document ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_collector_unmatched_paren ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_diagnostic_batch_filter ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_filter_limit ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_collector_valid_tokens ... ok
[INFO] [stdout] test lsp::diagnostics::functions::filter_tests::test_filter_accept_all ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_compute_quick_fixes_unused ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_diagnostic_code_description ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_diagnostic_code_as_str ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_edit_distance_delete ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_format_diagnostic_range_with_source ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_edit_distance_insert ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_edit_distance_equal ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_edit_distance_one_char ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_edit_distance_swap ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_edit_distance_empty ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_rich_diagnostic_related_info ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_severity_prefix ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_suggest_underscore_prefix ... ok
[INFO] [stdout] test lsp::diagnostics::functions::tests::test_format_diagnostic_error ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_dedup_tests::test_diagnostic_state_machine ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_dedup_tests::test_group_diagnostics_by_file ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_diagnostic_exporter_csv ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_diagnostic_exporter_json ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_dedup_tests::test_dedup_diagnostics ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_dedup_tests::test_diagnostic_group_counts ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_dedup_tests::test_prioritize_diagnostics ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_diagnostic_heatmap ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_diagnostic_annotator ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_diagnostic_exporter_plain ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_diagnostic_exporter_sarif ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_suppression_registry ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::query_tests::test_query_all ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::query_tests::test_query_keyword ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_diagnostic_trend ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::query_tests::test_query_errors ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_diagnostic_trend_decreasing ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_diagnostics_adv_version ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::query_tests::test_query_and_or ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::adv_extra_tests::test_summary_report ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::query_tests::test_query_not ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::rate_limiter_tests::test_rate_limiter_reset ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_adv_diagnostic_cache ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_adv_diagnostic_collector_lex_errors ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_adv_diagnostic_collector_style ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::rate_limiter_tests::test_rate_limiter_allows_first ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_adv_diagnostic_collector_trailing_whitespace ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::rate_limiter_tests::test_rate_limiter_blocks_second ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_adv_diagnostic_code_str ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_adv_diagnostic_to_json ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_diagnostic_summary ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_fix_kind_str ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_severity_config_suppress ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_severity_config_warnings_as_errors ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_completion_kind_variants ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_severity_config_default ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_completion_tactics ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_outline_find_symbol ... ok
[INFO] [stdout] test lsp::diagnostics_adv::functions::tests::test_severity_config_override ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_completion_keywords ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_outline_count_of_kind ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_completion_item_fields ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_signature_help_not_found ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_signature_info_fields ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_documentation_generator_tactic_doc ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_outline_symbol_fields ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_class_hover ... ok
[INFO] [stdout] test lsp::hover::functions::extended_tests::test_parameter_info_label ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_documentation_generator_decl_doc ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_deprecation_warning ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_documentation_generator_keyword_brief ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_deprecation_no_replacement ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_inductive_hover ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_doc_with_examples ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_see_also ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_doc_with_no_examples ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_see_also_empty ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_type_alternatives_empty ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_type_as_code_block ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_cache_insert_and_get ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_cache_invalidate ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_hex_literal ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_hex_literal_invalid ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_structure_hover ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_format_type_alternatives ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_binary_literal ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_cache_clear ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_history_clear ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_history_max_size ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_history_record_and_rate ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_octal_literal ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_operator_plus ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_operator_unknown ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_type_alias_nat ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_unicode_symbol_forall ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_hover_unicode_symbol_unknown ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_merge_hover_results_all_none ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_merge_hover_results_concatenate ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_merge_hover_results_first_wins ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_proof_goal_not_closed ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_truncate_hover_text_long ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_proof_goal_closed ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_proof_goal_format ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_proof_state_no_goals ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_proof_state_with_goals ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_merge_hover_results_longest_wins ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_namespace_hover_provider_count ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extended_tests::test_truncate_hover_text_short ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_definition_in_imports ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extra_tests::test_format_hover_identifier ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extra_tests::test_hover_helpers ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_definition_provider_not_found ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extra_tests::test_hover_section_type_sig ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extra_tests::test_rich_hover_content ... ok
[INFO] [stdout] test lsp::hover::functions::hover_extra_tests::test_truncate_hover ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_definition_provider_in_source ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_hover_literal_nat ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_format_declaration_hover ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_format_type_hover ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_hover_at_position_keyword ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_hover_keyword_def ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_hover_keyword_unknown ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_hover_literal_negative ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_hover_literal_not_number ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_hover_result_construction ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_reference_context_default ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_hover_tactic_intro ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_hover_tactic_unknown ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_infer_type_at_bool ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_reference_provider_find_refs ... ok
[INFO] [stdout] test lsp::hover_adv::functions::breadcrumb_tests::test_render_breadcrumbs ... ok
[INFO] [stdout] test lsp::hover_adv::functions::breadcrumb_tests::test_hover_adv_feature_count ... ok
[INFO] [stdout] test lsp::hover_adv::functions::breadcrumb_tests::test_hover_breadcrumb_plain ... ok
[INFO] [stdout] test lsp::hover_adv::functions::breadcrumb_tests::test_hover_breadcrumb_with_target ... ok
[INFO] [stdout] test lsp::hover_adv::functions::format_options_tests::test_hover_format_options_default ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_type_at_position_literal ... ok
[INFO] [stdout] test lsp::hover_adv::functions::format_options_tests::test_hover_format_options_minimal ... ok
[INFO] [stdout] test lsp::hover_adv::functions::format_options_tests::test_hover_format_options_verbose ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_adv_version ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_doc_cache ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_info_builder ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_markdown_renderer ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_markdown_renderer_no_source ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_range_extractor ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_range_extractor_not_on_ident ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_chain_tests::test_hover_chain ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_range_extractor_qualified ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_type_formatter ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_chain_tests::test_hover_adv_features ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_chain_tests::test_hover_context ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_chain_tests::test_render_at_precision ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_chain_tests::test_static_hover_provider ... ok
[INFO] [stdout] test lsp::hover::functions::tests::test_reference_provider_workspace ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_chain_tests::test_static_hover_provider_miss ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_adv_extra_tests::test_hover_stats ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_keyword_docs_get ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_hover_span_is_point ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_keyword_docs_is_keyword ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_tactic_doc_registry_get ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_hovered_kind_display ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_keyword_docs_len ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_hover_span_line_span ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_tactic_doc_to_markdown ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_unified_hover_provider_keyword ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_tactic_doc_registry_names ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_unified_hover_provider_tactic ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_tactic_doc_registry_len ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_unified_hover_invalidate ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_documentation_db ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_hover_cache ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_documentation_db_insert ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_unified_hover_provider_unknown_keyword ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_adv_hover_keyword ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_adv_hover_literal ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_structured_hover_to_hover ... ok
[INFO] [stdout] test lsp::hover_adv::functions::hover_extra_tests::test_structured_hover_with_span ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_hover_content_builder_goal_state ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_hover_section_ordering ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_hover_with_goals ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_latex_type_to_latex ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::bracket_cache_tests::test_bracket_matcher_nested ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::bracket_cache_tests::test_semantic_token_cache ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_hover_content_builder ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::builder_tests::test_builder_basic ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::bracket_cache_tests::test_bracket_matcher_unmatched ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_hover_content_builder_empty ... ok
[INFO] [stdout] test lsp::hover_adv::functions::tests::test_latex_hint_db ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::bracket_cache_tests::test_bracket_matcher ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::filter_stats_tests::test_token_filter_allow_all ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::filter_stats_tests::test_token_statistics ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::occurrence_tests::test_feature_count ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::builder_tests::test_builder_raw ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::filter_stats_tests::test_semantic_tokens_features ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::filter_stats_tests::test_token_filter_specific_types ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::occurrence_tests::test_find_no_occurrences ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::occurrence_tests::test_token_highlight_range ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::occurrence_tests::test_find_token_occurrences ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::semantic_extra_tests::test_semantic_tokens_version ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::semantic_extra_tests::test_encode_decode_roundtrip ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::semantic_extra_tests::test_accumulator_add_sort_encode ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::semantic_extra_tests::test_inlay_hint_parameter_name ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::semantic_extra_tests::test_inlay_hint_type_annotation ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::semantic_extra_tests::test_legend_modifier_mask ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::semantic_extra_tests::test_legend_type_index ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::semantic_extra_tests::test_token_colorizer ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_bracket_matching ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_bracket_pairs ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_compute_token_edits_no_change ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::semantic_extra_tests::test_token_colorizer_unknown ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_bracket_kind_chars ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_build_legend ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_compute_token_edits_append ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_inlay_hint_parameter ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_inlay_hint_type ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_semantic_tokens_delta ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_token_classifier ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_is_tactic_name ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_semantic_token_modifiers ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_token_modifier_bitmask ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_encoded_semantic_tokens ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_token_type_index ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_incremental_token_manager ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tests::test_token_type_names ... ok
[INFO] [stdout] test lsp::semantic_tokens::functions::tokenize_result_tests::test_tokenize_result_decode ... ok
[INFO] [stdout] test lsp::server::functions::health_tests::test_health_checker ... ok
[INFO] [stdout] test lsp::server::functions::server_extra_tests::test_server_module_version ... ok
[INFO] [stdout] test lsp::server::functions::server_extra_tests::test_supported_lsp_capabilities ... ok
[INFO] [stdout] test lsp::server::functions::server_extra_tests::test_server_metrics ... ok
[INFO] [stdout] test lsp::server::functions::server_negotiator_tests::test_capability_negotiator ... ok
[INFO] [stdout] test lsp::server::functions::server_negotiator_tests::test_capability_has ... ok
[INFO] [stdout] test lsp::server::functions::server_extra_tests::test_server_request_queue ... ok
[INFO] [stdout] test lsp::server::functions::server_extra_tests::test_text_document_edit_insert ... ok
[INFO] [stdout] test lsp::server::functions::server_extra_tests::test_server_workspace ... ok
[INFO] [stdout] test lsp::server::functions::server_extra_tests::test_text_document_edit_apply ... ok
[INFO] [stdout] test lsp::server::functions::server_negotiator_tests::test_connection_info_stdio ... ok
[INFO] [stdout] test lsp::server::functions::server_negotiator_tests::test_server_features ... ok
[INFO] [stdout] test lsp::server::functions::shutdown_tests::test_format_uptime ... ok
[INFO] [stdout] test lsp::server::functions::shutdown_tests::test_shutdown_handler ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_diagnostic_throttle ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_dispatch_uninitialized ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_lsp_session_notifications ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_message_batch ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_request_tracker ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_message_channel ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_parse_and_serialize_message ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_server_state_transitions ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_session_request_id ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_workspace_folder_json ... ok
[INFO] [stdout] test lsp::tests::test_analysis_cache ... ok
[INFO] [stdout] test lsp::tests::test_analysis_cache_clear ... ok
[INFO] [stdout] test lsp::tests::test_completion_item_to_json ... ok
[INFO] [stdout] test lsp::tests::test_completions_keywords ... ok
[INFO] [stdout] test lsp::tests::test_completions_prefix_filter ... ok
[INFO] [stdout] test lsp::tests::test_diagnostic_to_json ... ok
[INFO] [stdout] test lsp::tests::test_document_store_open_close ... ok
[INFO] [stdout] test lsp::tests::test_document_store_update ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_client_capabilities_empty ... ok
[INFO] [stdout] test lsp::tests::test_document_store_update_nonexistent ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_dependency_graph ... ok
[INFO] [stdout] test lsp::tests::test_document_symbol_json ... ok
[INFO] [stdout] test lsp::server::functions::tests::test_dependency_graph_remove ... ok
[INFO] [stdout] test lsp::tests::test_extract_definitions ... ok
[INFO] [stdout] test lsp::tests::test_extract_symbols ... ok
[INFO] [stdout] test lsp::tests::test_find_references ... ok
[INFO] [stdout] test lsp::tests::test_format_json_string_escape ... ok
[INFO] [stdout] test lsp::tests::test_format_trailing_whitespace ... ok
[INFO] [stdout] test lsp::tests::test_format_json_null ... ok
[INFO] [stdout] test lsp::tests::test_full_lsp_session ... ok
[INFO] [stdout] test lsp::tests::test_format_json_roundtrip ... ok
[INFO] [stdout] test lsp::tests::test_get_line ... ok
[INFO] [stdout] test lsp::tests::test_handle_message_unknown_method ... ok
[INFO] [stdout] test lsp::tests::test_handle_message_initialize ... ok
[INFO] [stdout] test lsp::tests::test_handle_did_open_and_completion ... ok
[INFO] [stdout] test lsp::tests::test_hover_in_document ... ok
[INFO] [stdout] test lsp::tests::test_hover_keyword ... ok
[INFO] [stdout] test lsp::tests::test_jsonrpc_error_roundtrip ... ok
[INFO] [stdout] test lsp::tests::test_jsonrpc_message_roundtrip ... ok
[INFO] [stdout] test lsp::tests::test_line_count ... ok
[INFO] [stdout] test lsp::tests::test_offset_to_position ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_bool ... ok
[INFO] [stdout] test lsp::tests::test_hover_unknown ... ok
[INFO] [stdout] test lsp::tests::test_initialize_result_json ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_array ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_empty_object ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_nested ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_number ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_null ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_empty_array ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_object ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_string ... ok
[INFO] [stdout] test lsp::tests::test_parse_json_string_escapes ... ok
[INFO] [stdout] test lsp::tests::test_position_to_offset ... ok
[INFO] [stdout] test lsp::tests::test_server_capabilities_json ... ok
[INFO] [stdout] test lsp::tests::test_server_initialize ... ok
[INFO] [stdout] test lsp::tests::test_server_shutdown ... ok
[INFO] [stdout] test lsp::tests::test_validate_empty_document ... ok
[INFO] [stdout] test lsp::widgets::functions::search_tests::test_widget_features ... ok
[INFO] [stdout] test lsp::tests::test_position_json_roundtrip ... ok
[INFO] [stdout] test lsp::tests::test_range_json_roundtrip ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_proof_goal_to_json ... ok
[INFO] [stdout] test lsp::tests::test_word_at_position ... ok
[INFO] [stdout] test lsp::tests::test_word_at_position_no_word ... ok
[INFO] [stdout] test lsp::tests::test_validate_valid_tokens ... ok
[INFO] [stdout] test lsp::widgets::functions::search_tests::test_widget_search_index ... ok
[INFO] [stdout] test lsp::widgets::functions::dispatcher_tests::test_widget_dispatcher ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_proof_tree_node_count ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_proof_tree_sorry_count ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_suggestion_category_str ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_widget_manager_clear ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_proof_progress ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_tactic_suggestor_conjunction ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_widget_id ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_tactic_suggestor_equality ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_widget_manager_create ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_widget_manager_remove ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_widget_manager_toggle_visibility ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_widget_manager_widgets_for_uri ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_ext_tests::test_focus_tracker ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_ext_tests::test_widget_history_push_undo_redo ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_ext_tests::test_widget_panel ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_handle_goal_viewer_event ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_proof_tree_node ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_tactic_suggestion_state ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_ext_tests::test_widget_perf_stats ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_widget_layout_toggle ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_goal_viewer_render ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_goal_viewer_state ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_supported_widget_kinds ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_widget_color_css ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_agda_data ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_agda_module ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_agda_rule_registry_has_rules ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_api_rewrite_apply ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_widget_theme_dark ... ok
[INFO] [stdout] test lsp::widgets::functions::widget_extra_tests::test_widgets_version ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_agda_record ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_api_rewrite_set ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_api_rewrite_set_describe ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_api_rewrite_with_message ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_api_rewrite_skips_comment ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_coq_lemma ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_coq_proof ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_coq_rule_registry_has_rules ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_apply_accepted_changes ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_compute_proposed_changes ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_coq_admitted ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_coq_definition ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_coq_qed ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_coq_tactics_dot ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_extended_migration_report ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_lean3_begin_end_begin ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_lean3_have_from ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_lean3_assume ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_lean3_begin_end_end ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_lean3_rule_registry_has_rules ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_lean3_hash_commands ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_migration_session_dry_run_report ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_lean3_show_from ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_migration_session_empty ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_proposed_change_display ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_rewrite_all_imports ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_rewrite_import_path_no_match ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_rewrite_namespaces ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_source_language_extensions ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_source_language_name ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_validation_message_at_line ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_validate_clean_source ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_validate_coq_syntax ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_validate_residual_fat_arrow ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_validation_result_fail ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_validation_result_pass ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_version_migration_chain_apply ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_version_display ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_version_migration_chain ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_version_migration_chain_empty ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_version_parse ... ok
[INFO] [stdout] test migrate::functions::migrate_extra_tests::test_migration_status_success ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_version_parse_invalid ... ok
[INFO] [stdout] test migrate::functions::migrate_extra_tests::test_migration_record ... ok
[INFO] [stdout] test migrate::functions::migrate_extra_tests::test_version_string ... ok
[INFO] [stdout] test migrate::functions::tests::test_apply_migration_rule ... ok
[INFO] [stdout] test migrate::functions::tests::test_fat_arrow_preserves_iff ... ok
[INFO] [stdout] test migrate::functions::tests::test_apply_all_rules ... ok
[INFO] [stdout] test migrate::functions::tests::test_migrate_source_end_to_end ... ok
[INFO] [stdout] test migrate::functions::tests::test_migration_config_builder ... ok
[INFO] [stdout] test migrate::functions::tests::test_migration_report ... ok
[INFO] [stdout] test migrate::functions::tests::test_migration_config_should_migrate ... ok
[INFO] [stdout] test migrate::functions::tests::test_migration_report_errors ... ok
[INFO] [stdout] test migrate::functions::tests::test_multiple_arrows_on_one_line ... ok
[INFO] [stdout] test migrate::functions::tests::test_rule_registry_ordering ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_migration_session_process ... ok
[INFO] [stdout] test migrate::functions::tests::test_rule_registry_remove ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_migration_snapshot ... ok
[INFO] [stdout] test migrate::functions::tests::test_rule_registry_builtins ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_cons_basic ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_cons_qualified_name ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_fat_arrow_basic ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_divides ... ok
[INFO] [stdout] test migrate::functions::expanded_tests::test_rewrite_import_path_match ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_fat_arrow_comment ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_append_basic ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_fat_arrow_in_string ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_fat_arrow_inline_comment ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_import_extension ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_mapsto ... ok
[INFO] [stdout] test progress::functions::progress_extra_tests::test_render_progress_bar ... ok
[INFO] [stdout] test progress::functions::progress_extra_tests::test_format_eta ... ok
[INFO] [stdout] test progress::functions::progress_extra_tests::test_batch_pending ... ok
[INFO] [stdout] test progress::functions::progress_log_tests::test_progress_log_rate ... ok
[INFO] [stdout] test migrate::functions::tests::test_transform_hash_commands ... ok
[INFO] [stdout] test progress::functions::progress_log_tests::test_elapsed_between ... ok
[INFO] [stdout] test progress::functions::progress_extra_tests::test_multi_progress_overall ... ok
[INFO] [stdout] test progress::functions::tests::batch_progress_is_done ... ok
[INFO] [stdout] test progress::functions::tests::batch_progress_counts ... ok
[INFO] [stdout] test progress::functions::tests::color_mode_always ... ok
[INFO] [stdout] test progress::functions::tests::eta_estimator_rate_after_record ... ok
[INFO] [stdout] test progress::functions::tests::color_mode_never ... ok
[INFO] [stdout] test progress::functions::tests::batch_progress_render ... ok
[INFO] [stdout] test progress::functions::tests::format_bytes_b ... ok
[INFO] [stdout] test progress::functions::tests::batch_progress_set_by_name ... ok
[INFO] [stdout] test progress::functions::tests::eta_estimator_no_rate_no_eta ... ok
[INFO] [stdout] test progress::functions::tests::eta_estimator_reset ... ok
[INFO] [stdout] test progress::functions::tests::format_bytes_kb ... ok
[INFO] [stdout] test progress::functions::tests::format_bytes_mb ... ok
[INFO] [stdout] test progress::functions::tests::format_count_millions ... ok
[INFO] [stdout] test progress::functions::tests::format_count_thousands ... ok
[INFO] [stdout] test progress::functions::tests::format_duration_mins ... ok
[INFO] [stdout] test progress::functions::tests::format_duration_hours ... ok
[INFO] [stdout] test progress::functions::tests::format_bytes_gb ... ok
[INFO] [stdout] test progress::functions::tests::format_duration_ms ... ok
[INFO] [stdout] test progress::functions::tests::format_count_small ... ok
[INFO] [stdout] test progress::functions::tests::format_rate_mega ... ok
[INFO] [stdout] test progress::functions::tests::format_rate_per_sec ... ok
[INFO] [stdout] test progress::functions::tests::multi_task_advance_by_name ... ok
[INFO] [stdout] test progress::functions::tests::multi_task_overall_pct ... ok
[INFO] [stdout] test progress::functions::tests::phase_timeline_begin_end ... ok
[INFO] [stdout] test progress::functions::tests::phase_timeline_render ... ok
[INFO] [stdout] test progress::functions::tests::phase_transition_format ... ok
[INFO] [stdout] test progress::functions::tests::format_duration_secs ... ok
[INFO] [stdout] test progress::functions::tests::format_rate_kilo ... ok
[INFO] [stdout] test progress::functions::tests::phase_transition_with_note ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_advance ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_increment ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_no_overflow ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_percentage ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_render_format ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_reset ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_set_current ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_new ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_is_complete ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_set_label ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_zero_total ... ok
[INFO] [stdout] test progress::functions::tests::progress_log_clear ... ok
[INFO] [stdout] test progress::functions::tests::progress_log_format ... ok
[INFO] [stdout] test progress::functions::tests::progress_log_level_filter ... ok
[INFO] [stdout] test progress::functions::tests::progress_bar_with_chars ... ok
[INFO] [stdout] test progress::functions::tests::progress_log_phase_entries ... ok
[INFO] [stdout] test progress::functions::tests::progress_log_basic ... ok
[INFO] [stdout] test progress::functions::tests::progress_node_complete ... ok
[INFO] [stdout] test progress::functions::tests::progress_node_fail ... ok
[INFO] [stdout] test progress::functions::tests::progress_node_group_with_children ... ok
[INFO] [stdout] test progress::functions::tests::progress_node_leaf ... ok
[INFO] [stdout] test progress::functions::tests::progress_reporter_advance_by ... ok
[INFO] [stdout] test progress::functions::tests::progress_node_render_tree ... ok
[INFO] [stdout] test progress::functions::tests::progress_reporter_json ... ok
[INFO] [stdout] test progress::functions::tests::progress_reporter_current_phase_name ... ok
[INFO] [stdout] test progress::functions::tests::progress_reporter_start_and_advance ... ok
[INFO] [stdout] test progress::functions::tests::progress_reporter_overall_percentage ... ok
[INFO] [stdout] test progress::functions::tests::multi_task_json ... ok
[INFO] [stdout] test progress::functions::tests::progress_reporter_summary ... ok
[INFO] [stdout] test progress::functions::tests::multi_task_basic ... ok
[INFO] [stdout] test progress::functions::tests::render_bar_empty ... ok
[INFO] [stdout] test progress::functions::tests::render_bar_full ... ok
[INFO] [stdout] test progress::functions::tests::progress_to_json_basic ... ok
[INFO] [stdout] test progress::functions::tests::progress_reporter_transitions ... ok
[INFO] [stdout] test progress::functions::tests::render_bar_zero_total ... ok
[INFO] [stdout] test progress::functions::tests::render_bar_half ... ok
[INFO] [stdout] test progress::functions::tests::spinner_frame_wraps ... ok
[INFO] [stdout] test progress::functions::tests::spinner_render_contains_label ... ok
[INFO] [stdout] test progress::functions::tests::spinner_set_label ... ok
[INFO] [stdout] test progress::functions::tests::step_progress_basic ... ok
[INFO] [stdout] test progress::functions::tests::step_progress_render ... ok
[INFO] [stdout] test progress::functions::tests::terminal_width_fallback ... ok
[INFO] [stdout] test progress::functions::tests::reporter_to_json_basic ... ok
[INFO] [stdout] test progress::functions::tests::step_progress_skip ... ok
[INFO] [stdout] test progress::functions::tests::spinner_all_styles ... ok
[INFO] [stdout] test progress::functions::tests::spinner_tick_changes_frame ... ok
[INFO] [stdout] test progress::functions::tests::step_progress_fail ... ok
[INFO] [stdout] test progress::functions::tests::terminal_width_from_env ... ok
[INFO] [stdout] test progress::functions::tests::throughput_empty ... ok
[INFO] [stdout] test project::functions::tests::test_build_cache_insert ... ok
[INFO] [stdout] test project::functions::tests::test_build_cache_invalidate ... ok
[INFO] [stdout] test project::functions::tests::test_build_cache_is_valid ... ok
[INFO] [stdout] test project::functions::tests::test_build_cache_new ... ok
[INFO] [stdout] test progress::functions::tests::throughput_reset ... ok
[INFO] [stdout] test project::functions::tests::test_build_cache_clear ... ok
[INFO] [stdout] test project::functions::tests::test_build_plan_all_stale ... ok
[INFO] [stdout] test project::functions::tests::test_build_module_graph_from_info ... ok
[INFO] [stdout] test project::functions::tests::test_build_plan_cached ... ok
[INFO] [stdout] test project::functions::tests::test_build_plan_propagation ... ok
[INFO] [stdout] test project::functions::tests::test_build_plan_none_stale ... ok
[INFO] [stdout] test project::functions::tests::test_build_report_is_success ... ok
[INFO] [stdout] test project::functions::tests::test_build_report_summary ... ok
[INFO] [stdout] test project::functions::tests::test_build_plan_mixed_staleness ... ok
[INFO] [stdout] test project::functions::tests::test_build_project ... ok
[INFO] [stdout] test project::functions::tests::test_build_report_is_failure ... ok
[INFO] [stdout] test project::functions::tests::test_build_report_zero_elapsed ... ok
[INFO] [stdout] test project::functions::tests::test_config_empty_sources ... ok
[INFO] [stdout] test project::functions::tests::test_build_stages_detects_cycle ... ok
[INFO] [stdout] test project::functions::tests::test_build_stages_from_simple_graph ... ok
[INFO] [stdout] test project::functions::tests::test_build_stages_max_parallelism ... ok
[INFO] [stdout] test project::functions::tests::test_compare_versions ... ok
[INFO] [stdout] test project::functions::tests::test_config_custom_output_dir ... ok
[INFO] [stdout] test project::functions::tests::test_config_multiple_source_dirs ... ok
[INFO] [stdout] test project::functions::tests::test_config_save_minimal ... ok
[INFO] [stdout] test project::functions::tests::test_config_save_with_extras ... ok
[INFO] [stdout] test project::functions::tests::test_config_serialization_preserves_structure ... ok
[INFO] [stdout] test project::functions::tests::test_create_build_plan ... ok
[INFO] [stdout] test project::functions::tests::test_cycles_multiple_components ... ok
[INFO] [stdout] test project::functions::tests::test_default_for ... ok
[INFO] [stdout] test project::functions::tests::test_cycles_three_node ... ok
[INFO] [stdout] test project::functions::tests::test_dependency_source_display_git_no_rev ... ok
[INFO] [stdout] test project::functions::tests::test_dependency_constructors ... ok
[INFO] [stdout] test project::functions::tests::test_dependency_source_display_git_with_rev ... ok
[INFO] [stdout] test project::functions::tests::test_dependency_display ... ok
[INFO] [stdout] test project::functions::tests::test_dependency_solver_new ... ok
[INFO] [stdout] test project::functions::tests::test_dependency_solver_resolve_git ... ok
[INFO] [stdout] test project::functions::tests::test_dependency_solver_resolve_path ... ok
[INFO] [stdout] test project::functions::tests::test_error_version_not_found_display ... ok
[INFO] [stdout] test project::functions::tests::test_discovery_options_default ... ok
[INFO] [stdout] test project::functions::tests::test_discovery_options_exclude_dirs ... ok
[INFO] [stdout] test project::functions::tests::test_error_cyclic_dependency_display ... ok
[INFO] [stdout] test project::functions::tests::test_execute_build_step ... ok
[INFO] [stdout] test project::functions::tests::test_error_dependency_not_found_display ... ok
[INFO] [stdout] test project::functions::tests::test_extract_imports_basic ... ok
[INFO] [stdout] test project::functions::tests::test_graph_add_edge ... ok
[INFO] [stdout] test project::functions::tests::test_fetch_dependency ... ok
[INFO] [stdout] test project::functions::tests::test_graph_add_node ... ok
[INFO] [stdout] test project::functions::tests::test_find_cycles_two_node ... ok
[INFO] [stdout] test project::functions::tests::test_graph_deterministic_output ... ok
[INFO] [stdout] test project::functions::tests::test_find_cycles_none ... ok
[INFO] [stdout] test project::functions::tests::test_find_cycles_self_loop ... ok
[INFO] [stdout] test project::functions::tests::test_load_path_dependency ... ok
[INFO] [stdout] test project::functions::tests::test_graph_empty ... ok
[INFO] [stdout] test project::functions::tests::test_lockfile_deserialize_empty ... ok
[INFO] [stdout] test project::functions::tests::test_load_basic ... ok
[INFO] [stdout] test project::functions::tests::test_load_dependencies ... ok
[INFO] [stdout] test project::functions::tests::test_lockfile_from_resolved ... ok
[INFO] [stdout] test project::functions::tests::test_lockfile_is_locked ... ok
[INFO] [stdout] test project::functions::tests::test_module_info_creation ... ok
[INFO] [stdout] test project::functions::tests::test_package_entry_versions_order ... ok
[INFO] [stdout] test project::functions::tests::test_lockfile_roundtrip ... ok
[INFO] [stdout] test project::functions::tests::test_lockfile_with_checksums ... ok
[INFO] [stdout] test project::functions::tests::test_module_graph_independence ... ok
[INFO] [stdout] test project::functions::tests::test_package_registry ... ok
[INFO] [stdout] test project::functions::tests::test_package_registry_find_nonexistent ... ok
[INFO] [stdout] test project::functions::tests::test_parse_error_bad_line ... ok
[INFO] [stdout] test project::functions::tests::test_project_error_display ... ok
[INFO] [stdout] test project::functions::tests::test_project_init_options_defaults ... ok
[INFO] [stdout] test project::functions::tests::test_resolve_missing_dep ... ok
[INFO] [stdout] test project::functions::tests::test_parse_error_unknown_section ... ok
[INFO] [stdout] test project::functions::tests::test_parse_string_array ... ok
[INFO] [stdout] test project::functions::tests::test_parse_string_array_empty ... ok
[INFO] [stdout] test project::functions::tests::test_project_init_options_new ... ok
[INFO] [stdout] test project::functions::tests::test_resolve_dependencies_empty ... ok
[INFO] [stdout] test project::functions::tests::test_resolve_git_dep ... ok
[INFO] [stdout] test project::functions::tests::test_resolve_multiple_deps ... ok
[INFO] [stdout] test project::functions::tests::test_save_roundtrip ... ok
[INFO] [stdout] test project::functions::tests::test_resolve_path_dep ... ok
[INFO] [stdout] test project::functions::tests::test_semver_validation ... ok
[INFO] [stdout] test project::functions::tests::test_resolve_registry_dep ... ok
[INFO] [stdout] test project::functions::tests::test_topological_sort_basic ... ok
[INFO] [stdout] test project::functions::tests::test_topological_sort_complex ... ok
[INFO] [stdout] test project::functions::tests::test_topological_sort_disjoint ... ok
[INFO] [stdout] test project::functions::tests::test_topological_sort_empty ... ok
[INFO] [stdout] test project::functions::tests::test_transitive_deps_complex ... ok
[INFO] [stdout] test project::functions::tests::test_validate_duplicate_deps ... ok
[INFO] [stdout] test project::functions::tests::test_topological_sort_cycle_error ... ok
[INFO] [stdout] test project::functions::tests::test_unquote ... ok
[INFO] [stdout] test project::functions::tests::test_transitive_deps ... ok
[INFO] [stdout] test project::functions::tests::test_topological_sort_single ... ok
[INFO] [stdout] test project::functions::tests::test_validate_bad_version ... ok
[INFO] [stdout] test project::functions::tests::test_validate_empty_name ... ok
[INFO] [stdout] test project::functions::tests::test_validate_no_source_dirs ... ok
[INFO] [stdout] test project::functions::tests::test_validate_project_ok ... ok
[INFO] [stdout] test project::functions::tests::test_version_constraint_any ... ok
[INFO] [stdout] test project::functions::tests::test_validate_project_cycle ... ok
[INFO] [stdout] test project::functions::tests::test_version_constraint_at_least ... ok
[INFO] [stdout] test project::functions::tests::test_version_constraint_parse_compatible ... ok
[INFO] [stdout] test project::functions::tests::test_version_constraint_parse_exact ... ok
[INFO] [stdout] test project::functions::tests::test_version_constraint_exact ... ok
[INFO] [stdout] test project::functions::tests::test_version_not_found ... ok
[INFO] [stdout] test project::functions::tests::test_version_constraint_parse_any ... ok
[INFO] [stdout] test project::functions::tests::test_version_constraint_parse_at_least ... ok
[INFO] [stdout] test project::functions::tests::test_version_matches ... ok
[INFO] [stdout] test project::functions::tests::test_version_constraint_compatible ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_proof_progress_empty ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_proof_progress_record ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_proof_progress_snapshots ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_proof_session_steps ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_proof_session_to_record ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_annotation_kind_display ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_proof_annotation_display ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_proof_progress_not_complete ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_annotated_trace_basic ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_complexity_metrics_no_sorry ... ok
[INFO] [stdout] test proof::functions::proof_attempt_tests::test_attempt_log ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_trace_to_lean4 ... ok
[INFO] [stdout] test proof::functions::proof_attempt_tests::test_proof_status_terminal ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_complexity_metrics_with_sorry ... ok
[INFO] [stdout] test proof::functions::new_proof_tests::test_trace_to_text ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_proof_search_impossible ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_export_coq ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_export_isabelle_empty ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_proof_search_simple ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_search_state_apply_tactic ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_suggest_no_goals ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_suggest_after_intro ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_annotated_proof_markdown ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_compress_proof_steps ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_dep_graph_independent ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_validate_proof_with_sorry ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_format_proof_as_table ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_format_proof_as_tactic_block ... ok
[INFO] [stdout] test proof::functions::proof_extended2_tests::test_validate_unclosed_goals ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_format_proof_as_json ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_annotations_for_step ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_goal_history_trend ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_merge_traces ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_replay_fails_on_bad_step ... ok
[INFO] [stdout] test proof::functions::proof_extended_tests::test_replay_succeeded ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_classify_equality ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_classify_implication ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_classify_conjunction ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_heuristic_for_equality ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_proof_session_apply_and_complete ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_classify_negation ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_classify_existential ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_heuristic_for_implication ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_heuristic_for_existential ... ok
[INFO] [stdout] test lsp::widgets::functions::tests::test_widget_kind_str ... ok
[INFO] [stdout] test proof::functions::proof_hint_tests::test_generate_hints_and ... ok
[INFO] [stdout] test proof::functions::proof_hint_tests::test_hint_display ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_proof_session_summary_contains_name ... ok
[INFO] [stdout] test proof::functions::tests::test_batch_checker_empty ... ok
[INFO] [stdout] test proof::functions::tests::test_checker_declaration_count ... ok
[INFO] [stdout] test proof::functions::proof_hint_tests::test_generate_hints_forall ... ok
[INFO] [stdout] test proof::functions::tests::test_check_proof_not_found ... ok
[INFO] [stdout] test proof::functions::proof_heuristic_and_session_tests::test_classify_universal ... ok
[INFO] [stdout] test proof::functions::tests::test_checker_is_declared ... ok
[INFO] [stdout] test proof::functions::tests::test_export_format_from_extension ... ok
[INFO] [stdout] test proof::functions::tests::test_export_json ... ok
[INFO] [stdout] test proof::functions::tests::test_export_lean4 ... ok
[INFO] [stdout] test proof::functions::tests::test_format_proof_record_no_color ... ok
[INFO] [stdout] test proof::functions::tests::test_export_text ... ok
[INFO] [stdout] test proof::functions::tests::test_format_proof_record_with_color ... ok
[INFO] [stdout] test proof::functions::tests::test_create_checker ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_record_with_detail ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_options_defaults ... ok
[INFO] [stdout] test proof::functions::tests::test_display_goal_format ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_options_strict ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_record_transitions ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_status_display ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_status_predicates ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_summary_all_verified ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_summary_counts ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_summary_failed_names ... ok
[INFO] [stdout] test proof::functions::tests::test_verify_all_empty ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_trace_incomplete ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_step ... ok
[INFO] [stdout] test repl::functions::tests::test_common_prefix ... ok
[INFO] [stdout] test proof::functions::tests::test_proof_trace_complete ... ok
[INFO] [stdout] test repl::functions::tests::test_common_prefix_empty ... ok
[INFO] [stdout] test repl::functions::tests::test_common_prefix_single ... ok
[INFO] [stdout] test repl::functions::tests::test_complete_command_prefix ... ok
[INFO] [stdout] test repl::functions::tests::test_complete_combined ... ok
[INFO] [stdout] test repl::functions::tests::test_complete_keyword ... ok
[INFO] [stdout] test repl::functions::tests::test_complete_keyword_no_match ... ok
[INFO] [stdout] test repl::functions::tests::test_complete_command ... ok
[INFO] [stdout] test repl::functions::tests::test_complete_tactic ... ok
[INFO] [stdout] test repl::functions::tests::test_complete_name_from_env ... ok
[INFO] [stdout] test repl::functions::tests::test_completer_get_help ... ok
[INFO] [stdout] test repl::functions::tests::test_completer_new ... ok
[INFO] [stdout] test repl::functions::tests::test_completer_get_help_command ... ok
[INFO] [stdout] test repl::functions::tests::test_completer_get_help_unknown ... ok
[INFO] [stdout] test repl::functions::tests::test_error_recovery_record_success ... ok
[INFO] [stdout] test repl::functions::tests::test_error_recovery_new ... ok
[INFO] [stdout] test repl::functions::tests::test_highlight_keyword_with_color ... ok
[INFO] [stdout] test repl::functions::tests::test_error_recovery_reset ... ok
[INFO] [stdout] test repl::functions::tests::test_complete_with_proof_context ... ok
[INFO] [stdout] test repl::functions::tests::test_error_recovery_record_error ... ok
[INFO] [stdout] test repl::functions::tests::test_highlight_error ... ok
[INFO] [stdout] test repl::functions::tests::test_highlight_success ... ok
[INFO] [stdout] test repl::functions::tests::test_history_add_entry ... ok
[INFO] [stdout] test repl::functions::tests::test_history_clear ... ok
[INFO] [stdout] test repl::functions::tests::test_highlight_keyword_no_color ... ok
[INFO] [stdout] test repl::functions::tests::test_history_dedup_consecutive ... ok
[INFO] [stdout] test repl::functions::tests::test_history_next_no_nav ... ok
[INFO] [stdout] test repl::functions::tests::test_history_no_dedup_nonconsecutive ... ok
[INFO] [stdout] test repl::functions::tests::test_history_empty_not_added ... ok
[INFO] [stdout] test repl::functions::tests::test_history_max_size ... ok
[INFO] [stdout] test repl::functions::tests::test_history_new ... ok
[INFO] [stdout] test repl::functions::tests::test_history_next ... ok
[INFO] [stdout] test repl::functions::tests::test_history_previous ... ok
[INFO] [stdout] test repl::functions::tests::test_history_previous_empty ... ok
[INFO] [stdout] test repl::functions::tests::test_history_search ... ok
[INFO] [stdout] test repl::functions::tests::test_history_search_case_insensitive ... ok
[INFO] [stdout] test proof::functions::tests::test_export_markdown ... ok
[INFO] [stdout] test repl::functions::tests::test_history_search_reverse ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_by_continuation ... ok
[INFO] [stdout] test repl::functions::tests::test_history_search_reverse_no_match ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_comment_ignored ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_complete_simple ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_multiline_join ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_new ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_open_brace ... ok
[INFO] [stdout] test repl::functions::tests::test_history_reset_position ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_open_bracket ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_begin_end ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_empty_is_complete ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_reset ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_trailing_backslash ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_open_paren ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_unclosed_string ... ok
[INFO] [stdout] test repl::functions::tests::test_input_buffer_where_continuation ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_bool_invalid ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_all_new_variants ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_axioms ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_clear ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_bool_true ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_env ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_browse ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_bool_false ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_help ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_history_search ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_check ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_info ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_print ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_load ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_save ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_missing_args ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_time ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_load_session ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_set ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_quit ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_search ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_type ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_reload ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_trace ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_undo ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_type_multi_word ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_default ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_unknown ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_mode_eq ... ok
[INFO] [stdout] test repl::functions::tests::test_parse_command_unset ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_get_option ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_pop_undo_empty ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_new ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_push_pop_undo ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_new_with_all_fields ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_options_default ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_new ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_unset_option ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_set_custom_option ... ok
[INFO] [stdout] test repl::functions::tests::test_session_snapshot_creation ... ok
[INFO] [stdout] test repl::functions::tests::test_syntax_highlighter_new ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_reset ... ok
[INFO] [stdout] test repl::functions::tests::test_session_metadata_creation ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_set_option ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_set_option_invalid ... ok
[INFO] [stdout] test repl::functions::tests::test_undo_entry ... ok
[INFO] [stdout] test watcher::functions::snapshot_tests::test_watcher_feature_count ... ok
[INFO] [stdout] test watcher::functions::snapshot_tests::test_watcher_snapshot_empty_dir ... ok
[INFO] [stdout] test repl::functions::tests::test_repl_state_set_option_width ... ok
[INFO] [stdout] test watcher::functions::tests::test_change_tracker_clear ... ok
[INFO] [stdout] test watcher::functions::tests::test_change_tracker_empty ... ok
[INFO] [stdout] test watcher::functions::tests::test_file_monitor_add_remove ... ok
[INFO] [stdout] test watcher::functions::tests::test_change_tracker_recent ... ok
[INFO] [stdout] test watcher::functions::tests::test_change_tracker_record ... ok
[INFO] [stdout] test watcher::functions::tests::test_debounce_coalesces ... ok
[INFO] [stdout] test watcher::functions::tests::test_detect_changes_empty ... ok
[INFO] [stdout] test watcher::functions::tests::test_format_change_summary_empty ... ok
[INFO] [stdout] test watcher::functions::tests::test_format_change_summary_mixed ... ok
[INFO] [stdout] test watcher::functions::tests::test_should_process_event_ignore ... ok
[INFO] [stdout] test watcher::functions::tests::test_should_process_event_extension ... ok
[INFO] [stdout] test watcher::functions::tests::test_should_process_hidden ... ok
[INFO] [stdout] test watcher::functions::tests::test_watch_event_display ... ok
[INFO] [stdout] test watcher::functions::tests::test_watch_event_extension ... ok
[INFO] [stdout] test watcher::functions::tests::test_watch_event_kind_display ... ok
[INFO] [stdout] test watcher::functions::tests::test_watch_handle ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_describe_action ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_format_watch_config ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_monitor_stats_avg_zero_cycles ... ok
[INFO] [stdout] test watcher::functions::tests::test_watch_event_new ... ok
[INFO] [stdout] test watcher::functions::tests::test_file_monitor_clear ... ok
[INFO] [stdout] test watcher::functions::tests::test_file_monitor_new ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_monitor_stats_debounce_ratio ... ok
[INFO] [stdout] test watcher::functions::tests::test_should_process_event_accept_all ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_monitor_stats_record ... ok
[INFO] [stdout] test watcher::functions::tests::test_watch_action_display ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_watch_event_log_append ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_watch_event_log_by_kind ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_watch_event_log_descriptions ... ok
[INFO] [stdout] test watcher::functions::watcher_extra_tests::test_counting_subscriber ... ok
[INFO] [stdout] test watcher::functions::watcher_extra_tests::test_directory_exclude_filter ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_path_matches_pattern_ext ... ok
[INFO] [stdout] test watcher::functions::watcher_extra_tests::test_watcher_config_should_exclude ... ok
[INFO] [stdout] test watcher::functions::watcher_extra_tests::test_extension_filter ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_path_matches_pattern_literal ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_watch_event_log_capacity ... ok
[INFO] [stdout] test watcher::functions::watcher_extended_tests::test_watch_event_log_clear ... ok
[INFO] [stdout] test watcher::functions::watcher_extra_tests::test_event_batcher ... ok
[INFO] [stdout] test watcher::functions::watcher_extra_tests::test_watcher_module_version ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_build_request_queue_supersedes ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_event_debouncer_deduplicates ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_format_watch_status_silent ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_format_watching_banner_small ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_hash_cache_clear ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_hash_cache_empty ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_hot_reload_failure ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_hot_reload_lifecycle ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_hot_reload_state_display ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_pattern_set_exclude ... ok
[INFO] [stdout] test watcher::functions::watcher_extra_tests::test_watcher_statistics ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_rebuild_trigger_full_rebuild ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_event_debouncer_flush ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_pattern_set_include_only ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_format_watch_status_compact ... ok
[INFO] [stdout] test watcher::functions::watcher_extra_tests::test_watcher_config_should_include ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_select_backend_valid ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_watch_backend_display ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_watch_spinner_ticks ... ok
[INFO] [stdout] test watcher::functions::watcher_registry_tests::test_watcher_features ... ok
[INFO] [stdout] test watcher::functions::watcher_registry_tests::test_watcher_registry ... ok
[INFO] [stdout] test watcher::functions::watcher_registry_tests::test_watcher_log ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_rebuild_trigger_recheck ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_reconnect_policy_exponential ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_watch_config_builder ... ok
[INFO] [stdout] test watcher::functions::watcher_new_tests::test_watch_error_display ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1903 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.18s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "96a13d6c177e8b481c8c65470b1c129084b9e054f05593e92c76d562b062d4fe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "96a13d6c177e8b481c8c65470b1c129084b9e054f05593e92c76d562b062d4fe", kill_on_drop: false }`
[INFO] [stdout] 96a13d6c177e8b481c8c65470b1c129084b9e054f05593e92c76d562b062d4fe
