[INFO] fetching crate wirespec-backend-tlaplus 0.4.2...
[INFO] testing wirespec-backend-tlaplus-0.4.2 against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739-1
[INFO] extracting crate wirespec-backend-tlaplus 0.4.2 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate wirespec-backend-tlaplus 0.4.2
[INFO] finished tweaking crates.io crate wirespec-backend-tlaplus 0.4.2
[INFO] tweaked toml for crates.io crate wirespec-backend-tlaplus 0.4.2 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate wirespec-backend-tlaplus 0.4.2 on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate wirespec-backend-tlaplus 0.4.2 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" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a7b19389d1ddd22555504e105793e33f883e8b48cc8ad299efd67643b53a9400
[INFO] running `Command { std: "docker" "start" "-a" "a7b19389d1ddd22555504e105793e33f883e8b48cc8ad299efd67643b53a9400", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a7b19389d1ddd22555504e105793e33f883e8b48cc8ad299efd67643b53a9400", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a7b19389d1ddd22555504e105793e33f883e8b48cc8ad299efd67643b53a9400", kill_on_drop: false }`
[INFO] [stdout] a7b19389d1ddd22555504e105793e33f883e8b48cc8ad299efd67643b53a9400
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3cffe09a3da60b04c9beec86c2957a5a02da72ff29b774d7ad336316c725b731
[INFO] running `Command { std: "docker" "start" "-a" "3cffe09a3da60b04c9beec86c2957a5a02da72ff29b774d7ad336316c725b731", kill_on_drop: false }`
[INFO] [stderr]    Compiling wirespec-syntax v0.4.2
[INFO] [stderr]    Compiling wirespec-sema v0.4.2
[INFO] [stderr]    Compiling wirespec-backend-tlaplus v0.4.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.75s
[INFO] running `Command { std: "docker" "inspect" "3cffe09a3da60b04c9beec86c2957a5a02da72ff29b774d7ad336316c725b731", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3cffe09a3da60b04c9beec86c2957a5a02da72ff29b774d7ad336316c725b731", kill_on_drop: false }`
[INFO] [stdout] 3cffe09a3da60b04c9beec86c2957a5a02da72ff29b774d7ad336316c725b731
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c2fcf2a6c060df5d5d8b3716c986e7b3a6afa9ecf9d5c2e98632f119bedeead5
[INFO] running `Command { std: "docker" "start" "-a" "c2fcf2a6c060df5d5d8b3716c986e7b3a6afa9ecf9d5c2e98632f119bedeead5", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling unicode-segmentation v1.13.2
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling signal-hook v0.3.18
[INFO] [stderr]    Compiling indoc v2.0.7
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling instability v0.3.12
[INFO] [stderr]    Compiling castaway v0.2.4
[INFO] [stderr]    Compiling mio v1.2.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling litrs v1.0.0
[INFO] [stderr]    Compiling num_threads v0.1.7
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling compact_str v0.9.0
[INFO] [stderr]    Compiling time v0.3.47
[INFO] [stderr]    Compiling stacker v0.1.23
[INFO] [stderr]    Compiling line-clipping v0.3.7
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling convert_case v0.10.0
[INFO] [stderr]    Compiling signal-hook-mio v0.2.5
[INFO] [stderr]    Compiling document-features v0.2.12
[INFO] [stderr]    Compiling lru v0.16.3
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling unicode-truncate v2.0.1
[INFO] [stderr]    Compiling ar_archive_writer v0.5.1
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling psm v0.1.30
[INFO] [stderr]    Compiling darling_core v0.23.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling strum_macros v0.27.2
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]    Compiling derive_more v2.1.1
[INFO] [stderr]    Compiling crossterm v0.29.0
[INFO] [stderr]    Compiling kasuari v0.4.12
[INFO] [stderr]    Compiling strum v0.27.2
[INFO] [stderr]    Compiling ratatui-core v0.1.0
[INFO] [stderr]    Compiling darling_macro v0.23.0
[INFO] [stderr]    Compiling darling v0.23.0
[INFO] [stderr]    Compiling ratatui-crossterm v0.1.0
[INFO] [stderr]    Compiling ratatui-widgets v0.3.0
[INFO] [stderr]    Compiling ratatui v0.30.0
[INFO] [stderr]    Compiling tla-checker v0.3.9
[INFO] [stderr]    Compiling wirespec-backend-tlaplus v0.4.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 34.37s
[INFO] running `Command { std: "docker" "inspect" "c2fcf2a6c060df5d5d8b3716c986e7b3a6afa9ecf9d5c2e98632f119bedeead5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c2fcf2a6c060df5d5d8b3716c986e7b3a6afa9ecf9d5c2e98632f119bedeead5", kill_on_drop: false }`
[INFO] [stdout] c2fcf2a6c060df5d5d8b3716c986e7b3a6afa9ecf9d5c2e98632f119bedeead5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8b7bb7e311acc265800d5fd80bf1ad412dfd944e902fa0b356fd3204c4b2f20b
[INFO] running `Command { std: "docker" "start" "-a" "8b7bb7e311acc265800d5fd80bf1ad412dfd944e902fa0b356fd3204c4b2f20b", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.22s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/wirespec_backend_tlaplus-6ab41650e69e30cd)
[INFO] [stdout] 
[INFO] [stdout] running 52 tests
[INFO] [stdout] test tests::test_cfg_generation ... ok
[INFO] [stdout] test tests::test_all_reach_closed_generated ... ok
[INFO] [stdout] test tests::e2e_liveness_leads_to_pass ... ok
[INFO] [stdout] test tests::test_delegate_child_state_changed ... ok
[INFO] [stdout] test tests::test_delegate_child_state_in_spec ... ok
[INFO] [stdout] test tests::smoke_test_pathstate_generates_tla ... ok
[INFO] [stdout] test tests::test_delegate_csc_config_has_allreachclosed ... ok
[INFO] [stdout] test tests::e2e_deadlock_fail_no_escape ... ok
[INFO] [stdout] test tests::test_delegate_config_correct ... ok
[INFO] [stdout] test tests::e2e_delegate_simple_verify ... ok
[INFO] [stdout] test tests::test_delegate_dispatch_generated ... ok
[INFO] [stdout] test tests::e2e_pathstate_allreachclosed_pass ... ok
[INFO] [stdout] test tests::test_event_params_existential_quantification ... ok
[INFO] [stdout] test tests::test_format_fail ... ok
[INFO] [stdout] test tests::test_format_pass ... ok
[INFO] [stdout] test tests::e2e_pathstate_nodeadlock_pass ... ok
[INFO] [stdout] test tests::test_delegate_indexed_config_correct ... ok
[INFO] [stdout] test tests::test_delegate_simple_accepted ... ok
[INFO] [stdout] test tests::test_delegate_indexed ... ok
[INFO] [stdout] test tests::test_guard_exclusivity_invariant_generated ... ok
[INFO] [stdout] test tests::test_nested_delegate_rejected ... ok
[INFO] [stdout] test tests::e2e_safety_property_pass ... ok
[INFO] [stdout] test tests::test_guarded_branches_tla_disjunction ... ok
[INFO] [stdout] test tests::test_no_guard_group_no_exclusivity ... ok
[INFO] [stdout] test tests::test_mk_helper_correct_fields ... ok
[INFO] [stdout] test tests::test_multiple_states_union_fields ... ok
[INFO] [stdout] test tests::test_no_terminal_no_allreachclosed ... ok
[INFO] [stdout] test tests::test_spec_includes_wf_with_terminal ... ok
[INFO] [stdout] test tests::e2e_exclusive_guards_pass ... ok
[INFO] [stdout] test tests::test_no_verify_bound_uses_default ... ok
[INFO] [stdout] test tests::test_parse_tlc_invariant_violation ... ok
[INFO] [stdout] test tests::test_parse_tlc_pass ... ok
[INFO] [stdout] test tests::test_terminal_state_no_outgoing ... ok
[INFO] [stdout] test tests::test_nullval_hidden ... ok
[INFO] [stdout] test tests::test_transition_without_guard ... ok
[INFO] [stdout] test tests::e2e_delegate_indexed_verify ... ok
[INFO] [stdout] test tests::test_user_property_formula_to_tla ... ok
[INFO] [stdout] test tests::test_verify_bound_annotation ... ok
[INFO] [stdout] test tests::e2e_delegate_csc_verify ... ok
[INFO] [stdout] test tests::test_verify_default_bound_when_no_annotation ... ok
[INFO] [stdout] test tests::test_verify_bound_cli_overrides_annotation ... ok
[INFO] [stdout] test tests::test_verify_nodeadlock_and_allreachclosed ... ok
[INFO] [stdout] test tests::test_verify_nodeadlock_controls_generation ... ok
[INFO] [stdout] test tests::test_verify_leads_to_property ... ok
[INFO] [stdout] test tests::test_verify_only_typeok_when_empty_verify ... ok
[INFO] [stdout] test tests::test_wildcard_expansion ... ok
[INFO] [stdout] test tests::test_type_abstraction_bounded_nat ... ok
[INFO] [stdout] test tests::test_verify_no_wf_when_only_safety ... ok
[INFO] [stdout] test tests::test_transition_with_guard ... ok
[INFO] [stdout] test tests::e2e_overlapping_guards_fail ... ok
[INFO] [stdout] test tests::e2e_unreachable_terminal_fail ... ok
[INFO] [stderr]    Doc-tests wirespec_backend_tlaplus
[INFO] [stdout] test tests::test_default_values_in_mk_helper ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 52 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.20s
[INFO] [stdout] 
[INFO] [stdout] 
[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] running `Command { std: "docker" "inspect" "8b7bb7e311acc265800d5fd80bf1ad412dfd944e902fa0b356fd3204c4b2f20b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b7bb7e311acc265800d5fd80bf1ad412dfd944e902fa0b356fd3204c4b2f20b", kill_on_drop: false }`
[INFO] [stdout] 8b7bb7e311acc265800d5fd80bf1ad412dfd944e902fa0b356fd3204c4b2f20b
