[INFO] cloning repository https://github.com/eventb-rossi/rossi
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/eventb-rossi/rossi" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Feventb-rossi%2Frossi", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Feventb-rossi%2Frossi'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 066d78f7c520cfbc33b5fd99bba40966d0aa223e
[INFO] testing eventb-rossi/rossi against 1.97.0-beta.6 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Feventb-rossi%2Frossi" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-1-tc1/source/.cargo/config.toml
[INFO] started tweaking git repo https://github.com/eventb-rossi/rossi
[INFO] finished tweaking git repo https://github.com/eventb-rossi/rossi
[INFO] tweaked toml for git repo https://github.com/eventb-rossi/rossi written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/eventb-rossi/rossi on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/eventb-rossi/rossi already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded sha1 v0.11.0
[INFO] [stderr]   Downloaded zip v8.6.0
[INFO] [stderr]   Downloaded cmov v0.5.4
[INFO] [stderr]   Downloaded ppmd-rust v1.4.0
[INFO] [stderr]   Downloaded pbkdf2 v0.13.0
[INFO] [stderr]   Downloaded lzma-rust2 v0.16.2
[INFO] [stderr]   Downloaded zlib-rs v0.6.3
[INFO] [stderr]   Downloaded cpubits v0.1.1
[INFO] [stderr]   Downloaded bzip2 v0.6.1
[INFO] [stderr]   Downloaded libbz2-rs-sys v0.2.5
[INFO] [stderr]   Downloaded test-case-macros v3.3.1
[INFO] [stderr]   Downloaded inout v0.2.2
[INFO] [stderr]   Downloaded cipher v0.5.1
[INFO] [stderr]   Downloaded test-case v3.3.1
[INFO] [stderr]   Downloaded stacker v0.1.24
[INFO] [stderr]   Downloaded test-case-core v3.3.1
[INFO] [stderr]   Downloaded aes v0.9.1
[INFO] [stderr]   Downloaded psm v0.1.31
[INFO] [stderr]   Downloaded ar_archive_writer v0.5.2
[INFO] [stderr]   Downloaded quick-xml v0.41.0
[INFO] [stderr]   Downloaded pest v2.8.7
[INFO] [stderr]   Downloaded tower-lsp v0.20.0
[INFO] [stderr]   Downloaded tower-lsp-macros v0.9.0
[INFO] [stderr]   Downloaded lsp-types v0.94.1
[INFO] [stderr]   Downloaded str_indices v0.4.4
[INFO] [stderr]   Downloaded ropey v1.6.1
[INFO] [stderr]   Downloaded clap_complete v4.6.7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c
[INFO] running `Command { std: "docker" "start" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling typenum v1.20.0
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling pkg-config v0.3.33
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling cmov v0.5.4
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]    Compiling const-oid v0.10.2
[INFO] [stderr]    Compiling pest v2.8.7
[INFO] [stderr]    Compiling yoke v0.8.2
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]    Compiling ctutils v0.4.2
[INFO] [stderr]    Compiling cc v1.2.62
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling zlib-rs v0.6.3
[INFO] [stderr]    Compiling simd-adler32 v0.3.9
[INFO] [stderr]    Compiling cpubits v0.1.1
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling hybrid-array v0.4.12
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling pest_meta v2.8.6
[INFO] [stderr]    Compiling crypto-common v0.2.1
[INFO] [stderr]    Compiling block-buffer v0.12.0
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling inout v0.2.2
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling libbz2-rs-sys v0.2.5
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]    Compiling hmac v0.13.0
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling cipher v0.5.1
[INFO] [stderr]    Compiling stacker v0.1.24
[INFO] [stderr]    Compiling aes v0.9.1
[INFO] [stderr]    Compiling pbkdf2 v0.13.0
[INFO] [stderr]    Compiling sha1 v0.11.0
[INFO] [stderr]    Compiling pest_generator v2.8.6
[INFO] [stderr]    Compiling bzip2 v0.6.1
[INFO] [stderr]    Compiling lzma-rust2 v0.16.2
[INFO] [stderr]    Compiling time v0.3.47
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling zopfli v0.8.3
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling ar_archive_writer v0.5.2
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling ppmd-rust v1.4.0
[INFO] [stderr]    Compiling typed-path v0.12.3
[INFO] [stderr]    Compiling percent-encoding v2.3.2
[INFO] [stderr]    Compiling deflate64 v0.1.12
[INFO] [stderr]    Compiling constant_time_eq v0.4.2
[INFO] [stderr]    Compiling form_urlencoded v1.2.2
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling psm v0.1.31
[INFO] [stderr]    Compiling pest_derive v2.8.6
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling pin-project-internal v1.1.13
[INFO] [stderr]    Compiling quick-xml v0.41.0
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling tokio v1.52.3
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling serde_repr v0.1.20
[INFO] [stderr]    Compiling anyhow v1.0.103
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling pin-project v1.1.13
[INFO] [stderr]    Compiling lsp-types v0.94.1
[INFO] [stderr]    Compiling tower-lsp-macros v0.9.0
[INFO] [stderr]    Compiling auto_impl v1.3.0
[INFO] [stderr]    Compiling str_indices v0.4.4
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling dashmap v6.2.1
[INFO] [stderr]    Compiling ropey v1.6.1
[INFO] [stderr]    Compiling tower v0.4.13
[INFO] [stderr]    Compiling futures v0.3.32
[INFO] [stderr]    Compiling clap_complete v4.6.7
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling zip v8.6.0
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling rossi v0.1.4 (/opt/rustwide/workdir/crates/rossi)
[INFO] [stderr]    Compiling tower-lsp v0.20.0
[INFO] [stderr]    Compiling rossi-build v0.1.4 (/opt/rustwide/workdir/crates/rossi-build)
[INFO] [stderr]    Compiling eventb-lsp v0.1.4 (/opt/rustwide/workdir/crates/eventb-lsp)
[INFO] [stderr]    Compiling xtask v0.1.4 (/opt/rustwide/workdir/crates/xtask)
[INFO] [stderr]    Compiling rossi-cli v0.1.4 (/opt/rustwide/workdir/crates/rossi-cli)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 16s
[INFO] running `Command { std: "docker" "inspect" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling fastrand v2.4.1
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling test-case-core v3.3.1
[INFO] [stderr]    Compiling indoc v2.0.7
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling futures-executor v0.3.32
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling rand v0.9.4
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling futures v0.3.32
[INFO] [stderr]    Compiling tower-lsp v0.20.0
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling xtask v0.1.4 (/opt/rustwide/workdir/crates/xtask)
[INFO] [stderr]    Compiling test-case-macros v3.3.1
[INFO] [stderr]    Compiling test-case v3.3.1
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling eventb-lsp v0.1.4 (/opt/rustwide/workdir/crates/eventb-lsp)
[INFO] [stderr]    Compiling rossi-build v0.1.4 (/opt/rustwide/workdir/crates/rossi-build)
[INFO] [stderr]    Compiling rossi v0.1.4 (/opt/rustwide/workdir/crates/rossi)
[INFO] [stderr]    Compiling rossi-cli v0.1.4 (/opt/rustwide/workdir/crates/rossi-cli)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2m 15s
[INFO] running `Command { std: "docker" "inspect" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.44s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/eventb_lsp-3e56449d190d9134)
[INFO] [stdout] 
[INFO] [stdout] running 345 tests
[INFO] [stdout] test analysis::tests::test_event_status_in_detail ... ok
[INFO] [stdout] test analysis::tests::test_extract_context_symbols ... ok
[INFO] [stdout] test analysis::tests::selection_range_contained_when_name_span_absent ... ok
[INFO] [stdout] test analysis::tests::initialisation_document_symbol_selects_the_name ... ok
[INFO] [stdout] test analysis::tests::test_extract_symbols_from_parsed_machine ... ok
[INFO] [stdout] test analysis::tests::test_extract_symbols_from_parsed_context ... ok
[INFO] [stdout] test code_actions::tests::test_has_ascii_operators ... ok
[INFO] [stdout] test code_actions::tests::test_has_keyword_line_is_case_insensitive ... ok
[INFO] [stdout] test analysis::tests::test_extract_machine_symbols ... ok
[INFO] [stdout] test code_actions::tests::test_get_text_in_range_single_line ... ok
[INFO] [stdout] test code_actions::tests::test_get_text_in_range_unicode ... ok
[INFO] [stdout] test code_actions::tests::test_convert_to_unicode ... ok
[INFO] [stdout] test code_actions::tests::test_convert_to_ascii ... ok
[INFO] [stdout] test code_actions::tests::test_has_unicode_operators ... ok
[INFO] [stdout] test code_actions::tests::test_roundtrip_ascii_unicode_ascii ... ok
[INFO] [stdout] test code_actions::tests::test_roundtrip_set_operators ... ok
[INFO] [stdout] test code_actions::tests::test_is_extractable_literal ... ok
[INFO] [stdout] test code_actions::tests::test_roundtrip_function_types ... ok
[INFO] [stdout] test completion::tests::hyphenated_word_range_is_utf16_after_astral ... ok
[INFO] [stdout] test completion::tests::identifier_completions_offer_a_shadowed_name_once_most_local_wins ... ok
[INFO] [stdout] test completion::tests::leader_token_range_spans_backslash_and_word ... ok
[INFO] [stdout] test completion::tests::snippet_completion_consumes_leader_backslash ... ok
[INFO] [stdout] test completion::tests::test_builtin_completions ... ok
[INFO] [stdout] test completion::tests::test_completion_provider_creation ... ok
[INFO] [stdout] test code_actions::tests::test_get_text_in_range_multi_line ... ok
[INFO] [stdout] test code_actions::tests::test_sort_clause_action_lowercase_keywords ... ok
[INFO] [stdout] test completion::tests::test_completion_refined_variables ... ok
[INFO] [stdout] test code_actions::tests::test_add_clause_inserts_after_lowercase_header ... ok
[INFO] [stdout] test completion::tests::test_component_name_completion_spans_hyphenated_word ... ok
[INFO] [stdout] test completion::tests::completion_offers_the_enclosing_event_parameters ... ok
[INFO] [stdout] test completion::tests::test_component_names_filtered_by_kind_excluding_self ... ok
[INFO] [stdout] test completion::tests::completion_omits_binders_outside_their_body ... ok
[INFO] [stdout] test completion::tests::test_component_names_not_offered_outside_reference_clause ... ok
[INFO] [stdout] test completion::tests::completion_offers_in_scope_formula_binders ... ok
[INFO] [stdout] test completion::tests::completion_does_not_offer_a_sibling_events_parameters ... ok
[INFO] [stdout] test completion::tests::test_no_completions_inside_comment ... ok
[INFO] [stdout] test completion::tests::test_operator_completions_unicode ... ok
[INFO] [stdout] test completion::tests::test_keyword_completions ... ok
[INFO] [stdout] test completion::tests::test_operator_completions_ascii ... ok
[INFO] [stdout] test completion::tests::test_snippet_completions ... ok
[INFO] [stdout] test component_util::tests::component_at_offset_dispatches_by_position ... ok
[INFO] [stdout] test component_loader::tests::duplicate_name_resolves_to_first_occurrence ... ok
[INFO] [stdout] test component_util::tests::component_at_offset_gap_binds_to_preceding_component ... ok
[INFO] [stdout] test component_util::tests::component_at_offset_without_spans_falls_back_to_first ... ok
[INFO] [stdout] test config::tests::test_client_settings_direct_config ... ok
[INFO] [stdout] test component_loader::tests::open_document_components_share_one_parse ... ok
[INFO] [stdout] test config::tests::test_client_settings_nested_rossi_config ... ok
[INFO] [stdout] test config::tests::test_config_manager_get_set ... ok
[INFO] [stdout] test config::tests::test_config_manager_partial_updates ... ok
[INFO] [stdout] test config::tests::test_default_config ... ok
[INFO] [stdout] test config::tests::test_format_config_getters ... ok
[INFO] [stdout] test config::tests::test_json_with_custom_values ... ok
[INFO] [stdout] test config::tests::test_partial_json_uses_defaults ... ok
[INFO] [stdout] test cross_references::tests::component_definition_files_dedupes_same_file_by_path ... ok
[INFO] [stdout] test component_util::tests::parse_all_returns_every_component ... ok
[INFO] [stdout] test component_util::tests::parse_all_returns_empty_on_error ... ok
[INFO] [stdout] test config::tests::test_json_serialization ... ok
[INFO] [stdout] test component_loader::tests::on_disk_merged_file_is_parsed_once ... ok
[INFO] [stdout] test cross_references::tests::component_definition_files_finds_cross_file_dups ... ok
[INFO] [stdout] test completion::tests::test_identifier_completions ... ok
[INFO] [stdout] test cross_references::tests::test_all_reachable_isolated ... ok
[INFO] [stdout] test cross_references::tests::is_scanned_set_only_after_scan ... ok
[INFO] [stdout] test completion::tests::test_config_update ... ok
[INFO] [stdout] test cross_references::tests::test_all_reachable_mixed ... ok
[INFO] [stdout] test cross_references::tests::component_definition_files_single_when_unique ... ok
[INFO] [stdout] test cross_references::tests::test_cross_reference_manager_creation ... ok
[INFO] [stdout] test cross_references::tests::test_detect_cycles_multiple_independent ... ok
[INFO] [stdout] test cross_references::tests::test_detect_cycles_filter_by_kind ... ok
[INFO] [stdout] test cross_references::tests::test_detect_cycles_self_loop ... ok
[INFO] [stdout] test cross_references::tests::test_detect_cycles_simple_two_node ... ok
[INFO] [stdout] test component_util::tests::parse_all_recovers_partial_components_on_local_error ... ok
[INFO] [stdout] test cross_references::tests::sees_edge_survives_a_local_error ... ok
[INFO] [stdout] test cross_references::tests::contains_is_kind_aware ... ok
[INFO] [stdout] test cross_references::tests::test_detect_cycles_no_cycle ... ok
[INFO] [stdout] test cross_references::tests::test_circular_dependency_detection ... ok
[INFO] [stdout] test cross_references::tests::test_extends_chain ... ok
[INFO] [stdout] test cross_references::tests::test_detect_cycles_three_node ... ok
[INFO] [stdout] test cross_references::tests::test_remove_component ... ok
[INFO] [stdout] test cross_references::tests::test_scan_workspace_indexes_eventb_files_only ... ok
[INFO] [stdout] test cross_references::tests::test_duplicate_names_in_one_file_first_wins ... ok
[INFO] [stdout] test cross_references::tests::test_refinement_chain ... ok
[INFO] [stdout] test cross_references::tests::test_transitive_closure_cycle_terminates ... ok
[INFO] [stdout] test cross_references::tests::test_get_component_name_from_uri ... ok
[INFO] [stdout] test cross_references::tests::test_set_workspace_root_through_arc ... ok
[INFO] [stdout] test cross_references::tests::test_transitive_closure_missing_component ... ok
[INFO] [stdout] test cross_references::tests::test_transitive_closure_diamond ... ok
[INFO] [stdout] test cross_references::tests::test_transitive_closure_wrong_kind ... ok
[INFO] [stdout] test cross_references::tests::test_transitive_closure_simple_chain ... ok
[INFO] [stdout] test cross_references::tests::test_update_context ... ok
[INFO] [stdout] test cross_references::tests::test_visible_contexts_direct_sees ... ok
[INFO] [stdout] test cross_references::tests::test_visible_contexts_full_chain ... ok
[INFO] [stdout] test cross_references::tests::test_visible_contexts_inherited_via_refines ... ok
[INFO] [stdout] test cross_references::tests::test_update_context_with_extends ... ok
[INFO] [stdout] test cross_references::tests::test_visible_contexts_sees_plus_extends ... ok
[INFO] [stdout] test cross_references::tests::test_find_referencing_components ... ok
[INFO] [stdout] test cross_references::tests::test_visible_contexts_deduplication ... ok
[INFO] [stdout] test cross_references::tests::test_scan_workspace_survives_deeply_nested_file ... ok
[INFO] [stdout] test definition::tests::cursor_in_a_comment_resolves_to_nothing ... ok
[INFO] [stdout] test cross_references::tests::test_update_machine_with_refines ... ok
[INFO] [stdout] test cross_references::tests::test_update_machine_with_sees ... ok
[INFO] [stdout] test definition::tests::binder_declaration_resolves_to_itself_not_the_global ... ok
[INFO] [stdout] test definition::tests::bound_variable_use_resolves_to_its_binder_not_the_global ... ok
[INFO] [stdout] test cross_references::tests::test_update_multi_component_file ... ok
[INFO] [stdout] test definition::tests::lowercase_sees_resolves_same_file_context ... ok
[INFO] [stdout] test definition::tests::mixed_case_sees_resolves_same_file_context ... ok
[INFO] [stdout] test definition::tests::local_variable_use_resolves_to_its_declaration ... ok
[INFO] [stdout] test definition::tests::event_name_resolves_to_its_declaration ... ok
[INFO] [stdout] test definition::tests::refined_event_keeping_its_name_resolves_to_the_abstract_event ... ok
[INFO] [stdout] test definition::tests::event_parameter_resolves_within_its_own_event ... ok
[INFO] [stdout] test definition::tests::cross_file_constant_resolves_via_sees ... ok
[INFO] [stdout] test definition::tests::free_use_beside_a_shadowing_binder_still_resolves_to_the_variable ... ok
[INFO] [stdout] test definition::tests::refined_event_name_resolves_to_the_abstract_machine ... ok
[INFO] [stdout] test definition::tests::local_variable_shadows_a_seen_constant ... ok
[INFO] [stdout] test definition::tests::uppercase_sees_still_resolves ... ok
[INFO] [stdout] test diagnostics::tests::assignment_in_invariant_is_eb026_error ... ok
[INFO] [stdout] test definition::tests::parameter_used_in_a_guard_resolves_to_its_own_event ... ok
[INFO] [stdout] test diagnostics::tests::duplicate_clause_diagnostic_stays_on_one_line ... ok
[INFO] [stdout] test diagnostics::tests::cycle_not_touching_open_doc_is_ignored ... ok
[INFO] [stdout] test definition::tests::refined_event_keeping_its_name_via_body_refines_resolves_to_the_abstract_event ... ok
[INFO] [stdout] test diagnostics::tests::document_diagnostics_emits_lint_on_clean_parse ... ok
[INFO] [stdout] test diagnostics::tests::document_diagnostics_gates_lints_on_a_broken_parse ... ok
[INFO] [stdout] test diagnostics::tests::duplicate_component_is_eb019_error ... ok
[INFO] [stdout] test definition::tests::sibling_events_same_named_parameters_stay_independent ... ok
[INFO] [stdout] test definition::tests::guard_only_name_is_not_a_definition ... ok
[INFO] [stdout] test diagnostics::tests::duplicate_variable_is_eb021_error ... ok
[INFO] [stdout] test diagnostics::tests::clean_component_has_no_lints ... ok
[INFO] [stdout] test diagnostics::tests::duplicate_label_is_eb022_error ... ok
[INFO] [stdout] test diagnostics::tests::pest_diagnostic_lists_symbols_not_rule_names ... ok
[INFO] [stdout] test diagnostics::tests::known_targets_produce_no_eb009 ... ok
[INFO] [stdout] test diagnostics::tests::self_refines_is_eb008 ... ok
[INFO] [stdout] test diagnostics::tests::pest_diagnostic_uses_real_position ... ok
[INFO] [stdout] test diagnostics::tests::self_extends_is_eb007 ... ok
[INFO] [stdout] test diagnostics::tests::unknown_sees_target_is_eb009 ... ok
[INFO] [stdout] test diagnostics::tests::unknown_refines_target_is_eb009_and_kind_aware ... ok
[INFO] [stdout] test diagnostics::tests::shadowed_name_is_eb023_warning ... ok
[INFO] [stdout] test document::tests::incremental_change_after_astral_char_is_utf16 ... ok
[INFO] [stdout] test document::tests::reopen_with_colliding_version_does_not_serve_stale_parse ... ok
[INFO] [stdout] test diagnostics::tests::two_node_extends_cycle_is_eb007 ... ok
[INFO] [stdout] test diagnostics::tests::unique_component_has_no_eb019 ... ok
[INFO] [stdout] test diagnostics::tests::reserved_word_diagnostic_spans_the_word_issue_42 ... ok
[INFO] [stdout] test document::tests::test_document_manager_open_close ... ok
[INFO] [stdout] test document::tests::test_full_document_sync ... ok
[INFO] [stdout] test document::tests::test_incremental_change ... ok
[INFO] [stdout] test diagnostics::tests::pest_diagnostic_sized_to_token_issue_32 ... ok
[INFO] [stdout] test document::tests::stored_parse_tracks_the_document_lifecycle ... ok
[INFO] [stdout] test document::tests::test_position_to_offset ... ok
[INFO] [stdout] test document::tests::parse_result_is_lazy_and_memoised_per_version ... ok
[INFO] [stdout] test document_links::tests::test_document_links_ignore_event_refines ... ok
[INFO] [stdout] test document_links::tests::test_document_links_multiline_extends ... ok
[INFO] [stdout] test document_links::tests::test_document_links_multiline_refines ... ok
[INFO] [stdout] test document_links::tests::test_document_links_extends ... ok
[INFO] [stdout] test document::tests::stored_parse_recovers_a_local_error ... ok
[INFO] [stdout] test document_links::tests::test_document_links_ignore_comments ... ok
[INFO] [stdout] test document_links::tests::test_document_links_multiline_multiple_references ... ok
[INFO] [stdout] test document_links::tests::test_document_links_no_cross_references ... ok
[INFO] [stdout] test diagnostics::tests::trailing_operator_flags_only_the_broken_predicate ... ok
[INFO] [stdout] test document_links::tests::test_document_links_multiline_sees ... ok
[INFO] [stdout] test document_links::tests::test_document_links_unresolved_reference ... ok
[INFO] [stdout] test document_links::tests::test_is_inside_event_ignores_labelled_end_action ... ok
[INFO] [stdout] test document_links::tests::test_document_links_sees ... ok
[INFO] [stdout] test document_links::tests::test_tokenize_identifiers ... ok
[INFO] [stdout] test document_links::tests::test_document_links_multiple_references ... ok
[INFO] [stdout] test document_links::tests::test_tokenize_identifiers_stops_at_newline ... ok
[INFO] [stdout] test document_links::tests::test_tokenize_identifiers_with_whitespace ... ok
[INFO] [stdout] test document_links::tests::test_document_links_refines ... ok
[INFO] [stdout] test document_links::tests::test_tokenize_identifiers_empty ... ok
[INFO] [stdout] test folding::tests::empty_document_has_no_folds ... ok
[INFO] [stdout] test folding::tests::all_ranges_are_region_kind ... ok
[INFO] [stdout] test folding::tests::folds_context_block_and_clauses ... ok
[INFO] [stdout] test formatting::tests::test_format_idempotent ... ok
[INFO] [stdout] test folding::tests::folds_initialisation ... ok
[INFO] [stdout] test formatting::tests::test_config_update ... ok
[INFO] [stdout] test formatting::tests::test_format_with_ascii ... ok
[INFO] [stdout] test formatting::tests::test_format_machine ... ok
[INFO] [stdout] test formatting::tests::test_format_preserves_comments ... ok
[INFO] [stdout] test folding::tests::folds_events_clause_and_each_event ... ok
[INFO] [stdout] test folding::tests::machine_block_reaches_its_own_end ... ok
[INFO] [stdout] test formatting::tests::test_format_invalid_syntax ... ok
[INFO] [stdout] test formatting::tests::test_format_simple_context ... ok
[INFO] [stdout] test folding::tests::folds_survive_a_syntax_error ... ok
[INFO] [stdout] test formatting::tests::test_format_with_custom_indentation ... ok
[INFO] [stdout] test formula_walk::tests::cursor_on_bound_use_resolves_to_its_binder ... ok
[INFO] [stdout] test formula_walk::tests::expression_mentions_every_operand ... ok
[INFO] [stdout] test formula_walk::tests::binders_in_scope_inside_a_quantifier_body ... ok
[INFO] [stdout] test formula_walk::tests::cursor_on_quantifier_binder_resolves_its_own_scope ... ok
[INFO] [stdout] test formatting::tests::test_format_with_unicode ... ok
[INFO] [stdout] test formula_walk::tests::binder_shadows_global_in_references ... ok
[INFO] [stdout] test formula_walk::tests::cursor_on_free_global_use_is_not_bound ... ok
[INFO] [stdout] test formula_walk::tests::predicate_call_name_is_a_reference ... ok
[INFO] [stdout] test formula_walk::tests::predicate_mentions_ignores_a_shadowing_binder_declaration ... ok
[INFO] [stdout] test formula_walk::tests::primed_after_state_counts_as_the_variable ... ok
[INFO] [stdout] test formula_walk::tests::nested_binders_collect_the_whole_stack ... ok
[INFO] [stdout] test formula_walk::tests::cursor_on_event_parameter_is_flagged ... ok
[INFO] [stdout] test formula_walk::tests::no_binders_in_scope_outside_a_body ... ok
[INFO] [stdout] test formula_walk::tests::nested_same_name_binder_excludes_the_inner_declaration ... ok
[INFO] [stdout] test formula_walk::tests::variant_expression_usage_is_found ... ok
[INFO] [stdout] test formula_walk::tests::predicate_mentions_recognises_a_predicate_call_name ... ok
[INFO] [stdout] test formula_walk::tests::predicate_mentions_only_used_identifiers ... ok
[INFO] [stdout] test hover::tests::hover_on_a_bound_variable_names_it_local_not_the_global ... ok
[INFO] [stdout] test hover::tests::no_variant_clause_means_no_variant_section ... ok
[INFO] [stdout] test hover::tests::hover_on_a_free_use_beside_a_binder_still_shows_the_variable ... ok
[INFO] [stdout] test hover::tests::hover_on_the_binder_declaration_names_it_local ... ok
[INFO] [stdout] test hover::tests::param_hover_at_any_declaration_names_event_and_machine ... ok
[INFO] [stdout] test hover::tests::global_variable_used_in_event_body_still_hovers_as_variable ... ok
[INFO] [stdout] test hover::tests::global_variable_hovers_outside_the_event ... ok
[INFO] [stdout] test hover::tests::param_hover_at_guard_use_lists_guards ... ok
[INFO] [stdout] test hover::tests::test_hover_all_keywords ... ok
[INFO] [stdout] test hover::tests::test_hover_builtin ... ok
[INFO] [stdout] test hover::tests::test_hover_all_operators ... ok
[INFO] [stdout] test hover::tests::test_hover_for_theorems_section ... ok
[INFO] [stdout] test hover::tests::an_identical_variant_repeated_down_the_chain_is_deduplicated ... ok
[INFO] [stdout] test hover::tests::distinct_variants_down_the_chain_are_all_listed_in_order ... ok
[INFO] [stdout] test hover::tests::test_hover_multichar_operator_assignment ... ok
[INFO] [stdout] test hover::tests::constant_used_in_the_variant_shows_it ... ok
[INFO] [stdout] test hover::tests::test_collect_constraints ... ok
[INFO] [stdout] test hover::tests::test_hover_multichar_operator_unspaced ... ok
[INFO] [stdout] test hover::tests::test_hover_identifier_with_constraints ... ok
[INFO] [stdout] test hover::tests::test_hover_keyword ... ok
[INFO] [stdout] test hover::tests::test_hover_identifier ... ok
[INFO] [stdout] test hover::tests::test_hover_multichar_operator_equivalence ... ok
[INFO] [stdout] test hover::tests::param_hover_shadows_same_named_global_variable ... ok
[INFO] [stdout] test hover::tests::test_hover_operator_ascii ... ok
[INFO] [stdout] test hover::tests::test_hover_full_model_with_constraints ... ok
[INFO] [stdout] test hover::tests::test_hover_operator_unicode ... ok
[INFO] [stdout] test hover::tests::test_hover_provider_creation ... ok
[INFO] [stdout] test hover::tests::test_number_sets_resolve_to_builtin_not_operator ... ok
[INFO] [stdout] test hover::tests::test_word_at_position ... ok
[INFO] [stdout] test hover::tests::test_operator_title_uses_ascii_for_private_use_glyphs ... ok
[INFO] [stdout] test hover::tests::test_no_hover_inside_comment ... ok
[INFO] [stdout] test hover::tests::test_hover_separator_operators ... ok
[INFO] [stdout] test hover::tests::test_word_at_position_unicode ... ok
[INFO] [stdout] test hover::tests::test_word_at_position_unicode_operator ... ok
[INFO] [stdout] test identifier_utils::tests::cursor_resolution_is_utf16_after_astral_char ... ok
[INFO] [stdout] test hover::tests::test_private_use_hover_bodies_avoid_the_glyph ... ok
[INFO] [stdout] test hover::tests::test_hover_reads_components_from_document_manager ... ok
[INFO] [stdout] test identifier_utils::tests::component_boundary_protects_longer_names ... ok
[INFO] [stdout] test hover::tests::variable_in_the_variant_shows_it ... ok
[INFO] [stdout] test hover::tests::test_hover_refined_variable ... ok
[INFO] [stdout] test hover::tests::variable_not_in_the_variant_has_no_variant_section ... ok
[INFO] [stdout] test identifier_utils::tests::hyphen_stays_subtraction_in_formula_lines ... ok
[INFO] [stdout] test identifier_utils::tests::hyphenated_name_on_clause_continuation_line ... ok
[INFO] [stdout] test identifier_utils::tests::invalid_hyphen_run_falls_back_to_fragment ... ok
[INFO] [stdout] test identifier_utils::tests::hyphenated_component_name_in_structural_position ... ok
[INFO] [stdout] test identifier_utils::tests::locations_report_utf16_columns_after_astral ... ok
[INFO] [stdout] test identifier_utils::tests::lone_colon_is_an_operator_token ... ok
[INFO] [stdout] test identifier_utils::tests::multibyte_identifier ... ok
[INFO] [stdout] test identifier_utils::tests::single_char_fallback_on_non_operator_punctuation ... ok
[INFO] [stdout] test identifier_utils::tests::multichar_operator_at_position ... ok
[INFO] [stdout] test identifier_utils::tests::trailing_edge_still_resolves_identifier ... ok
[INFO] [stdout] test identifier_utils::tests::out_of_bounds_char ... ok
[INFO] [stdout] test identifier_utils::tests::out_of_bounds_line ... ok
[INFO] [stdout] test identifier_utils::tests::unspaced_operator_beats_trailing_identifier ... ok
[INFO] [stdout] test identifier_utils::tests::operator_range_at_position ... ok
[INFO] [stdout] test identifier_utils::tests::word_at_start_of_identifier ... ok
[INFO] [stdout] test hover::tests::variant_from_an_abstract_machine_shows_in_the_refinement ... ok
[INFO] [stdout] test identifier_utils::tests::underscored_identifier ... ok
[INFO] [stdout] test position::tests::astral_char_counts_as_two_utf16_units ... ok
[INFO] [stdout] test position::tests::line_run_to_range_is_utf16 ... ok
[INFO] [stdout] test identifier_utils::tests::word_in_middle_of_identifier ... ok
[INFO] [stdout] test position::tests::offset_to_position_multiline ... ok
[INFO] [stdout] test position::tests::per_line_converters_round_trip ... ok
[INFO] [stdout] test position::tests::position_inside_surrogate_pair_clamps_forward ... ok
[INFO] [stdout] test position::tests::position_to_offset_multibyte_bmp ... ok
[INFO] [stdout] test position::tests::position_to_offset_basic ... ok
[INFO] [stdout] test position::tests::position_to_offset_out_of_bounds ... ok
[INFO] [stdout] test position::tests::span_to_range_after_astral_char ... ok
[INFO] [stdout] test position::tests::span_to_range_multibyte_bmp ... ok
[INFO] [stdout] test references::tests::test_cursor_in_comment_finds_no_identifier ... ok
[INFO] [stdout] test references::tests::test_event_line_range_anchors_hyphenated_name ... ok
[INFO] [stdout] test references::tests::references_to_a_local_only_binder_stay_within_one_quantifier ... ok
[INFO] [stdout] test references::tests::test_component_reference_clause_ignores_labelled_sees ... ok
[INFO] [stdout] test references::tests::test_event_line_range_ignores_comment_keywords ... ok
[INFO] [stdout] test references::tests::test_event_line_range_ignores_labelled_end_action ... ok
[INFO] [stdout] test references::tests::test_find_constant_references ... ok
[INFO] [stdout] test references::tests::test_find_event_references ... ok
[INFO] [stdout] test references::tests::test_find_references_with_unicode_operators ... ok
[INFO] [stdout] test references::tests::test_find_set_references ... ok
[INFO] [stdout] test references::tests::test_get_identifier_at_position_unicode ... ok
[INFO] [stdout] test references::tests::test_find_variable_references ... ok
[INFO] [stdout] test references::tests::test_no_references_found ... ok
[INFO] [stdout] test references::tests::test_reference_provider_creation ... ok
[INFO] [stdout] test references::tests::test_position_outside_bounds ... ok
[INFO] [stdout] test references::tests::test_references_skip_block_comments ... ok
[INFO] [stdout] test position::tests::recovery_span_round_trips_to_utf16_range ... ok
[INFO] [stdout] test references::tests::test_get_identifier_at_position ... ok
[INFO] [stdout] test references::tests::test_references_skip_line_comments ... ok
[INFO] [stdout] test references::tests::references_on_an_outer_binder_skip_a_shadowing_inner_binder ... ok
[INFO] [stdout] test rename::tests::rename_outer_binder_leaves_shadowing_inner_untouched ... ok
[INFO] [stdout] test references::tests::references_to_a_bound_variable_stay_in_its_scope ... ok
[INFO] [stdout] test rename::tests::test_get_identifier_and_range_at_position ... ok
[INFO] [stdout] test rename::tests::rename_global_skips_shadowing_binder ... ok
[INFO] [stdout] test rename::tests::test_is_keyword_builtins ... ok
[INFO] [stdout] test rename::tests::rename_lambda_leaf_keeps_sibling ... ok
[INFO] [stdout] test rename::tests::test_is_keyword_case_insensitive ... ok
[INFO] [stdout] test rename::tests::test_is_keyword_math_words_are_exact_case ... ok
[INFO] [stdout] test rename::tests::test_is_valid_new_name ... ok
[INFO] [stdout] test rename::tests::test_prepare_rename_keyword ... ok
[INFO] [stdout] test rename::tests::test_prepare_rename_valid ... ok
[INFO] [stdout] test rename::tests::rename_bound_local_keeps_global ... ok
[INFO] [stdout] test rename::tests::rename_primed_after_state_preserves_prime ... ok
[INFO] [stdout] test references::tests::references_to_a_free_variable_skip_the_shadowing_binder ... ok
[INFO] [stdout] test rename::tests::test_rename_constant ... ok
[INFO] [stdout] test rename::tests::test_is_keyword ... ok
[INFO] [stdout] test rename::tests::rename_through_open_document_uses_stored_parse ... ok
[INFO] [stdout] test rename::tests::rename_in_later_component_after_broken_one_is_safe ... ok
[INFO] [stdout] test rename::tests::test_rename_to_keyword_fails ... ok
[INFO] [stdout] test rename::tests::test_rename_edits_sorted ... ok
[INFO] [stdout] test rename::tests::test_rename_preserves_other_identifiers ... ok
[INFO] [stdout] test rename::tests::test_rename_to_builtin_keyword_fails ... ok
[INFO] [stdout] test rename::tests::test_rename_hyphenated_event_to_hyphenated_name ... ok
[INFO] [stdout] test rename::tests::test_rename_to_invalid_name_fails ... ok
[INFO] [stdout] test rename::tests::test_rename_provider_creation ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/eventb_language_server-fd61c290f49e4978)
[INFO] [stdout] test rename::tests::test_rename_variable ... ok
[INFO] [stdout] test selection_range::tests::unicode_operator_token ... ok
[INFO] [stdout] test selection_range::tests::expands_from_token_outward ... ok
[INFO] [stdout] test selection_range::tests::one_result_per_position ... ok
[INFO] [stdout] test semantic_tokens::tests::token_modifier_bit_matches_legend_position ... ok
[INFO] [stdout] test selection_range::tests::falls_back_when_unparsable ... ok
[INFO] [stdout] test rename::tests::test_rename_skips_comments ... ok
[INFO] [stdout] test semantic_tokens::tests::token_type_index_matches_legend_position ... ok
[INFO] [stdout] test signature_help::tests::test_ascii_quantifiers ... ok
[INFO] [stdout] test signature_help::tests::test_existential_quantifier ... ok
[INFO] [stdout] test signature_help::tests::test_lambda_function_expression ... ok
[INFO] [stdout] test signature_help::tests::test_lambda_function_identifiers ... ok
[INFO] [stdout] test signature_help::tests::test_no_signature_in_regular_code ... ok
[INFO] [stdout] test signature_help::tests::test_set_comprehension_full_form ... ok
[INFO] [stdout] test signature_help::tests::test_set_comprehension_full_form_predicate ... ok
[INFO] [stdout] test signature_help::tests::test_set_comprehension_short_form ... ok
[INFO] [stdout] test signature_help::tests::test_universal_quantifier_antecedent ... ok
[INFO] [stdout] test signature_help::tests::test_universal_quantifier_consequent ... ok
[INFO] [stdout] test signature_help::tests::test_universal_quantifier_short_form ... ok
[INFO] [stdout] test signature_help::tests::test_universal_quantifier_identifiers ... ok
[INFO] [stdout] test workspace::tests::test_empty_query ... ok
[INFO] [stdout] test workspace::tests::test_no_match ... ok
[INFO] [stdout] test workspace::tests::test_remove_document ... ok
[INFO] [stdout] test text_utils::tests::enclosing_event_picks_the_event_whose_range_contains_the_line ... ok
[INFO] [stdout] test text_utils::tests::event_parameter_resolves_inner_event_when_recovery_overlaps_ranges ... ok
[INFO] [stdout] test workspace::tests::test_workspace_symbols_multiple_documents ... ok
[INFO] [stdout] test workspace::tests::test_workspace_symbols_context ... ok
[INFO] [stdout] test workspace::tests::test_workspace_symbols_machine ... ok
[INFO] [stdout] test workspace::tests::test_update_symbols_on_change ... ok
[INFO] [stdout] test text_utils::tests::event_parameter_at_position_scopes_to_the_enclosing_event ... ok
[INFO] [stdout] test workspace::tests::symbols_resolve_inside_a_broken_component ... ok
[INFO] [stdout] test workspace::tests::symbols_survive_a_broken_sibling_component ... ok
[INFO] [stdout] test workspace::tests::test_workspace_symbols_lowercase_keywords ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 345 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.36s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/code_actions_test.rs (/opt/rustwide/target/debug/deps/code_actions_test-3668cc746f4e2a8c)
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test test_ascii_operators_in_comments_do_not_offer_conversion ... ok
[INFO] [stdout] test eb026_offers_no_swap_for_becomes_such_that ... ok
[INFO] [stdout] test eb026_offers_membership_swap_for_becomes_in ... ok
[INFO] [stdout] test test_add_missing_end_not_offered_when_terminated ... ok
[INFO] [stdout] test test_add_missing_clause_context ... ok
[INFO] [stdout] test eb026_offers_equality_swap_for_becomes_equal ... ok
[INFO] [stdout] test test_add_missing_clause_machine ... ok
[INFO] [stdout] test test_add_missing_end_offered_for_eof_diagnostic ... ok
[INFO] [stdout] test test_complex_expression_operators ... ok
[INFO] [stdout] test test_diagnostic_based_action ... ok
[INFO] [stdout] test test_code_action_kinds ... ok
[INFO] [stdout] test test_no_actions_for_plain_text ... ok
[INFO] [stdout] test test_multiple_actions_returned ... ok
[INFO] [stdout] test test_new_operator_mappings ... ok
[INFO] [stdout] test test_operator_conversion_correctness ... ok
[INFO] [stdout] test test_convert_selection_to_unicode ... ok
[INFO] [stdout] test test_operator_conversion_leaves_comments_alone ... ok
[INFO] [stdout] test test_no_sort_action_when_already_sorted ... ok
[INFO] [stdout] test test_rename_event_hint ... ok
[INFO] [stdout] test test_extract_constant_action_numeric_literal ... ok
[INFO] [stdout] test test_set_operators ... ok
[INFO] [stdout] test test_relation_operators ... ok
[INFO] [stdout] test test_sort_variables ... ok
[INFO] [stdout] test test_sort_constants ... ok
[INFO] [stdout] test test_roundtrip_ascii_unicode_ascii ... ok
[INFO] [stdout] test test_selection_conversion_preserves_comment_opened_before_selection ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/debounce_test.rs (/opt/rustwide/target/debug/deps/debounce_test-50de2a1c6c0e452e)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test zero_debounce_publishes_each_edit_inline ... ok
[INFO] [stderr]      Running tests/examples_lsp_test.rs (/opt/rustwide/target/debug/deps/examples_lsp_test-b5f6c40f7c6a21b5)
[INFO] [stdout] test rapid_edits_publish_diagnostics_once ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.38s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test binary_search_chain_navigation ... ok
[INFO] [stdout] test cars_document_symbols_contain_events ... ok
[INFO] [stdout] test cars_goto_definition_cross_file ... ok
[INFO] [stdout] test cars_goto_definition_identifiers ... ok
[INFO] [stdout] test cars_hover_cross_file_constant ... ok
[INFO] [stdout] test cars_references_context_constant ... ok
[INFO] [stdout] test cars_rename_component_cross_file ... ok
[INFO] [stdout] test cars_rename_constant_is_single_file ... ok
[INFO] [stdout] test base_model_lowercase_sees_goto_definition ... ok
[INFO] [stdout] test merged_components_and_edges_are_indexed ... ok
[INFO] [stdout] test merged_goto_clause_targets_within_one_file ... ok
[INFO] [stdout] test all_models_folding_invariants ... ok
[INFO] [stdout] test merged_goto_definition_constant_from_seen_context_in_same_file ... ok
[INFO] [stdout] test merged_goto_definition_scopes_to_component_under_cursor ... ok
[INFO] [stdout] test merged_hover_resolves_identifiers_in_later_components ... ok
[INFO] [stdout] test all_models_formatting_identity ... ok
[INFO] [stdout] test merged_semantic_tokens_broken_component_does_not_rescan_from_top ... ok
[INFO] [stdout] test all_models_document_links ... ok
[INFO] [stdout] test separate_file_refines_machine_inside_merged_file ... ok
[INFO] [stdout] test merged_workspace_symbols_cover_every_component ... ok
[INFO] [stdout] test all_models_semantic_tokens_invariants ... ok
[INFO] [stdout] test examples_conversion_gate ... ok
[INFO] [stdout] test workspace_scan_builds_cross_ref_graph ... ok
[INFO] [stdout] test all_models_selection_ranges_nest ... ok
[INFO] [stdout] test all_models_merged_invariants ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 21.82s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/folding_test.rs (/opt/rustwide/target/debug/deps/folding_test-696591d22cbb55ee)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test clause_and_block_folds ... ok
[INFO] [stdout] test comment_keywords_do_not_create_folds ... ok
[INFO] [stdout] test broken_document_still_folds ... ok
[INFO] [stdout] test base_model_machine_folds_to_its_own_end ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.59s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/multi_file_test.rs (/opt/rustwide/target/debug/deps/multi_file_test-23d1197cb8a95d5a)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test test_component_removal ... ok
[INFO] [stdout] test test_circular_dependency_detection ... ok
[INFO] [stdout] test test_cross_file_find_references_for_component ... ok
[INFO] [stdout] test test_component_name_update ... ok
[INFO] [stdout] test test_abstract_machine_variable_references_include_concrete_usages_when_not_shadowed ... ok
[INFO] [stdout] test test_component_with_multiple_sees ... ok
[INFO] [stdout] test test_cross_file_rename_component_detection ... ok
[INFO] [stdout] test test_cross_reference_manager_tracks_refines ... ok
[INFO] [stdout] test test_cross_reference_manager_tracks_extends ... ok
[INFO] [stdout] test test_abstract_machine_variable_references_exclude_shadowing_concrete_variable ... ok
[INFO] [stdout] test test_local_symbol_named_like_component_uses_symbol_references ... ok
[INFO] [stdout] test refines_target_references_resolve_to_the_abstract_event ... ok
[INFO] [stdout] test test_cross_file_references_for_seen_context_constant ... ok
[INFO] [stdout] test test_event_parameter_references_are_event_scoped ... ok
[INFO] [stdout] test test_workspace_index_consistency ... ok
[INFO] [stdout] test test_seen_context_constant_references_exclude_shadowing_machine_variable ... ok
[INFO] [stdout] test test_local_symbol_not_tracked_as_component ... ok
[INFO] [stdout] test test_multi_level_refinement_tracking ... ok
[INFO] [stdout] test test_cross_reference_manager_tracks_sees ... ok
[INFO] [stdout] test test_cross_file_references_from_context_constant_declaration_include_seen_machines ... ok
[INFO] [stdout] test test_cross_file_references_for_extended_seen_context_constant ... ok
[INFO] [stdout] test test_extended_context_constant_declaration_references_include_seen_child_context ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/operator_table_test.rs (/opt/rustwide/target/debug/deps/operator_table_test-46384ab721ba4103)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test operator_table_succeeds_without_params_field ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/recovery_resilience_test.rs (/opt/rustwide/target/debug/deps/recovery_resilience_test-dd2ce3bf78bb43ba)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test goto_resolves_event_parameter_when_guard_is_broken ... ok
[INFO] [stdout] test goto_resolves_a_variable_in_the_broken_machine ... ok
[INFO] [stdout] test goto_resolves_the_sees_context_name ... ok
[INFO] [stdout] test goto_resolves_a_cross_file_set_from_the_broken_machine ... ok
[INFO] [stderr]      Running tests/semantic_tokens_test.rs (/opt/rustwide/target/debug/deps/semantic_tokens_test-073d476d7e989880)
[INFO] [stdout] test hover_still_works_after_a_local_error ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test test_comment_tokens_emitted ... ok
[INFO] [stdout] test test_broken_document_keeps_comment_and_keyword_tokens ... ok
[INFO] [stdout] test test_comment_markers_inside_label_do_not_split_tokens ... ok
[INFO] [stdout] test test_hyphenated_name_not_split_into_keyword ... ok
[INFO] [stdout] test formula_body_identifiers_are_classified ... ok
[INFO] [stdout] test event_clause_keywords_coloured_when_guard_parse_fails ... ok
[INFO] [stdout] test test_label_token_excludes_trailing_colon ... ok
[INFO] [stdout] test test_no_label_tokens_inside_comments ... ok
[INFO] [stdout] test test_no_identifier_tokens_inside_comments ... ok
[INFO] [stdout] test test_keyword_in_comment_not_tokenized ... ok
[INFO] [stdout] test constants_are_read_only_variables_not_numbers ... ok
[INFO] [stdout] test test_semantic_tokens_simple_machine ... ok
[INFO] [stdout] test test_token_columns_are_chars_not_bytes ... ok
[INFO] [stdout] test test_theorems_header_is_highlighted ... ok
[INFO] [stdout] test test_labels_consistent_across_events_with_initialisation ... ok
[INFO] [stdout] test test_semantic_tokens_legend ... ok
[INFO] [stdout] test test_quote_in_label_does_not_hide_real_comment ... ok
[INFO] [stdout] test test_semantic_tokens_returns_none_for_unparseable_input ... ok
[INFO] [stdout] test all_any_parameters_coloured_when_guard_parse_fails ... ok
[INFO] [stdout] test test_keyword_not_matched_inside_identifier ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rossi-ec0fdd24f6146f89)
[INFO] [stdout] 
[INFO] [stdout] running 164 tests
[INFO] [stdout] test ast::walk::tests::enter_scope_reports_a_quantifier_body ... ok
[INFO] [stdout] test ast::walk::tests::union_span_covers_both_endpoints ... ok
[INFO] [stdout] test builtins::tests::atomic_builtins_are_reserved_atoms ... ok
[INFO] [stdout] test builtins::tests::ascii_operator_words_are_operator_spellings ... ok
[INFO] [stdout] test builtins::tests::reserved_name_covers_the_grammars_word_vocabulary ... ok
[INFO] [stdout] test builtins::tests::reserved_operator_words_cover_closed_builtins ... ok
[INFO] [stdout] test builtins::tests::builtins_cover_parsed_vocabulary ... ok
[INFO] [stdout] test ast::walk::tests::enter_scope_spans_a_comprehension_predicate_and_expression ... ok
[INFO] [stdout] test builtins::tests::reserved_name_follows_each_words_token_case_rule ... ok
[INFO] [stdout] test builtins::tests::is_builtin_is_case_insensitive ... ok
[INFO] [stdout] test comments::tests::char_mask_keeps_char_columns ... ok
[INFO] [stdout] test comments::tests::char_mask_keeps_newlines_in_block_comments ... ok
[INFO] [stdout] test comments::tests::comment_markers_inside_label_are_label_text ... ok
[INFO] [stdout] test comments::tests::comment_text_strips_delimiters ... ok
[INFO] [stdout] test comments::tests::label_spans_cover_at_tokens ... ok
[INFO] [stdout] test comments::tests::line_comment_span_excludes_newline ... ok
[INFO] [stdout] test comments::tests::map_code_segments_in_range_respects_comments_opened_outside_range ... ok
[INFO] [stdout] test comments::tests::masks_block_comment_preserving_newlines ... ok
[INFO] [stdout] test comments::tests::masks_line_comment_preserving_layout ... ok
[INFO] [stdout] test comments::tests::normalize_trims_and_drops_blank_edges ... ok
[INFO] [stdout] test comments::tests::unterminated_block_comment_masked_to_eof ... ok
[INFO] [stdout] test deps::tests::all_reachable_mixed_edges ... ok
[INFO] [stdout] test comments::tests::unicode_inside_comment_masked_without_panic ... ok
[INFO] [stdout] test deps::tests::context_and_machine_may_share_a_name ... ok
[INFO] [stdout] test deps::tests::detect_cycles_filter_by_kind ... ok
[INFO] [stdout] test deps::tests::edge_kind_endpoints ... ok
[INFO] [stdout] test deps::tests::detect_cycles_none_when_acyclic ... ok
[INFO] [stdout] test deps::tests::detect_cycles_self_loop ... ok
[INFO] [stdout] test deps::tests::detect_cycles_multiple_independent ... ok
[INFO] [stdout] test deps::tests::detect_cycles_two_node_extends ... ok
[INFO] [stdout] test builtins::tests::reserved_sets_are_consistent ... ok
[INFO] [stdout] test deps::tests::normalize_cycle_rotates_to_smallest ... ok
[INFO] [stdout] test deps::tests::referencing_counts_each_node_once ... ok
[INFO] [stdout] test builtins::tests::reserved_words_are_exact_case ... ok
[INFO] [stdout] test deps::tests::ordered_extends_chain_preorder ... ok
[INFO] [stdout] test deps::tests::ordered_visible_contexts_refines_sees_extends ... ok
[INFO] [stdout] test deps::tests::topological_order_parents_first ... ok
[INFO] [stdout] test deps::tests::referencing_reverse_lookup ... ok
[INFO] [stdout] test deps::tests::topological_order_machines_by_refines ... ok
[INFO] [stdout] test deps::tests::remove_drops_node ... ok
[INFO] [stdout] test deps::tests::topological_order_reports_cycle ... ok
[INFO] [stdout] test deps::tests::from_components_indexes_edges ... ok
[INFO] [stdout] test deps::tests::topological_order_ignores_unknown_parents ... ok
[INFO] [stdout] test deps::tests::transitive_closure_terminates_on_cycle ... ok
[INFO] [stdout] test error::tests::accessors_expose_position_and_span ... ok
[INFO] [stdout] test error::tests::assignment_in_predicate_message_and_accessors ... ok
[INFO] [stdout] test error::tests::incompatible_operators_message_names_both_operators ... ok
[INFO] [stdout] test error::tests::span_is_additive_and_display_ignores_it ... ok
[INFO] [stdout] test keywords::tests::aliases_resolve_to_canonical_id ... ok
[INFO] [stdout] test keywords::tests::boundary_predicates_are_nested_subsets ... ok
[INFO] [stdout] test keywords::tests::dual_scope_and_status_scopes ... ok
[INFO] [stdout] test keywords::tests::keywords_match_language_reference ... ok
[INFO] [stdout] test keywords::tests::every_id_has_exactly_one_row ... ok
[INFO] [stdout] test keywords::tests::lookup_is_case_insensitive ... ok
[INFO] [stdout] test keywords::tests::lookup_round_trips_every_id ... ok
[INFO] [stdout] test keywords::tests::theorems_is_a_clause_keyword ... ok
[INFO] [stdout] test names::tests::component_names ... ok
[INFO] [stdout] test deps::tests::transitive_closure_diamond_dedup ... ok
[INFO] [stdout] test keywords::tests::keywords_match_grammar ... ok
[INFO] [stdout] test names::tests::grammar_parity ... ok
[INFO] [stdout] test names::tests::ident_class_consts_match_predicates ... ok
[INFO] [stdout] test comments::tests::map_code_segments_leaves_comments_verbatim ... ok
[INFO] [stdout] test deps::tests::transitive_closure_includes_missing_target_but_stops ... ok
[INFO] [stdout] test deps::tests::transitive_closure_no_arbitrary_cap ... ok
[INFO] [stdout] test deps::tests::topological_order_is_deterministic ... ok
[INFO] [stdout] test names::tests::math_identifiers ... ok
[INFO] [stdout] test nesting::tests::at_limit_parens_pass ... ok
[INFO] [stdout] test nesting::tests::error_reports_position ... ok
[INFO] [stdout] test nesting::tests::brackets_restore_prefix_chain ... ok
[INFO] [stdout] test nesting::tests::multibyte_input_is_safe ... ok
[INFO] [stdout] test nesting::tests::returns_max_metric ... ok
[INFO] [stdout] test nesting::tests::ascii_arrows_and_binary_minus_not_counted ... ok
[INFO] [stdout] test nesting::tests::deep_parens_rejected ... ok
[INFO] [stdout] test nesting::tests::shallow_input_passes ... ok
[INFO] [stdout] test nesting::tests::parens_in_comments_and_labels_ignored ... ok
[INFO] [stdout] test nesting::tests::unary_minus_chains_counted ... ok
[INFO] [stdout] test nesting::tests::unterminated_block_comment_still_counts ... ok
[INFO] [stdout] test nesting::tests::deep_quantifiers_rejected ... ok
[INFO] [stdout] test nesting::tests::unterminated_block_comment_before_multibyte_char_is_boundary_safe ... ok
[INFO] [stdout] test op_info::tests::set_ops_acceptable_is_a_superset_of_printer_compatibility ... ok
[INFO] [stdout] test operators::tests::comma_comma_converts_to_maplet_but_never_back ... ok
[INFO] [stdout] test op_info::tests::set_ops_acceptable_matches_rodin_matrix ... ok
[INFO] [stdout] test op_info::tests::logical_ops_compatible_only_pairs_same_associative_operator ... ok
[INFO] [stdout] test operators::tests::convert_to_unicode_keeps_private_use_operators_ascii ... ok
[INFO] [stdout] test operators::tests::aliases_are_unique_and_well_formed ... ok
[INFO] [stdout] test nesting::tests::label_resets_prefix_chain ... ok
[INFO] [stdout] test operators::tests::comma_comma_is_an_eager_maplet_input_alias ... ok
[INFO] [stdout] test operators::tests::emit_text_never_yields_a_private_use_glyph ... ok
[INFO] [stdout] test operators::tests::is_eager_input_excludes_collisions ... ok
[INFO] [stdout] test operators::tests::is_private_use_glyph_detects_only_the_pua_range ... ok
[INFO] [stdout] test operators::tests::is_symbolic_matches_ascii_shape ... ok
[INFO] [stdout] test operators::tests::operator_at_alphabetic_needs_word_boundaries ... ok
[INFO] [stdout] test operators::tests::operator_at_returns_whole_multichar_operator ... ok
[INFO] [stdout] test operators::tests::operator_at_misses ... ok
[INFO] [stdout] test nesting::tests::prefix_words_counted_identifiers_not ... ok
[INFO] [stdout] test operators::tests::operator_at_prefers_longest_match ... ok
[INFO] [stdout] test nesting::tests::deep_negation_rejected ... ok
[INFO] [stdout] test operators::tests::private_use_glyphs_match_rodin ... ok
[INFO] [stdout] test operators::tests::operator_at_single_char_operators ... ok
[INFO] [stdout] test operators::tests::operator_rows_are_well_formed ... ok
[INFO] [stdout] test operators::tests::operators_match_grammar ... ok
[INFO] [stdout] test operators::tests::surjection_arrows_have_eager_alternative_input_spellings ... ok
[INFO] [stdout] test parser::tests::friendly_derives_from_spellings ... ok
[INFO] [stdout] test parser::tests::friendly_rule_name_spells_keyword_rules ... ok
[INFO] [stdout] test parser::tests::friendly_rule_name_matches_golden ... ok
[INFO] [stdout] test operators::tests::surjection_aliases_convert_to_unicode_but_never_back ... ok
[INFO] [stdout] test parser::tests::parse_predicate_str_does_not_overreach ... ok
[INFO] [stdout] test parser::tests::clause_regions_are_recorded ... ok
[INFO] [stdout] test parser::tests::find_becomes_operator_locates_first_operator ... ok
[INFO] [stdout] test parser::tests::recovery_does_not_flag_actions_as_eb026 ... ok
[INFO] [stdout] test parser::tests::event_refines_target_span_covers_the_target_name ... ok
[INFO] [stdout] test parser::tests::recovery_reports_assignment_in_invariant ... ok
[INFO] [stdout] test selection::tests::handles_multibyte_unicode ... ok
[INFO] [stdout] test selection::tests::nests_from_token_to_component ... ok
[INFO] [stdout] test parser::tests::initialisation_name_span_covers_the_keyword ... ok
[INFO] [stdout] test selection::tests::unparsable_input_yields_empty ... ok
[INFO] [stdout] test snippets::tests::prefixes_are_unique_and_well_formed ... ok
[INFO] [stdout] test snippets::tests::snippet_count_is_stable ... ok
[INFO] [stdout] test tests::test_parse_simple_context ... ok
[INFO] [stdout] test xml::tests::over_deep_attribute_surfaces_nesting_error_from_xml ... ok
[INFO] [stdout] test parser::tests::parse_predicate_str_flags_misplaced_assignments ... ok
[INFO] [stdout] test tests::test_parse_context_with_sets ... ok
[INFO] [stdout] test snippets::tests::names_are_unique_and_bodies_non_empty ... ok
[INFO] [stdout] test parser::tests::recovery_shifts_assignment_in_later_component ... ok
[INFO] [stdout] test xml::tests::test_context_with_axioms_to_xml ... ok
[INFO] [stdout] test xml::tests::test_context_with_sets_to_xml ... ok
[INFO] [stdout] test xml::tests::test_escape_xml ... ok
[INFO] [stdout] test xml::tests::test_component_filename ... ok
[INFO] [stdout] test xml::tests::test_machine_with_event_to_xml ... ok
[INFO] [stdout] test xml::tests::test_event_convergence_status ... ok
[INFO] [stdout] test xml::tests::test_machine_with_initialisation_to_xml ... ok
[INFO] [stdout] test xml::tests::test_parse_simple_context_xml ... ok
[INFO] [stdout] test xml::tests::test_parse_simple_machine_xml ... ok
[INFO] [stdout] test tests::test_parse_machine_with_variables ... ok
[INFO] [stdout] test tests::test_parse_simple_machine ... ok
[INFO] [stdout] test xml::tests::test_read_project_name_round_trips_writer ... ok
[INFO] [stdout] test xml::tests::test_simple_context_to_xml ... ok
[INFO] [stdout] test xml::tests::test_roundtrip_simple_context ... ok
[INFO] [stdout] test xml::tests::test_simple_machine_to_xml ... ok
[INFO] [stdout] test xml::tests::test_machine_with_variables_to_xml ... ok
[INFO] [stdout] test xml::tests::test_parse_context_with_sets_xml ... ok
[INFO] [stdout] test xml::tests::test_single_project_zip_keeps_flat_rodin_layout ... ok
[INFO] [stdout] test xml::tests::test_to_multi_project_zip_namespaces_each_project ... ok
[INFO] [stdout] test xml::tests::test_roundtrip_counter_example ... ok
[INFO] [stdout] test xml::tests::test_to_project_zip_falls_back_for_blank_project_name ... ok
[INFO] [stdout] test parser::tests::refines_target_span_is_absolute_in_a_multi_component_document ... ok
[INFO] [stdout] test xml::tests::test_to_project_zip_includes_project_descriptor ... ok
[INFO] [stdout] test xml::tests::test_to_zip_empty ... ok
[INFO] [stdout] test xml::tests::test_to_zip_multiple_components ... ok
[INFO] [stdout] test xml::tests::test_xml_escaping_in_predicates ... ok
[INFO] [stdout] test xml::tests::test_to_zip_single_context ... ok
[INFO] [stdout] test xml::tests::test_xml_missing_convergence_defaults_to_ordinary ... ok
[INFO] [stdout] test xml::tests::test_text_to_xml_conversion ... ok
[INFO] [stdout] test xml::tests::test_xml_read_with_binding_element ... ok
[INFO] [stdout] test xml::tests::test_write_project_directory_includes_project_descriptor ... ok
[INFO] [stdout] test xml::tests::test_xml_unknown_convergence_value_errors ... ok
[INFO] [stdout] test xml::tests::test_to_zip_roundtrip_from_text ... ok
[INFO] [stdout] test xml::tests::test_write_multi_project_directory_namespaces_each_project ... ok
[INFO] [stdout] test xml::tests::test_xml_with_binding_roundtrip ... ok
[INFO] [stdout] test xml::tests::test_text_machine_to_xml_conversion ... ok
[INFO] [stdout] test xml::tests::test_xml_with_binding_write ... ok
[INFO] [stdout] test xml::tests::test_roundtrip_machine_example ... ok
[INFO] [stdout] test xml::tests::wrap_attr_error_preserves_nesting_rejections ... ok
[INFO] [stdout] test xml::tests::wrap_attr_error_preserves_assignment_in_predicate ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 164 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/action_span_test.rs (/opt/rustwide/target/debug/deps/action_span_test-dd638928ed6b0d84)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test parallel_assignment_targets_each_spanned ... ok
[INFO] [stdout] test function_override_target_is_spanned ... ok
[INFO] [stdout] test assignment_target_is_spanned ... ok
[INFO] [stdout] test becomes_such_that_target_is_spanned ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/base_model_test.rs (/opt/rustwide/target/debug/deps/base_model_test-f266cc7330f92fcd)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_base_model_context ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/comment_roundtrip_test.rs (/opt/rustwide/target/debug/deps/comment_roundtrip_test-c34ee1406b4116bb)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test block_close_inside_comment_is_sanitized ... ok
[INFO] [stdout] test consecutive_comments_join_with_newline ... ok
[INFO] [stdout] test block_comment_preserves_lines ... ok
[INFO] [stdout] test corpus_wellcommented_comments_survive_text_roundtrip ... ok
[INFO] [stdout] test comment_before_header_attaches_to_component ... ok
[INFO] [stdout] test keywords_inside_comments_do_not_break_structure ... ok
[INFO] [stdout] test comments_attach_per_element_kind ... ok
[INFO] [stdout] test comments_attach_in_machine_and_event ... ok
[INFO] [stdout] test ascii_mode_does_not_touch_comment_text ... ok
[INFO] [stdout] test multi_component_comments_attach_within_their_component ... ok
[INFO] [stdout] test format_is_idempotent_with_comments ... ok
[INFO] [stdout] test multiline_comment_prints_camille_block ... ok
[INFO] [stdout] test commented_parameters_print_one_per_line ... ok
[INFO] [stdout] test empty_xml_param_comment_does_not_force_multiline ... ok
[INFO] [stdout] test whitespace_only_comments_are_dropped ... ok
[INFO] [stdout] test trailing_comment_attaches_to_axiom ... ok
[INFO] [stdout] test standalone_comment_attaches_to_preceding_element ... ok
[INFO] [stdout] test single_line_comment_prints_trailing ... ok
[INFO] [stdout] test real_xml_param_comment_still_prints_per_line_and_roundtrips ... ok
[INFO] [stdout] test roundtrip_preserves_comments_in_ast ... ok
[INFO] [stderr]      Running tests/doc_snippets_test.rs (/opt/rustwide/target/debug/deps/doc_snippets_test-74ddaf2837c9c07d)
[INFO] [stdout] test base_model_zip_comments_survive_text_roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.55s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test vscode_starter_project_files_parse ... ok
[INFO] [stdout] test doc_eventb_blocks_parse ... ok
[INFO] [stdout] test canonical_snippets_expand_to_valid_eventb ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/edge_cases_test.rs (/opt/rustwide/target/debug/deps/edge_cases_test-30fa4d56ac45a531)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test test_becomes_such_that ... ok
[INFO] [stdout] test test_at_label_guards_and_actions ... ok
[INFO] [stdout] test test_composition_circ_ascii ... ok
[INFO] [stdout] test test_becomes_in_unicode ... ok
[INFO] [stdout] test test_becomes_in_ascii ... ok
[INFO] [stdout] test test_forward_composition_parenthesized_in_action ... ok
[INFO] [stdout] test test_forward_composition ... ok
[INFO] [stdout] test test_inverse_tilde ... ok
[INFO] [stdout] test test_exists_multiple_variables ... ok
[INFO] [stdout] test test_inverse_tilde_ascii ... ok
[INFO] [stdout] test test_anticipated_event ... ok
[INFO] [stdout] test test_forall_multiple_variables ... ok
[INFO] [stdout] test test_inverse_repeated ... ok
[INFO] [stdout] test test_inverse_relational_image ... ok
[INFO] [stdout] test test_nested_quantifiers ... ok
[INFO] [stdout] test test_lambda_parenthesized_maplet_pattern ... ok
[INFO] [stdout] test test_inverse_function_application ... ok
[INFO] [stdout] test test_lambda_triple_maplet_left_assoc ... ok
[INFO] [stdout] test test_standalone_action_chained_composition_with_inverse ... ok
[INFO] [stdout] test test_standalone_action_forward_composition_unparenthesized ... ok
[INFO] [stdout] test test_standalone_becomes_such_that_with_composition ... ok
[INFO] [stdout] test test_set_comprehension_multiple_vars ... ok
[INFO] [stdout] test test_lambda_maplet_pattern ... ok
[INFO] [stdout] test test_primed_identifier_in_becomes_such_that ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/error_recovery_test.rs (/opt/rustwide/target/debug/deps/error_recovery_test-4cdff2661177cc51)
[INFO] [stdout] 
[INFO] [stdout] running 53 tests
[INFO] [stdout] test recovery_does_not_invent_with_witness_for_initialisation ... ok
[INFO] [stdout] test recovery_anchors_guard_and_action_spans_for_the_outline ... ok
[INFO] [stdout] test recovery_clause_regions_are_absolute_in_multi_component_files ... ok
[INFO] [stdout] test recovery_extracts_newline_separated_any_parameters ... ok
[INFO] [stdout] test recovery_formula_identifier_spans_are_absolute ... ok
[INFO] [stdout] test recovery_extracts_any_clause_parameters ... ok
[INFO] [stdout] test recovery_machine_clause_regions_and_payloads_characterized ... ok
[INFO] [stdout] test recovery_context_clause_regions_and_payloads_characterized ... ok
[INFO] [stdout] test recovery_spans_the_component_block ... ok
[INFO] [stdout] test recovery_records_declaration_spans ... ok
[INFO] [stdout] test recovery_spans_are_absolute_in_multi_component_files ... ok
[INFO] [stdout] test test_error_count_tracking ... ok
[INFO] [stdout] test test_recovery_bare_membership_line_not_mislabeled ... ok
[INFO] [stdout] test recovery_populates_initialisation_actions ... ok
[INFO] [stdout] test test_recovery_ascii_membership_with_at_label ... ok
[INFO] [stdout] test test_recovery_clause_keyword_in_comment_does_not_truncate ... ok
[INFO] [stdout] test test_recovery_block_comment_with_colon ... ok
[INFO] [stdout] test recovery_records_events_variant_and_clause_regions ... ok
[INFO] [stdout] test test_recovery_colon_label_accepts_unicode ... ok
[INFO] [stdout] test test_recovery_comment_markers_in_label_no_spurious_error ... ok
[INFO] [stdout] test test_recovery_comment_only_lines_no_errors ... ok
[INFO] [stdout] test test_recovery_colon_in_comment_axiom_not_flagged ... ok
[INFO] [stdout] test test_recovery_context_identifier_does_not_flip_dispatch ... ok
[INFO] [stdout] test test_recovery_colon_label_syntax_still_works ... ok
[INFO] [stdout] test test_recovery_context_missing_end ... ok
[INFO] [stdout] test test_recovery_identifiers_ignore_comment_text ... ok
[INFO] [stdout] test test_recovery_event_refines_is_not_machine_refines ... ok
[INFO] [stdout] test test_recovery_dispatch_ignores_component_keyword_in_comment ... ok
[INFO] [stdout] test test_recovery_error_names_label_with_position ... ok
[INFO] [stdout] test test_recovery_context_with_multiple_errors ... ok
[INFO] [stdout] test test_recovery_keyword_inside_identifier_does_not_truncate_clause ... ok
[INFO] [stdout] test recovery_populates_event_guards_and_actions ... ok
[INFO] [stdout] test test_recovery_inline_clause_content ... ok
[INFO] [stdout] test test_recovery_dispatch_ignores_keyword_inside_identifier ... ok
[INFO] [stdout] test test_recovery_context_with_invalid_axiom ... ok
[INFO] [stdout] test test_recovery_inline_theorem_forms ... ok
[INFO] [stdout] test test_recovery_keyword_inside_label_does_not_truncate_clause ... ok
[INFO] [stdout] test test_recovery_label_less_predicates_are_not_lost ... ok
[INFO] [stdout] test test_recovery_mixed_labelled_and_bare_predicates ... ok
[INFO] [stdout] test test_recovery_multiline_theorem_orderings_stay_whole ... ok
[INFO] [stdout] test test_recovery_machine_with_invalid_invariant ... ok
[INFO] [stdout] test test_recovery_machine_with_valid_clauses ... ok
[INFO] [stdout] test test_recovery_trailing_colon_label_matches_strict_parser ... ok
[INFO] [stdout] test test_recovery_span_is_byte_exact_under_multibyte ... ok
[INFO] [stdout] test test_recovery_survives_bom_before_header ... ok
[INFO] [stdout] test test_recovery_preserves_valid_data ... ok
[INFO] [stdout] test test_recovery_set_error_does_not_leak_into_axioms_issue_32 ... ok
[INFO] [stdout] test test_recovery_unknown_component_type ... ok
[INFO] [stdout] test test_recovery_with_commas_in_lists ... ok
[INFO] [stdout] test test_successful_parse_no_errors ... ok
[INFO] [stdout] test test_recovery_unicode_whitespace_before_label_does_not_panic ... ok
[INFO] [stderr]      Running tests/expression_span_test.rs (/opt/rustwide/target/debug/deps/expression_span_test-7161fc2c44e62417)
[INFO] [stdout] test trailing_operator_does_not_flag_the_following_predicate ... ok
[INFO] [stdout] test test_recovery_multiline_invariant_isolates_the_broken_one ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 53 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test quantified_body_usage_is_spanned ... ok
[INFO] [stdout] test quantifier_binder_is_spanned ... ok
[INFO] [stdout] test nested_identifier_usages_point_at_each_occurrence ... ok
[INFO] [stdout] test predicate_application_name_is_spanned ... ok
[INFO] [stdout] test binary_fold_span_covers_both_operands ... ok
[INFO] [stdout] test function_application_identifier_is_spanned ... ok
[INFO] [stdout] test comparison_identifier_leaves_are_spanned ... ok
[INFO] [stdout] test lambda_pattern_binders_are_spanned ... ok
[INFO] [stdout] test recovered_component_has_absolute_formula_spans ... ok
[INFO] [stdout] test recovered_labeled_predicate_has_absolute_inner_spans ... ok
[INFO] [stderr]      Running tests/full_models_test.rs (/opt/rustwide/target/debug/deps/full_models_test-c81a62b49c13f2aa)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 90 tests
[INFO] [stdout] test test_builtin_card_comma_form_rejected ... ok
[INFO] [stdout] test test_builtin_finite ... ok
[INFO] [stdout] test test_builtin_card ... ok
[INFO] [stdout] test test_bare_id_is_atomic_builtin ... ok
[INFO] [stdout] test test_bool_vs_bool_type ... ok
[INFO] [stdout] test test_bool_expr ... ok
[INFO] [stdout] test parse_error_names_keywords_and_dedups_issue_76 ... ok
[INFO] [stdout] test misspelled_event_keyword_suggests_only_event_or_end_issue_76 ... ok
[INFO] [stdout] test test_builtin_partition_many_args_ok ... ok
[INFO] [stdout] test test_builtin_partition ... ok
[INFO] [stdout] test test_builtin_partition_wrong_arity ... ok
[INFO] [stdout] test test_builtin_prj1_single_arg ... ok
[INFO] [stdout] test test_builtin_finite_wrong_arity ... ok
[INFO] [stdout] test test_builtin_prj1_zero_args ... ok
[INFO] [stdout] test test_context_duplicate_sets_clause ... ok
[INFO] [stdout] test test_clause_error_has_line_info ... ok
[INFO] [stdout] test test_builtin_prj2_single_arg ... ok
[INFO] [stdout] test test_context_accepts_sets_before_extends ... ok
[INFO] [stdout] test test_builtin_min_max ... ok
[INFO] [stdout] test test_context_accepts_axioms_after_theorems ... ok
[INFO] [stdout] test test_context_extends ... ok
[INFO] [stdout] test test_counter_context ... ok
[INFO] [stdout] test test_counter_machine ... ok
[INFO] [stdout] test test_context_sparse_valid_order ... ok
[INFO] [stdout] test test_empty_set_spellings ... ok
[INFO] [stdout] test test_builtin_id_prj ... ok
[INFO] [stdout] test test_context_theorems_section_after_axioms ... ok
[INFO] [stdout] test test_enumerated_set_declaration ... ok
[INFO] [stdout] test test_inline_event_header::convergent ... ok
[INFO] [stdout] test test_event_with_parameters ... ok
[INFO] [stdout] test test_extended_initialisation_no_actions_roundtrip ... ok
[INFO] [stdout] test test_event_with_clause ... ok
[INFO] [stdout] test test_inline_event_header::anticipated ... ok
[INFO] [stdout] test test_inline_event_header::inline_refines ... ok
[INFO] [stdout] test test_inline_event_header::convergent_with_refines ... ok
[INFO] [stdout] test test_event_witness_clause ... ok
[INFO] [stdout] test test_label_colon_in_action ... ok
[INFO] [stdout] test test_label_colon_in_axiom::with_colon ... ok
[INFO] [stdout] test test_machine_accepts_sees_before_refines ... ok
[INFO] [stdout] test test_label_colon_in_event_guard ... ok
[INFO] [stdout] test test_label_colon_in_axiom::without_colon ... ok
[INFO] [stdout] test test_label_with_colon_suffix ... ok
[INFO] [stdout] test test_label_colon_in_invariant::without_colon ... ok
[INFO] [stdout] test test_extended_set_comprehension ... ok
[INFO] [stdout] test test_machine_duplicate_variables_clause ... ok
[INFO] [stdout] test test_machine_accepts_theorems_after_variant ... ok
[INFO] [stdout] test test_machine_refines ... ok
[INFO] [stdout] test test_machine_rejects_clause_after_events ... ok
[INFO] [stdout] test test_machine_full_valid_order ... ok
[INFO] [stdout] test test_label_colon_in_invariant::with_colon ... ok
[INFO] [stdout] test test_maplet_comma_comma ... ok
[INFO] [stdout] test test_label_with_non_identifier_chars ... ok
[INFO] [stdout] test test_mixed_deferred_and_enumerated_sets ... ok
[INFO] [stdout] test test_machine_theorems_between_invariants_and_variant ... ok
[INFO] [stdout] test test_multiple_variables_and_invariants ... ok
[INFO] [stdout] test test_mixed_labeled_unlabeled_actions ... ok
[INFO] [stdout] test test_multiple_parallel_assignment ... ok
[INFO] [stdout] test test_oftype_unicode ... ok
[INFO] [stdout] test test_quantified_inter ... ok
[INFO] [stdout] test test_multiple_with_bindings ... ok
[INFO] [stdout] test test_oftype_ascii ... ok
[INFO] [stdout] test test_recovery_result_api ... ok
[INFO] [stdout] test test_recovery_into_result_valid ... ok
[INFO] [stdout] test test_nested_quantifier_in_guard ... ok
[INFO] [stdout] test test_quantified_union ... ok
[INFO] [stdout] test test_recovery_unrecognizable_input ... ok
[INFO] [stdout] test test_recovery_valid_input_no_errors ... ok
[INFO] [stdout] test test_recovery_machine_with_bad_invariant ... ok
[INFO] [stdout] test test_skip_action_in_event ... ok
[INFO] [stdout] test test_relational_image ... ok
[INFO] [stdout] test test_skip_action_roundtrip ... ok
[INFO] [stdout] test test_recovery_context_with_bad_axiom ... ok
[INFO] [stdout] test test_theorem_label_ordering::theorem_before_label ... ok
[INFO] [stdout] test test_total_relation ... ok
[INFO] [stdout] test test_theorem_label_ordering::label_before_theorem ... ok
[INFO] [stdout] test test_surjective_relation ... ok
[INFO] [stdout] test test_typed_bound_vars_in_forall ... ok
[INFO] [stdout] test test_typed_forall_single ... ok
[INFO] [stdout] test test_theorem_label_ordering::theorem_before_label_with_colon ... ok
[INFO] [stdout] test test_theorems_section_roundtrips_to_inline ... ok
[INFO] [stdout] test test_typed_forall_mixed ... ok
[INFO] [stdout] test test_total_surjective_relation ... ok
[INFO] [stdout] test test_typed_quantified_inter ... ok
[INFO] [stdout] test test_typed_exists ... ok
[INFO] [stdout] test test_typed_quantified_union ... ok
[INFO] [stdout] test test_typed_forall_multiple ... ok
[INFO] [stdout] test test_user_defined_predicate ... ok
[INFO] [stdout] test test_variant_clause_arithmetic_expression ... ok
[INFO] [stdout] test test_variant_clause_simple_identifier ... ok
[INFO] [stdout] test test_with_where_then_together ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 90 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hyphenated_names_test.rs (/opt/rustwide/target/debug/deps/hyphenated_names_test-696287567bb9c7b2)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stderr]      Running tests/identifier_validation_test.rs (/opt/rustwide/target/debug/deps/identifier_validation_test-babd9313b7dc6310)
[INFO] [stdout] test event_extends_hyphenated_parent ... ok
[INFO] [stdout] test component_named_with_embedded_keyword ... ok
[INFO] [stdout] test multi_component_recovery_keeps_hyphenated_names_whole ... ok
[INFO] [stdout] test event_named_with_keyword_prefix ... ok
[INFO] [stdout] test malformed_hyphen_component_names_rejected ... ok
[INFO] [stdout] test hyphen_rejected_in_math_declarations ... ok
[INFO] [stdout] test context_with_hyphenated_name_and_extends ... ok
[INFO] [stdout] test recovery_rejects_invalid_component_names ... ok
[INFO] [stdout] test sees_list_name_with_embedded_keyword_is_one_name ... ok
[INFO] [stdout] test machine_with_hyphenated_names_in_every_structural_position ... ok
[INFO] [stdout] test math_keyword_boundaries_unchanged_across_hyphen ... ok
[INFO] [stdout] test xml_import_round_trips_through_text ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test hyphen_in_witness_label_rejected ... ok
[INFO] [stdout] test leading_hyphen_identifier_rejected ... ok
[INFO] [stdout] test digit_leading_identifier_rejected ... ok
[INFO] [stdout] test reserved_keyword_constant_accepted ... ok
[INFO] [stdout] test hyphen_in_context_identifier_accepted ... ok
[INFO] [stdout] test hyphen_in_declared_identifier_rejected ... ok
[INFO] [stdout] test surrounding_whitespace_in_event_label_trimmed ... ok
[INFO] [stdout] test trailing_or_doubled_hyphen_rejected ... ok
[INFO] [stdout] test whitespace_only_identifier_rejected ... ok
[INFO] [stdout] test whitespace_padded_initialisation_label_recognised ... ok
[INFO] [stdout] test malformed_predicate_attribute_wraps_pest_error ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/multi_component_test.rs (/opt/rustwide/target/debug/deps/multi_component_test-23e2add87be5b963)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test recovery_nesting_too_deep_fails_fast ... ok
[INFO] [stdout] test test_duplicate_component_names_accepted ... ok
[INFO] [stdout] test recovery_junk_before_first_component ... ok
[INFO] [stdout] test test_empty_input_is_error ... ok
[INFO] [stdout] test recovery_middle_component_broken ... ok
[INFO] [stdout] test recovery_single_component_matches_single_recovery ... ok
[INFO] [stdout] test test_single_machine_via_parse_components ... ok
[INFO] [stdout] test test_mixed_context_and_machine ... ok
[INFO] [stdout] test test_two_contexts ... ok
[INFO] [stdout] test recovery_midline_keyword_does_not_split ... ok
[INFO] [stdout] test recovery_shifts_reserved_word_errors_to_absolute_lines ... ok
[INFO] [stdout] test recovery_last_component_broken ... ok
[INFO] [stdout] test test_single_context_via_parse_components ... ok
[INFO] [stdout] test recovery_valid_multi_component_has_no_errors ... ok
[INFO] [stdout] test test_traffic_light_file ... ok
[INFO] [stdout] test test_roundtrip_multi_component ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/nesting_limit_test.rs (/opt/rustwide/target/debug/deps/nesting_limit_test-76b7cb0818143e74)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test at_limit_negations_parse ... ok
[INFO] [stdout] test over_limit_enclosing_spans_returns_empty ... ok
[INFO] [stdout] test over_limit_negations_rejected ... ok
[INFO] [stdout] test over_limit_parens_rejected ... ok
[INFO] [stdout] test over_limit_predicate_and_expression_strs_rejected ... ok
[INFO] [stdout] test over_limit_quantifiers_rejected ... ok
[INFO] [stdout] test over_limit_recovery_returns_single_error_without_panicking ... ok
[INFO] [stdout] test at_limit_quantifiers_parse ... ok
[INFO] [stdout] test at_limit_parens_parse ... ok
[INFO] [stdout] test at_limit_every_driver_construct_parses ... ok
[INFO] [stdout] test at_limit_mixed_parens_and_negations_parse ... ok
[INFO] [stdout] test long_conjunction_of_bracketed_negations_passes ... ok
[INFO] [stdout] test many_small_formulas_pass ... ok
[INFO] [stdout] test ascii_arrows_and_subtraction_chains_pass ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.58s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/operator_compatibility_test.rs (/opt/rustwide/target/debug/deps/operator_compatibility_test-7be9734632795b56)
[INFO] [stdout] 
[INFO] [stdout] running 33 tests
[INFO] [stdout] test difference_intersection_mix_is_rejected ... ok
[INFO] [stdout] test bare_forall_as_disjunct_is_rejected ... ok
[INFO] [stdout] test and_then_or_is_rejected ... ok
[INFO] [stdout] test a_surrounding_bracket_does_not_license_an_implication_chain ... ok
[INFO] [stdout] test forward_composition_then_domain_restriction_is_rejected ... ok
[INFO] [stdout] test implication_chain_is_rejected ... ok
[INFO] [stdout] test bare_exists_as_conjunct_is_rejected ... ok
[INFO] [stdout] test equivalence_chain_is_rejected ... ok
[INFO] [stdout] test intersection_union_mix_is_rejected ... ok
[INFO] [stdout] test equivalence_then_implication_is_rejected ... ok
[INFO] [stdout] test connectives_below_implication_keep_their_precedence ... ok
[INFO] [stdout] test implication_then_equivalence_is_rejected ... ok
[INFO] [stdout] test longer_compatible_set_chain_parses ... ok
[INFO] [stdout] test bare_quantifier_as_an_implication_operand_is_rejected ... ok
[INFO] [stdout] test compatible_set_operator_pairs_parse ... ok
[INFO] [stdout] test leading_quantifier_absorbs_the_connective_body ... ok
[INFO] [stdout] test negated_quantifier_operand_parses ... ok
[INFO] [stdout] test parallel_product_is_not_self_associative ... ok
[INFO] [stdout] test mixing_fires_before_a_trailing_quantifier_operand ... ok
[INFO] [stdout] test explicitly_grouped_implication_and_equivalence_parse ... ok
[INFO] [stdout] test or_then_and_is_rejected ... ok
[INFO] [stdout] test parenthesised_quantifier_operand_parses ... ok
[INFO] [stdout] test parenthesised_connectives_parse ... ok
[INFO] [stdout] test parenthesising_restores_acceptance ... ok
[INFO] [stdout] test other_binary_levels_are_unaffected ... ok
[INFO] [stdout] test range_restriction_is_not_self_associative ... ok
[INFO] [stdout] test union_difference_mix_is_rejected ... ok
[INFO] [stdout] test union_intersection_mix_is_rejected ... ok
[INFO] [stdout] test self_associative_set_operators_parse ... ok
[INFO] [stdout] test quantifier_conjunct_not_bounded_by_a_bracket_is_rejected ... ok
[INFO] [stdout] test same_connective_chains_parse ... ok
[INFO] [stdout] test quantifier_implication_operand_bounded_by_a_bracket_parses ... ok
[INFO] [stdout] test quantifier_conjunct_bounded_by_a_bracket_parses ... ok
[INFO] [stderr]      Running tests/pretty_test.rs (/opt/rustwide/target/debug/deps/pretty_test-e0a05e4e58c59e46)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 33 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 64 tests
[INFO] [stdout] test test_camille_difference_left_child_also_parens ... ok
[INFO] [stdout] test test_camille_and_chain_same_class ... ok
[INFO] [stdout] test test_camille_difference_self_incompatible ... ok
[INFO] [stdout] test test_camille_or_inside_and ... ok
[INFO] [stdout] test test_camille_and_or_left_child ... ok
[INFO] [stdout] test test_camille_union_difference_incompatible ... ok
[INFO] [stdout] test test_pretty_print_arrow_inside_maplet_no_parens ... ok
[INFO] [stdout] test private_use_glyphs_flag_controls_relation_and_override_spelling ... ok
[INFO] [stdout] test test_pretty_print_action_types ... ok
[INFO] [stdout] test test_empty_machine_with_events ... ok
[INFO] [stdout] test test_pretty_print_cartesian_product_left_associative ... ok
[INFO] [stdout] test test_pretty_print_context_with_all_clauses ... ok
[INFO] [stdout] test test_pretty_print_function_application_identifier_function_no_parens ... ok
[INFO] [stdout] test test_ascii_mode ... ok
[INFO] [stdout] test test_pretty_print_inverse_of_atomic_builtin_no_parens ... ok
[INFO] [stdout] test test_pretty_print_convergent_event ... ok
[INFO] [stdout] test test_pretty_print_function_application_binary_function_keeps_parens ... ok
[INFO] [stdout] test test_pretty_print_machine_no_events ... ok
[INFO] [stdout] test test_pretty_print_event_with_parameters ... ok
[INFO] [stdout] test test_pretty_print_expressions ... ok
[INFO] [stdout] test test_pretty_print_inverse_operator ... ok
[INFO] [stdout] test test_pretty_print_event_with_guards ... ok
[INFO] [stdout] test test_pretty_print_logical_operators ... ok
[INFO] [stdout] test test_pretty_print_machine_with_variables ... ok
[INFO] [stdout] test test_camille_mixed_and_or_roundtrip ... ok
[INFO] [stdout] test test_pretty_print_maplet_right_grouped_needs_parens ... ok
[INFO] [stdout] test test_pretty_print_maplet_left_grouped_no_parens ... ok
[INFO] [stdout] test test_pretty_print_mixed_same_prec_right_child ... ok
[INFO] [stdout] test test_pretty_print_no_parens_higher_prec_child ... ok
[INFO] [stdout] test test_pretty_print_parens_right_child_same_prec ... ok
[INFO] [stdout] test test_pretty_print_parens_lower_prec_child ... ok
[INFO] [stdout] test test_pretty_print_maplet_inside_arrow_needs_parens ... ok
[INFO] [stdout] test test_pretty_print_sees_and_refines ... ok
[INFO] [stdout] test test_pretty_print_mixed_same_prec_left_child ... ok
[INFO] [stdout] test test_pretty_print_simple_context ... ok
[INFO] [stdout] test test_pretty_print_no_unnecessary_parens_same_prec_left_assoc ... ok
[INFO] [stdout] test test_pretty_print_simple_machine ... ok
[INFO] [stdout] test test_pretty_print_maplet_arrow_roundtrip ... ok
[INFO] [stdout] test test_roundtrip_feature::enumerated_set ... ok
[INFO] [stdout] test test_roundtrip_ascii::oftype ... ok
[INFO] [stdout] test test_roundtrip_builtin::bool_expr ... ok
[INFO] [stdout] test test_roundtrip_ascii::variant_clause ... ok
[INFO] [stdout] test test_roundtrip_ascii::bool_expr ... ok
[INFO] [stdout] test test_pretty_printer_custom_indent ... ok
[INFO] [stdout] test test_pretty_print_set_operations ... ok
[INFO] [stdout] test test_roundtrip_feature::quantified_union ... ok
[INFO] [stdout] test test_roundtrip_feature::mixed_sets ... ok
[INFO] [stdout] test test_roundtrip_ascii::typed_forall ... ok
[INFO] [stdout] test test_roundtrip_feature::multiple_parallel_assignment ... ok
[INFO] [stdout] test test_roundtrip_feature::quantified_inter ... ok
[INFO] [stdout] test test_roundtrip_feature::extended_set_comprehension ... ok
[INFO] [stdout] test test_roundtrip_feature::typed_exists ... ok
[INFO] [stdout] test test_roundtrip_operator::arithmetic_expressions ... ok
[INFO] [stdout] test test_roundtrip_maplet_comma_comma ... ok
[INFO] [stdout] test test_roundtrip_operator::complex_predicates ... ok
[INFO] [stdout] test test_roundtrip_operator::oftype_unicode ... ok
[INFO] [stdout] test test_roundtrip_feature::typed_forall_mixed ... ok
[INFO] [stdout] test test_roundtrip_feature::typed_forall ... ok
[INFO] [stdout] test test_set_comprehension_basic_unicode_bar ... ok
[INFO] [stdout] test test_roundtrip_feature::with_clause ... ok
[INFO] [stdout] test test_roundtrip_operator::machine_no_events ... ok
[INFO] [stdout] test test_roundtrip_operator::simple_context ... ok
[INFO] [stderr]      Running tests/proptest_roundtrip.rs (/opt/rustwide/target/debug/deps/proptest_roundtrip-8e8ac0663b2dc640)
[INFO] [stdout] test test_roundtrip_feature::witness_clause ... ok
[INFO] [stdout] test test_roundtrip_operator::counter_example ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 64 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test context_roundtrip_unicode ... ok
[INFO] [stdout] test context_roundtrip_ascii ... ok
[INFO] [stdout] test expression_roundtrip_unicode ... ok
[INFO] [stdout] test action_roundtrip_standalone ... ok
[INFO] [stdout] test expression_roundtrip_ascii ... ok
[INFO] [stdout] test machine_roundtrip_ascii ... ok
[INFO] [stdout] test action_roundtrip_ascii ... ok
[INFO] [stdout] test action_roundtrip_unicode ... ok
[INFO] [stdout] test predicate_roundtrip_ascii ... ok
[INFO] [stdout] test machine_roundtrip_unicode ... ok
[INFO] [stdout] test predicate_roundtrip_unicode ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 11.44s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/reserved_words_test.rs (/opt/rustwide/target/debug/deps/reserved_words_test-c09a901bbefa2579)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test dom_no_longer_swallows_a_following_identifier ... ok
[INFO] [stdout] test recovery_does_not_readmit_reserved_declarations ... ok
[INFO] [stdout] test generic_atoms_still_parse_bare ... ok
[INFO] [stdout] test issue_30_bare_dom_rejected_in_every_position ... ok
[INFO] [stdout] test reservation_is_exact_case ... ok
[INFO] [stdout] test atoms_rejected_as_action_targets_and_phantom_predicates ... ok
[INFO] [stdout] test postfix_operators_bind_outside_closed_dom ... ok
[INFO] [stdout] test xml_import_rejects_reserved_declared_names ... ok
[INFO] [stdout] test applied_builtin_forms_still_parse ... ok
[INFO] [stdout] test reserved_words_rejected_when_misapplied ... ok
[INFO] [stdout] test reserved_operator_words_rejected_bare_in_formulas ... ok
[INFO] [stdout] test reserved_words_rejected_in_declarations ... ok
[INFO] [stdout] test reserved_words_rejected_as_action_targets ... ok
[INFO] [stdout] test reserved_words_rejected_as_binders ... ok
[INFO] [stdout] test comma_form_application_is_rejected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/rodin_models_test.rs (/opt/rustwide/target/debug/deps/rodin_models_test-4f33e18caa538c47)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test test_parse_zip_strict_still_fails ... ok
[INFO] [stdout] test test_parse_zip_with_recovery_all_fail ... ok
[INFO] [stdout] test test_parse_zip_with_recovery_invalid_archive ... ok
[INFO] [stdout] test test_parse_zip_with_recovery_partial_failure ... ok
[INFO] [stdout] test test_binary_search_txt ... ok
[INFO] [stdout] test test_cars_on_bridge_txt ... ok
[INFO] [stdout] test test_binary_search_zip ... ok
[INFO] [stdout] test test_traffic_light_txt ... ok
[INFO] [stdout] test test_file_system_txt ... ok
[INFO] [stdout] test test_file_system_zip ... ok
[INFO] [stdout] test test_traffic_light_zip ... ok
[INFO] [stdout] test test_cars_on_bridge_zip ... ok
[INFO] [stdout] test test_base_model_zip ... ok
[INFO] [stdout] test test_parse_zip_with_recovery_valid_archive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.52s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/simple_predicate_test.rs (/opt/rustwide/target/debug/deps/simple_predicate_test-e0594e9c81241456)
[INFO] [stdout] 
[INFO] [stdout] running 79 tests
[INFO] [stdout] test test_bare_true_predicate ... ok
[INFO] [stdout] test test_bare_false_predicate ... ok
[INFO] [stdout] test lowercase_type_keyword_is_identifier::int ... ok
[INFO] [stdout] test lowercase_type_keyword_is_identifier::nat1 ... ok
[INFO] [stdout] test test_arithmetic_before_range ... ok
[INFO] [stdout] test test_binary_predicate_conjunction ... ok
[INFO] [stdout] test test_binary_addition_ast_structure ... ok
[INFO] [stdout] test test_boolean_identifier_not_bool ... ok
[INFO] [stdout] test test_direct_product ... ok
[INFO] [stdout] test test_circular_identifier_not_circ ... ok
[INFO] [stdout] test test_conjunction_ascii_ampersand ... ok
[INFO] [stdout] test test_becomes_such_that_unicode_and_ascii_same_ast ... ok
[INFO] [stdout] test test_disjunction_ascii_or ... ok
[INFO] [stdout] test test_domain_identifier_not_operator ... ok
[INFO] [stdout] test test_domain_subtraction ... ok
[INFO] [stdout] test test_exponent ... ok
[INFO] [stdout] test test_double_negation ... ok
[INFO] [stdout] test test_domain_restriction ... ok
[INFO] [stdout] test test_deep_predicate_fits_in_small_stack ... ok
[INFO] [stdout] test test_chained_binary_predicates ... ok
[INFO] [stdout] test test_int_ascii ... ok
[INFO] [stdout] test test_exponent_precedence_vs_multiplicative ... ok
[INFO] [stdout] test test_false_in_set_predicate ... ok
[INFO] [stdout] test test_falsehood_identifier_not_keyword ... ok
[INFO] [stdout] test test_int_unicode ... ok
[INFO] [stdout] test test_maplet_ascii ... ok
[INFO] [stdout] test test_maplet_binds_looser_than_arrow_in_action ... ok
[INFO] [stdout] test test_maplet_binds_looser_than_total_fn_arrow ... ok
[INFO] [stdout] test test_label_terminates_on_unicode_whitespace ... ok
[INFO] [stdout] test test_maplet_binds_looser_than_relation_arrow ... ok
[INFO] [stdout] test test_exponent_precedence_vs_additive ... ok
[INFO] [stdout] test test_maplet_chain_with_arrow_operands ... ok
[INFO] [stdout] test test_keywords_still_work_after_boundary_guards ... ok
[INFO] [stdout] test test_maplet_binds_looser_than_relation_arrow_ascii ... ok
[INFO] [stdout] test test_lambda_expression ... ok
[INFO] [stdout] test test_maplet_unicode ... ok
[INFO] [stdout] test test_model_identifier_not_mod ... ok
[INFO] [stdout] test test_nat1_ascii ... ok
[INFO] [stdout] test test_maplet_left_associative ... ok
[INFO] [stdout] test test_multiply_vs_cartesian_product ... ok
[INFO] [stdout] test test_nat1_unicode ... ok
[INFO] [stdout] test test_negation::ascii ... ok
[INFO] [stdout] test test_nat_still_works ... ok
[INFO] [stdout] test test_negation_in_conjunction ... ok
[INFO] [stdout] test test_or_word_boundary_org_identifier ... ok
[INFO] [stdout] test test_nested_unary ... ok
[INFO] [stdout] test test_nothing_predicate_not_negation ... ok
[INFO] [stdout] test test_overwrite ... ok
[INFO] [stdout] test test_negation::unicode ... ok
[INFO] [stdout] test test_overwrite_pua ... ok
[INFO] [stdout] test test_parenthesized_maplet_keeps_grouping_under_arrow ... ok
[INFO] [stdout] test test_postfix_function_update_lowers_to_overwrite ... ok
[INFO] [stdout] test test_nat1_int_roundtrip ... ok
[INFO] [stdout] test test_partial_function ... ok
[INFO] [stdout] test test_or_word_boundary_order_identifier ... ok
[INFO] [stdout] test test_range_cartesian_product ... ok
[INFO] [stdout] test test_power_identifier_not_pow ... ok
[INFO] [stdout] test test_range_identifier_not_operator ... ok
[INFO] [stdout] test test_postfix_function_update_set_enumeration_unaffected ... ok
[INFO] [stdout] test test_range_before_union ... ok
[INFO] [stdout] test test_postfix_function_update_multi_element ... ok
[INFO] [stdout] test test_postfix_function_update_in_action ... ok
[INFO] [stdout] test test_chained_binary_operations ... ok
[INFO] [stdout] test test_true_eq_comparison ... ok
[INFO] [stdout] test test_range_restriction ... ok
[INFO] [stdout] test test_range_subtraction ... ok
[INFO] [stdout] test test_surjection_alias_spellings_parse_as_surjections ... ok
[INFO] [stdout] test test_true_in_set_predicate ... ok
[INFO] [stdout] test test_unary_powerset ... ok
[INFO] [stdout] test test_unary_domain ... ok
[INFO] [stdout] test test_unary_powerset1 ... ok
[INFO] [stdout] test test_truthy_identifier_not_keyword ... ok
[INFO] [stdout] test test_relation_type ... ok
[INFO] [stdout] test test_unary_in_binary ... ok
[INFO] [stdout] test test_unary_minus ... ok
[INFO] [stdout] test test_unary_range ... ok
[INFO] [stdout] test test_word_boundaries_not_keywords ... ok
[INFO] [stdout] test test_unicode_whitespace_matches_rodin ... ok
[INFO] [stdout] test test_total_function ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 79 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/structural_separator_test.rs (/opt/rustwide/target/debug/deps/structural_separator_test-1937fcf7224a56f0)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test whitespace_accepted_in_every_structural_clause ... ok
[INFO] [stdout] test any_parameters_round_trip_without_commas ... ok
[INFO] [stdout] test newline_and_tab_separate_structural_lists ... ok
[INFO] [stdout] test comma_rejected_in_every_structural_clause ... ok
[INFO] [stdout] test commas_still_parse_inside_formulas ... ok
[INFO] [stderr]      Running tests/variant_after_invariants_roundtrip.rs (/opt/rustwide/target/debug/deps/variant_after_invariants_roundtrip-5ac58cd2cb1a7790)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/working_examples_test.rs (/opt/rustwide/target/debug/deps/working_examples_test-b2499e2f95985a29)
[INFO] [stdout] running 3 tests
[INFO] [stdout] test context_theorems_paren_predicate_after_axioms_parses ... ok
[INFO] [stdout] test variant_paren_expr_after_invariants_roundtrips ... ok
[INFO] [stdout] test variant_paren_expr_after_theorems_roundtrips ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_theorems_section_lowers_to_flagged_axioms ... ok
[INFO] [stdout] test test_basic_machine ... ok
[INFO] [stdout] test test_basic_context ... ok
[INFO] [stdout] test test_machine_theorems_section_lowers_to_flagged_invariants ... ok
[INFO] [stdout] test test_all_working_examples_parse ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.63s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/xml_structure_test.rs (/opt/rustwide/target/debug/deps/xml_structure_test-0a69bbccf460a3fa)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test empty_xml_root_field_when_no_start_event ... ok
[INFO] [stdout] test nested_supported_root_still_reports_first_root_as_eb002 ... ok
[INFO] [stdout] test unexpected_xml_root_returns_eb002 ... ok
[INFO] [stdout] test missing_refines_target_returns_eb003 ... ok
[INFO] [stdout] test missing_extends_target_returns_eb003 ... ok
[INFO] [stdout] test missing_sees_target_returns_eb003 ... ok
[INFO] [stdout] test file_context_preserves_inner_variant_through_recovery ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/xml_test.rs (/opt/rustwide/target/debug/deps/xml_test-de361a44b67dd0a3)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test test_invalid_xml ... ok
[INFO] [stdout] test test_empty_context_name ... ok
[INFO] [stdout] test test_parse_context_with_extends_xml ... ok
[INFO] [stdout] test test_parse_machine_with_refines_xml ... ok
[INFO] [stdout] test test_parse_simple_context_xml ... ok
[INFO] [stdout] test test_parse_event_with_parameters_xml ... ok
[INFO] [stdout] test test_parse_context_with_theorems_xml ... ok
[INFO] [stdout] test test_parse_action_with_forward_composition_xml ... ok
[INFO] [stdout] test test_parse_convergent_event_xml ... ok
[INFO] [stdout] test test_parse_context_xml_from_file ... ok
[INFO] [stdout] test test_parse_machine_with_variant_xml ... ok
[INFO] [stdout] test test_parse_machine_xml_from_file ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rossi_build-8b1229476a9fde5d)
[INFO] [stdout] 
[INFO] [stdout] running 226 tests
[INFO] [stdout] test duplicates::tests::clean_model_produces_no_duplicate_findings ... ok
[INFO] [stdout] test duplicates::tests::context_identifier_and_label_in_separate_namespaces_do_not_conflict ... ok
[INFO] [stdout] test duplicates::tests::carrier_set_and_constant_sharing_name_is_flagged_once ... ok
[INFO] [stdout] test duplicates::tests::duplicate_event_label_is_flagged ... ok
[INFO] [stdout] test duplicates::tests::duplicate_axiom_label_is_flagged ... ok
[INFO] [stdout] test duplicates::tests::duplicate_identifier_diag_carries_first_occurrence_span ... ok
[INFO] [stdout] test duplicates::tests::duplicate_invariant_label_is_flagged ... ok
[INFO] [stdout] test duplicates::tests::duplicate_variable_identifier_is_flagged ... ok
[INFO] [stdout] test duplicates::tests::duplicate_parameter_identifier_is_flagged ... ok
[INFO] [stdout] test duplicates::tests::guard_and_action_sharing_label_is_flagged ... ok
[INFO] [stdout] test duplicates::tests::duplicate_witness_label_across_with_and_witnesses_is_flagged ... ok
[INFO] [stdout] test duplicates::tests::identifier_and_label_in_separate_namespaces_do_not_conflict ... ok
[INFO] [stdout] test duplicates::tests::unlabeled_guards_are_not_duplicates ... ok
[INFO] [stdout] test duplicates::tests::whitespace_only_labels_are_not_duplicates ... ok
[INFO] [stdout] test duplicates::tests::initialisation_duplicate_action_label_is_flagged ... ok
[INFO] [stdout] test enrich::tests::already_typed_identifiers_unchanged ... ok
[INFO] [stdout] test checked_predicate::tests::predicate_returns_canonical_and_no_free_when_closed ... ok
[INFO] [stdout] test checked_predicate::tests::predicate_surfaces_first_free_identifier ... ok
[INFO] [stdout] test checked_predicate::tests::expression_check_threads_through ... ok
[INFO] [stdout] test checked_predicate::tests::action_check_flags_unknown_rhs_identifier ... ok
[INFO] [stdout] test checked_predicate::tests::action_check_skips_lhs_variable ... ok
[INFO] [stdout] test enrich::tests::lambda_binder_typing_does_not_overwrite_explicit_type ... ok
[INFO] [stdout] test enrich::tests::no_inferable_type_leaves_binder_untyped ... ok
[INFO] [stdout] test enrich::tests::setcomp_short_form_is_promoted_to_long_form ... ok
[INFO] [stdout] test enrich::tests::setcomp_short_form_multi_binder_uses_left_assoc_maplet ... ok
[INFO] [stdout] test enrich::tests::lambda_pattern_typed_from_membership_in_body ... ok
[INFO] [stdout] test enrich::tests::lambda_binder_typed_via_typed_sibling_across_union ... ok
[INFO] [stdout] test handles::tests::file_handle ... ok
[INFO] [stdout] test handles::tests::carrier_set_handle_matches_rodin_sample ... ok
[INFO] [stdout] test handles::tests::escape_handle_id_owned_helper ... ok
[INFO] [stdout] test handles::tests::nested_event_guard_handle ... ok
[INFO] [stdout] test enrich::tests::setcomp_long_form_member_survives_untouched ... ok
[INFO] [stdout] test handles::tests::slash_in_id_is_escaped ... ok
[INFO] [stdout] test handles::tests::backslash_in_id_is_escaped ... ok
[INFO] [stdout] test handles::tests::pipe_in_id_is_escaped ... ok
[INFO] [stdout] test infer::tests::collect_free_idents_bool_quantifier_shadows ... ok
[INFO] [stdout] test infer::tests::bool_predicate_yields_boolean ... ok
[INFO] [stdout] test enrich::tests::quantifier_binder_typed_from_membership_in_body ... ok
[INFO] [stdout] test infer::tests::collect_free_idents_through_bool ... ok
[INFO] [stdout] test infer::tests::empty_set_union_resolves ... ok
[INFO] [stdout] test infer::tests::bare_polymorphic_atoms_drop ... ok
[INFO] [stdout] test infer::tests::builtin_card_min_max_are_integer ... ok
[INFO] [stdout] test infer::tests::forward_composition_resolves_inner_arrow ... ok
[INFO] [stdout] test infer::tests::equality_propagation_through_union ... ok
[INFO] [stdout] test infer::tests::constant_typed_via_implication_antecedent ... ok
[INFO] [stdout] test infer::tests::direct_product_with_identity_resolves ... ok
[INFO] [stdout] test infer::tests::dom_of_range_restriction ... ok
[INFO] [stdout] test infer::tests::composition_with_identity_resolves ... ok
[INFO] [stdout] test infer::tests::equality_with_min_typed_constant ... ok
[INFO] [stdout] test infer::tests::generalized_union_inter_collapse_a_power_set_level ... ok
[INFO] [stdout] test infer::tests::id_is_application_of_generic_identity ... ok
[INFO] [stdout] test infer::tests::infer_buried_in_cartesian_product_equality ... ok
[INFO] [stdout] test infer::tests::function_application_returns_codomain ... ok
[INFO] [stdout] test infer::tests::identity_restricted_to_set_resolves ... ok
[INFO] [stdout] test infer::tests::fixed_point_infers_multiple_constants ... ok
[INFO] [stdout] test infer::tests::image_of_identity_resolves ... ok
[INFO] [stdout] test infer::tests::identifier_lookup ... ok
[INFO] [stdout] test infer::tests::infer_buried_in_set_difference ... ok
[INFO] [stdout] test infer::tests::infer_const_from_function_application_under_quantifier ... ok
[INFO] [stdout] test infer::tests::infer_const_equal_to_integers_set ... ok
[INFO] [stdout] test infer::tests::infer_const_equal_to_integer ... ok
[INFO] [stdout] test infer::tests::infer_buried_in_singleton_subset ... ok
[INFO] [stdout] test infer::tests::literal_types ... ok
[INFO] [stdout] test infer::tests::infer_const_subset_of_carrier_set ... ok
[INFO] [stdout] test infer::tests::of_type_ascription_takes_rhs ... ok
[INFO] [stdout] test infer::tests::parameter_typed_via_curried_function_application ... ok
[INFO] [stdout] test infer::tests::parameter_typed_via_function_application_argument ... ok
[INFO] [stdout] test infer::tests::no_type_from_equality_of_two_untyped_idents ... ok
[INFO] [stdout] test infer::tests::lambda_constant_yields_function_type ... ok
[INFO] [stdout] test infer::tests::parameter_typed_via_maplet_equality_against_function_application ... ok
[INFO] [stdout] test infer::tests::infer_const_from_own_function_application ... ok
[INFO] [stdout] test infer::tests::parameter_typed_via_intersection_with_typed_sibling_operand ... ok
[INFO] [stdout] test infer::tests::parameter_typed_via_implication_pair_consequent ... ok
[INFO] [stdout] test infer::tests::parameter_typed_via_union_with_typed_sibling_operand ... ok
[INFO] [stdout] test infer::tests::parameter_typed_via_maplet_equality_reversed ... ok
[INFO] [stdout] test infer::tests::quantifier_binder_shadows_outer_constant ... ok
[INFO] [stdout] test infer::tests::partition_types_unknown_head_set ... ok
[INFO] [stdout] test infer::tests::prj1_prj2_are_application_of_generic_projections ... ok
[INFO] [stdout] test infer::tests::projection_in_composition_resolves ... ok
[INFO] [stdout] test infer::tests::range_restriction_preserves_relation_type ... ok
[INFO] [stdout] test infer::tests::no_type_from_shadowing_binder_of_same_name ... ok
[INFO] [stdout] test infer::tests::infer_const_in_carrier_set ... ok
[INFO] [stdout] test infer::tests::relational_image_yields_powerset_codomain ... ok
[INFO] [stdout] test lint::tests::becomes_in_lhs_marks_variable_as_assigned ... ok
[INFO] [stdout] test lint::tests::bsu_primed_reference_counts_as_use ... ok
[INFO] [stdout] test infer::tests::infer_const_from_union_of_lambdas_with_ordering_guards ... ok
[INFO] [stdout] test infer::tests::set_builder_binder_typed_through_bool_member ... ok
[INFO] [stdout] test infer::tests::setbuilder_with_maplet_yields_relation_type ... ok
[INFO] [stdout] test infer::tests::setcomp_basic_form_yields_powerset_of_binders ... ok
[INFO] [stdout] test lint::tests::cross_refines_keeps_variable_alive ... ok
[INFO] [stdout] test lint::tests::child_of_duplicated_parent_is_not_reference_linted ... ok
[INFO] [stdout] test lint::tests::dead_variable_is_flagged ... ok
[INFO] [stdout] test lint::tests::cross_refines_keeps_variable_assigned ... ok
[INFO] [stdout] test lint::tests::duplicate_children_both_suppress_ancestor_dead_variable ... ok
[INFO] [stdout] test lint::tests::duplicate_machines_are_judged_on_their_own_text ... ok
[INFO] [stdout] test infer::tests::typing_axiom_inside_quantifier_body ... ok
[INFO] [stdout] test lint::tests::component_order_does_not_change_the_diagnostic_set ... ok
[INFO] [stdout] test lint::tests::event_parameter_shadows_variable ... ok
[INFO] [stdout] test lint::tests::extended_event_assigning_inherited_is_not_flagged ... ok
[INFO] [stdout] test lint::tests::eb024_stays_silent_under_a_duplicated_parent_name ... ok
[INFO] [stdout] test infer::tests::succ_pred_are_integer_relations ... ok
[INFO] [stdout] test lint::tests::duplicate_refining_its_own_name_terminates ... ok
[INFO] [stdout] test lint::tests::extended_init_with_uninitialised_parent_stays_silent ... ok
[INFO] [stdout] test lint::tests::extended_init_with_missing_parent_stays_silent ... ok
[INFO] [stdout] test lint::tests::extended_init_inheriting_all_assignments_is_complete ... ok
[INFO] [stdout] test lint::tests::extended_init_missing_new_variable_is_flagged ... ok
[INFO] [stdout] test lint::tests::extends_chain_cycle_terminates ... ok
[INFO] [stdout] test lint::tests::function_override_lhs_marks_variable_as_assigned ... ok
[INFO] [stdout] test lint::tests::function_position_reference_counts_as_use ... ok
[INFO] [stdout] test lint::tests::incomplete_init_is_flagged ... ok
[INFO] [stdout] test lint::tests::extended_init_through_duplicated_ancestor_stays_silent ... ok
[INFO] [stdout] test lint::tests::kept_variable_is_judged_only_at_declaring_machine ... ok
[INFO] [stdout] test lint::tests::inherited_clause_reference_suppresses_same_named_new_variable ... ok
[INFO] [stdout] test lint::tests::inherited_parameter_shadows_variable_in_chain ... ok
[INFO] [stdout] test lint::tests::lambda_binder_does_not_count_as_use ... ok
[INFO] [stdout] test lint::tests::initialisation_assigning_inherited_is_not_flagged ... ok
[INFO] [stdout] test lint::tests::machine_with_missing_parent_is_not_reference_linted ... ok
[INFO] [stdout] test lint::tests::machine_and_context_sharing_a_name_do_not_interfere ... ok
[INFO] [stdout] test lint::tests::inherited_invariant_reference_without_assignment_is_unmodified ... ok
[INFO] [stdout] test lint::tests::new_event_assigning_grandparent_variable_is_flagged ... ok
[INFO] [stdout] test lint::tests::new_event_assigning_dropped_variable_is_not_flagged ... ok
[INFO] [stdout] test lint::tests::no_initialisation_at_all_flags_every_variable ... ok
[INFO] [stdout] test lint::tests::machines_in_a_refines_cycle_are_not_reference_linted ... ok
[INFO] [stdout] test lint::tests::quantifier_binder_does_not_count_as_use ... ok
[INFO] [stdout] test lint::tests::nondeterministic_init_is_still_constant_like ... ok
[INFO] [stdout] test lint::tests::new_event_assigning_own_variable_is_not_flagged ... ok
[INFO] [stdout] test lint::tests::non_typing_conjunct_keeps_variable_alive ... ok
[INFO] [stdout] test lint::tests::root_machine_new_event_is_not_flagged ... ok
[INFO] [stdout] test lint::tests::shadowed_machine_names_are_flagged ... ok
[INFO] [stdout] test lint::tests::shadowed_name_diag_carries_the_declaration_span ... ok
[INFO] [stdout] test lint::tests::new_event_assigning_inherited_variable_is_flagged ... ok
[INFO] [stdout] test lint::tests::refining_event_assigning_inherited_is_not_flagged ... ok
[INFO] [stdout] test lint::tests::static_bound_membership_is_typing ... ok
[INFO] [stdout] test lint::tests::strict_subset_counts_as_use ... ok
[INFO] [stdout] test lint::tests::shadowed_names_are_flagged ... ok
[INFO] [stdout] test lint::tests::theorem_membership_counts_as_use ... ok
[INFO] [stdout] test lint::tests::truncated_chain_skips_constant_like ... ok
[INFO] [stdout] test lint::tests::typed_initialised_unused_variable_is_dead_not_constant_like ... ok
[INFO] [stdout] test lint::tests::typing_only_reference_does_not_keep_variable_alive ... ok
[INFO] [stdout] test lint::tests::unmodified_variable_is_flagged ... ok
[INFO] [stdout] test lint::tests::variable_bound_gluing_invariant_counts_as_use ... ok
[INFO] [stdout] test lint::tests::variable_bound_makes_membership_a_constraint ... ok
[INFO] [stdout] test normalize::tests::always_tight_entries_are_known_operators ... ok
[INFO] [stdout] test lint::tests::write_only_variable_is_neither_dead_nor_constant_like ... ok
[INFO] [stdout] test normalize::tests::empty_set_assignment_gets_powerset_ascription ... ok
[INFO] [stdout] test normalize::tests::empty_set_assignment_without_env_stays_bare ... ok
[INFO] [stdout] test normalize::tests::function_override_canonical_form ... ok
[INFO] [stdout] test normalize::tests::integer_assignment_unchanged ... ok
[INFO] [stdout] test normalize::tests::arithmetic_inside_function_app ... ok
[INFO] [stdout] test normalize::tests::function_override_maplet_arg ... ok
[INFO] [stdout] test normalize::tests::logical_chain_is_tight ... ok
[INFO] [stdout] test normalize::tests::relation_operators_stay_spaced_with_their_glyph ... ok
[INFO] [stdout] test normalize::tests::tight_membership ... ok
[INFO] [stdout] test normalize::tests::quantified_predicate_matches_rodin ... ok
[INFO] [stdout] test project::tests::eventb_project_semantic_diagnostic_is_spanned ... ok
[INFO] [stdout] test project::tests::from_eventb_retains_source_name_and_spans ... ok
[INFO] [stdout] test project::tests::discover_keeps_project_only_dir_with_no_components ... ok
[INFO] [stdout] test project::tests::discover_tolerates_non_utf8_checked_file ... ok
[INFO] [stdout] test project::tests::discover_flat_archive_is_one_project ... ok
[INFO] [stdout] test project::tests::discover_splits_sibling_dirs_with_colliding_basenames ... ok
[INFO] [stdout] test repack::tests::flat_archive_writes_files_at_root ... ok
[INFO] [stdout] test project::tests::discover_name_resolution_priority ... ok
[INFO] [stdout] test project::tests::discover_ignores_nested_project_descriptor ... ok
[INFO] [stdout] test rodin_ids::tests::event_scoped_guards_are_keyed_by_event_label ... ok
[INFO] [stdout] test rules::tests::codes_are_stable ... ok
[INFO] [stdout] test rodin_ids::tests::extracts_carrier_set_ids ... ok
[INFO] [stdout] test repack::tests::drops_old_bcm_and_bcc_and_proofs_but_keeps_sources ... ok
[INFO] [stdout] test rules::tests::every_rule_has_a_unique_code ... ok
[INFO] [stdout] test sc::context_record::tests::render_extends_preserves_source_order ... ok
[INFO] [stdout] test sc::identifier_walker::tests::builtin_recognition ... ok
[INFO] [stdout] test repack::tests::multi_project_keys_outputs_by_prefix_not_filename ... ok
[INFO] [stdout] test sc::context_record::tests::render_body_emits_axioms_then_carrier_sets_then_constants ... ok
[INFO] [stdout] test rodin_ids::tests::unknown_ident_falls_back_to_itself ... ok
[INFO] [stdout] test sc::identifier_walker::tests::catches_free_identifier ... ok
[INFO] [stdout] test repack::tests::sibling_dir_without_components_is_preserved_and_gets_no_output ... ok
[INFO] [stdout] test rules::tests::display_uses_code ... ok
[INFO] [stdout] test sc::identifier_walker::tests::collector_strips_primed_apostrophe ... ok
[INFO] [stdout] test sc::identifier_walker::tests::builtin_functions_are_in_scope ... ok
[INFO] [stdout] test sc::identifier_walker::tests::lambda_pattern_binders ... ok
[INFO] [stdout] test sc::identifier_walker::tests::quantified_binder_shadows_free ... ok
[INFO] [stdout] test sc::identifier_walker::tests::nested_quantifiers_stack_correctly ... ok
[INFO] [stdout] test sc::identifier_walker::tests::plain_membership_all_resolved ... ok
[INFO] [stdout] test sc::machine_record::tests::event_chain_root_first_walks_oldest_to_youngest ... ok
[INFO] [stdout] test sc::machine_record::tests::render_emits_in_canonical_order ... ok
[INFO] [stdout] test sc::identifier_walker::tests::usage_span_locates_the_free_identifier ... ok
[INFO] [stdout] test repack::tests::single_project_wrapper_is_byte_identical_to_multi ... ok
[INFO] [stdout] test sc::identifier_walker::tests::type_annotation_keeps_set_alive ... ok
[INFO] [stdout] test sc::machine_record::tests::render_root_emits_configuration_and_accurate ... ok
[INFO] [stdout] test sc::identifier_walker::tests::type_annotation_in_isolation_is_detected ... ok
[INFO] [stdout] test sc::identifier_walker::tests::set_comprehension_binders_scope ... ok
[INFO] [stdout] test sc::identifier_walker::tests::quantifier_scope_restored_after_body ... ok
[INFO] [stdout] test sc_view::prj_function_application_tests::function_side_paren_drop_changes_ast ... ok
[INFO] [stdout] test sc_view::tests::action_type_ascription_stripped ... ok
[INFO] [stdout] test sc_view::tests::parses_carrier_sets ... ok
[INFO] [stdout] test sc_view::prj_function_application_tests::prj1_ascription_strips_to_bare ... ok
[INFO] [stdout] test sc_view::tests::axiom_predicate_is_parsed_into_ast ... ok
[INFO] [stdout] test sc_view::tests::setcomp_extended_form_collapses_to_basic_arity1 ... ok
[INFO] [stdout] test type_env::tests::carrier_set_has_powerset_type ... ok
[INFO] [stdout] test type_env::tests::insert_if_absent_keeps_first ... ok
[INFO] [stdout] test type_env::tests::nested_scopes_restore_each_layer ... ok
[INFO] [stdout] test sc_view::prj_function_application_tests::axiom_prj2_v1_v2_round_trip ... ok
[INFO] [stdout] test sc_view::tests::whitespace_differences_in_predicate_dont_matter ... ok
[INFO] [stdout] test sc_view::tests::action_whitespace_variants_compare_equal ... ok
[INFO] [stdout] test sc_view::tests::becomes_in_action_whitespace_insensitive ... ok
[INFO] [stdout] test sc_view::tests::setcomp_non_collapsing_projection_preserved ... ok
[INFO] [stdout] test type_env::tests::scoped_guard_runs_body_and_pops_even_on_return ... ok
[INFO] [stdout] test types::tests::canonical_flat_product ... ok
[INFO] [stdout] test types::tests::canonical_carrier_set ... ok
[INFO] [stdout] test type_env::tests::pop_removes_names_introduced_in_scope ... ok
[INFO] [stdout] test types::tests::canonical_relation_type ... ok
[INFO] [stdout] test types::tests::canonical_powerset_of_product ... ok
[INFO] [stdout] test type_env::tests::scope_push_and_pop_restores_outer ... ok
[INFO] [stdout] test types::tests::canonical_right_nested_product ... ok
[INFO] [stdout] test types::tests::canonical_primitives ... ok
[INFO] [stdout] test types::tests::into_relation_roundtrip_and_rejects_non_relations ... ok
[INFO] [stdout] test types::tests::relation_constructor ... ok
[INFO] [stdout] test xml_out::tests::attribute_order_is_insertion_order ... ok
[INFO] [stdout] test xml_out::tests::empty_file_roundtrip ... ok
[INFO] [stdout] test wellformed::tests::accepts_membership_with_set_rhs ... ok
[INFO] [stdout] test wellformed::tests::accepts_assignment_with_consistent_types ... ok
[INFO] [stdout] test wellformed::tests::rejects_assignment_with_mismatched_union_operands ... ok
[INFO] [stdout] test sc_view::tests::setcomp_extended_form_collapses_to_basic_arity2 ... ok
[INFO] [stdout] test wellformed::tests::rejects_membership_with_pair_rhs ... ok
[INFO] [stdout] test xml_out::tests::nested_children_emit ... ok
[INFO] [stdout] test xml_out::tests::escapes_special_chars ... ok
[INFO] [stdout] test type_env::tests::pop_without_matching_push_panics - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 226 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.52s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/animate_corpus.rs (/opt/rustwide/target/debug/deps/animate_corpus-75f7971b783f83ea)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test animate_regenerated_corpus_matches_reference ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concrete_vs_abstract_variables.rs (/opt/rustwide/target/debug/deps/concrete_vs_abstract_variables-9079b316437a517a)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test inherited_only_variable_is_concrete_false ... ok
[INFO] [stdout] test initialisation_omitted_when_parent_assigns_abstract_only_var ... ok
[INFO] [stdout] test event_dropping_abstract_only_guard_marks_inaccurate ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/context_axiom_lambda_union_bidirectional.rs (/opt/rustwide/target/debug/deps/context_axiom_lambda_union_bidirectional-d2f57aa949a2abf6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test lambda_binder_typed_via_typed_sibling_across_union ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/context_carrier_sets.rs (/opt/rustwide/target/debug/deps/context_carrier_sets-af23c65d8147eb00)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test carrier_sets_are_sorted_alphabetically ... ok
[INFO] [stdout] test carrier_sets_have_powerset_type ... ok
[INFO] [stdout] test auction_context_bcc_is_byte_exact ... ok
[INFO] [stdout] test root_element_and_accuracy ... ok
[INFO] [stdout] test emits_one_bcc_file ... ok
[INFO] [stdout] test carrier_set_source_handle_uses_rodin_internal_id ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/context_constants_and_axioms.rs (/opt/rustwide/target/debug/deps/context_constants_and_axioms-1db570a0f5d06a67)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test integer_relation_constant_gets_pow_int_times_int ... ok
[INFO] [stdout] test emits_a_bcc_file ... ok
[INFO] [stdout] test accurate_is_true_when_all_constants_are_inferred ... ok
[INFO] [stdout] test integer_constant_gets_integer_type ... ok
[INFO] [stdout] test axioms_appear_before_constants ... ok
[INFO] [stdout] test predicates_are_canonical_unicode ... ok
[INFO] [stdout] test constants_are_sorted_alphabetically ... ok
[INFO] [stdout] test predicates_are_semantically_equivalent_to_inputs ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/corpus.rs (/opt/rustwide/target/debug/deps/corpus-58873a74b1288d5e)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test corpus_semantic_equivalence ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dependency_inaccuracy_propagates.rs (/opt/rustwide/target/debug/deps/dependency_inaccuracy_propagates-86d8da08deba5282)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test inaccurate_context_baseline ... ok
[INFO] [stdout] test extends_inaccurate_context_propagates ... ok
[INFO] [stdout] test sees_inaccurate_context_propagates ... ok
[INFO] [stdout] test extends_propagation_is_transitive ... ok
[INFO] [stdout] test inaccurate_machine_baseline ... ok
[INFO] [stdout] test refines_inaccurate_machine_propagates ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/disappeared_variable.rs (/opt/rustwide/target/debug/deps/disappeared_variable-9682249662426b49)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test redeclared_variable_assignment_is_not_disappeared ... ok
[INFO] [stdout] test reading_disappeared_variable_in_rhs_is_an_error ... ok
[INFO] [stdout] test dropped_variable_left_unassigned_is_clean ... ok
[INFO] [stderr]      Running tests/duplicate_component_names.rs (/opt/rustwide/target/debug/deps/duplicate_component_names-f040c29c0276dc4b)
[INFO] [stdout] test theorem_guard_reading_disappeared_variable_stays_a_warning ... ok
[INFO] [stdout] test assigning_disappeared_variable_is_an_error ... ok
[INFO] [stdout] test reading_disappeared_variable_in_guard_is_an_error ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test cross_kind_name_collision_fails_the_build ... ok
[INFO] [stdout] test duplicate_machines_fail_the_build ... ok
[INFO] [stdout] test unique_names_do_not_trip_eb019 ... ok
[INFO] [stderr]      Running tests/duplicate_names_sc.rs (/opt/rustwide/target/debug/deps/duplicate_names_sc-3b103ac1bcd7e906)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 18 tests
[INFO] [stdout] test carrier_set_and_constant_collision_drops_both_without_accuracy_flip ... ok
[INFO] [stdout] test build_reports_duplicates_once_and_lint_not_at_all ... ok
[INFO] [stdout] test duplicate_axiom_label_keeps_first_occurrence ... ok
[INFO] [stdout] test duplicate_constant_is_dropped_and_axiom_cascades ... ok
[INFO] [stdout] test constant_typed_only_by_dropped_duplicate_axiom_reports_eb006 ... ok
[INFO] [stdout] test duplicate_guard_action_label_keeps_the_guard ... ok
[INFO] [stdout] test dropped_duplicate_event_still_reports_inner_duplicates ... ok
[INFO] [stdout] test descendant_refining_dropped_duplicate_event_hits_missing_target_path ... ok
[INFO] [stdout] test duplicate_event_label_drops_every_occurrence ... ok
[INFO] [stdout] test duplicates_still_reported_on_duplicate_component_names ... ok
[INFO] [stdout] test duplicates_still_reported_when_extends_cycle_stops_the_sc ... ok
[INFO] [stdout] test duplicates_still_reported_when_refines_cycle_stops_the_sc ... ok
[INFO] [stdout] test duplicate_witness_label_marks_event_inaccurate ... ok
[INFO] [stdout] test duplicate_variable_is_dropped_and_reported ... ok
[INFO] [stdout] test duplicate_parameter_is_dropped_and_guard_cascades ... ok
[INFO] [stdout] test duplicate_invariant_label_keeps_first_occurrence ... ok
[INFO] [stdout] test omitted_extended_initialisation_still_reports_inner_duplicates ... ok
[INFO] [stdout] test initialisation_duplicate_action_label_keeps_first_and_repairs ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/event_convergence_accuracy.rs (/opt/rustwide/target/debug/deps/event_convergence_accuracy-4775e373a2a665ae)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test convergent_with_unusable_variant_downgrades ... ok
[INFO] [stdout] test convergent_with_usable_variant_stays_convergent ... ok
[INFO] [stdout] test convergent_without_variant_downgrades_anticipated_untouched ... ok
[INFO] [stdout] test machine_file_stays_accurate_despite_downgraded_events ... ok
[INFO] [stdout] test convergent_refining_ordinary_is_downgraded_and_inaccurate ... ok
[INFO] [stdout] test convergent_refining_convergent_stays_accurate ... ok
[INFO] [stdout] test anticipated_refining_ordinary_is_downgraded_and_inaccurate ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/event_extended_inherits_accuracy.rs (/opt/rustwide/target/debug/deps/event_extended_inherits_accuracy-00400889213797ab)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test abstract_event_is_inaccurate_baseline ... ok
[INFO] [stdout] test extended_event_inherits_abstract_inaccuracy ... ok
[INFO] [stdout] test plain_refinement_does_not_inherit_inaccuracy ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/event_missing_refines_target.rs (/opt/rustwide/target/debug/deps/event_missing_refines_target-b605bad74aa980f8)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test missing_refines_target_emits_error ... ok
[INFO] [stdout] test missing_refines_target_drops_event ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/event_param_inferred_from_implication.rs (/opt/rustwide/target/debug/deps/event_param_inferred_from_implication-ba0d29d4a2feb6e1)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test parameter_typed_via_implication_pair_consequent ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/event_param_inferred_from_maplet_equality.rs (/opt/rustwide/target/debug/deps/event_param_inferred_from_maplet_equality-b3c59d97432893d4)
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running tests/event_param_inferred_from_set_op_equality.rs (/opt/rustwide/target/debug/deps/event_param_inferred_from_set_op_equality-70a0363a618c26bd)
[INFO] [stdout] test parameter_typed_via_maplet_equality_against_function_application ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test parameter_typed_via_set_op_equality_with_typed_sibling_operand ... ok
[INFO] [stderr]      Running tests/event_witness_accuracy.rs (/opt/rustwide/target/debug/deps/event_witness_accuracy-5c3d2d41ec5513cf)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test non_refining_event_drops_a_stray_witness ... ok
[INFO] [stdout] test ill_typed_witness_is_dropped_and_replaced_with_top ... ok
[INFO] [stdout] test missing_global_witness_is_inaccurate ... ok
[INFO] [stdout] test deterministic_abstract_assignment_needs_no_witness ... ok
[INFO] [stdout] test missing_local_parameter_witness_is_inaccurate ... ok
[INFO] [stderr]      Running tests/file_accurate_with_untyped_variables.rs (/opt/rustwide/target/debug/deps/file_accurate_with_untyped_variables-cf813978b2639aed)
[INFO] [stdout] test over_witness_for_non_required_name_is_dropped ... ok
[INFO] [stdout] test inherited_abstract_parameter_is_a_required_witness ... ok
[INFO] [stdout] test provided_global_witness_is_accurate_and_kept ... ok
[INFO] [stdout] test two_unmet_parameter_witnesses_each_get_a_top_placeholder ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test untyped_variable_emits_error ... ok
[INFO] [stdout] test file_stays_accurate_when_only_variable_typing_fails ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/golden_byte_exact.rs (/opt/rustwide/target/debug/deps/golden_byte_exact-78697f4849db0237)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test usermodel_c0_users_bcc_byte_exact ... ok
[INFO] [stderr]      Running tests/import_corpus.rs (/opt/rustwide/target/debug/deps/import_corpus-30d853921a90612e)
[INFO] [stdout] test question1_c0_bcc_byte_exact ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test import_output_reparses_for_corpus ... ignored
[INFO] [stdout] 
[INFO] [stderr]      Running tests/initialisation_repair.rs (/opt/rustwide/target/debug/deps/initialisation_repair-6f6095890d270cc4)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test standalone_empty_init_repairs_single_variable_byte_exact ... ok
[INFO] [stdout] test repaired_init_is_inaccurate_but_machine_stays_accurate ... ok
[INFO] [stdout] test empty_init_combines_unassigned_variables_into_one_action ... ok
[INFO] [stdout] test partial_init_repairs_only_the_unassigned_variable ... ok
[INFO] [stdout] test extended_init_inherits_repair_and_adds_fresh_label ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/initialisation_witness.rs (/opt/rustwide/target/debug/deps/initialisation_witness-6845ec86ca6a175b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test initialisation_witness_emitted_into_bcm ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lint_examples.rs (/opt/rustwide/target/debug/deps/lint_examples-b75be65d13ca0e9b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test bundled_examples_are_lint_clean ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/machine_decomposition_stub.rs (/opt/rustwide/target/debug/deps/machine_decomposition_stub-acb51e3ef81a52e7)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test refinement_chain_of_stubs_does_not_crash ... ok
[INFO] [stdout] test non_decomposition_machine_unaffected ... ok
[INFO] [stdout] test emits_attribute_only_stub ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/machine_events.rs (/opt/rustwide/target/debug/deps/machine_events-be16a0e7a034f87c)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test machine_file_is_accurate_when_all_events_type_check ... ok
[INFO] [stdout] test initialisation_action_gets_empty_set_type_ascription ... ok
[INFO] [stdout] test convergent_event_without_variant_is_inaccurate ... ok
[INFO] [stdout] test event_guards_and_actions_captured_by_sc_view ... ok
[INFO] [stdout] test parameter_type_is_inferred_from_guard ... ok
[INFO] [stdout] test convergence_encoding ... ok
[INFO] [stdout] test parameter_typed_via_variable_reference ... ok
[INFO] [stdout] test machine_has_three_events ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/machine_extended_events.rs (/opt/rustwide/target/debug/deps/machine_extended_events-2fbf317dc4e2b2c7)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test refines_event_emitted_on_non_extended ... ok
[INFO] [stdout] test witness_emitted_for_dropped_parameter ... ok
[INFO] [stdout] test non_extended_event_does_not_inherit_parent_guards ... ok
[INFO] [stdout] test extended_event_inherits_parent_actions ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/machine_implicit_refines.rs (/opt/rustwide/target/debug/deps/machine_implicit_refines-10cb5235ba4e2abe)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test initialisation_refines_event_synthesised ... ok
[INFO] [stdout] test extended_event_inherits_actions ... ok
[INFO] [stdout] test regular_extended_event_refines_event_synthesised ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/machine_inherited_param_scope.rs (/opt/rustwide/target/debug/deps/machine_inherited_param_scope-43c91760d6c697a3)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test event_stays_accurate ... ok
[INFO] [stdout] test parameter_inherited ... ok
[INFO] [stdout] test own_guard_referencing_inherited_param_survives ... ok
[INFO] [stdout] test extended_event_carries_all_guards ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/machine_invariants_variables.rs (/opt/rustwide/target/debug/deps/machine_invariants_variables-826b3b47d65df48c)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stderr]      Running tests/machine_refines.rs (/opt/rustwide/target/debug/deps/machine_refines-90f91d8af8e8b4d3)
[INFO] [stdout] test sees_produces_sc_internal_context ... ok
[INFO] [stdout] test emits_bcc_and_bcm ... ok
[INFO] [stdout] test variables_get_powerset_types ... ok
[INFO] [stdout] test machine_root_is_accurate ... ok
[INFO] [stdout] test invariants_preserve_predicate_semantics ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test sc_refines_machine_emitted ... ok
[INFO] [stdout] test machine_is_accurate ... ok
[INFO] [stdout] test abstract_flag_true_for_inherited_variable ... ok
[INFO] [stdout] test both_invariants_carried_in_order ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/machine_sees_diamond.rs (/opt/rustwide/target/debug/deps/machine_sees_diamond-18d54790de7aff2d)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test sees_context_target_is_bare_uri ... ok
[INFO] [stdout] test diamond_base_appears_exactly_once ... ok
[INFO] [stdout] test machine_emits_internal_context_for_all_ancestors ... ok
[INFO] [stdout] test variables_can_reference_carrier_sets_from_any_ancestor ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/machine_variant.rs (/opt/rustwide/target/debug/deps/machine_variant-65885cccdbaa5dd7)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test sc_variant_element_emitted ... ok
[INFO] [stdout] test variant_appears_between_variables_and_events ... ok
[INFO] [stdout] test sc_view_captures_variant ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/operator_compat_oracle.rs (/opt/rustwide/target/debug/deps/operator_compat_oracle-567e0bb4a0b23d18)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test operator_compatibility_matches_oracle ... ignored, needs the eventb-checker CLI; run with --ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/properties.rs (/opt/rustwide/target/debug/deps/properties-73600d0a282fbd4e)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test scope_stack_restores_after_n_pushes ... ok
[INFO] [stdout] test strip_action_is_idempotent ... ok
[INFO] [stdout] test canonical_action_reparseable ... ok
[INFO] [stdout] test canonical_action_preserves_ast ... ok
[INFO] [stdout] test canonical_action_is_idempotent ... ok
[INFO] [stdout] test canonical_predicate_reparseable ... ok
[INFO] [stdout] test canonical_predicate_preserves_ast ... ok
[INFO] [stdout] test canonical_predicate_is_idempotent ... ok
[INFO] [stdout] test strip_predicate_is_idempotent ... ok
[INFO] [stderr]      Running tests/rodin_corpus.rs (/opt/rustwide/target/debug/deps/rodin_corpus-1ea9c628ad33bdd4)
[INFO] [stdout] test infer_constants_is_monotone ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.72s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/sc_model_event_scope.rs (/opt/rustwide/target/debug/deps/sc_model_event_scope-fc97091b16100432)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test rodin_builds_regenerated_corpus ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test event_env_resolves_chain_params_and_variables ... ok
[INFO] [stdout] test machine_record_carries_typed_formulas ... ok
[INFO] [stdout] test chain_parameters_sees_inherited_param ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/setcomp_short_form_lowering.rs (/opt/rustwide/target/debug/deps/setcomp_short_form_lowering-40f4acc0d4cb44ae)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test action_rhs_short_form_setcomp_is_emitted_as_long_form ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/type_oracle_diff.rs (/opt/rustwide/target/debug/deps/type_oracle_diff-443dc334f2ac98c6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test type_oracle_diff ... ignored, needs the eventb-checker CLI; run with --ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/variable_typed_via_buried_identifier.rs (/opt/rustwide/target/debug/deps/variable_typed_via_buried_identifier-6fdc452c3c6ddc17)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test variable_buried_in_invariant_is_typed ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/rossi-43f6cf72c44c39ea)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test commands::validate::tests::loose_lint_diagnostic_is_positioned ... ok
[INFO] [stdout] test commands::validate::tests::parse_error_region_covers_reserved_word ... ok
[INFO] [stdout] test commands::validate::tests::rule_for_parse_error_maps_assignment_in_predicate ... ok
[INFO] [stdout] test commands::validate::tests::span_to_region_maps_both_ends_one_indexed ... ok
[INFO] [stdout] test commands::validate::tests::project_diagnostic_resolves_component_source_and_file ... ok
[INFO] [stdout] test commands::validate::tests::parse_error_region_is_a_point_without_a_span ... ok
[INFO] [stdout] test commands::validate::tests::project_diagnostic_inner_filename_is_prefix_qualified ... ok
[INFO] [stdout] test commands::validate::tests::loose_text_flags_assignment_in_invariant ... ok
[INFO] [stdout] test commands::validate::tests::loose_text_keeps_fallback_alongside_assignment_when_other_errors_exist ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cli_test.rs (/opt/rustwide/target/debug/deps/cli_test-dde7d4a9d84445d1)
[INFO] [stdout] 
[INFO] [stdout] running 63 tests
[INFO] [stdout] test export_eventb_file_to_zip ... ok
[INFO] [stdout] test build_eventb_file_packs_sources_and_checked ... ok
[INFO] [stdout] test build_duplicate_component_names_fail_with_eb019 ... ok
[INFO] [stdout] test export_directory_of_subprojects_to_multi_project_zip ... ok
[INFO] [stdout] test build_fails_on_circular_refines_with_context_sibling ... ok
[INFO] [stdout] test build_fails_on_error_diagnostics_but_still_writes_output ... ok
[INFO] [stdout] test build_eventb_directory ... ok
[INFO] [stdout] test build_fails_on_duplicate_identifier ... ok
[INFO] [stdout] test export_eventb_to_rodin_directory_includes_project_descriptor ... ok
[INFO] [stdout] test export_eventb_to_rodin_zip_includes_project_descriptor ... ok
[INFO] [stdout] test export_stdin_to_zip ... ok
[INFO] [stdout] test export_stray_top_level_txt_still_splits_subprojects ... ok
[INFO] [stdout] test fmt_ascii_on_rodin_zip_is_rejected ... ok
[INFO] [stdout] test fmt_ascii_text_to_unicode_stdout ... ok
[INFO] [stdout] test fmt_indent_option_changes_indentation ... ok
[INFO] [stdout] test fmt_normalizes_rodin_zip ... ok
[INFO] [stdout] test fmt_stdin_text_to_unicode ... ok
[INFO] [stdout] test import_contains_path_traversal_project_name ... ok
[INFO] [stdout] test fmt_preserves_multi_project_archive_structure ... ok
[INFO] [stdout] test fmt_stdin_at_nesting_limit_succeeds ... ok
[INFO] [stdout] test import_keys_subdirs_on_prefix_not_colliding_name ... ok
[INFO] [stdout] test import_rodin_directory_to_eventb_files ... ok
[INFO] [stdout] test import_multi_project_archive_writes_per_project_subdirs ... ok
[INFO] [stdout] test import_rodin_buc_file_to_eventb ... ok
[INFO] [stdout] test import_rodin_bum_file_to_eventb ... ok
[INFO] [stdout] test test_cli_help ... ok
[INFO] [stdout] test fmt_check_then_in_place ... ok
[INFO] [stdout] test test_cli_json_output ... ok
[INFO] [stdout] test test_cli_mixed_text_and_zip_files ... ok
[INFO] [stdout] test test_cli_multiple_files ... ok
[INFO] [stdout] test test_cli_quiet_mode_success ... ok
[INFO] [stdout] test test_cli_no_files_provided ... ok
[INFO] [stdout] test test_cli_valid_context ... ok
[INFO] [stdout] test test_cli_nonexistent_file ... ok
[INFO] [stdout] test test_cli_quiet_mode_with_error ... ok
[INFO] [stdout] test test_cli_valid_machine ... ok
[INFO] [stdout] test test_cli_version ... ok
[INFO] [stdout] test test_cli_zip_file_json_output ... ok
[INFO] [stdout] test test_cli_valid_zip_file ... ok
[INFO] [stdout] test test_completions_emits_script ... ok
[INFO] [stdout] test validate_directory_flags_new_event_assigning_inherited_variable ... ok
[INFO] [stdout] test validate_directory_input ... ok
[INFO] [stdout] test validate_directory_with_no_semantic_is_rejected ... ok
[INFO] [stdout] test validate_duplicate_component_names_fail_with_eb019 ... ok
[INFO] [stdout] test validate_multi_project_archive_is_per_project ... ok
[INFO] [stdout] test validate_flags_assignment_operator_in_invariant ... ok
[INFO] [stdout] test validate_json_includes_rule_id_for_lint ... ok
[INFO] [stdout] test validate_no_lints_drops_lint_rows ... ok
[INFO] [stdout] test validate_project_reports_duplicate_identifier_exactly_once ... ok
[INFO] [stdout] test validate_sarif_includes_parse_error_region_issue_42 ... ok
[INFO] [stdout] test test_fmt_stdin_inverse_operator_conversion ... ok
[INFO] [stdout] test validate_sarif_output_is_valid ... ok
[INFO] [stdout] test validate_stdin_at_limit_negation_chain_succeeds ... ok
[INFO] [stdout] test validate_stdin_at_nesting_limit_succeeds ... ok
[INFO] [stdout] test validate_stdin_camille_error_reports_eb004 ... ok
[INFO] [stdout] test validate_stdin_duplicate_identifier_and_label_report_eb021_eb022 ... ok
[INFO] [stdout] test validate_stdin_over_nesting_limit_reports_error_not_crash ... ok
[INFO] [stdout] test validate_stray_root_descriptor_keeps_single_project_basenames ... ok
[INFO] [stdout] test validate_zip_lint_warning_exits_zero ... ok
[INFO] [stdout] test validate_stdin_uses_stdin_filename ... ok
[INFO] [stdout] test validate_zip_bad_formula_reports_eb005 ... ok
[INFO] [stdout] test validate_zip_missing_target_reports_eb003 ... ok
[INFO] [stdout] test validate_zip_wrong_root_reports_eb002 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 63 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 13.67s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/xtask-89d2127a73cfdca2)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test grammars::tests::boolean_words_are_reserved_tokens ... ok
[INFO] [stdout] test grammars::emacs::tests::fold_ascii_case_passes_digits ... ok
[INFO] [stdout] test grammars::tests::booleans_read_as_constants_not_builtins ... ok
[INFO] [stdout] test grammars::tests::boolean_symbols_render_the_literals ... ok
[INFO] [stdout] test grammars::tests::every_canonical_spelling_is_classified_once ... ok
[INFO] [stdout] test grammars::tests::symbols_are_longest_first ... ok
[INFO] [stdout] test grammars::tests::word_case_policy_mirrors_the_grammar ... ok
[INFO] [stdout] test grammars::emacs::tests::name_capture_spans_hyphen_segments ... ok
[INFO] [stdout] test grammars::tests::no_stale_tokens_leak_in ... ok
[INFO] [stdout] test grammars::emacs::tests::ci_groups_fold_exact_groups_do_not ... ok
[INFO] [stdout] test grammars::tests::sublime_operators_match_lsp_rows ... ok
[INFO] [stdout] test grammars::tests::emacs_quail_matches_lsp_rows ... ok
[INFO] [stdout] test grammars::zed::tests::word_rules_are_longest_first ... ok
[INFO] [stdout] test grammars::tests::nvim_operators_match_lsp_rows ... ok
[INFO] [stdout] test grammars::zed::tests::highlights_capture_every_node_and_the_structural_tokens ... ok
[INFO] [stdout] test grammars::zed::tests::js_string_escapes_backslashes ... ok
[INFO] [stdout] test grammars::zed::tests::symbol_rules_are_string_literals ... ok
[INFO] [stdout] test grammars::zed::tests::tokens_manifest_lists_every_node_and_all_members ... ok
[INFO] [stdout] test grammars::zed::tests::generated_nodes_are_listed_in_token_choice ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- grammars::zed::tests::generated_nodes_are_listed_in_token_choice stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'grammars::zed::tests::generated_nodes_are_listed_in_token_choice' (6023) panicked at crates/xtask/src/grammars/zed.rs:222:59:
[INFO] [stdout] read /opt/rustwide/workdir/crates/xtask/../../editors/tree-sitter-eventb/grammar.js: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6352238dfd18 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x6352238dfd18 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::trace_unsynchronized::<std[10d71ac2c42b111e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x6352238dfd18 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x6352238dfd18 - <<std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8fb95b77d25ab6c8]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x6352238f4f1a - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x6352238f4f1a - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x6352238e4552 - std[10d71ac2c42b111e]::io::default_write_fmt::<alloc[a7ee25936407c584]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x6352238e4552 - <alloc[a7ee25936407c584]::vec::Vec<u8> as std[10d71ac2c42b111e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x6352238be9e6 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x6352238be9e6 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x6352238d7f09 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x635223827f7c - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   12:     0x635223827f7c - test[213991da798b1c03]::test_main_inner::<test[213991da798b1c03]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x6352238d80c2 - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   14:     0x6352238d80c2 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x6352238beaa2 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x6352238b3b59 - std[10d71ac2c42b111e]::sys::backtrace::__rust_end_short_backtrace::<std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x6352238bf7bd - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x6352238f566c - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x635223808ba8 - xtask[7d513b887f25de5e]::grammars::zed::tests::grammar_js::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/xtask/src/grammars/zed.rs:222:59
[INFO] [stdout]   20:     0x635223815011 - <core[8fb95b77d25ab6c8]::result::Result<alloc[a7ee25936407c584]::string::String, std[10d71ac2c42b111e]::io::error::Error>>::unwrap_or_else::<xtask[7d513b887f25de5e]::grammars::zed::tests::grammar_js::{closure#0}>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x63522380af9c - xtask[7d513b887f25de5e]::grammars::zed::tests::grammar_js
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/xtask/src/grammars/zed.rs:222:40
[INFO] [stdout]   22:     0x63522380bc91 - xtask[7d513b887f25de5e]::grammars::zed::tests::generated_nodes_are_listed_in_token_choice
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/xtask/src/grammars/zed.rs:228:23
[INFO] [stdout]   23:     0x635223808eb7 - xtask[7d513b887f25de5e]::grammars::zed::tests::generated_nodes_are_listed_in_token_choice::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/xtask/src/grammars/zed.rs:226:52
[INFO] [stdout]   24:     0x635223807ff6 - <xtask[7d513b887f25de5e]::grammars::zed::tests::generated_nodes_are_listed_in_token_choice::{closure#0} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x63522381b05b - <fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x63522381b05b - test[213991da798b1c03]::__rust_begin_short_backtrace::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x6352238288d5 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x6352238288d5 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x6352238288d5 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x6352238288d5 - std[10d71ac2c42b111e]::panicking::catch_unwind::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x6352238288d5 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x6352238288d5 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x6352238288d5 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x6352238221e4 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x6352238221e4 - std[10d71ac2c42b111e]::sys::backtrace::__rust_begin_short_backtrace::<test[213991da798b1c03]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x63522382b952 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x63522382b952 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x63522382b952 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x63522382b952 - std[10d71ac2c42b111e]::panicking::catch_unwind::<(), core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x63522382b952 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x63522382b952 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x63522382b952 - <std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6352238df33f - <alloc[a7ee25936407c584]::boxed::Box<dyn core[8fb95b77d25ab6c8]::ops::function::FnOnce<(), Output = ()> + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2275:9
[INFO] [stdout]   44:     0x6352238df33f - <std[10d71ac2c42b111e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x7d51541ceaa4 - <unknown>
[INFO] [stdout]   46:     0x7d515425ba64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     grammars::zed::tests::generated_nodes_are_listed_in_token_choice
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 18 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.18s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p xtask --bin xtask`
[INFO] running `Command { std: "docker" "inspect" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c", kill_on_drop: false }`
[INFO] [stdout] 19984e4a6569f15052bf761562ca5fe68be30eea07a2a6042bbe39960cb5502c
