[INFO] fetching crate oxilean-parse 0.1.1...
[INFO] testing oxilean-parse-0.1.1 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate oxilean-parse 0.1.1 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate oxilean-parse 0.1.1
[INFO] finished tweaking crates.io crate oxilean-parse 0.1.1
[INFO] tweaked toml for crates.io crate oxilean-parse 0.1.1 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxilean-parse 0.1.1 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxilean-parse 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" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e7eedf54a08ede4f341c45e74b06c975b7b7bdf2e89ea193584da813c2b2b2aa
[INFO] running `Command { std: "docker" "start" "-a" "e7eedf54a08ede4f341c45e74b06c975b7b7bdf2e89ea193584da813c2b2b2aa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e7eedf54a08ede4f341c45e74b06c975b7b7bdf2e89ea193584da813c2b2b2aa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e7eedf54a08ede4f341c45e74b06c975b7b7bdf2e89ea193584da813c2b2b2aa", kill_on_drop: false }`
[INFO] [stdout] e7eedf54a08ede4f341c45e74b06c975b7b7bdf2e89ea193584da813c2b2b2aa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ca5659f5692b87d5dfb2216455f998b9d00141cf97b2d36f1bef175ba74a24ba
[INFO] running `Command { std: "docker" "start" "-a" "ca5659f5692b87d5dfb2216455f998b9d00141cf97b2d36f1bef175ba74a24ba", kill_on_drop: false }`
[INFO] [stderr]    Compiling oxilean-kernel v0.1.1
[INFO] [stderr]    Compiling oxilean-parse v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 35.21s
[INFO] running `Command { std: "docker" "inspect" "ca5659f5692b87d5dfb2216455f998b9d00141cf97b2d36f1bef175ba74a24ba", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ca5659f5692b87d5dfb2216455f998b9d00141cf97b2d36f1bef175ba74a24ba", kill_on_drop: false }`
[INFO] [stdout] ca5659f5692b87d5dfb2216455f998b9d00141cf97b2d36f1bef175ba74a24ba
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c7ad213b8ac5ae755289bfca0269ea025ab80a8bd39ba6ce67f36a49e51f8b3f
[INFO] running `Command { std: "docker" "start" "-a" "c7ad213b8ac5ae755289bfca0269ea025ab80a8bd39ba6ce67f36a49e51f8b3f", kill_on_drop: false }`
[INFO] [stderr]    Compiling oxilean-parse v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 25.48s
[INFO] running `Command { std: "docker" "inspect" "c7ad213b8ac5ae755289bfca0269ea025ab80a8bd39ba6ce67f36a49e51f8b3f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c7ad213b8ac5ae755289bfca0269ea025ab80a8bd39ba6ce67f36a49e51f8b3f", kill_on_drop: false }`
[INFO] [stdout] c7ad213b8ac5ae755289bfca0269ea025ab80a8bd39ba6ce67f36a49e51f8b3f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 9db1a0d93243d9895b99fa3f87a7ae923c2fb1ed42634aa4fcbd4468151b448d
[INFO] running `Command { std: "docker" "start" "-a" "9db1a0d93243d9895b99fa3f87a7ae923c2fb1ed42634aa4fcbd4468151b448d", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxilean_parse-246c8384e1f2b996)
[INFO] [stdout] 
[INFO] [stdout] running 2153 tests
[INFO] [stdout] test ast::functions::ast_ext3_tests::test_decl_header_ext ... ok
[INFO] [stdout] test ast::functions::ast_ext_tests::test_counting_visitor ... ok
[INFO] [stdout] test ast::functions::ast_ext3_tests::test_binder_ext_format ... ok
[INFO] [stdout] test ast::functions::ast_ext3_tests::test_telescope ... ok
[INFO] [stdout] test ast::functions::ast_ext2_tests::test_complexity_metric ... ok
[INFO] [stdout] test ast::functions::ast_ext_tests::test_subst_table ... ok
[INFO] [stdout] test ast::functions::ast_ext_tests::test_collect_free_vars ... ok
[INFO] [stdout] test ast::functions::ast_ext_tests::test_flat_ast ... ok
[INFO] [stdout] test ast::functions::ast_ext_tests::test_tree_fingerprint_stable ... ok
[INFO] [stdout] test ast::functions::ast_ext_tests::test_tree_node_depth ... ok
[INFO] [stdout] test ast::functions::ast_ext_tests::test_tree_node_size ... ok
[INFO] [stdout] test ast::functions::ast_final_tests::test_let_binding_ext ... ok
[INFO] [stdout] test ast::functions::ast_pad2::test_let_binding_ext ... ok
[INFO] [stdout] test ast::functions::ast_pad2::test_binder_ext ... ok
[INFO] [stdout] test ast::functions::ast_pad2::test_telescope ... ok
[INFO] [stdout] test ast::functions::ast_final_tests::test_match_expr_ext ... ok
[INFO] [stdout] test ast::functions::ast_pad::test_struct_field ... ok
[INFO] [stdout] test ast::functions::ast_pad3::test_match_expr_ext ... ok
[INFO] [stdout] test ast::functions::ast_pad::test_type_synonym ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_ast_node_kind_display_def ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_ast_node_kind_display_var ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_attr_arg_list ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_operator_table_empty_lookup ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_operator_table_infix_entries ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_operator_table_len ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_notation_entry_display ... ok
[INFO] [stdout] test ast::functions::ast_ext_tests::test_with_pos ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_prec_min ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_ast_metadata_with_span ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_scope_decl_open_display ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_ast_metadata_default ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_ast_metadata_tags ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_macro_expansion_name ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_macro_expansion_record ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_operator_table_register_and_lookup ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_namespace_stack_push_pop ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_namespace_stack_qualify ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_parse_error_fmt ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_parse_error_display ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_span_dummy ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_span_display ... ok
[INFO] [stdout] test ast::functions::tests::test_attr_arg_display_str ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_token_kind_tag_display ... ok
[INFO] [stdout] test ast::functions::new_type_tests::test_span_union ... ok
[INFO] [stdout] test ast::functions::tests::test_attr_arg_list_display ... ok
[INFO] [stdout] test ast::functions::tests::test_attr_arg_num ... ok
[INFO] [stdout] test ast::functions::tests::test_byte_range_contains ... ok
[INFO] [stdout] test ast::functions::tests::test_attr_arg_ident ... ok
[INFO] [stdout] test ast::functions::tests::test_byte_range_display ... ok
[INFO] [stdout] test ast::functions::tests::test_byte_range_len ... ok
[INFO] [stdout] test ast::functions::tests::test_byte_range_empty ... ok
[INFO] [stdout] test ast::functions::tests::test_byte_range_slice ... ok
[INFO] [stdout] test ast::functions::tests::test_byte_range_union ... ok
[INFO] [stdout] test ast::functions::tests::test_doc_comment_display ... ok
[INFO] [stdout] test ast::functions::tests::test_doc_comment_is_empty ... ok
[INFO] [stdout] test ast::functions::tests::test_doc_comment_first_line ... ok
[INFO] [stdout] test ast::functions::tests::test_fixity_display ... ok
[INFO] [stdout] test ast::functions::tests::test_doc_comment_module_doc ... ok
[INFO] [stdout] test ast::functions::tests::test_import_decl_display ... ok
[INFO] [stdout] test ast::functions::tests::test_import_decl_dotted_path ... ok
[INFO] [stdout] test ast::functions::tests::test_import_decl_is_root ... ok
[INFO] [stdout] test ast::functions::tests::test_notation_entry_deprecated ... ok
[INFO] [stdout] test ast::functions::tests::test_pos_is_before ... ok
[INFO] [stdout] test ast::functions::tests::test_pos_next_col ... ok
[INFO] [stdout] test ast::functions::tests::test_pos_next_line ... ok
[INFO] [stdout] test ast::functions::tests::test_notation_entry_is_infix ... ok
[INFO] [stdout] test ast::functions::tests::test_pos_display ... ok
[INFO] [stdout] test ast::functions::tests::test_pos_start ... ok
[INFO] [stdout] test ast::functions::tests::test_prec_ordering ... ok
[INFO] [stdout] test ast::functions::tests::test_prec_tighter ... ok
[INFO] [stdout] test ast::functions::tests::test_scope_decl_closes_scope ... ok
[INFO] [stdout] test ast::functions::tests::test_scope_decl_name ... ok
[INFO] [stdout] test ast::functions::tests::test_scope_decl_opens_scope ... ok
[INFO] [stdout] test ast::functions::tests::test_surface_ident_anonymous ... ok
[INFO] [stdout] test ast::functions::tests::test_surface_ident_qualified ... ok
[INFO] [stdout] test ast::functions::tests::test_scope_decl_display ... ok
[INFO] [stdout] test ast::functions::tests::test_surface_ident_display ... ok
[INFO] [stdout] test ast::functions::tests::test_surface_ident_synthetic ... ok
[INFO] [stdout] test ast::functions::tests::test_surface_ident_split_last ... ok
[INFO] [stdout] test ast::functions::tests::test_visibility_default_is_public ... ok
[INFO] [stdout] test ast::functions::tests::test_visibility_private_is_restricted ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext2_tests::test_rename_transform_ext ... ok
[INFO] [stdout] test ast::functions::tests::test_visibility_display ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext2_tests::test_tree_stats ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext2_tests::test_transform_memo ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext2_tests::test_shape_fingerprint ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext3_tests::test_collect_all_labels ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext3_tests::test_collect_leaves ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext_tests::test_count_label ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext_tests::test_follow_path ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext_tests::test_identity_transform ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext3_tests::test_contains_label ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext3_tests::test_tree_cursor ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext_tests::test_tree_path ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext_tests::test_rename_transform ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext_tests::test_trees_equal ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_final_tests::test_memoised_depth ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_final_tests::test_serialise_tree ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_ext_tests::test_zipper_down_up ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_final_tests::test_branching_factor ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_final_tests::test_tree_height ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_pad2::test_collect_labels_and_leaves ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_pad2::test_compute_tree_stats ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_pad2::test_tree_height_ext2_and_contains ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_pad3::test_tree_zipper ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_pad2::test_shape_fingerprint_ext2 ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_pad2::test_transform_memo ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_pad::test_any_leaf ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_pad::test_map_leaves ... ok
[INFO] [stdout] test ast_impl::functions::ast_impl_pad::test_node_cache ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_attribute_kind_display ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_attribute_kind_is_custom ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_axiom_with_attrs ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_ast_notation_kind_display ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_all_notation_kinds_are_distinct ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_attribute_kind_name ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_binder ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_by_tactic_expr ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_calc_expr ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_calc_step_constructor ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_decl_name ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_do_action_return ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_binder_kind_display ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_definition_with_where_clauses ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_field_decl ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_derive_decl ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_literal_display ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_located ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_located_map ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_multiple_calc_steps ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_new_decl_variants ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_new_expr_variants ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_notation_decl ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_literal_float_display ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_mutual_decl ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_located_display ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_parse_attribute_kind ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_range_expr_open_end ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_return_expr ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_sort_kind_display ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_range_expr_full ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_string_interp_expr ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_range_expr_open_start ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_surface_expr_display_comprehensive ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_surface_expr_var ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_theorem_with_attrs ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_surface_expr_helpers ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_where_clause ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_universe_decl ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_surface_expr_lit ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_where_clause_constructor ... ok
[INFO] [stdout] test command::functions::tests::test_apply_attribute_command ... ok
[INFO] [stdout] test ast_impl::functions::tests::test_where_clause_display ... ok
[INFO] [stdout] test command::functions::tests::test_at_end_helper ... ok
[INFO] [stdout] test command::functions::tests::test_attribute_decl_kind_macro ... ok
[INFO] [stdout] test command::functions::tests::test_attribute_decl_builtin ... ok
[INFO] [stdout] test command::functions::tests::test_attribute_decl_macro_kind ... ok
[INFO] [stdout] test command::functions::tests::test_attribute_decl_simple_kind ... ok
[INFO] [stdout] test command::functions::tests::test_class_empty_fields ... ok
[INFO] [stdout] test command::functions::tests::test_multiple_structure_extends_syntax ... ok
[INFO] [stdout] test command::functions::tests::test_notation_kind_display ... ok
[INFO] [stdout] test command::functions::tests::test_open_dotted_path ... ok
[INFO] [stdout] test command::functions::tests::test_check_keyword_helper ... ok
[INFO] [stdout] test command::functions::tests::test_is_command_keyword ... ok
[INFO] [stdout] test command::functions::tests::test_open_item_display ... ok
[INFO] [stdout] test command::functions::tests::test_parse_attribute ... ok
[INFO] [stdout] test command::functions::tests::test_parse_attribute_decl_simple ... ok
[INFO] [stdout] test command::functions::tests::test_parse_class_params ... ok
[INFO] [stdout] test command::functions::tests::test_parse_class_with_extends ... ok
[INFO] [stdout] test command::functions::tests::test_parse_check ... ok
[INFO] [stdout] test command::functions::tests::test_parse_class_simple ... ok
[INFO] [stdout] test command::functions::tests::test_parse_class_with_multiple_extends ... ok
[INFO] [stdout] test command::functions::tests::test_parse_declaration_keyword_delegates ... ok
[INFO] [stdout] test command::functions::tests::test_parse_derive ... ok
[INFO] [stdout] test command::functions::tests::test_parse_end ... ok
[INFO] [stdout] test command::functions::tests::test_parse_export ... ok
[INFO] [stdout] test command::functions::tests::test_parse_export_empty ... ok
[INFO] [stdout] test command::functions::tests::test_parse_import ... ok
[INFO] [stdout] test command::functions::tests::test_parse_empty_tokens ... ok
[INFO] [stdout] test command::functions::tests::test_parse_eval ... ok
[INFO] [stdout] test ast::functions::ast_ext2_tests::test_type_annotation ... ok
[INFO] [stdout] test command::functions::tests::test_parse_instance_body_complete ... ok
[INFO] [stdout] test command::functions::tests::test_parse_import_dotted ... ok
[INFO] [stdout] test command::functions::tests::test_parse_instance_simple ... ok
[INFO] [stdout] test command::functions::tests::test_parse_instance_with_priority ... ok
[INFO] [stdout] test command::functions::tests::test_parse_notation_infix ... ok
[INFO] [stdout] test command::functions::tests::test_parse_notation_precedence_fifty ... ok
[INFO] [stdout] test command::functions::tests::test_parse_notation_prefix ... ok
[INFO] [stdout] test command::functions::tests::test_parse_instance_underscore_name ... ok
[INFO] [stdout] test command::functions::tests::test_parse_open_all ... ok
[INFO] [stdout] test command::functions::tests::test_parse_open_hiding ... ok
[INFO] [stdout] test command::functions::tests::test_parse_namespace ... ok
[INFO] [stdout] test command::functions::tests::test_parse_open_only ... ok
[INFO] [stdout] test command::functions::tests::test_parse_open_renaming ... ok
[INFO] [stdout] test command::functions::tests::test_parse_print ... ok
[INFO] [stdout] test command::functions::tests::test_parse_set_option ... ok
[INFO] [stdout] test command::functions::tests::test_parse_structure_simple ... ok
[INFO] [stdout] test command::functions::tests::test_parse_structure_with_deriving ... ok
[INFO] [stdout] test command::functions::tests::test_parse_reduce_command ... ok
[INFO] [stdout] test command::functions::tests::test_parse_section ... ok
[INFO] [stdout] test command::functions::tests::test_parse_structure_with_fields ... ok
[INFO] [stdout] test command::functions::tests::test_parse_universe_empty ... ok
[INFO] [stdout] test command::functions::tests::test_parse_universe_multiple ... ok
[INFO] [stdout] test command::functions::tests::test_parse_syntax_command ... ok
[INFO] [stdout] test command::functions::tests::test_parse_universe_single ... ok
[INFO] [stdout] test command::functions::tests::test_parse_unknown_command ... ok
[INFO] [stdout] test command::functions::tests::test_parse_structure_with_multiple_extends ... ok
[INFO] [stdout] test command::functions::tests::test_parse_variable_instance ... ok
[INFO] [stdout] test command::functions::tests::test_parse_variable_multiple ... ok
[INFO] [stdout] test command::functions::tests::test_parse_variable_strict_implicit ... ok
[INFO] [stdout] test command::functions::tests::test_parse_variable_explicit ... ok
[INFO] [stdout] test command::functions::tests::test_parser_reset ... ok
[INFO] [stdout] test command::functions::tests::test_parse_variable_implicit ... ok
[INFO] [stdout] test command::functions::tests::test_parser_create ... ok
[INFO] [stdout] test command::functions::tests::test_structure_field_creation ... ok
[INFO] [stdout] test command::functions::tests::test_structure_field_default_value ... ok
[INFO] [stdout] test command::functions::tests::test_syntax_without_prec ... ok
[INFO] [stdout] test diagnostic::functions::diagnostic_event_tests::test_matches_pattern ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_aggregator_flat_sorted ... ok
[INFO] [stdout] test command::functions::tests::test_structure_field_implicit ... ok
[INFO] [stdout] test diagnostic::functions::diagnostic_event_tests::test_diagnostic_event ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_all_codes_non_empty ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_builder_label ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_aggregator_totals ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_builder_error ... ok
[INFO] [stdout] test diagnostic::functions::diagnostic_filter_tests::test_severity_filter ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_builder_warning_with_fix ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_code_description ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_code_hint_some ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_exporter_collector_to_json ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_exporter_to_csv ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_exporter_to_json ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_code_hint_none ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_exporter_collector_to_csv ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_filter_in_line_range ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_filter_message_contains ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_exporter_to_oneliner ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_filter_with_code ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_filter_with_fixes ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_group_counts ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_policy_fail_fast ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_policy_permissive ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_policy_warnings_as_errors ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_printer_output_non_empty ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_group_sort ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_policy_name ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_printer_should_fail ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_renderer_errors_only ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_span_contains ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_renderer_renders_error ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_renderer_renders_all ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_span_byte_len ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_span_merge ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_span_overlaps ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_stats_from_collector ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_suppressor_code ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_suppressor_filter_collector ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_span_extract ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_span_is_empty ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_suppressor_warnings ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_sync_token_info_all_non_empty ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_stats_total_and_has_errors ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_sync_token_info_right_paren_not_statement_end ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_collector_add_error ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_collector_add_warning ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_collector_create ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_diagnostic_code_display ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_collector_clear ... ok
[INFO] [stdout] test diagnostic::functions::extra_tests::test_sync_token_info_semicolon_is_statement_end ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_diagnostic_display_without_code ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_diagnostic_display_with_code ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_diagnostics_at ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_filter_severity ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_find_sync_token_not_found ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_find_sync_token_semicolon ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_format_line_highlight ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_format_line_highlight_out_of_range ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_error_diagnostic ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_find_sync_token_eof ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_merge ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_multiple_fixes ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_info_count ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_severity_ordering ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_note_diagnostic ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_format_rich_with_fix ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_format_rich ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_skip_to_sync_declaration ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_skip_to_sync_semicolon ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_sort_by_position ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_sort_by_severity ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_suggest_token_assign_eq ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_suggest_token_missing_semicolon ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_suggest_token_paren_bracket ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_summary_empty ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_sort_by_position_same_line ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_skip_to_sync_not_found ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_suggest_token_no_suggestion ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_summary_errors_only ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_summary_mixed ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_summary_with_info ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_warning_diagnostic ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_with_help ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_with_label ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_filter_by_severity_error_only ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_filter_by_severity_warning_up ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_with_code ... ok
[INFO] [stdout] test diagnostic::functions::tests::test_with_fix ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_parse_error_context_new ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_parse_error_context_display ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_errors_only ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_parse_error_context_with_decl ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_parse_error_report_add_error ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_parse_error_report_display ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_warnings_only ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_batch_error_report ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_parse_error_context_with_phase ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_parse_error_report_warnings ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_error_accumulator2 ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_error_accumulator_max ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_error_deduplicator ... ok
[INFO] [stdout] test error::functions::error_report_tests::test_parse_error_report_new ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_error_filter ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_error_location_resolver ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_error_location_snippet ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_error_severity_ordering ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_format_caret ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_format_error_at ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_rich_error_format ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_rich_error_warning ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_try_collect ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_dedup_errors ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_error_grouper ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_error_budget ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_error_chain ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_error_summary ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_errors_within_budget ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_format_error_json ... ok
[INFO] [stdout] test ast::functions::ast_ext2_tests::test_universe_level ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_format_error_unix ... ok
[INFO] [stdout] test ast::functions::extra_tests::test_prec_atom ... ok
[INFO] [stdout] test error::functions::extended_error_tests_3::test_detect_common_mistakes ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_recovery_hint ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_sort_errors_by_severity ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_string_error_sink ... ok
[INFO] [stdout] test error::functions::extended_error_tests_3::test_error_explanation ... ok
[INFO] [stdout] test error::functions::extended_error_tests_3::test_contextual_rich_error ... ok
[INFO] [stdout] test error::functions::extended_error_tests_3::test_error_density ... ok
[INFO] [stdout] test error::functions::extended_error_tests_2::test_tagged_error ... ok
[INFO] [stdout] test error::functions::extended_error_tests_3::test_error_explanation_book ... ok
[INFO] [stdout] test error::functions::extended_error_tests_3::test_error_rate_tracker ... ok
[INFO] [stdout] test error::functions::extended_error_tests_3::test_format_error_table ... ok
[INFO] [stdout] test error::functions::extra_tests::test_error_kind_label_other ... ok
[INFO] [stdout] test error::functions::extra_tests::test_error_kind_label_syntax ... ok
[INFO] [stdout] test error::functions::extra_tests::test_error_kind_label_token ... ok
[INFO] [stdout] test error::functions::extended_error_tests_3::test_write_error_report ... ok
[INFO] [stdout] test error::functions::extra_tests::test_error_kind_label_eof ... ok
[INFO] [stdout] test error::functions::extra_tests::test_error_severity_note ... ok
[INFO] [stdout] test error::functions::extra_tests::test_parse_error_budget_initial_not_exhausted ... ok
[INFO] [stdout] test error::functions::extra_tests::test_parse_error_group_add ... ok
[INFO] [stdout] test error::functions::extra_tests::test_parse_error_group_new ... ok
[INFO] [stdout] test error::functions::extended_error_tests_3::test_quick_fix_registry ... ok
[INFO] [stdout] test error::functions::extra_tests::test_parse_warning_display ... ok
[INFO] [stdout] test error::functions::extra_tests::test_parse_error_group_display ... ok
[INFO] [stdout] test error::functions::extra_tests::test_parse_warning_new ... ok
[INFO] [stdout] test error::functions::tests::test_collector_add_and_len ... ok
[INFO] [stdout] test error::functions::tests::test_collector_display ... ok
[INFO] [stdout] test error::functions::tests::test_collector_clear ... ok
[INFO] [stdout] test error::functions::tests::test_collector_first_error ... ok
[INFO] [stdout] test error::functions::extra_tests::test_recovery_strategy_replace ... ok
[INFO] [stdout] test error::functions::tests::test_collector_into_errors ... ok
[INFO] [stdout] test error::functions::tests::test_error_severity_is_error ... ok
[INFO] [stdout] test error::functions::tests::test_collector_merge ... ok
[INFO] [stdout] test error::functions::tests::test_collector_limit ... ok
[INFO] [stdout] test error::functions::tests::test_error_severity_is_recoverable ... ok
[INFO] [stdout] test error::functions::tests::test_error_severity_ordering ... ok
[INFO] [stdout] test error::functions::tests::test_error_severity_display ... ok
[INFO] [stdout] test error::functions::tests::test_factory_duplicate_binder ... ok
[INFO] [stdout] test error::functions::tests::test_factory_invalid_syntax ... ok
[INFO] [stdout] test error::functions::tests::test_factory_new ... ok
[INFO] [stdout] test error::functions::tests::test_factory_unexpected_eof ... ok
[INFO] [stdout] test error::functions::tests::test_factory_reserved_keyword ... ok
[INFO] [stdout] test error::functions::tests::test_factory_unexpected_token ... ok
[INFO] [stdout] test error::functions::tests::test_formatter_format ... ok
[INFO] [stdout] test error::functions::tests::test_factory_unterminated_string ... ok
[INFO] [stdout] test error::functions::tests::test_parse_diagnostic_display ... ok
[INFO] [stdout] test error::functions::tests::test_formatter_format_all ... ok
[INFO] [stdout] test error::functions::tests::test_parse_diagnostic_with_code ... ok
[INFO] [stdout] test error::functions::tests::test_parse_diagnostic_with_hint ... ok
[INFO] [stdout] test error::functions::tests::test_parse_error_budget_consume ... ok
[INFO] [stdout] test error::functions::tests::test_factory_at ... ok
[INFO] [stdout] test error::functions::tests::test_parse_diagnostic_error ... ok
[INFO] [stdout] test error::functions::tests::test_parse_diagnostic_warning ... ok
[INFO] [stdout] test error::functions::tests::test_parse_error_budget_consumed ... ok
[INFO] [stdout] test error::functions::tests::test_parse_error_stats_display ... ok
[INFO] [stdout] test error::functions::tests::test_parse_error_budget_reset ... ok
[INFO] [stdout] test error::functions::tests::test_parse_error_stats_record ... ok
[INFO] [stdout] test error::functions::tests::test_parse_result_err ... ok
[INFO] [stdout] test error_impl::functions::error_chain_tests::test_error_chain_ext ... ok
[INFO] [stdout] test error_impl::functions::error_chain_tests::test_numbered_error_list ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests2::test_error_kind_name ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests2::test_error_location_helpers ... ok
[INFO] [stdout] test error::functions::tests::test_recovery_strategy_continues ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests2::test_error_source_text ... ok
[INFO] [stdout] test error::functions::tests::test_parse_result_ok ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests2::test_error_to_json ... ok
[INFO] [stdout] test error::functions::tests::test_recovery_strategy_display ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_diagnostic_display ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests2::test_parse_errors_first_error ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_diagnostic_report ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests2::test_convenience_constructors ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_parse_errors_empty ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_format_expected ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_parse_errors_collection ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_recovery_hints_eof ... ok
[INFO] [stdout] test error::functions::extended_error_tests::test_error_code_catalogue ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_recovery_hints_arrow ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_severity_display ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_severity_ordering ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests2::test_parse_error_builder ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_suggest_correction ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_truncate_source ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_dedup_errors ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_earliest_and_latest_error ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_expand_span_clamp ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_errors_to_json ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_expand_span ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_is_recoverable ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_is_duplicate_error_fn ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_is_syntax_error_fn ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_span_is_empty ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_sort_errors ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_span_len ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_render_diagnostics ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_underline_span ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext2_tests::test_error_range ... ok
[INFO] [stdout] test error_impl::functions::error_extra_tests::test_parse_errors_summary ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_count_by_kind ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext2_tests::test_error_with_fix_apply ... ok
[INFO] [stdout] test error_impl::functions::error_final_tests::test_classify_error ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext2_tests::test_format_caret_range ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext3_tests::test_errors_have_same_message ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext2_tests::test_multi_file_errors ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext2_tests::test_lint_warning ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext3_tests::test_error_batch ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext3_tests::test_error_template ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext2_tests::test_lint_report ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext3_tests::test_recoverable_error ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_byte_offset_to_line_col ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext3_tests::test_spanned_error_overlaps ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_error_code_format ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_compact_error_summary ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_error_message_filter ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_error_sink ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_error_rate_limiter ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_format_annotated_source ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_extract_context ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_dedup_by_message ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_format_gnu_errors ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_diagnostic_bag ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_parse_location ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_located_error_format ... ok
[INFO] [stdout] test error_impl::functions::error_impl_ext_tests::test_full_diagnostic_display ... ok
[INFO] [stdout] test error_impl::functions::error_impl_pad2::test_error_contains ... ok
[INFO] [stdout] test error_impl::functions::error_window_tests::test_partition_by_line ... ok
[INFO] [stdout] test error_impl::functions::tests::test_unexpected_eof ... ok
[INFO] [stdout] test error_impl::functions::tests::test_parse_error_display ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_bloom_filter ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_alpha_eq_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_cache_health_report ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_classify_entry ... ok
[INFO] [stdout] test error_impl::functions::error_impl_pad::test_total_span ... ok
[INFO] [stdout] test error_impl::functions::error_impl_pad::test_widest_error ... ok
[INFO] [stdout] test error_impl::functions::error_window_tests::test_error_window ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_cache_integrity ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_cache_pressure_monitor ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_fnv1a_hash_stable ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_mix_hashes ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_nesting_depth ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_parse_result_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_segment_table ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_subexpr_frequency_map ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_window_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_versioned_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_rolling_hash ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_string_pool ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests::test_windowed_metrics ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_2::test_cache_coverage_report ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_2::test_cache_prewarmer ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_2::test_expr_location_index ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_2::test_hash_set_64 ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_3::test_lru_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_2::test_namespaced_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_3::test_macro_expansion_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_2::test_type_check_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_3::test_lfu_eviction ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_3::test_expr_pool ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_3::test_global_expr_table ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_3::test_memo_table ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_build_cache_key ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_3::test_symbol_interner ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_cache_warmup ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_cache_report ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_bump_allocator ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_3::test_ttl_eviction ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_2::test_two_queue_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_combined_hash ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_djb2_hash ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_hash_alpha_equiv ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_estimate_string_memory ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_interning_stats ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_token_frequency_table ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_4::test_token_window ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_5::test_adaptive_lru_cache ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_5::test_cache_key_builder ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_5::test_persistent_cache ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_decl_hash_compute ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_decl_hash_same ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_intern_dedup ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_interner_new ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_parse_cache_insert_evict ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_hit_rate ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_intern_lookup ... ok
[INFO] [stdout] test expr_cache::functions::tests::test_parse_cache_lookup ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_5::test_expr_diff_cache ... ok
[INFO] [stdout] test extended_parse_tests::test_escape_string ... ok
[INFO] [stdout] test extended_parse_tests::test_char_count_unicode ... ok
[INFO] [stdout] test expr_cache::functions::extended_expr_cache_tests_5::test_multi_level_cache ... ok
[INFO] [stdout] test extended_parse_tests::test_is_builtin_type ... ok
[INFO] [stdout] test extended_parse_tests::test_is_keyword ... ok
[INFO] [stdout] test extended_parse_tests::test_is_valid_ident_ok ... ok
[INFO] [stdout] test extended_parse_tests::test_parse_decl_str_ok ... ok
[INFO] [stdout] test extended_parse_tests::test_parser_config_builder ... ok
[INFO] [stdout] test extended_parse_tests::test_is_tactic_keyword ... ok
[INFO] [stdout] test extended_parse_tests::test_parser_version_nonempty ... ok
[INFO] [stdout] test extended_parse_tests::test_parser_config_default ... ok
[INFO] [stdout] test extended_parse_tests::test_parser_config_strict ... ok
[INFO] [stdout] test extended_parse_tests::test_is_valid_ident_fail ... ok
[INFO] [stdout] test extended_parse_tests::test_parse_expr_str_empty ... ok
[INFO] [stdout] test extended_parse_tests::test_prec_ordering ... ok
[INFO] [stdout] test extended_parse_tests::test_source_file_byte_len ... ok
[INFO] [stdout] test extended_parse_tests::test_parse_expr_str_ok ... ok
[INFO] [stdout] test extended_parse_tests::test_source_file_is_empty ... ok
[INFO] [stdout] test extended_parse_tests::test_source_file_line ... ok
[INFO] [stdout] test extended_parse_tests::test_source_file_line_count ... ok
[INFO] [stdout] test extra2_parse_tests::test_is_qualified_name_false ... ok
[INFO] [stdout] test extra2_parse_tests::test_is_qualified_name_true ... ok
[INFO] [stdout] test extra2_parse_tests::test_join_qualified_name ... ok
[INFO] [stdout] test extra2_parse_tests::test_parse_context_emit_warning ... ok
[INFO] [stdout] test extra2_parse_tests::test_split_qualified_name_deep ... ok
[INFO] [stdout] test extra2_parse_tests::test_parse_context_has_errors ... ok
[INFO] [stdout] test extra2_parse_tests::test_split_qualified_name_dotted ... ok
[INFO] [stdout] test extra2_parse_tests::test_strip_namespace_prefix_matching ... ok
[INFO] [stdout] test extra2_parse_tests::test_split_qualified_name_simple ... ok
[INFO] [stdout] test extra2_parse_tests::test_token_buffer_backtrack ... ok
[INFO] [stdout] test extra2_parse_tests::test_strip_namespace_prefix_not_matching ... ok
[INFO] [stdout] test extra2_parse_tests::test_syntactic_hole_anonymous ... ok
[INFO] [stdout] test extra2_parse_tests::test_token_buffer_peek_advance ... ok
[INFO] [stdout] test extra2_parse_tests::test_token_buffer_eof ... ok
[INFO] [stdout] test extra2_parse_tests::test_syntactic_hole_with_hint ... ok
[INFO] [stdout] test extra2_parse_tests::test_token_buffer_eat_success ... ok
[INFO] [stdout] test extra2_parse_tests::test_token_buffer_peek_at ... ok
[INFO] [stdout] test extra_parse_tests::test_annotated_map ... ok
[INFO] [stdout] test extra_parse_tests::test_annotated_new_and_span_len ... ok
[INFO] [stdout] test extra_parse_tests::test_count_keyword_occurrences ... ok
[INFO] [stdout] test extra_parse_tests::test_parse_diagnostics_ok ... ok
[INFO] [stdout] test extra_parse_tests::test_normalize_whitespace ... ok
[INFO] [stdout] test extra2_parse_tests::test_token_buffer_eat_fail ... ok
[INFO] [stdout] test extra_parse_tests::test_parse_warning_new ... ok
[INFO] [stdout] test extra_parse_tests::test_rough_ident_set ... ok
[INFO] [stdout] test extra_parse_tests::test_parse_diagnostics_total ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_escape_unescape ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_format_context ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_format_decision_log ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_format_dissimilarity ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_formatter_config ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_box_string ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_is_simple_expr ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_annotated_output ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_line_length_distribution ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_format_with_precedence ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_formatter_indent_stack ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_format_kv_table ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_ascii_box ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_line_breaker ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_check_canonical ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_separator_line ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_split_into_sections ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_canonicalise ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_2::test_ribbon_formatter ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_count_parens_added ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_flat_or_broken2 ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_escape_display ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_fmt_forall ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_fmt_fn_sig ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_fmt_helpers ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_infix_expr_builder ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_expansion_ratio ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_kv_table ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_fmt_match ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_format_token2 ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_line_diff ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_numbered_lines ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_sep_line ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_stabilise ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_simple_expr ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_token_stream2_render ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_let_binding_aligner2 ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_truncate_ellipsis ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_3::test_word_wrap2 ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_count_identifiers ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_doc_width ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_decl_format ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_ends_with_single_newline ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_format_queue ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_ensure_trailing_newline ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_format_comma_list ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_has_consistent_indentation ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_format_file_header ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_format_bulleted_list ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_syntax_highlight_formatter ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_labeled_section_formatter ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_normalise_whitespace ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_doc_group_fits ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_doc_cat ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_tree_renderer ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_brackets_builder ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_strip_comments ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_format_hole ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_doc_hardline ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_format_literal ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_doc_nest ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_doc_text ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_extract_comments ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_format_var ... ok
[INFO] [stdout] test formatter_adv::functions::tests::test_parens_builder ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_apply_edits ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_apply_edits_insert ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_compute_dirty_region ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_edit_history_undo_redo ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_decl_dependency_tracker ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_incr_parse_stats ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_incremental_lexer ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_invalidated_range ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_incremental_parse_cache ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_parse_version ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_simple_rope ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_source_edit_delta ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_source_edit_kinds ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_node_range_cache ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_incremental_checksum ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests::test_token_validity ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_change_detector ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_atomic_version ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_line_diff_default ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_line_diff_source ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_merge_reparse_requests ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_offset_map_shift ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_incremental_parse_result ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_parse_snapshot_cleaner_than ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_reparse_request ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_reparse_queue ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_offset_to_token_map ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_3::test_fiber_pool ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_3::test_incr_scope_stack ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_2::test_snapshot_manager ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_3::test_edit_buffer ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_3::test_edit_buffer_overflow ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_3::test_incremental_session ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_3::test_parse_fiber ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_3::test_token_reachability ... ok
[INFO] [stdout] test incremental::functions::tests::test_dependency_graph_direct_dependencies ... ok
[INFO] [stdout] test incremental::functions::tests::test_dependency_graph_remove_node ... ok
[INFO] [stdout] test incremental::functions::tests::test_diff_lines_insertion ... ok
[INFO] [stdout] test incremental::functions::tests::test_apply_change_marks_dirty ... ok
[INFO] [stdout] test incremental::functions::extended_incremental_tests_3::test_incremental_error_map ... ok
[INFO] [stdout] test incremental::functions::tests::test_diff_lines_no_change ... ok
[INFO] [stdout] test incremental::functions::tests::test_edit_distance_empty ... ok
[INFO] [stdout] test incremental::functions::tests::test_edit_distance_same ... ok
[INFO] [stdout] test incremental::functions::tests::test_edit_distance_diff ... ok
[INFO] [stdout] test incremental::functions::tests::test_green_node_interior ... ok
[INFO] [stdout] test incremental::functions::tests::test_incremental_lexer_basic ... ok
[INFO] [stdout] test incremental::functions::tests::test_incremental_lexer_caches ... ok
[INFO] [stdout] test incremental::functions::tests::test_invalidate_by_name ... ok
[INFO] [stdout] test incremental::functions::tests::test_dependency_graph_add_and_dependents ... ok
[INFO] [stdout] test incremental::functions::tests::test_incremental_parser_new ... ok
[INFO] [stdout] test incremental::functions::tests::test_green_node_leaf ... ok
[INFO] [stdout] test incremental::functions::tests::test_offset_to_position ... ok
[INFO] [stdout] test incremental::functions::tests::test_persistent_vec_push ... ok
[INFO] [stdout] test incremental::functions::tests::test_persistent_vec_set ... ok
[INFO] [stdout] test incremental::functions::tests::test_position_to_offset ... ok
[INFO] [stdout] test incremental::functions::tests::test_red_node_children ... ok
[INFO] [stdout] test incremental::functions::tests::test_red_node_range ... ok
[INFO] [stdout] test incremental::functions::tests::test_split_declarations ... ok
[INFO] [stdout] test incremental::functions::tests::test_text_change_apply_deletion ... ok
[INFO] [stdout] test incremental::functions::tests::test_text_change_apply_insertion ... ok
[INFO] [stdout] test incremental::functions::tests::test_text_change_apply_replacement ... ok
[INFO] [stdout] test incremental::functions::tests::test_text_change_is_insertion ... ok
[INFO] [stdout] test incremental::functions::tests::test_text_change_delta ... ok
[INFO] [stdout] test incremental::functions::tests::test_token_fingerprint_diff ... ok
[INFO] [stdout] test incremental::functions::tests::test_token_fingerprint_same ... ok
[INFO] [stdout] test incremental::functions::tests::test_transaction_commit ... ok
[INFO] [stdout] test incremental::functions::tests::test_transaction_rollback ... ok
[INFO] [stdout] test incremental::functions::tests::test_text_change_is_deletion ... ok
[INFO] [stdout] test incremental::functions::tests::test_undo_redo_stack ... ok
[INFO] [stdout] test incremental::functions::tests::test_versioned_source_new ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_aligned_printer_empty ... ok
[INFO] [stdout] test incremental::functions::tests::test_undo_redo_clears_redo_on_push ... ok
[INFO] [stdout] test incremental::functions::tests::test_text_change_is_replacement ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_classify_sequence_def_with_where ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_classify_sequence_plain_def ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_classify_sequence_do_block ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_classify_sequence_let_block ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_classify_sequence_unknown ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_column_aligner_pad ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_comment_tracker_nested_block ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_do_block_tracker_nested ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_consistency_report_step ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_delta_change ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_diff_same ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_history_max_min ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_hanging_indent_zero_overhang ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_level_history_redo ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_level_history_empty_undo ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_normaliser_all_spaces ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_mismatch_error_display ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_level_history_snapshot_clears_future ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_level_history_undo ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_region_contains_line ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_region_single_line ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_region_line_count ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_rewriter_no_op ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indent_validator_tabs ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indentation_checker_mismatch ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_indentation_checker_clean ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_layout_context_push_pop ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_layout_rule_close_block ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_let_binding_has_type ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_layout_rule_continuation ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_layout_context_default_tab_width ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_line_class_is_ignorable ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_gcd_large ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_open_brace_tracker_mismatch ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_scope_is_bound ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_split_into_regions_empty ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_line_class_starts_decl ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_split_into_regions_uniform ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_multiline_string_has_unescaped_quote ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_tab_stop_from_col_on_boundary ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_source_splitter_single_decl ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_token_sequence_class_eq ... ok
[INFO] [stdout] test indent_tracker::functions::additional_tests_2::test_whitespace_kind_none ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_extra_tests::test_hanging_indent_state ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_extra_tests::test_indent_change_log ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_extra_tests::test_indent_zipper ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_extra_tests::test_is_continuation_line ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_extra_tests::test_map_to_block_depths ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_extra_tests::test_repair_indentation ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_extra_tests::test_traverse_indent_tree ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_compress_spaces_to_tabs ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_extra_tests::test_is_well_formed_indentation ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_dedent ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_extra_tests::test_visualise_indent_structure ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_construct_rule_registry ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_detect_indent_mode ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_column_oracle ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_common_indent ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_indent_signature ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_has_mixed_indentation ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_indent_fence ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_expand_tabs ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_convert_indent_mode ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_indent_mode ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_map_indent ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_normalise_indentation ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_same_indent_structure ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_visual_width ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_virtual_column ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_aligned_printer ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_column_aligner ... ok
[INFO] [stdout] test indent_tracker::functions::extended_indent_final_tests::test_split_into_indent_blocks ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_do_block_tracker ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_gcd ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_compare_indent ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_comment_tracker ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_hanging_indent ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_indent_consistency_report ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_indent_delta ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_block_parser_simple ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_indent_rewriter ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_indent_history ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_indent_fixer_no_op ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_indent_stats_spaces_only ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_indent_guide ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_indent_normaliser_tab_expansion ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_layout_context_indent_col_spaces ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_layout_rule_same_block ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_line_classifier ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_layout_context_indent_col_tab ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_indent_validator_spaces ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_multiline_string_tracker ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_let_binding_tracker ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_line_span ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_scope_tracker_resolve ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_open_brace_tracker ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_source_splitter ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_tab_stop_iterator ... ok
[INFO] [stdout] test indent_tracker::functions::extended_tests::test_whitespace_kind ... ok
[INFO] [stdout] test indent_tracker::functions::tests::test_indent_level_is_deeper_than ... ok
[INFO] [stdout] test indent_tracker::functions::tests::test_indent_stack_dedent_to ... ok
[INFO] [stdout] test indent_tracker::functions::tests::test_indent_stack_push_pop ... ok
[INFO] [stdout] test indent_tracker::functions::tests::test_parse_leading_whitespace_spaces ... ok
[INFO] [stdout] test indent_tracker::functions::tests::test_parse_leading_whitespace_tabs ... ok
[INFO] [stdout] test lexer::functions::lexer_ext2_tests::test_is_op_start ... ok
[INFO] [stdout] test indent_tracker::functions::tests::test_indent_level_total_width_spaces_only ... ok
[INFO] [stdout] test lexer::functions::lexer_ext2_tests::test_line_map ... ok
[INFO] [stdout] test indent_tracker::functions::tests::test_where_block_tracker_enter_exit ... ok
[INFO] [stdout] test indent_tracker::functions::tests::test_where_block_tracker_is_where_item ... ok
[INFO] [stdout] test lexer::functions::lexer_ext2_tests::test_lexer_mode_stack ... ok
[INFO] [stdout] test lexer::functions::lexer_ext2_tests::test_token_category_display ... ok
[INFO] [stdout] test lexer::functions::lexer_ext3_tests::test_compute_token_diff_different ... ok
[INFO] [stdout] test lexer::functions::lexer_ext3_tests::test_compute_token_diff_identical ... ok
[INFO] [stdout] test indent_tracker::functions::tests::test_indent_level_total_width_tabs ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_char_class_one_of ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_decode_string_literal ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_is_lean_keyword ... ok
[INFO] [stdout] test lexer::functions::lexer_ext3_tests::test_filtered_token_stream_empty ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_char_class_alpha ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_is_valid_lean_ident ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_char_class_digit ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_decode_escape ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_scanner_basic ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_keyword_trie ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_trivia_accumulator ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_scanner_consume_while ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_scanner_skip_whitespace ... ok
[INFO] [stdout] test lexer::functions::lexer_pad2::test_normalize_whitespace_for_lex_ext2 ... ok
[INFO] [stdout] test lexer::functions::lexer_pad::test_is_string_char ... ok
[INFO] [stdout] test lexer::functions::lexer_ext_tests::test_lex_summary_format ... ok
[INFO] [stdout] test lexer::functions::lexer_pad::test_starts_comments ... ok
[INFO] [stdout] test lexer::functions::lexer_pad2::test_is_reserved_symbol_ext2 ... ok
[INFO] [stdout] test lexer::functions::lexer_pad::test_count_char ... ok
[INFO] [stdout] test lexer::functions::lexer_pad2::test_char_freq_table ... ok
[INFO] [stdout] test lexer::functions::lexer_reserved_tests::test_is_reserved_symbol ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_bin_error_no_digits ... ok
[INFO] [stdout] test lexer::functions::lexer_reserved_tests::test_normalize_whitespace_for_lex ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_boolean_ops ... ok
[INFO] [stdout] test lexer::functions::lexer_state_tests::test_lex_transition ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_binary_number ... ok
[INFO] [stdout] test lexer::functions::lexer_state_tests::test_char_frequency ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_char_simple ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_char_escape ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_char_unicode_escape ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_block_doc_comment ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_combined_program ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_dot_dot ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_char_hex_escape ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_fat_arrow ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_hex_error_no_digits ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_float_basic ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_float_exponent ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_float_int_exponent ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_ge_operator ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_ident ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_interpolated_string_simple ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_keywords ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_line_doc_comment ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_left_arrow ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_hex_with_underscore ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_hex_number ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_interpolated_string_multiple_holes ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_multiple_doc_comments ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_new_keywords ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_oct_error_no_digits ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_octal_number ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_operators ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_return_keyword ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_string ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_string_null_escape ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_unicode_fat_arrow ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_string_unicode_escape ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_unicode_mixed_ident ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_number_with_underscore_separator ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_numbers ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_unicode_identifiers ... ok
[INFO] [stdout] test lexer::functions::tests::test_lex_string_hex_escape ... ok
[INFO] [stdout] test lib_ext2_tests::test_compilation_unit ... ok
[INFO] [stdout] test lib_ext2_tests::test_source_file_registry ... ok
[INFO] [stdout] test lib_ext2_tests::test_token_frequency_map_ext ... ok
[INFO] [stdout] test lib_ext3_tests::test_import_graph ... ok
[INFO] [stdout] test lexer::functions::tests::test_skip_line_comment ... ok
[INFO] [stdout] test lib_ext_tests::test_compile_phase_display ... ok
[INFO] [stdout] test lib_ext_tests::test_name_resolution_table ... ok
[INFO] [stdout] test lib_ext3_tests::test_parse_stats_ext ... ok
[INFO] [stdout] test lib_ext3_tests::test_decl_table ... ok
[INFO] [stdout] test lexer::functions::tests::test_skip_block_comment ... ok
[INFO] [stdout] test lib_ext_tests::test_parse_context ... ok
[INFO] [stdout] test lib_ext_tests::test_parse_flags ... ok
[INFO] [stdout] test lib_ext_tests::test_simple_string_pool ... ok
[INFO] [stdout] test lib_final_tests::test_source_summary ... ok
[INFO] [stdout] test lib_pad2::test_decl_table ... ok
[INFO] [stdout] test lib_final_tests::test_word_frequency ... ok
[INFO] [stdout] test lib_pad2::test_word_frequency_ext2 ... ok
[INFO] [stdout] test lib_pad2::test_source_summary ... ok
[INFO] [stdout] test lib_pad::test_rough_token_count ... ok
[INFO] [stdout] test lib_pad::test_source_preview ... ok
[INFO] [stdout] test macro_parser::functions::macro_final_tests::test_apply_substitutions ... ok
[INFO] [stdout] test macro_parser::functions::macro_library_tests::test_macro_matcher ... ok
[INFO] [stdout] test macro_parser::functions::macro_pad2::test_hygiene_context ... ok
[INFO] [stdout] test lib_ext_tests::test_pipeline_timings ... ok
[INFO] [stdout] test macro_parser::functions::macro_library_tests::test_macro_library ... ok
[INFO] [stdout] test macro_parser::functions::macro_pad2::test_macro_expansion_error ... ok
[INFO] [stdout] test lib_pad::test_namespace_resolver ... ok
[INFO] [stdout] test macro_parser::functions::macro_final_tests::test_depth_limited_expander ... ok
[INFO] [stdout] test macro_parser::functions::macro_pad2::test_macro_expansion_result ... ok
[INFO] [stdout] test macro_parser::functions::macro_pad2::test_macro_stats ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext2_tests::test_hygiene_context ... ok
[INFO] [stdout] test macro_parser::functions::macro_pad::test_macro_signature ... ok
[INFO] [stdout] test macro_parser::functions::macro_pad::test_count_macro_invocations ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext_tests::test_expand_template ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext_tests::test_macro_call_site ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext_tests::test_macro_definition_expand ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext_tests::test_macro_definition_wrong_arity ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext2_tests::test_macro_stats ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext2_tests::test_macro_expansion_result ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext2_tests::test_macro_expansion_error ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext_tests::test_macro_expansion_trace ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext_tests::test_macro_var ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expand_template_literal ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expand_template_missing_var ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expand_template_var_substitution ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expand_template_splice_array ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_default ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext_tests::test_parse_simple_template ... ok
[INFO] [stdout] test macro_parser::functions::macro_parser_ext_tests::test_macro_environment ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expand_template_empty ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_fresh_scope ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_max_depth ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_new ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_macro_names ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_pattern_mismatch ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_register_and_lookup ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_successful_expansion ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_unregister ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_hygiene_info ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_def_new ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_error_display ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_def_with_doc ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_error_kind_display ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_parser_parse_multiple_rules ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_parser_create ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_syntax_defs ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_token_antiquote ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_expander_unknown_macro ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_error_with_span ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_parser_parse_simple_rule ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_token_display ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_token_literal ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_token_quote ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_token_splice_array ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_token_repeat ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_match_pattern_literal_mismatch ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_match_pattern_too_short_input ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_macro_token_var ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_match_pattern_empty ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_match_pattern_literal_match ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_match_pattern_optional_present ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_match_pattern_with_repeat ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_parse_repeat_group_star ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_match_pattern_optional_absent ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_match_pattern_var_binding ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_match_pattern_with_repeat_empty ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_parse_repeat_group_question ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_substitute_identity ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_parse_repeat_group_with_separator ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_try_match_rule_success ... ok
[INFO] [stdout] test module::functions::module_ext2_tests::test_export_entry ... ok
[INFO] [stdout] test module::functions::module_ext2_tests::test_module_attribute ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_syntax_def_new ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_syntax_item_display ... ok
[INFO] [stdout] test module::functions::module_ext_tests::test_dep_graph ... ok
[INFO] [stdout] test module::functions::module_ext_tests::test_self_import_detection ... ok
[INFO] [stdout] test macro_parser::functions::tests::test_syntax_kind_display ... ok
[INFO] [stdout] test module::functions::module_ext_tests::test_module_dep ... ok
[INFO] [stdout] test module::functions::module_fingerprint_tests::test_is_valid_module_name ... ok
[INFO] [stdout] test module::functions::module_fingerprint_tests::test_module_fingerprint_stable ... ok
[INFO] [stdout] test module::functions::module_pad2::test_leaf_module_name ... ok
[INFO] [stdout] test module::functions::module_pad2::test_module_depth ... ok
[INFO] [stdout] test module::functions::module_pad2::test_parent_module ... ok
[INFO] [stdout] test module::functions::module_pad::test_module_in_namespace ... ok
[INFO] [stdout] test module::functions::tests::test_add_and_get_opens ... ok
[INFO] [stdout] test module::functions::module_meta_tests::test_module_metadata ... ok
[INFO] [stdout] test module::functions::tests::test_are_mutually_dependent_no ... ok
[INFO] [stdout] test module::functions::module_meta_tests::test_module_version ... ok
[INFO] [stdout] test module::functions::module_pad::test_top_namespace ... ok
[INFO] [stdout] test module::functions::tests::test_all_visible_names ... ok
[INFO] [stdout] test module::functions::tests::test_add_namespace ... ok
[INFO] [stdout] test module::functions::tests::test_dependency_order_simple ... ok
[INFO] [stdout] test module::functions::tests::test_are_mutually_dependent_yes ... ok
[INFO] [stdout] test module::functions::tests::test_exported_names_default ... ok
[INFO] [stdout] test module::functions::tests::test_detect_cycles_none ... ok
[INFO] [stdout] test module::functions::tests::test_exported_names_selective ... ok
[INFO] [stdout] test module::functions::tests::test_exported_names_all ... ok
[INFO] [stdout] test module::functions::tests::test_detect_cycles_present ... ok
[INFO] [stdout] test module::functions::tests::test_dependency_order_chain ... ok
[INFO] [stdout] test module::functions::tests::test_get_dependencies_imports ... ok
[INFO] [stdout] test module::functions::tests::test_get_dependents_empty ... ok
[INFO] [stdout] test module::functions::tests::test_get_dependents_one ... ok
[INFO] [stdout] test module::functions::tests::test_get_hidden_names ... ok
[INFO] [stdout] test module::functions::tests::test_get_reverse_dependencies ... ok
[INFO] [stdout] test module::functions::tests::test_get_all_dependencies_chain ... ok
[INFO] [stdout] test module::functions::tests::test_get_dependencies_opens ... ok
[INFO] [stdout] test module::functions::tests::test_get_statistics ... ok
[INFO] [stdout] test module::functions::tests::test_get_visibility_default_private ... ok
[INFO] [stdout] test module::functions::tests::test_get_public_interface ... ok
[INFO] [stdout] test module::functions::tests::test_get_sccs ... ok
[INFO] [stdout] test module::functions::tests::test_import_spec_hiding_blocks_name ... ok
[INFO] [stdout] test module::functions::tests::test_imports_module ... ok
[INFO] [stdout] test module::functions::tests::test_get_visibility_default_public ... ok
[INFO] [stdout] test module::functions::tests::test_is_accessible_private_same_module ... ok
[INFO] [stdout] test module::functions::tests::test_is_accessible_public ... ok
[INFO] [stdout] test module::functions::tests::test_is_name_accessible ... ok
[INFO] [stdout] test module::functions::tests::test_module_full_path ... ok
[INFO] [stdout] test module::functions::tests::test_module_with_config ... ok
[INFO] [stdout] test module::functions::tests::test_module_full_path_nested ... ok
[INFO] [stdout] test module::functions::tests::test_namespace_lookup ... ok
[INFO] [stdout] test module::functions::tests::test_module_create ... ok
[INFO] [stdout] test module::functions::tests::test_namespace_names ... ok
[INFO] [stdout] test module::functions::tests::test_namespace_alias_resolution ... ok
[INFO] [stdout] test module::functions::tests::test_register_module ... ok
[INFO] [stdout] test module::functions::tests::test_registry_create ... ok
[INFO] [stdout] test module::functions::tests::test_registry_get_mut ... ok
[INFO] [stdout] test module::functions::tests::test_reachable_from ... ok
[INFO] [stdout] test module::functions::tests::test_registry_detect_mutual_imports_present ... ok
[INFO] [stdout] test module::functions::tests::test_register_duplicate ... ok
[INFO] [stdout] test module::functions::tests::test_open_directive_scoped ... ok
[INFO] [stdout] test module::functions::tests::test_registry_detect_mutual_imports_none ... ok
[INFO] [stdout] test module::functions::tests::test_registry_resolve_local ... ok
[INFO] [stdout] test module::functions::tests::test_registry_unregister_nonexistent ... ok
[INFO] [stdout] test module::functions::tests::test_resolve_name_imported_all ... ok
[INFO] [stdout] test module::functions::tests::test_registry_unregister ... ok
[INFO] [stdout] test module::functions::tests::test_registry_multiple_dependents ... ok
[INFO] [stdout] test module::functions::tests::test_registry_resolve_not_found ... ok
[INFO] [stdout] test module::functions::tests::test_registry_resolve_imported ... ok
[INFO] [stdout] test module::functions::tests::test_resolve_name_imported_hiding ... ok
[INFO] [stdout] test module::functions::tests::test_resolve_name_imported_selective ... ok
[INFO] [stdout] test module::functions::tests::test_resolve_name_local ... ok
[INFO] [stdout] test module::functions::tests::test_resolve_name_renaming ... ok
[INFO] [stdout] test module::functions::tests::test_resolve_with_opens ... ok
[INFO] [stdout] test module::functions::tests::test_set_and_get_visibility ... ok
[INFO] [stdout] test module::functions::tests::test_transitive_deps_empty ... ok
[INFO] [stdout] test module::functions::tests::test_resolve_name_not_found ... ok
[INFO] [stdout] test module::functions::tests::test_transitive_deps_simple ... ok
[INFO] [stdout] test module::functions::tests::test_resolve_selective_import ... ok
[INFO] [stdout] test module::functions::tests::test_verify_consistency_ok ... ok
[INFO] [stdout] test module::functions::tests::test_set_default_visibility ... ok
[INFO] [stdout] test module::functions::tests::test_transitive_deps_nonexistent ... ok
[INFO] [stdout] test module::functions::tests::test_verify_consistency_broken ... ok
[INFO] [stdout] test module::functions::tests::test_visibility_enum ... ok
[INFO] [stdout] test module::functions::tests::test_visible_names ... ok
[INFO] [stdout] test notation_system::functions::notation_ext2_tests::test_builtin_prec_table ... ok
[INFO] [stdout] test notation_system::functions::notation_ext2_tests::test_compare_prec ... ok
[INFO] [stdout] test notation_system::functions::notation_ext2_tests::test_notation_category_display ... ok
[INFO] [stdout] test notation_system::functions::notation_ext2_tests::test_operator_alias_table ... ok
[INFO] [stdout] test notation_system::functions::notation_ext3_tests::test_notation_scope ... ok
[INFO] [stdout] test module::functions::tests::test_visible_names_with_aliases ... ok
[INFO] [stdout] test notation_system::functions::notation_ext3_tests::test_overload_registry ... ok
[INFO] [stdout] test module::functions::tests::test_with_import_spec ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_find_conflicts ... ok
[INFO] [stdout] test notation_system::functions::notation_ext2_tests::test_syntax_extension ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_macro_rule_instantiate ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_macro_rule_wrong_arity ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_notation_env_scoping ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_parse_notation_pattern ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_pattern_matcher ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_prec_level ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_notation_registry ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_notation_rule ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_syntax_sugar ... ok
[INFO] [stdout] test notation_system::functions::notation_ext_tests::test_validate_notation ... ok
[INFO] [stdout] test notation_system::functions::notation_group_tests::test_merge_registries ... ok
[INFO] [stdout] test notation_system::functions::notation_group_tests::test_notation_group ... ok
[INFO] [stdout] test notation_system::functions::notation_pad2::test_registry_has_pattern ... ok
[INFO] [stdout] test notation_system::functions::notation_pad::test_right_assoc_rules ... ok
[INFO] [stdout] test notation_system::functions::notation_pad::test_rules_in_prec_range ... ok
[INFO] [stdout] test notation_system::functions::tests::test_active_notations ... ok
[INFO] [stdout] test notation_system::functions::tests::test_builtin_has_notation_entries ... ok
[INFO] [stdout] test notation_system::functions::tests::test_all_operator_symbols ... ok
[INFO] [stdout] test notation_system::functions::notation_pad2::test_count_placeholders ... ok
[INFO] [stdout] test notation_system::functions::tests::test_builtin_operators ... ok
[INFO] [stdout] test notation_system::functions::notation_pq_tests::test_notation_priority_queue ... ok
[INFO] [stdout] test notation_system::functions::tests::test_close_nonexistent_scope ... ok
[INFO] [stdout] test notation_system::functions::tests::test_builtin_prefix_lookup ... ok
[INFO] [stdout] test notation_system::functions::tests::test_compare_precedence ... ok
[INFO] [stdout] test notation_system::functions::tests::test_find_by_kind ... ok
[INFO] [stdout] test notation_system::functions::tests::test_find_operators_by_fixity ... ok
[INFO] [stdout] test notation_system::functions::tests::test_find_by_name ... ok
[INFO] [stdout] test notation_system::functions::tests::test_fixity_display ... ok
[INFO] [stdout] test notation_system::functions::tests::test_fixity_to_kind ... ok
[INFO] [stdout] test notation_system::functions::tests::test_get_precedence_unknown ... ok
[INFO] [stdout] test notation_system::functions::tests::test_make_postfix ... ok
[INFO] [stdout] test notation_system::functions::tests::test_kind_to_fixity ... ok
[INFO] [stdout] test notation_system::functions::tests::test_notation_entry_new ... ok
[INFO] [stdout] test notation_system::functions::tests::test_notation_entry_with_scopes ... ok
[INFO] [stdout] test notation_system::functions::tests::test_lookup_operator_any ... ok
[INFO] [stdout] test notation_system::functions::tests::test_get_entry ... ok
[INFO] [stdout] test notation_system::functions::tests::test_make_prefix ... ok
[INFO] [stdout] test notation_system::functions::tests::test_notation_part_display ... ok
[INFO] [stdout] test notation_system::functions::tests::test_operator_entry_infixr ... ok
[INFO] [stdout] test notation_system::functions::tests::test_operator_entry_postfix ... ok
[INFO] [stdout] test notation_system::functions::tests::test_open_scope_idempotent ... ok
[INFO] [stdout] test notation_system::functions::tests::test_operator_entry_prefix ... ok
[INFO] [stdout] test notation_system::functions::tests::test_parse_pattern_empty ... ok
[INFO] [stdout] test notation_system::functions::tests::test_operator_entry_infixl ... ok
[INFO] [stdout] test notation_system::functions::tests::test_notation_kind_display ... ok
[INFO] [stdout] test notation_system::functions::tests::test_make_infix ... ok
[INFO] [stdout] test notation_system::functions::tests::test_notation_kind_eq ... ok
[INFO] [stdout] test notation_system::functions::tests::test_parse_pattern_infix ... ok
[INFO] [stdout] test notation_system::functions::tests::test_register_and_lookup_operator ... ok
[INFO] [stdout] test notation_system::functions::tests::test_register_notation ... ok
[INFO] [stdout] test notation_system::functions::tests::test_scoped_entries_multiple ... ok
[INFO] [stdout] test notation_system::functions::tests::test_table_default ... ok
[INFO] [stdout] test notation_system::functions::tests::test_table_new_empty ... ok
[INFO] [stdout] test notation_system::functions::tests::test_scope_management ... ok
[INFO] [stdout] test notation_system::functions::tests::test_parse_pattern_prefix ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_checkpoint_stack ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_ambiguity_registry ... ok
[INFO] [stdout] test notation_system::functions::tests::test_parse_pattern_with_prec ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_lookahead_result ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_fixity_registry ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_fixity ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_packrat_table ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_parse_config ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_parse_ambiguity ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_comb_result ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_recovery_log ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_parse_stats ... ok
[INFO] [stdout] test formatter_adv::functions::extended_formatter_adv_tests_4::test_format_doc_comment ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_parse_trace ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests::test_token_cursor ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_expected_set ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_ident_at ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_is_keyword ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_is_valid_identifier ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_nesting_depth ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_expected_set_single ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_offset_to_line_col ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_is_multi_char_op ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_is_operator_start ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_parse_fuel ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_parse_stack ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_depth_limiter ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_find_matching_close ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_count_until ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_parse_error_simple ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_pratt_context ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_parse_number ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_parse_many0 ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_parse_optional ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_parse_many1 ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_consume_ident ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_source_pos ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_parse_sep_by ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_parse_result_with_errors ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_parse_string_lit ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_annotation_display ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_parse_buffer_clear ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_annotation_info ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_peek_and_consume ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_parse_buffer_front ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_annotation_deprecated ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_annotation_kind_display ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_parse_buffer_new ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_parse_buffer_push_pop ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_parse_pipeline_add_stage ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_parse_pipeline_execute ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_parse_pipeline_new ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_parse_mode_display ... ok
[INFO] [stdout] test parser::functions::extra_parser_tests::test_parse_pipeline_display ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_source_map_basic ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_parse_mode_lenient ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_source_map_offset_to_line_col_start ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_source_map_offset_to_line_col_second_line ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_source_map_source_len ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_parse_mode_strict ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_token_kind_set_empty ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_token_kind_set_intersect ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_token_kind_set_insert_contains ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_token_kind_set_out_of_range ... ok
[INFO] [stdout] test parser::functions::extra_tests::test_token_kind_set_union ... ok
[INFO] [stdout] test parser::functions::tests::test_collect_results_err ... ok
[INFO] [stdout] test parser::functions::tests::test_collect_results_ok ... ok
[INFO] [stdout] test parser::functions::tests::test_fnv1a_deterministic ... ok
[INFO] [stdout] test parser::functions::tests::test_is_valid_expr_false ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_batch_execute ... ok
[INFO] [stdout] test parser::functions::tests::test_is_valid_expr_true ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_cache_key_from_src ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_batch_add ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_decl_def ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_cache_key_different ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_decls_multiple ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_error_summary_clean ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_expr_var ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_file_result_decl_count ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_expr_empty_fails ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_quality_display ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_expr_lambda ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_expr_nat_literal ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_quality_is_usable ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_quality_rate_failed ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_quality_rate_warnings ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_quality_rate_clean ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_stats_default ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_session_all_ok ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_session_total_decls ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_stats_display ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_stats_error_rate ... ok
[INFO] [stdout] test parser::functions::tests::test_token_stream_next ... ok
[INFO] [stdout] test parser::functions::tests::test_token_stream_collect_remaining ... ok
[INFO] [stdout] test parser::functions::tests::test_token_stream_from_src ... ok
[INFO] [stdout] test parser::functions::tests::test_token_stream_peek ... ok
[INFO] [stdout] test parser::functions::tests::test_token_stream_reset ... ok
[INFO] [stdout] test parser::functions::tests::test_token_stream_remaining ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_ann_complex_type ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_ann_in_app ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_annotation_in_lambda ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_and_or ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_anonymous_ctor_empty ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_anonymous_ctor_single ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_anonymous_ctor_nested ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_anonymous_ctor_pair ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_anonymous_ctor_triple ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_app ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_app_chain ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_app_with_annotation ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_arrow ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_arrow_chain ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_attribute_multi ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_binop_precedence ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_attribute_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_axiom_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_binder_underscore ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_stats_avg_decls ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_caret_right_assoc ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_class_decl ... ok
[INFO] [stdout] test parser::functions::tests::test_parse_stats_avg_decls_zero_files ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_comparison ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_complex_mixed_expr ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_class_with_extends ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_deeply_nested_app ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_comparison_chain ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_deeply_nested_expr ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_def_typed ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_def_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_do_action_expr ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_def_with_univ_params ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_do ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_do_bind ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_do_bind_simple ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_do_let_bind_mixed ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_do_multi_action ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_do_let_typed ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_eq_binop ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_hash_eval ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_do_without_braces ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_forall ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_hash_check ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_empty_tuple ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_hash_print ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_have_simple ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_if_associativity ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_hole ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_if_nested ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_iff_operator ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_if_then_else ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_implicit_binder ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_import_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_inductive_multi_ctor ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_inductive_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_instance_binder ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_instance_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_instance_named ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_instance_with_methods ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_lambda_mixed_binders ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_lambda ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_lambda_multi_arg ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_lemma_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_large_nat ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_let ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_lambda_no_type ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_let_no_type ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_let_chain ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_let_typed ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_list ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_let_with_app ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_list_empty ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_list_mixed_types ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_list_nested ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_logical_and ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_list_single ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_long_ident ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_match ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_match_ctor_pattern ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_match_constructor_patterns ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_match_multi_arm ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_match_multiple_arms ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_match_no_guard ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_match_wildcard ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_match_with_guard ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_have_body_chain ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_match_with_literals ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_if_complex_condition ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_minus_prefix ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_mixed_binders ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_multiple_projections ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_mixed_precedence ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_have ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_named_arg_extraction ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_multi_binder_group ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_named_arg_complex_value ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_nat ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_named_arg_single ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_namespace_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_open_with_names ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_not ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_open_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_or_binop ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_percent_binop ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_proj ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_plus ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_pi_implicit ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_pi_multi_arg ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_paren ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_proj_chain ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_proj_on_tuple ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_question_mark_hole ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_show ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_prop ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_show_nested ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_section_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_single_char_ident ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_show_simple ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_sort_with_universe ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_string_lit ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_strict_implicit_binder ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_structure_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_structure_extends ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_structure_with_default ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_suffices ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_proj_multi_level ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_suffices_complex_type ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_proj_on_app ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_suffices_with_tactic ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_show_complex_type ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_theorem_decl ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_theorem_with_type ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_tuple_nested ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_tuple ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_tuple_single ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_tuple_large ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_tuple_triple ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_type ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_type_annotation ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_univ_params ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_variable_implicit ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_var ... ok
[INFO] [stdout] test pattern::functions::pattern_ext2_tests::test_pattern_binding ... ok
[INFO] [stdout] test pattern::functions::pattern_ext_tests::test_classify_pattern ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_variable_instance_binder ... ok
[INFO] [stdout] test parser_impl::functions::tests::test_parse_variable_decl ... ok
[INFO] [stdout] test pattern::functions::pattern_ext2_tests::test_pattern_matrix_row_wildcard ... ok
[INFO] [stdout] test pattern::functions::pattern_ext_tests::test_match_arm ... ok
[INFO] [stdout] test pattern::functions::pattern_ext_tests::test_pattern_coverage ... ok
[INFO] [stdout] test pattern::functions::pattern_final_tests::test_pattern_depth ... ok
[INFO] [stdout] test pattern::functions::pattern_pad2::test_is_wildcard_pattern ... ok
[INFO] [stdout] test pattern::functions::pattern_pad2::test_pattern_vars ... ok
[INFO] [stdout] test pattern::functions::pattern_final_tests::test_count_all_vars ... ok
[INFO] [stdout] test pattern::functions::pattern_pad2::test_same_ctor ... ok
[INFO] [stdout] test pattern::functions::pattern_pad::test_extract_ctor_name ... ok
[INFO] [stdout] test pattern::functions::pattern_pad::test_is_ctor_pattern ... ok
[INFO] [stdout] test pattern::functions::pattern_final_tests::test_normalise_or_pattern ... ok
[INFO] [stdout] test pattern::functions::pattern_renamer_tests::test_count_pattern_vars ... ok
[INFO] [stdout] test pattern::functions::pattern_renamer_tests::test_pattern_renamer ... ok
[INFO] [stdout] test pattern::functions::tests::test_analyze_usefulness_empty ... ok
[INFO] [stdout] test pattern::functions::tests::test_bound_var_set_empty ... ok
[INFO] [stdout] test pattern::functions::tests::test_bound_var_set_nested ... ok
[INFO] [stdout] test pattern::functions::tests::test_bound_names_or_pattern ... ok
[INFO] [stdout] test pattern::functions::tests::test_analyze_usefulness_nongeneral ... ok
[INFO] [stdout] test pattern::functions::tests::test_bound_var_set_single ... ok
[INFO] [stdout] test pattern::functions::tests::test_canonicalize_wild ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_exhaustive_wildcard ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_exhaustive_none ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_exhaustive_with_ctors_wildcard ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_nested_exhaustive_missing ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_nested_exhaustive_ok ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_range_coverage_full ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_range_coverage_partial ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_range_coverage_with_wildcard ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_redundant ... ok
[INFO] [stdout] test pattern::functions::tests::test_collect_constructors_dedup ... ok
[INFO] [stdout] test pattern::functions::tests::test_collect_constructors_empty ... ok
[INFO] [stdout] test pattern::functions::tests::test_collect_constructors_single ... ok
[INFO] [stdout] test pattern::functions::tests::test_collect_constructors_with_or ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_exhaustive_with_ctors_all_covered ... ok
[INFO] [stdout] test pattern::functions::tests::test_compile_match_empty ... ok
[INFO] [stdout] test pattern::functions::tests::test_check_exhaustive_with_ctors_missing ... ok
[INFO] [stdout] test pattern::functions::tests::test_canonicalize_ctor ... ok
[INFO] [stdout] test pattern::functions::tests::test_compile_matrix_all_wild ... ok
[INFO] [stdout] test pattern::functions::tests::test_compile_matrix_no_cols ... ok
[INFO] [stdout] test pattern::functions::tests::test_compile_matrix_empty ... ok
[INFO] [stdout] test pattern::functions::tests::test_compile_matrix_with_ctors ... ok
[INFO] [stdout] test pattern::functions::tests::test_count_bindings_or_pattern ... ok
[INFO] [stdout] test pattern::functions::tests::test_count_bindings_ctor ... ok
[INFO] [stdout] test pattern::functions::tests::test_canonicalize_var ... ok
[INFO] [stdout] test pattern::functions::tests::test_count_bindings_var ... ok
[INFO] [stdout] test pattern::functions::tests::test_count_bindings_wild ... ok
[INFO] [stdout] test pattern::functions::tests::test_exhaustiveness_with_or_patterns ... ok
[INFO] [stdout] test pattern::functions::tests::test_extract_bound_names_empty ... ok
[INFO] [stdout] test pattern::functions::tests::test_extract_bound_names_nested ... ok
[INFO] [stdout] test pattern::functions::tests::test_default_rows_empty_on_all_ctors ... ok
[INFO] [stdout] test pattern::functions::tests::test_extract_literal_range_multiple ... ok
[INFO] [stdout] test pattern::functions::tests::test_extract_bound_names_var ... ok
[INFO] [stdout] test pattern::functions::tests::test_default_rows_keeps_wildcards ... ok
[INFO] [stdout] test pattern::functions::tests::test_extract_bound_names_or ... ok
[INFO] [stdout] test pattern::functions::tests::test_find_dead_patterns_with_wildcard ... ok
[INFO] [stdout] test pattern::functions::tests::test_flatten_or_nested ... ok
[INFO] [stdout] test pattern::functions::tests::test_flatten_or_single ... ok
[INFO] [stdout] test pattern::functions::tests::test_find_dead_patterns_none ... ok
[INFO] [stdout] test pattern::functions::tests::test_extract_literal_range_none ... ok
[INFO] [stdout] test pattern::functions::tests::test_extract_literal_range_single ... ok
[INFO] [stdout] test pattern::functions::tests::test_is_irrefutable_ctor ... ok
[INFO] [stdout] test pattern::functions::tests::test_is_irrefutable_lit ... ok
[INFO] [stdout] test pattern::functions::tests::test_is_irrefutable_var ... ok
[INFO] [stdout] test pattern::functions::tests::test_is_irrefutable_or_with_wild ... ok
[INFO] [stdout] test pattern::functions::tests::test_fresh_var ... ok
[INFO] [stdout] test pattern::functions::tests::test_is_irrefutable_wild ... ok
[INFO] [stdout] test pattern::functions::tests::test_literal_pattern_nat ... ok
[INFO] [stdout] test pattern::functions::tests::test_multiple_bindings_same_var_or ... ok
[INFO] [stdout] test pattern::functions::tests::test_matrix_compilation_with_mixed_patterns ... ok
[INFO] [stdout] test pattern::functions::tests::test_max_pattern_depth_flat ... ok
[INFO] [stdout] test pattern::functions::tests::test_nested_pattern_with_depth_limit ... ok
[INFO] [stdout] test pattern::functions::tests::test_max_pattern_depth_nested ... ok
[INFO] [stdout] test pattern::functions::tests::test_or_pattern_flattening_complex ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_counting_complex_nested ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_coverage_analysis ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_to_string_ctor_no_args ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_to_string_ctor_with_args ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_to_string_lit ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_to_string_nested_ctor ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_to_string_var ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_equivalence_after_simplification ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_simplification_nested_ctor ... ok
[INFO] [stdout] test pattern::functions::tests::test_patterns_equivalent_ctor ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_to_string_or ... ok
[INFO] [stdout] test pattern::functions::tests::test_pattern_to_string_wild ... ok
[INFO] [stdout] test pattern::functions::tests::test_same_bindings_no ... ok
[INFO] [stdout] test pattern::functions::tests::test_patterns_equivalent_or ... ok
[INFO] [stdout] test pattern::functions::tests::test_same_bindings_yes ... ok
[INFO] [stdout] test pattern::functions::tests::test_patterns_equivalent_var ... ok
[INFO] [stdout] test pattern::functions::tests::test_select_column_prefers_constructors ... ok
[INFO] [stdout] test pattern::functions::tests::test_patterns_equivalent_wild ... ok
[INFO] [stdout] test pattern::functions::tests::test_simplify_ctor_with_args ... ok
[INFO] [stdout] test pattern::functions::tests::test_simplify_or_with_wild_becomes_wild ... ok
[INFO] [stdout] test pattern::functions::tests::test_simplify_pattern_wild ... ok
[INFO] [stdout] test pattern::functions::tests::test_specialize_ctor ... ok
[INFO] [stdout] test pattern::functions::tests::test_specialize_drops_different_ctor ... ok
[INFO] [stdout] test pattern::functions::tests::test_specialize_with_or_pattern ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ansi_tests::test_right_pad ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ansi_tests::test_left_pad ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ansi_tests::test_wrap_text ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ansi_tests::test_strip_ansi ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext2_tests::test_breadcrumb_trail ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext_tests::test_doc_node_cat ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext2_tests::test_table_formatter ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext2_tests::test_table_col_widths ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext_tests::test_box_model_vstack ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext_tests::test_box_model_of_str ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext_tests::test_doc_node_line ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext_tests::test_doc_formatter ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext_tests::test_pretty_expr_short ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_ext_tests::test_doc_node_text ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_indent_tests::test_indent_manager ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_indent_tests::test_apply_to ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_pad2::test_pad_left_char ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_pad2::test_pad_right_char ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_pad2::test_word_wrap ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_pad2::test_visible_width ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_pad::test_center ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_pad::test_count_lines ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_ascii_arrow ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_config_builder ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_pad::test_longest_line ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_config_defaults ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_pad::test_truncate_lines ... ok
[INFO] [stdout] test prettyprint::functions::prettyprint_indent_tests::test_side_by_side ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_ascii_lambda ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_prec_atom_no_parens ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_prec_full_mode ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_prec_lambda_in_app ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_hide_implicit_binders ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_hide_universes ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_do_notation ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_arrow ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_class_decl ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_do_unicode_bind ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_hole ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_inductive_simple ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_do_via_expr ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_inductive_decl ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_lit ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_match_expression ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pattern_ctor_no_args ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_match_via_expr ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_match_with_guard ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pattern_ctor_with_args ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pattern_nested_ctor_parenthesized ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pattern_var ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_structure_decl ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pattern_lit ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_var ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_structure_with_extends ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pattern_or ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_pattern_wild ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_show_universes ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_structure_with_defaults ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_print_sort ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_show_implicit_binders ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_2::test_line_col_to_offset ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_unicode_lambda ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_try_single_line_fits ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_command_history_no_duplicates ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_unicode_forall ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_try_single_line_too_long ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_complete_command_help ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_command_history_search ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_command_history_push ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_complete_command ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_is_empty_input ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_is_meta_command ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_multiline_state_incomplete ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_multiline_state_complete ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_multiline_state_reset ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_parse_bool_false_variants ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_normalize_input ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_parse_bool_invalid ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_parse_bool_true_variants ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_parse_extended_history ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_parse_extended_set ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_repl_options_set_get ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_parse_extended_search ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_repl_options_unknown_option ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_repl_session_history_tracking ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_parse_extended_unknown ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_repl_options_default ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_repl_stats_success_rate ... ok
[INFO] [stdout] test repl_parser::functions::repl_classify_tests::test_classify_repl_input ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_format_prompt_toplevel ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_highlight_keyword_no_color ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_highlight_keyword_with_color ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_repl_session_process_quit ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_highlight_non_keyword ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_input_splitter_complete ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_input_splitter_incomplete ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_input_splitter_multiline ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_input_splitter_flush ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_option_store_get_bool ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_option_store_get_u64 ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_option_store_len ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_option_store_set_get ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_option_store_remove ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_alias_registry_expand ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_repl_option_from_name ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_repl_option_name ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_alias_registry_names ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_all_option_names_nonempty ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_command_alias_new ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_command_history_prev ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_command_tally_record ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_command_history_max ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_command_summary ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_configurable_repl_parser_normalize ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_configurable_repl_parser_strip_comments ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_configurable_repl_parser_with_normalize ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_event_log_clear ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_filter_pipeline_apply ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_filter_pipeline_len ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_is_tactic_block_start ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_event_log_listener ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_lowercase_command_filter ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_is_safe_command ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_option_store_keys ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_completer_add ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_completer_complete ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_event_display ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_formatter_error ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_formatter_success ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_formatter_truncate ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_formatter_list ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_mode_display ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_session_default ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_simple_distance_equal ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_mode_from_name ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_simple_distance_insert ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_repl_mode_name ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_split_meta_command ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_strip_semicolon_filter ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_simple_distance_substitute ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_split_meta_command_no_rest ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_suggest_option_close ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_word_count ... ok
[INFO] [stdout] test repl_parser::functions::repl_history_tests::test_repl_history ... ok
[INFO] [stdout] test repl_parser::functions::repl_extra_tests::test_suggest_option_no_match ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_is_complete_balanced ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_is_complete_unbalanced ... ok
[INFO] [stdout] test repl_parser::functions::repl_pad::test_is_incomplete_repl_input ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_is_complete_negative_depth ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_parse_clear ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_parse_help ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_parse_load ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_parse_quit ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_parse_show_env ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_batch_processor ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_parse_eval ... ok
[INFO] [stdout] test repl_parser::functions::tests::test_parse_quit_short ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_check_printing_stable ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_format_distance ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_expr_fuzzer ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_normalise_for_comparison ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_normalised_equal ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_generate_corpus ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_produce_roundtrip_report ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_roundtrip_diff ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_roundtrip_result_failure ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_roundtrip_suite ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_roundtrip_stats ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_roundtrip_result_success ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_roundtrip_test_hash ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_batch_stats ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_arith_fuzzer ... ok
[INFO] [stdout] test roundtrip::functions::extended_roundtrip_tests::test_snapshot_catalog ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_collapse_whitespace ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_corpus_store ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_config_compare_strict ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_config_compare_lenient ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_edit_regions ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_forall_corpus_generator ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_golden_set ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_has_balanced_braces ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_estimate_nesting_depth ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_has_balanced_parens ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_has_balanced_brackets ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_is_syntactically_valid ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_lambda_corpus_generator ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_levenshtein ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_norm_table ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_prefix_comparator ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_property_test ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_remove_line_comments ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_same_non_ws_tokens ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_strip_whitespace ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_run_full_roundtrip_suite ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_simple_tokenise_reconstruct ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_text_diff ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_token_alpha_equiv ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_whitespace_mutations ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_extended_tests::test_token_stability ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_final_tests::test_count_tokens ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_trivial::test_trivial ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_final_tests::test_grep_lines ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_final_tests::test_coverage_tracker ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_final_tests::test_token_count_stable ... ok
[INFO] [stdout] test roundtrip::functions::tests::test_config_builder ... ok
[INFO] [stdout] test roundtrip::functions::roundtrip_wellformed_tests::test_is_well_formed ... ok
[INFO] [stdout] test roundtrip::functions::tests::test_checker_counters ... ok
[INFO] [stdout] test roundtrip::functions::tests::test_golden_nat_zero ... ok
[INFO] [stdout] test roundtrip::functions::tests::test_golden_suite_run_all ... ok
[INFO] [stdout] test roundtrip::functions::tests::test_roundtrip_def_nat_zero ... ok
[INFO] [stdout] test roundtrip::functions::tests::test_roundtrip_nat_literal ... ok
[INFO] [stdout] test roundtrip::functions::tests::test_roundtrip_app ... ok
[INFO] [stdout] test roundtrip::functions::tests::test_roundtrip_var ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_definition_index_basic ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_definition_index_merge ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_document_symbol_find_by_name ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_diagnostic_severity_ordering ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_document_symbol_flatten ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_goto_definition_not_found ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_source_diagnostic_constructors ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_goto_definition_result ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_reference_index_basic ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_source_diagnostic_with_code ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_source_index_symbol_at_offset ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_source_position_advance_col ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_source_position_advance_line ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_source_position_ordering ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_source_map_stats ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_source_position_origin ... ok
[INFO] [stdout] test sourcemap::functions::extended_sourcemap_tests::test_source_region_contains ... ok
[INFO] [stdout] test sourcemap::functions::sorted_sourcemap_tests::test_sorted_source_map ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_batch_tests::test_format_map_entry_json ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_batch_tests::test_source_map_batch ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_ext_tests::test_bidi_mapper ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_ext2_tests::test_diff_mappers ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_ext2_tests::test_source_map_cache ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_ext_tests::test_map_chain ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_ext_tests::test_range_transform ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_pad2::test_covers_gen_offset ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_pad2::test_max_min_gen_offset ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_builder_add_reference ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_pad::test_merge_sorted_maps ... ok
[INFO] [stdout] test sourcemap::functions::sourcemap_pad::test_is_injective ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_builder_add_various_kinds ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_builder_sorted_output ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_builder_entry_count ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_builder_basic ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_definitions_query ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_entries_in_range ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_entry_at_empty ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_entries_of_kind ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_go_to_definition ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_find_all_occurrences ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_entry_at ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_hover_info_doc_comment_separated_by_non_whitespace ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_hover_info_on_definition ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_hover_info_doc_comment_via_reference ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_hover_info_on_reference ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_hover_info_no_entry ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_hover_info_with_doc_comment ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_line_content_out_of_bounds ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_line_offsets_multi_line ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_offset_to_position_second_line ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_line_offsets_single_line ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_offset_to_position_first_line ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_position_to_offset_clamped ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_position_to_offset_roundtrip ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_references_to ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_semantic_tokens_from_entries ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_source_entry_contains_offset ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_semantic_tokens_precomputed ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_semantic_token_constructors ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_source_entry_with_name_and_type ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_span_text ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_highest_priority_at_none ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_highest_priority_at ... ok
[INFO] [stdout] test sourcemap::functions::tests::test_source_entry_with_name ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_padded_span ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_padded_span_clamp ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_spans_sorted_check_true ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_span_range ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_spans_sorted_check_false ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_diagnostic_set_clear ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_total_coverage_empty ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_total_coverage_no_overlap ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_diagnostic_set_merge ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_diagnostic_set_count ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_diagnostic_set_no_errors ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_diagnostic_span_warning ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_diagnostic_span_error ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_find_span_at ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_highlight_span ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_is_valid_offset ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_span_end_col ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_span_diff ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_span_line_count ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_span_map ... ok
[INFO] [stdout] test span_util::functions::diag_span_tests::test_zero_span ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_byte_col_to_utf16_ascii ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_annotated_span ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_count_chars_unicode ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_dedup_spans ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_file_id_basic ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_extract_context_window ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_file_registry_extract ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_file_registry_register ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_incremental_tracker ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_file_span_merge ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_line_col_to_offset_basic ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_shift_spans ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_sort_spans_reverse ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_sort_spans_by_end ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_chain ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_annotations_at_offset ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_center ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_cmp ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_earlier_later ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_origin ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_debug_str ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_distance_nonoverlap ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_strictly_contains ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_span_stats ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_split_span_basic ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_build_line_index ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_coalesce_spans ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_offset_to_line_col ... ok
[INFO] [stdout] test span_util::functions::extended_span_tests::test_spans_adjacent ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_sort_spans ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_source_cursor_advance_while ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_source_cursor_basic ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_source_cursor_eof ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_source_cursor_newline ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_span_gap ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_span_before_other ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_span_gap_overlap ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_span_registry_merge ... ok
[INFO] [stdout] test span_util::functions::span_extra_tests::test_span_registry ... ok
[INFO] [stdout] test span_util::functions::tests::test_count_lines ... ok
[INFO] [stdout] test span_util::functions::tests::test_extract_line ... ok
[INFO] [stdout] test span_util::functions::tests::test_dummy_span ... ok
[INFO] [stdout] test span_util::functions::tests::test_extract_span ... ok
[INFO] [stdout] test span_util::functions::tests::test_merge_empty ... ok
[INFO] [stdout] test span_util::functions::tests::test_labeled_span ... ok
[INFO] [stdout] test span_util::functions::tests::test_merge_spans ... ok
[INFO] [stdout] test span_util::functions::tests::test_source_pos_display ... ok
[INFO] [stdout] test span_util::functions::tests::test_source_pos_advance ... ok
[INFO] [stdout] test span_util::functions::tests::test_span_before_after ... ok
[INFO] [stdout] test span_util::functions::tests::test_span_builder ... ok
[INFO] [stdout] test span_util::functions::tests::test_span_caret ... ok
[INFO] [stdout] test span_util::functions::tests::test_span_contains ... ok
[INFO] [stdout] test span_util::functions::tests::test_span_contains_span ... ok
[INFO] [stdout] test span_util::functions::tests::test_span_extend_shrink ... ok
[INFO] [stdout] test span_util::functions::tests::test_span_intersection ... ok
[INFO] [stdout] test span_util::functions::tests::test_span_len ... ok
[INFO] [stdout] test span_util::functions::tests::test_span_short_and_range ... ok
[INFO] [stdout] test span_util::functions::tests::test_spanned_map ... ok
[INFO] [stdout] test span_util::functions::tests::test_spans_overlap ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_ac_rfl_associative_commutative ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_calc_step_relation_symbols ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_case_arm_equality ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_case_arm_with_bindings ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_conv_side_equality ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_custom_tactic_parameters ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_custom_tactic_structure ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_first_list_alternatives ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_first_tactic_single ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_generalize_expr_simple ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_obtain_simple_pattern ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_ac_rfl ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_all_combinator ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_all_goals_combinator ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_alternative_combinator ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_any_combinator ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_apply ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_apply_with_multiple_names ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_assumption ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_block ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_basic_tactic ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_block_nested ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_by_block ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_by_contra_full ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_by_contra_no_name ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_by_contra_with_name ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_by_single ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_calc_multiple_steps ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_cases_multiple_arms ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_cases_no_arms ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_cases_with_arms ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_clear ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_clear_multiple ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_constructor ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_constructor_nullary ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_contradiction ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_conv_complex ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_conv_lhs ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_conv_rhs ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_conv_with_side ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_decide ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_decision_tactics ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_empty_rewrite ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_exact ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_exfalso ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_existsi ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_existsi_witness ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_focus ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_focus_with_goal_number ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_generalize ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_have ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_have_with_by ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_induction_base_and_step ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_induction_with_arms ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_intro_no_names ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_intro_with_names ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_intros ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_intros_empty ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_intros_with_underscore ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_left_right ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_left_right_pair ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_let ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_let_in_tactic ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_norm_num ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_obtain ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_omega ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_rcases ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_repeat ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_repeat_structured ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_repeat_with_apply ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_revert ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_revert_multiple ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_rewrite_multiple ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_rewrite_reverse ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_rewrite_single ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_rewrite_with_multiple_lemmas ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_rfl ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_ring ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_seq ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_seq_of_structured ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_seq_with_all_goals ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_show ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_show_goal ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_simp_basic ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_simp_only_with_lemmas ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_simp_star ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_simp_with_config ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_simp_with_negation ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_subst ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_suffices ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_suffices_with_type ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_tactic_with_args ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_tauto ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_trivial ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_try ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_try_structured ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_try_with_omega ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_parse_use_alias ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_rcases_pattern_destructuring ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_rewrite_rule_equality ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_rewrite_rule_reverse_flag ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_simp_args_equality ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_simp_args_only_flag ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_tactic_location_line_column ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_tactic_location_structure ... ok
[INFO] [stdout] test tactic_parser::functions::tests::test_tauto_propositional_solver ... ok
[INFO] [stdout] test token::functions::tests::test_can_start_decl ... ok
[INFO] [stdout] test token::functions::tests::test_can_start_expr ... ok
[INFO] [stdout] test token::functions::tests::test_categorise_identifier ... ok
[INFO] [stdout] test token::functions::tests::test_categorise_keyword ... ok
[INFO] [stdout] test token::functions::tests::test_categorise_literal ... ok
[INFO] [stdout] test token::functions::tests::test_categorise_operator ... ok
[INFO] [stdout] test token::functions::tests::test_check_bracket_balance_mismatch ... ok
[INFO] [stdout] test token::functions::tests::test_check_bracket_balance_ok ... ok
[INFO] [stdout] test token::functions::tests::test_check_bracket_balance_unclosed ... ok
[INFO] [stdout] test token::functions::tests::test_collect_idents ... ok
[INFO] [stdout] test token::functions::tests::test_contains_ident ... ok
[INFO] [stdout] test token::functions::tests::test_count_kind ... ok
[INFO] [stdout] test token::functions::tests::test_covering_span ... ok
[INFO] [stdout] test token::functions::tests::test_infix_precedence_ordering ... ok
[INFO] [stdout] test token::functions::tests::test_is_right_assoc ... ok
[INFO] [stdout] test token::functions::tests::test_split_at_kind ... ok
[INFO] [stdout] test token::functions::tests::test_token_stream_eat ... ok
[INFO] [stdout] test token::functions::tests::test_token_stream_peek_and_next ... ok
[INFO] [stdout] test token::functions::tests::test_token_stream_save_rewind ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_adjacent_pairs ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_annotate_tokens ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_are_adjacent ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_are_not_adjacent ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_compute_depths ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_describe_token ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_extract_bracketed ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_find_matching_close ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_find_matching_close_nested ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_longest_run_same_kind ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_serialize_tokens ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_starts_with_valid_decl_head ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_starts_with_valid_expr_head ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_stream_consume_n ... ok
[INFO] [stdout] test repl_parser::functions::repl_extended_tests::test_format_prompt_nested ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_stream_inject ... ok
[INFO] [stdout] test repl_parser::functions::extended_repl_tests::test_help_text_nonempty ... ok
[INFO] [stdout] test prettyprint::functions::tests::test_unicode_arrow ... ok
[INFO] [stdout] test parser::functions::extended_parser_tests_3::test_parse_parens ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_stream_matches_sequence ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_stream_peek_all ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_structurally_equal_true ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_stream_peek_slice ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_stream_skip_to ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_structurally_equal_false_length ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_category_is_meaningful ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_edit_distance_equal ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_hash_deterministic ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_frequencies ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_lcs_length ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_meta_is_numeric ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_ngrams_size2 ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_meta_is_string ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_category_all ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_hash_different ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_category_ansi_color ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_ngrams_empty ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_edit_distance_insert ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_pattern_alternatives ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_pattern_any ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_pattern_category ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_pattern_find_all ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_pattern_sequence_no_match ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_type_token_ratio_empty ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_pattern_exact ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_type_token_ratio_all_distinct ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_enrich_tokens ... ok
[INFO] [stdout] test token::functions::token_display_tests::test_token_kind_display_name ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_vocabulary ... ok
[INFO] [stdout] test token::functions::token_analysis_tests::test_token_pattern_sequence_match ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_filter_tokens ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_find_by_category ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_has_operator_false ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_max_bracket_depth_flat ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_operator_arity_comma ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_operator_arity_plus ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_operator_priority_ordering ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_max_bracket_depth ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_operator_arity_not ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_operator_priority_min_max ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_has_operator_true ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_strip_eof ... ok
[INFO] [stdout] test token::functions::token_keyword_tests::test_is_keyword_token ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_annotated_token_basic ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_extract_ident_names ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_is_balanced_false ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_count_tokens ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_filter_tokens ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_group_by_line ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_annotated_token_resolved_name ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_is_balanced_true ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_is_binder_keyword ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_is_control_flow ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_is_decl_keyword ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_is_grouping ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_is_keyword ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_is_literal ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_is_type_keyword ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_pair_matcher_closing_of ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_pair_matcher_find_closing ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_reconstruct_source ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_same_kind ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_split_at_depth_zero ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_token_buffer_basic ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_token_buffer_into_stream ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_token_buffer_split_off ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_token_cursor_save_restore ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_token_cursor_basic ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_token_cursor_collect_until ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_token_kind_name ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_token_range_from_empty ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_token_range_from_tokens ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_tokens_have_prefix ... ok
[INFO] [stdout] test tokens::functions::extended_tokens_tests::test_top_level_positions ... ok
[INFO] [stdout] test tokens::functions::more_token_tests::test_contextual_token_from_slice ... ok
[INFO] [stdout] test tokens::functions::more_token_tests::test_contextual_token_same_line ... ok
[INFO] [stdout] test tokens::functions::more_token_tests::test_token_kind_set_basic ... ok
[INFO] [stdout] test tokens::functions::more_token_tests::test_stream_preview_truncated ... ok
[INFO] [stdout] test tokens::functions::more_token_tests::test_format_token_for_error_eof ... ok
[INFO] [stdout] test tokens::functions::more_token_tests::test_stream_preview_short ... ok
[INFO] [stdout] test tokens::functions::more_token_tests::test_format_token_for_error_ident ... ok
[INFO] [stdout] test tokens::functions::more_token_tests::test_token_kind_set_no_duplicate ... ok
[INFO] [stdout] test tokens::functions::role_tests::test_classify_role_decl ... ok
[INFO] [stdout] test tokens::functions::role_tests::test_classify_role_eof ... ok
[INFO] [stdout] test tokens::functions::role_tests::test_classify_role_literal ... ok
[INFO] [stdout] test tokens::functions::role_tests::test_classify_role_name ... ok
[INFO] [stdout] test tokens::functions::tests::test_new_keywords_are_keywords ... ok
[INFO] [stdout] test tokens::functions::tests::test_new_token_display ... ok
[INFO] [stdout] test tokens::functions::tests::test_span_merge ... ok
[INFO] [stdout] test tokens::functions::tests::test_string_part ... ok
[INFO] [stdout] test tokens::functions::tests::test_token_is_ident ... ok
[INFO] [stdout] test tokens::functions::tests::test_token_is_keyword ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_is_arithmetic_op ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_is_comparison_op ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_is_decl_keyword ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_is_delimiter ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_is_logical_op ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_is_reserved ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_is_tactic_name ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_is_universe_keyword ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_matching_delimiter ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_span_of_empty_tokens ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_stream_at_ident ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_stream_consume_if ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_stream_expect_ok ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_span_of_tokens ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_stream_expect_err ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_stream_expect_ident ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_stream_is_eof ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_stream_next ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_stream_peek ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_stream_snapshot_restore ... ok
[INFO] [stdout] test tokens::functions::tokens_extra_tests::test_token_stats ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_base64_encode_decode_roundtrip ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_base64_encode_empty ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_decoded_segment_full ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_decoded_segment_generated_only ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_generate_source_map_json_with_options ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_generated_position_display ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_merge_source_maps ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_multi_file_source_map ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_multi_file_source_map_index_json ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_reverse_source_map ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_reverse_source_map_not_found ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_add_name ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_clear_mappings ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_diff_added ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_diff_empty ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_diff_removed ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_index_build_and_lookup ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_index_empty ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_merge ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_options_builder ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_options_default ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_sort_mappings ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_stats_display ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_stats_from_map ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_validate_err ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_map_validate_ok ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_position_display ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_range_contains ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_range_display ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_source_to_generated_map ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_summarize_source_map ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_to_absolute_mappings ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_validate_vlq_codec ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_vlq_compression_ratio ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_vlq_stream_empty ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_vlq_stream_push_finish ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_wasm_builder_mapping_count ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_wasm_builder_set_file ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_wasm_builder_to_json ... ok
[INFO] [stdout] test wasm_source_map::functions::tests::test_source_map_add_source_dedup ... ok
[INFO] [stdout] test wasm_source_map::functions::tests::test_source_map_lookup_source ... ok
[INFO] [stdout] test wasm_source_map::functions::tests::test_source_map_to_json_version ... ok
[INFO] [stdout] test wasm_source_map::functions::tests::test_source_mapping_new ... ok
[INFO] [stdout] test wasm_source_map::functions::tests::test_vlq_encode_negative ... ok
[INFO] [stdout] test wasm_source_map::functions::tests::test_vlq_encode_positive ... ok
[INFO] [stdout] test wasm_source_map::functions::tests::test_vlq_encode_zero ... ok
[INFO] [stdout] test wasm_source_map::functions::tests::test_vlq_roundtrip ... ok
[INFO] [stdout] test wasm_source_map::functions::tests::test_wasm_source_map_builder ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_annotation_tests::test_wasm_annotation ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_annotation_tests::test_wasm_annotation_table ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_ext3_tests::test_offset_to_source_pos ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_ext3_tests::test_source_map_stats ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_ext3_tests::test_source_pos2 ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_pad2::test_coverage_record ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_pad2::test_max_min_wasm_offset ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_pad2::test_total_annotations ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_pad3::test_unique_source_indices ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_pad3::test_wasm_offset_range ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_pad::test_annotation_line_range ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_pad::test_count_annotations_in_range ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_sourcemap_ext2_tests::test_source_map_merger ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_sourcemap_ext2_tests::test_source_map_validator ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_sourcemap_ext2_tests::test_source_map_validator_out_of_bounds ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_sourcemap_ext_tests::test_full_source_map ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_sourcemap_ext_tests::test_source_map_builder ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_sourcemap_ext_tests::test_source_map_entry ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_sourcemap_ext_tests::test_source_map_group_sort ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_sourcemap_ext_tests::test_source_map_lookup ... ok
[INFO] [stdout] test wasm_source_map::functions::wasm_sourcemap_ext_tests::test_vlq_encode ... ok
[INFO] [stdout] test token::functions::token_extended_tests::test_rich_token_infix ... ok
[INFO] [stdout] test span_util::functions::coverage_extra_tests::test_total_coverage_overlap ... ok
[INFO] [stdout] test wasm_source_map::functions::extended_wasm_tests::test_decode_mappings_empty ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2153 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests oxilean_parse
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test src/lib.rs - (line 13) ... ignored
[INFO] [stdout] test src/lib.rs - (line 25) ... ignored
[INFO] [stdout] test src/lib.rs - (line 250) ... ignored
[INFO] [stdout] test src/lib.rs - parse_expr_str (line 529) ... ignored
[INFO] [stdout] test src/lib.rs - parse_file (line 611) ... ignored
[INFO] [stdout] test src/lib.rs - split_qualified_name (line 1371) ... ignored
[INFO] [stdout] test src/parser/functions.rs - parser::functions::parse_expr (line 16) ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 7 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9db1a0d93243d9895b99fa3f87a7ae923c2fb1ed42634aa4fcbd4468151b448d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9db1a0d93243d9895b99fa3f87a7ae923c2fb1ed42634aa4fcbd4468151b448d", kill_on_drop: false }`
[INFO] [stdout] 9db1a0d93243d9895b99fa3f87a7ae923c2fb1ed42634aa4fcbd4468151b448d
