[INFO] fetching crate intent 0.1.4...
[INFO] testing intent-0.1.4 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1
[INFO] extracting crate intent 0.1.4 into /workspace/builds/worker-0-tc1/source
[INFO] started tweaking crates.io crate intent 0.1.4
[INFO] finished tweaking crates.io crate intent 0.1.4
[INFO] tweaked toml for crates.io crate intent 0.1.4 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate intent 0.1.4 on toolchain 562dee4820c458d823175268e41601d4c060588a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate intent 0.1.4 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded lalrpop-util v0.22.2
[INFO] [stderr]   Downloaded ascii-canvas v4.0.0
[INFO] [stderr]   Downloaded lalrpop v0.22.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 21a3e44ba62203bf2109d2f130d77c9852d86033ea0ea2d162ed529ddf45e5cf
[INFO] running `Command { std: "docker" "start" "-a" "21a3e44ba62203bf2109d2f130d77c9852d86033ea0ea2d162ed529ddf45e5cf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "21a3e44ba62203bf2109d2f130d77c9852d86033ea0ea2d162ed529ddf45e5cf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "21a3e44ba62203bf2109d2f130d77c9852d86033ea0ea2d162ed529ddf45e5cf", kill_on_drop: false }`
[INFO] [stdout] 21a3e44ba62203bf2109d2f130d77c9852d86033ea0ea2d162ed529ddf45e5cf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b266ba45b028874b5d838d38a76a388dc8fa3f336dd38d956993209ad6fe57b7
[INFO] running `Command { std: "docker" "start" "-a" "b266ba45b028874b5d838d38a76a388dc8fa3f336dd38d956993209ad6fe57b7", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling term v1.2.1
[INFO] [stderr]    Compiling keccak v0.1.6
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling owo-colors v4.3.0
[INFO] [stderr]    Compiling clap_lex v1.0.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling clap_builder v4.5.60
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling sha3 v0.10.8
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling lalrpop-util v0.22.2
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling lalrpop v0.22.2
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling tracing-subscriber v0.3.22
[INFO] [stderr]    Compiling clap v4.5.60
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling intent v0.1.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 36.78s
[INFO] running `Command { std: "docker" "inspect" "b266ba45b028874b5d838d38a76a388dc8fa3f336dd38d956993209ad6fe57b7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b266ba45b028874b5d838d38a76a388dc8fa3f336dd38d956993209ad6fe57b7", kill_on_drop: false }`
[INFO] [stdout] b266ba45b028874b5d838d38a76a388dc8fa3f336dd38d956993209ad6fe57b7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cc7d5246445088606be6f3051fbd12f102638ad5f7af8e62b7fa8f057c181a60
[INFO] running `Command { std: "docker" "start" "-a" "cc7d5246445088606be6f3051fbd12f102638ad5f7af8e62b7fa8f057c181a60", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling intent v0.1.4 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling tempfile v3.26.0
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 17.10s
[INFO] running `Command { std: "docker" "inspect" "cc7d5246445088606be6f3051fbd12f102638ad5f7af8e62b7fa8f057c181a60", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cc7d5246445088606be6f3051fbd12f102638ad5f7af8e62b7fa8f057c181a60", kill_on_drop: false }`
[INFO] [stdout] cc7d5246445088606be6f3051fbd12f102638ad5f7af8e62b7fa8f057c181a60
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] aa1dd18fdacb60c50cb1f3f14d258adac837cb37d54ffcc1da441ecca3009568
[INFO] running `Command { std: "docker" "start" "-a" "aa1dd18fdacb60c50cb1f3f14d258adac837cb37d54ffcc1da441ecca3009568", kill_on_drop: false }`
[INFO] [stderr]    Compiling intent v0.1.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 17.89s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/intent-af966cea27933df6)
[INFO] [stdout] 
[INFO] [stdout] running 223 tests
[INFO] [stdout] test behavioral::composition::tests::test_compose_disjoint_behaviors ... ok
[INFO] [stdout] test behavioral::composition::tests::test_compose_with_fairness ... ok
[INFO] [stdout] test behavioral::composition::tests::test_parallel_compose_interleaving ... ok
[INFO] [stdout] test behavioral::composition::tests::test_compose_single_behavior ... ok
[INFO] [stdout] test behavioral::composition::tests::test_compose_shared_states ... ok
[INFO] [stdout] test behavioral::composition::tests::test_parallel_compose_synchronized ... ok
[INFO] [stdout] test behavioral::composition::tests::test_to_behavior_decl ... ok
[INFO] [stdout] test behavioral::composition::tests::test_transition_conflict ... ok
[INFO] [stdout] test behavioral::normalize::tests::test_no_hierarchy_passthrough ... ok
[INFO] [stdout] test behavioral::normalize::tests::test_flatten_simple_hierarchy ... ok
[INFO] [stdout] test behavioral::patterns::registry::tests::test_param_to_tla ... ok
[INFO] [stdout] test behavioral::refinement::tests::test_illegal_transition ... ok
[INFO] [stdout] test behavioral::composition::tests::test_parallel_compose_product_states ... ok
[INFO] [stdout] test behavioral::refinement::tests::test_inferred_mapping ... ok
[INFO] [stdout] test behavioral::refinement::tests::test_stuttering_step ... ok
[INFO] [stdout] test benchmark::tests::empty_system_produces_empty_benchmarks ... ok
[INFO] [stdout] test benchmark::tests::extracts_from_nested_rules ... ok
[INFO] [stdout] test benchmark::tests::extracts_p99_latency ... ok
[INFO] [stdout] test diagnostic::recovery::tests::test_recovery_context_add_warning ... ok
[INFO] [stdout] test diagnostic::recovery::tests::test_recovery_context_phase ... ok
[INFO] [stdout] test diagnostic::recovery::tests::test_recovery_result ... ok
[INFO] [stdout] test diagnostic::recovery::tests::test_recovery_context_merge ... ok
[INFO] [stdout] test diagnostic::recovery::tests::test_recovery_strategy_fail_fast ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_format_suggestions ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_find_closest ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_levenshtein_distance_equal ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_levenshtein_distance_insertion ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_levenshtein_distance_empty ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_suggest_identifier ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_suggest_identifier_case_insensitive ... ok
[INFO] [stdout] test diagnostic::tests::test_diagnostics_collection ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_levenshtein_distance_deletion ... ok
[INFO] [stdout] test behavioral::refinement::tests::test_unmapped_concrete_state ... ok
[INFO] [stdout] test behavioral::refinement::tests::test_unreachable_abstract_state ... ok
[INFO] [stdout] test diagnostic::tests::test_offset_to_line_col ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_suggest_type ... ok
[INFO] [stdout] test behavioral::refinement::tests::test_valid_refinement ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_levenshtein_distance_substitution ... ok
[INFO] [stdout] test diagnostic::recovery::tests::test_recovery_context_add_error ... ok
[INFO] [stdout] test diagnostic::tests::test_format_with_source ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_suggest_keyword ... ok
[INFO] [stdout] test diagnostic::suggestions::tests::test_suggest_multiple ... ok
[INFO] [stdout] test diagnostic::tests::test_span_creation ... ok
[INFO] [stdout] test diagnostic::tests::test_synthetic_span ... ok
[INFO] [stdout] test diagnostic::tests::test_span_merge ... ok
[INFO] [stdout] test diagnostic::tests::test_diagnostic_with_suggestion ... ok
[INFO] [stdout] test benchmark::tests::extracts_throughput ... ok
[INFO] [stdout] test diagnostic::tests::test_error_codes ... ok
[INFO] [stdout] test diagnostic::recovery::tests::test_recovery_strategy_continue ... ok
[INFO] [stdout] test diagnostic::tests::test_diagnostic_creation ... ok
[INFO] [stdout] test linter::checks::tests::test_check_cyclic_dependencies ... ok
[INFO] [stdout] test parser::tests::test_parse_always_eventually_count ... ok
[INFO] [stdout] test linter::checks::tests::test_check_no_cycles ... ok
[INFO] [stdout] test parser::tests::test_parse_behavior ... ok
[INFO] [stdout] test linter::tests::test_lint_valid_state_machine ... ok
[INFO] [stdout] test linter::tests::test_lint_syntax_error ... ok
[INFO] [stdout] test linter::tests::test_lint_unreachable_state ... ok
[INFO] [stdout] test parser::tests::test_parse_comments_ignored ... ok
[INFO] [stdout] test linter::checks::tests::test_check_documentation ... ok
[INFO] [stdout] test linter::tests::test_lint_naming_convention ... ok
[INFO] [stdout] test linter::checks::tests::test_check_consistency ... ok
[INFO] [stdout] test parser::tests::test_parse_component ... ok
[INFO] [stdout] test parser::tests::test_parse_constraint_predicate ... ok
[INFO] [stdout] test parser::tests::test_parse_count_vs_count_comparison ... ok
[INFO] [stdout] test parser::tests::test_parse_empty_system ... ok
[INFO] [stdout] test parser::tests::test_parse_forall ... ok
[INFO] [stdout] test parser::tests::test_parse_behavior_nodes ... ok
[INFO] [stdout] test parser::tests::test_parse_error_location ... ok
[INFO] [stdout] test parser::tests::test_parse_full_v02_system ... ok
[INFO] [stdout] test parser::tests::test_parse_iff_operator ... ok
[INFO] [stdout] test parser::tests::test_parse_import_pattern ... ok
[INFO] [stdout] test linter::tests::test_lint_valid_system ... ok
[INFO] [stdout] test parser::tests::test_parse_pattern ... ok
[INFO] [stdout] test parser::tests::test_parse_import_template ... ok
[INFO] [stdout] test parser::tests::test_parse_constraint_operators ... ok
[INFO] [stdout] test linter::tests::test_lint_multiple_initial_states ... ok
[INFO] [stdout] test parser::tests::test_parse_component_with_behavior ... ok
[INFO] [stdout] test parser::tests::test_parse_count_in_property ... ok
[INFO] [stdout] test parser::tests::test_parse_rationale ... ok
[INFO] [stdout] test parser::tests::test_parse_predicate_def ... ok
[INFO] [stdout] test parser::tests::test_parse_distilled ... ok
[INFO] [stdout] test parser::tests::test_parse_pattern_multiple_parameters ... ok
[INFO] [stdout] test parser::tests::test_parse_precedence_chain ... ok
[INFO] [stdout] test linter::tests::test_lint_invalid_transition ... ok
[INFO] [stdout] test behavioral::composition::tests::test_parallel_compose_to_behavior_decl ... ok
[INFO] [stdout] test structural::c3::tests::test_c3_intermediate_linearizations ... ok
[INFO] [stdout] test parser::tests::test_parse_system_properties ... ok
[INFO] [stdout] test structural::c3::tests::test_cycle_detection ... ok
[INFO] [stdout] test structural::c3::tests::test_diamond_linearization ... ok
[INFO] [stdout] test parser::tests::test_parse_rationale_top_level ... ok
[INFO] [stdout] test structural::c3::tests::test_c3_inconsistent_hierarchy ... ok
[INFO] [stdout] test structural::c3::tests::test_layer_ordering ... ok
[INFO] [stdout] test structural::c3::tests::test_independent_nodes ... ok
[INFO] [stdout] test parser::tests::test_parse_transition_full ... ok
[INFO] [stdout] test parser::tests::test_parse_fairness_with_alt ... ok
[INFO] [stdout] test structural::connector::tests::check_reference_works ... ok
[INFO] [stdout] test structural::connector::tests::check_dependency_works ... ok
[INFO] [stdout] test structural::connector::tests::registry_default_has_connectors ... ok
[INFO] [stdout] test structural::connector::tests::registry_finds_connector_by_extension ... ok
[INFO] [stdout] test parser::tests::test_parse_transition_with_timing_after ... ok
[INFO] [stdout] test linter::tests::test_lint_duplicate_component ... ok
[INFO] [stdout] test linter::tests::test_lint_missing_initial_state ... ok
[INFO] [stdout] test structural::c3::tests::test_simple_linearization ... ok
[INFO] [stdout] test structural::connector::tests::rust_connector_analyzes_file ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::extracts_grouped_use_imports ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::extracts_mod_decls ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::extracts_qualified_type_refs ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::extracts_trait_impls ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::extracts_call_refs ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::handles_use_alias ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::ignores_comments_and_strings ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::extracts_use_imports ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::skips_cfg_test_blocks ... ok
[INFO] [stdout] test structural::index::file_analysis::tests::extracts_glob_import ... ok
[INFO] [stdout] test structural::index::module_tree::tests::builds_nested_module_tree ... ok
[INFO] [stdout] test structural::index::module_tree::tests::directory_based_check ... ok
[INFO] [stdout] test parser::tests::test_parse_transition_with_effect ... ok
[INFO] [stdout] test linter::tests::test_compute_reachable_states ... ok
[INFO] [stdout] test structural::index::module_tree::tests::file_is_under_module_works ... ok
[INFO] [stdout] test parser::tests::test_parse_value_types ... ok
[INFO] [stdout] test structural::index::module_tree::tests::handles_mod_rs_and_foo_rs_styles ... ok
[INFO] [stdout] test parser::tests::test_parse_transition_with_guard ... ok
[INFO] [stdout] test structural::c3::tests::test_complex_c3_mro ... ok
[INFO] [stdout] test structural::index::module_tree::tests::resolves_nested_module ... ok
[INFO] [stdout] test structural::connector::tests::check_implements_works ... ok
[INFO] [stdout] test parser::tests::test_parse_system_description ... ok
[INFO] [stdout] test structural::index::ts_analysis::tests::test_import_with_alias ... ok
[INFO] [stdout] test structural::index::module_tree::tests::resolves_storage_to_files ... ok
[INFO] [stdout] test structural::index::ts_analysis::tests::test_default_import ... ok
[INFO] [stdout] test structural::index::use_resolver::tests::glob_imports_do_not_match_entities ... ok
[INFO] [stdout] test structural::index::use_resolver::tests::import_brings_named_entity ... ok
[INFO] [stdout] test structural::index::use_resolver::tests::import_depends_on_nested_module ... ok
[INFO] [stdout] test structural::index::use_resolver::tests::import_depends_on_storage_module ... ok
[INFO] [stdout] test structural::index::use_resolver::tests::resolve_crate_import ... ok
[INFO] [stdout] test structural::index::use_resolver::tests::resolve_deep_crate_import ... ok
[INFO] [stdout] test structural::index::use_resolver::tests::resolve_external_crate_returns_none ... ok
[INFO] [stdout] test structural::index::use_resolver::tests::resolve_super_import_returns_none ... ok
[INFO] [stdout] test structural::index::ts_analysis::tests::test_namespace_import ... ok
[INFO] [stdout] test structural::index::tests::file_is_in_modules_works ... ok
[INFO] [stdout] test structural::tests::test_check_must_not_reference ... ok
[INFO] [stdout] test structural::tests::test_check_must_implement ... ok
[INFO] [stdout] test structural::tests::test_must_depend_pass ... ok
[INFO] [stdout] test transpile::tla::tests::test_generate_tla ... ok
[INFO] [stdout] test transpile::tla::tests::test_generate_with_count_property ... ok
[INFO] [stdout] test transpile::tla::tests::test_generate_for_apalache ... ok
[INFO] [stdout] test transpile::tla::tests::test_generate_with_tlc_config ... ok
[INFO] [stdout] test transpile::tla::tests::test_generate_with_nodes ... ok
[INFO] [stdout] test structural::tests::test_must_reference_pass ... ok
[INFO] [stdout] test transpile::tla::tests::test_message_queues ... ok
[INFO] [stdout] test transpile::tla::tests::test_parse_var_update_add_to_set ... ok
[INFO] [stdout] test transpile::tla::tests::test_parse_var_update_append ... ok
[INFO] [stdout] test transpile::tla::tests::test_parse_var_update_enable ... ok
[INFO] [stdout] test transpile::tla::tests::test_parse_var_update_increment ... ok
[INFO] [stdout] test transpile::tla::tests::test_parse_var_update_set ... ok
[INFO] [stdout] test transpile::tla::tests::test_refinement_with_map ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_always ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_always_count ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_count_comparison ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_count_eq ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_count_ge ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_count_gt ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_count_ne ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_count_with_nodes ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_count_with_nodes_comparison ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_nested ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_count_without_nodes ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_eventually ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_next ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_release ... ok
[INFO] [stdout] test structural::index::tests::indexes_entity_refs ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_weak_until ... ok
[INFO] [stdout] test transpile::tla::tests::test_variable_bounds ... ok
[INFO] [stdout] test types::checker::tests::test_check_value_type_int ... ok
[INFO] [stdout] test types::checker::tests::test_check_value_type_mismatch ... ok
[INFO] [stdout] test types::checker::tests::test_infer_expr_type ... ok
[INFO] [stdout] test types::checker::tests::test_infer_param_value_type ... ok
[INFO] [stdout] test types::checker::tests::test_infer_param_value_type_heterogeneous_list ... ok
[INFO] [stdout] test types::checker::tests::test_infer_param_value_type_homogeneous_list ... ok
[INFO] [stdout] test types::checker::tests::test_type_context ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_strong_release ... ok
[INFO] [stdout] test transpile::tla::tests::test_temporal_to_tla_until ... ok
[INFO] [stdout] test types::inference::tests::test_generalize ... ok
[INFO] [stdout] test types::checker::tests::test_unbound_type_var_rejects ... ok
[INFO] [stdout] test types::inference::tests::test_fresh_var ... ok
[INFO] [stdout] test types::inference::tests::test_infer_arithmetic ... ok
[INFO] [stdout] test types::inference::tests::test_infer_comparison ... ok
[INFO] [stdout] test types::inference::tests::test_infer_let_polymorphism ... ok
[INFO] [stdout] test types::inference::tests::test_infer_literal ... ok
[INFO] [stdout] test types::inference::tests::test_instantiate ... ok
[INFO] [stdout] test types::inference::tests::test_infer_record ... ok
[INFO] [stdout] test types::inference::tests::test_type_display ... ok
[INFO] [stdout] test types::inference::tests::test_occurs_check ... ok
[INFO] [stdout] test types::inference::tests::test_row_type ... ok
[INFO] [stdout] test types::inference::tests::test_unify_function ... ok
[INFO] [stdout] test types::inference::tests::test_substitution_compose ... ok
[INFO] [stdout] test types::inference::tests::test_unify_int_int ... ok
[INFO] [stdout] test types::inference::tests::test_unify_var_concrete ... ok
[INFO] [stdout] test types::inference::tests::test_unify_function_mismatch ... ok
[INFO] [stdout] test types::tests::test_qualified_name ... ok
[INFO] [stdout] test types::inference::tests::test_unify_int_float ... ok
[INFO] [stdout] test types::tests::test_generic_type_annotation ... ok
[INFO] [stdout] test types::tests::test_type_display ... ok
[INFO] [stdout] test types::tests::test_simple_qualified_name ... ok
[INFO] [stdout] test types::tests::test_type_from_name ... ok
[INFO] [stdout] test types::tests::test_sum_type_as_tagged_record ... ok
[INFO] [stdout] test types::tests::test_type_annotation ... ok
[INFO] [stdout] test validation::verification::tests::test_deadlock_detection_finds_deadlock ... ok
[INFO] [stdout] test validation::verification::tests::test_livelock_detection_no_livelock ... ok
[INFO] [stdout] test validation::verification::tests::test_deadlock_detection_no_deadlock ... ok
[INFO] [stdout] test validation::verification::tests::test_property_validation_finds_invalid_state ... ok
[INFO] [stdout] test validation::verification::tests::test_livelock_detection_finds_livelock ... ok
[INFO] [stdout] test structural::index::ts_analysis::tests::test_simple_class ... ok
[INFO] [stdout] test validation::verification::tests::test_transition_validation_finds_invalid_state ... ok
[INFO] [stdout] test structural::index::ts_analysis::tests::test_exports ... ok
[INFO] [stdout] test structural::index::ts_analysis::tests::test_comment_skipping ... ok
[INFO] [stdout] test structural::index::ts_analysis::tests::test_interface_declaration ... ok
[INFO] [stdout] test structural::index::tests::indexes_trait_impls ... ok
[INFO] [stdout] test structural::connector::tests::ts_connector_analyzes_file ... ok
[INFO] [stdout] test parser::tests::test_parse_count_comparison_operators ... ok
[INFO] [stdout] test structural::index::ts_analysis::tests::test_named_import_parsing ... ok
[INFO] [stdout] test structural::index::ts_analysis::tests::test_class_implements ... ok
[INFO] [stdout] test parser::tests::test_parse_uses ... ok
[INFO] [stdout] test structural::index::tests::builds_index_successfully ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 223 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.37s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/intent-a987355e6097e813)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stderr]    Doc-tests intent
[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 1 test
[INFO] [stdout] test src/linter/mod.rs - linter (line 11) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.37s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "aa1dd18fdacb60c50cb1f3f14d258adac837cb37d54ffcc1da441ecca3009568", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aa1dd18fdacb60c50cb1f3f14d258adac837cb37d54ffcc1da441ecca3009568", kill_on_drop: false }`
[INFO] [stdout] aa1dd18fdacb60c50cb1f3f14d258adac837cb37d54ffcc1da441ecca3009568