[INFO] fetching crate telltale-lean-bridge 6.0.0...
[INFO] testing telltale-lean-bridge-6.0.0 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] extracting crate telltale-lean-bridge 6.0.0 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate telltale-lean-bridge 6.0.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate telltale-lean-bridge 6.0.0
[INFO] tweaked toml for crates.io crate telltale-lean-bridge 6.0.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate telltale-lean-bridge 6.0.0 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate telltale-lean-bridge 6.0.0 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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f5b1a670996d2cde8495cbf1808020b32ff50e0542431628c0f5764c097e7e41
[INFO] running `Command { std: "docker" "start" "-a" "f5b1a670996d2cde8495cbf1808020b32ff50e0542431628c0f5764c097e7e41", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f5b1a670996d2cde8495cbf1808020b32ff50e0542431628c0f5764c097e7e41", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f5b1a670996d2cde8495cbf1808020b32ff50e0542431628c0f5764c097e7e41", kill_on_drop: false }`
[INFO] [stdout] f5b1a670996d2cde8495cbf1808020b32ff50e0542431628c0f5764c097e7e41
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d04c01a47e30255319d8f2b1ece9848fcfa1b5736114708c72df0213fa2d6aa4
[INFO] running `Command { std: "docker" "start" "-a" "d04c01a47e30255319d8f2b1ece9848fcfa1b5736114708c72df0213fa2d6aa4", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling fixed v1.30.0
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling itoa v1.0.15
[INFO] [stderr]    Compiling half v1.8.3
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling generic-array v0.14.9
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling ryu v1.0.20
[INFO] [stderr]    Compiling bytemuck v1.25.0
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling az v1.3.0
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling telltale-types v6.0.0
[INFO] [stderr]    Compiling telltale-theory v6.0.0
[INFO] [stderr]    Compiling telltale-lean-bridge v6.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.44s
[INFO] running `Command { std: "docker" "inspect" "d04c01a47e30255319d8f2b1ece9848fcfa1b5736114708c72df0213fa2d6aa4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d04c01a47e30255319d8f2b1ece9848fcfa1b5736114708c72df0213fa2d6aa4", kill_on_drop: false }`
[INFO] [stdout] d04c01a47e30255319d8f2b1ece9848fcfa1b5736114708c72df0213fa2d6aa4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 154d5a1624eee723e830e332bc45356184ccf78d5cd94ffbb91a26e52638c4d5
[INFO] running `Command { std: "docker" "start" "-a" "154d5a1624eee723e830e332bc45356184ccf78d5cd94ffbb91a26e52638c4d5", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling anyhow v1.0.100
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling winnow v0.7.13
[INFO] [stderr]    Compiling bytes v1.11.0
[INFO] [stderr]    Compiling toml_write v0.1.2
[INFO] [stderr]    Compiling tracing-core v0.1.34
[INFO] [stderr]    Compiling pest v2.8.3
[INFO] [stderr]    Compiling unsafe-libyaml v0.2.11
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling base64 v0.21.7
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling indexmap v2.12.0
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling mio v1.1.0
[INFO] [stderr]    Compiling signal-hook-registry v1.4.6
[INFO] [stderr]    Compiling socket2 v0.6.1
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling pest_meta v2.8.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling deranged v0.5.5
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling pest_generator v2.8.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling tracing-attributes v0.1.30
[INFO] [stderr]    Compiling telltale-macros v6.0.0
[INFO] [stderr]    Compiling async-recursion v1.1.1
[INFO] [stderr]    Compiling pest_derive v2.8.3
[INFO] [stderr]    Compiling tokio v1.48.0
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling tracing v0.1.41
[INFO] [stderr]    Compiling telltale-types v6.0.0
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling bincode v1.3.3
[INFO] [stderr]    Compiling time v0.3.44
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling uuid v1.18.1
[INFO] [stderr]    Compiling futures-executor v0.3.31
[INFO] [stderr]    Compiling futures v0.3.31
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling telltale-theory v6.0.0
[INFO] [stderr]    Compiling telltale-lean-bridge v6.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling telltale-vm v6.0.0
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling telltale v6.0.0
[INFO] [stderr]    Compiling telltale-choreography v6.0.0
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 21s
[INFO] running `Command { std: "docker" "inspect" "154d5a1624eee723e830e332bc45356184ccf78d5cd94ffbb91a26e52638c4d5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "154d5a1624eee723e830e332bc45356184ccf78d5cd94ffbb91a26e52638c4d5", kill_on_drop: false }`
[INFO] [stdout] 154d5a1624eee723e830e332bc45356184ccf78d5cd94ffbb91a26e52638c4d5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 4cb00d16e1806940153f7be84177015add0c4c06696f24f27feb97649c8dad42
[INFO] running `Command { std: "docker" "start" "-a" "4cb00d16e1806940153f7be84177015add0c4c06696f24f27feb97649c8dad42", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.24s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/telltale_lean_bridge-dba7a0f80fa0a762)
[INFO] [stdout] 
[INFO] [stdout] running 69 tests
[INFO] [stdout] test equivalence::tests::test_json_structural_equality ... ok
[INFO] [stdout] test equivalence::tests::test_projection_role_set_check_accepts_exact_match ... ok
[INFO] [stdout] test export::tests::test_global_comm ... ok
[INFO] [stdout] test export::tests::test_label_with_sort ... ok
[INFO] [stdout] test equivalence::tests::test_projection_role_set_check_rejects_missing_roles ... ok
[INFO] [stdout] test equivalence::tests::test_strict_mode_is_wired_into_comparison ... ok
[INFO] [stdout] test export::tests::test_local_recv ... ok
[INFO] [stdout] test export::tests::test_local_send ... ok
[INFO] [stdout] test equivalence::tests::test_projection_role_set_check_rejects_unexpected_roles ... ok
[INFO] [stdout] test export::tests::test_global_rec ... ok
[INFO] [stdout] test export::tests::test_local_end ... ok
[INFO] [stdout] test equivalence::tests::test_equivalence_result_failure ... ok
[INFO] [stdout] test equivalence::tests::test_equivalence_result_success ... ok
[INFO] [stdout] test export::tests::test_prod_sort ... ok
[INFO] [stdout] test export::tests::test_real_sort ... ok
[INFO] [stdout] test import::tests::test_parse_global_comm ... ok
[INFO] [stdout] test import::tests::test_parse_global_end ... ok
[INFO] [stdout] test import::tests::test_parse_global_reports_expected_array_for_branches ... ok
[INFO] [stdout] test import::tests::test_roundtrip ... ok
[INFO] [stdout] test export::tests::test_vector_sort ... ok
[INFO] [stdout] test import::tests::test_parse_local_end ... ok
[INFO] [stdout] test import::tests::test_parse_global_rec ... ok
[INFO] [stdout] test import::tests::test_parse_global_reports_expected_string_for_sender ... ok
[INFO] [stdout] test import::tests::test_parse_local_send ... ok
[INFO] [stdout] test equivalence::golden::tests::stale_golden_projection_roles_detects_extra_files ... ok
[INFO] [stdout] test import::tests::test_parse_prod_sort ... ok
[INFO] [stdout] test import::tests::test_parse_real_sort ... ok
[INFO] [stdout] test projection_payload::tests::parse_projections_field_accepts_object_form ... ok
[INFO] [stdout] test invariants::tests::test_export_protocol_bundle_includes_schema_and_claims ... ok
[INFO] [stdout] test runner::tests::test_parse_json_log_rejects_invalid_status ... ok
[INFO] [stdout] test runner::tests::test_parse_json_log_success ... ok
[INFO] [stdout] test runner::tests::test_with_nonexistent_path_fails ... ok
[INFO] [stdout] test sim_reference::tests::sim_output_legacy_decode_defaults_schema_version ... ok
[INFO] [stdout] test sim_reference::tests::sim_trace_validation_roundtrip ... ok
[INFO] [stdout] test test_utils::tests::test_deterministic_seed_is_32_bytes ... ok
[INFO] [stdout] test validate::tests::test_compare_projection ... ok
[INFO] [stdout] test validate::tests::test_compare_projection_rejects_payload_annotation_mismatch ... ok
[INFO] [stdout] test validate::tests::test_compare_subtyping_mismatch ... ok
[INFO] [stdout] test validate::tests::test_global_roundtrip_valid ... ok
[INFO] [stdout] test validate::tests::test_local_roundtrip_valid ... ok
[INFO] [stdout] test runner::tests::test_parse_output_rejects_empty_json_log ... ok
[INFO] [stdout] test projection_payload::tests::parse_projections_field_accepts_array_form ... ok
[INFO] [stdout] test runner::tests::test_parse_output_requires_json_log_file ... ok
[INFO] [stdout] test validate::tests::test_recursive_roundtrip ... ok
[INFO] [stdout] test vm_export::tests::vm_export_includes_schema_and_compatibility ... ok
[INFO] [stdout] test vm_export::tests::vm_export_legacy_aliases_decode ... ok
[INFO] [stdout] test vm_export::tests::vm_export_roundtrip_via_json_decoder ... ok
[INFO] [stdout] test import::tests::test_parse_vector_sort ... ok
[INFO] [stdout] test vm_export::tests::vm_export_serialization_failure_is_not_silenced ... ok
[INFO] [stdout] test vm_runner::tests::compute_trace_diff_none_for_equal_traces ... ok
[INFO] [stdout] test vm_runner::tests::compute_trace_diff_reports_event_mismatch ... ok
[INFO] [stdout] test vm_runner::tests::parse_required_valid_rejects_missing_or_non_boolean ... ok
[INFO] [stdout] test vm_runner::tests::parse_sim_run_output_checks_schema_version ... ok
[INFO] [stdout] test vm_runner::tests::parse_sim_trace_validation_reads_errors_and_artifacts ... ok
[INFO] [stdout] test vm_runner::tests::parse_structured_errors_reads_codes_and_paths ... ok
[INFO] [stdout] test vm_runner::tests::simulation_trace_payload_has_expected_shape ... ok
[INFO] [stdout] test vm_trace::tests::event_session_extracts_common_shapes ... ok
[INFO] [stdout] test vm_trace::tests::normalize_vm_trace_rewrites_ticks_per_session ... ok
[INFO] [stdout] test vm_trace::tests::traces_equivalent_compares_normalized_ticks ... ok
[INFO] [stdout] test runner::tests::test_wait_with_timeout_returns_timeout_error ... ok
[INFO] [stdout] test equivalence::tests::test_checker_has_lean ... ok
[INFO] [stdout] test test_utils::tests::test_lean_available_returns_bool ... ok
[INFO] [stdout] test runner::tests::test_try_new_returns_option ... ok
[INFO] [stdout] test runner::tests::test_is_available_returns_bool ... ok
[INFO] [stdout] test test_utils::tests::test_skip_without_lean_macro ... ok
[INFO] [stdout] test sim_reference::tests::sim_input_legacy_decode_defaults_schema_version ... ok
[INFO] [stdout] test vm_runner::tests::wait_with_timeout_returns_timeout_error ... ok
[INFO] [stdout] test export::tests::test_global_end ... ok
[INFO] [stdout] test validate::tests::test_compare_subtyping_match ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 69 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/coherence_tests.rs (/opt/rustwide/target/debug/deps/coherence_tests-f35e77637a9eac49)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test test_action_pred ... ok
[INFO] [stdout] test test_coherent_choice ... ok
[INFO] [stdout] test test_coherent_simple_protocol ... ok
[INFO] [stdout] test test_good_g_simple ... ok
[INFO] [stdout] test test_good_g_choice ... ok
[INFO] [stdout] test test_coherent_recursive ... ok
[INFO] [stdout] test test_coherent_end ... ok
[INFO] [stdout] test test_incoherent_empty_branches ... ok
[INFO] [stdout] test test_incoherent_nested_self_comm ... ok
[INFO] [stdout] test test_incoherent_self_comm ... ok
[INFO] [stdout] test test_projectable_simple ... ok
[INFO] [stdout] test test_size_pred ... ok
[INFO] [stdout] test test_incoherent_duplicate_labels ... ok
[INFO] [stdout] test test_incoherent_nested_duplicate_labels ... ok
[INFO] [stdout] test test_coherent_three_party ... ok
[INFO] [stdout] test proptest_malformed_is_incoherent ... ok
[INFO] [stdout] test test_linear_pred_always_true ... ok
[INFO] [stdout] test test_unique_labels ... ok
[INFO] [stdout] test test_projectable_three_party ... ok
[INFO] [stdout] test proptest_well_formed_implies_coherent ... ok
[INFO] [stdout] test proptest_coherent_implies_well_formed ... ok
[INFO] [stdout] test proptest_coherence_bundle_consistency ... ok
[INFO] [stderr]      Running tests/golden_equivalence_tests.rs (/opt/rustwide/target/debug/deps/golden_equivalence_tests-83411f04e16b251d)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test test_choice_protocol_client_projection ... ok
[INFO] [stdout] test test_ping_pong_bob_projection ... ok
[INFO] [stdout] test test_ping_pong_alice_projection ... ok
[INFO] [stdout] test test_choice_protocol_server_projection ... ok
[INFO] [stdout] test test_ping_pong_all_projections ... ok
[INFO] [stdout] test test_choice_protocol_all_projections ... ok
[INFO] [stdout] test test_all_golden_projections ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/invariant_verification.rs (/opt/rustwide/target/debug/deps/invariant_verification-164d39ceb142396d)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_lean_rejects_deadlock ... ok
[INFO] [stdout] test test_lean_verifies_valid_quorum_protocol ... ok
[INFO] [stdout] test test_lean_rejects_bad_quorum ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lean_integration_tests.rs (/opt/rustwide/target/debug/deps/lean_integration_tests-96fa6db41a7c940d)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test test_lean_binary_available_for_ci ... ignored, temporarily disabled during Lean refactoring
[INFO] [stdout] test test_recursive_ping_pong_role_b ... ok
[INFO] [stdout] test test_missing_action_detected ... ok
[INFO] [stdout] test test_invalid_projection_detected ... ok
[INFO] [stdout] test test_choice_sender_projection ... ok
[INFO] [stdout] test test_choice_receiver_projection ... ok
[INFO] [stdout] test test_rust_globaltype_matches_lean ... ok
[INFO] [stdout] test test_role_b_ping_pong ... ok
[INFO] [stdout] test test_three_party_ring ... ok
[INFO] [stdout] test test_recursive_ping_pong ... ok
[INFO] [stdout] test test_simple_ping_pong ... ok
[INFO] [stdout] test test_validator_with_lean ... ok
[INFO] [stdout] test test_wrong_label_detected ... ok
[INFO] [stdout] test test_validator_detects_invalid ... ok
[INFO] [stdout] test test_recursive_choice ... ok
[INFO] [stdout] test test_calculator_protocol ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test generate_golden_choice ... ignored
[INFO] [stdout] test generate_golden_ping_pong ... ignored
[INFO] [stdout] test test_live_choice_projection ... ok
[INFO] [stdout] test proptest_live_projection_equivalence ... ok
[INFO] [stdout] test test_golden_drift_detection ... ok
[INFO] [stdout] test test_live_ping_pong_projection ... ok
[INFO] [stderr]      Running tests/live_equivalence_tests.rs (/opt/rustwide/target/debug/deps/live_equivalence_tests-e149d71282603371)
[INFO] [stdout] test test_live_recursive_projection ... ok
[INFO] [stdout] test test_live_three_party_projection ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/merge_semantics_tests.rs (/opt/rustwide/target/debug/deps/merge_semantics_tests-551ebeecf0a9be22)
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test test_can_merge_send_different_label_false ... ok
[INFO] [stdout] test test_can_merge_end_send_false ... ok
[INFO] [stdout] test test_can_merge_end ... ok
[INFO] [stdout] test test_can_merge_send_same_label ... ok
[INFO] [stdout] test test_projection_fails_for_incompatible_send_merge ... ok
[INFO] [stdout] test test_can_merge_recv_different_label_true ... ok
[INFO] [stdout] test test_recursive_merge_different_var_fails ... ok
[INFO] [stdout] test test_lean_validates_compatible_projection ... ok
[INFO] [stdout] test test_lean_accepts_first_branch_for_nonparticipant ... ok
[INFO] [stdout] test test_merged_recv_json_roundtrip ... ok
[INFO] [stdout] test test_recursive_merge_same_var ... ok
[INFO] [stdout] test test_projection_succeeds_for_recv_merge ... ok
[INFO] [stdout] test test_recursive_recv_different_labels_succeeds ... ok
[INFO] [stdout] test test_recursive_send_different_labels_fails ... ok
[INFO] [stdout] test test_recv_merge_different_labels_unions ... ok
[INFO] [stdout] test test_recv_merge_overlapping_labels ... ok
[INFO] [stdout] test test_recv_merge_same_labels_succeeds ... ok
[INFO] [stdout] test test_send_merge_same_labels_succeeds ... ok
[INFO] [stdout] test test_send_merge_different_labels_fails ... ok
[INFO] [stderr]      Running tests/projection_equivalence.rs (/opt/rustwide/target/debug/deps/projection_equivalence-19f4d8e706587361)
[INFO] [stdout] test test_projection_succeeds_for_compatible_send_merge ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test test_simple_recursion ... ok
[INFO] [stdout] test test_recursion_with_choice ... ok
[INFO] [stdout] test test_single_role_in_choice_branch ... ok
[INFO] [stdout] test test_three_party_choice ... ok
[INFO] [stderr]      Running tests/projection_runner_tests.rs (/opt/rustwide/target/debug/deps/projection_runner_tests-dd6a78ab8d32ef54)
[INFO] [stdout] test test_two_message_sequence ... ok
[INFO] [stdout] test test_choice_with_continuation ... ok
[INFO] [stdout] test test_non_participant_mergeable ... ok
[INFO] [stdout] test test_deep_nesting ... ok
[INFO] [stdout] test test_simple_send ... ok
[INFO] [stdout] test test_three_party_ring ... ok
[INFO] [stdout] test test_three_party_star ... ok
[INFO] [stdout] test test_binary_choice ... ok
[INFO] [stdout] test test_nested_choice ... ok
[INFO] [stdout] test test_three_message_chain ... ok
[INFO] [stdout] test test_comprehensive_validation ... ok
[INFO] [stdout] test test_three_way_choice ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_choice_projection_three_roles ... ok
[INFO] [stdout] test test_recursive_protocol_projection ... ok
[INFO] [stdout] test test_simple_two_role_projection ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/property_tests.rs (/opt/rustwide/target/debug/deps/property_tests-32fe1147ad5e0bdc)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test invariant_claim_consistency ... ok
[INFO] [stdout] test rust_lean_trace_consistency ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_async_subtyping.rs (/opt/rustwide/target/debug/deps/proptest_async_subtyping-ada323468f8fc44f)
[INFO] [stdout] 
[INFO] [stdout] running 35 tests
[INFO] [stdout] test test_async_subtype_end_reflexive ... ok
[INFO] [stdout] test test_independent_sends_to_different_partners ... ok
[INFO] [stdout] test test_deeply_nested_sequence ... ok
[INFO] [stdout] test test_input_tree_label_mismatch_fails ... ok
[INFO] [stdout] test test_mixed_partners_sequence ... ok
[INFO] [stdout] test test_input_tree_partner_mismatch_fails ... ok
[INFO] [stdout] test test_async_reordering_send_recv ... ok
[INFO] [stdout] test test_orphan_free_end ... ok
[INFO] [stdout] test test_output_tree_partner_mismatch_fails ... ok
[INFO] [stdout] test test_recursive_type_decomposition ... ok
[INFO] [stdout] test test_single_branch_recv ... ok
[INFO] [stdout] test test_single_branch_send ... ok
[INFO] [stdout] test test_siso_decompose_end_is_empty ... ok
[INFO] [stdout] test test_orphan_free_simple_types ... ok
[INFO] [stdout] test test_output_tree_node_not_subtype_of_leaf ... ok
[INFO] [stdout] test test_output_tree_reflexivity ... ok
[INFO] [stdout] test test_input_tree_size ... ok
[INFO] [stdout] test test_input_tree_reflexivity ... ok
[INFO] [stdout] test test_three_branch_choice ... ok
[INFO] [stdout] test test_choice_types_reflexive_subtype ... ok
[INFO] [stdout] test test_siso_decompose_succeeds_for_simple_types ... ok
[INFO] [stdout] test test_var_type ... ok
[INFO] [stdout] test test_output_tree_size ... ok
[INFO] [stdout] test test_output_tree_covariance_leaf_subtype_of_all ... ok
[INFO] [stdout] test test_async_equivalent_reflexive ... ok
[INFO] [stdout] test test_siso_decompose_non_empty_for_non_end ... ok
[INFO] [stdout] test test_siso_segment_empty_is_subtype ... ok
[INFO] [stdout] test test_async_equivalent_symmetric ... ok
[INFO] [stdout] test test_siso_decompose_succeeds_for_sequences ... ok
[INFO] [stdout] test test_input_tree_contravariance_leaf_accepts_all ... ok
[INFO] [stdout] test test_async_subtype_reflexive ... ok
[INFO] [stdout] test test_orphan_free_sequences ... ok
[INFO] [stdout] test test_choice_types_decompose ... ok
[INFO] [stdout] test test_siso_segment_reflexive ... ok
[INFO] [stdout] test test_async_subtype_end_only_matches_empty_phase_supertype ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 35 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_bundle.rs (/opt/rustwide/target/debug/deps/proptest_bundle-52b5e5ca1f6200a5)
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test classical_mixing_roundtrip ... ok
[INFO] [stdout] test classical_fluid_roundtrip ... ok
[INFO] [stdout] test classical_functional_clt_roundtrip ... ok
[INFO] [stdout] test classical_heavy_traffic_roundtrip ... ok
[INFO] [stdout] test distributed_data_availability_roundtrip ... ok
[INFO] [stdout] test distributed_accountable_safety_roundtrip ... ok
[INFO] [stdout] test distributed_failure_detectors_roundtrip ... ok
[INFO] [stdout] test classical_max_weight_roundtrip ... ok
[INFO] [stdout] test classical_mean_field_roundtrip ... ok
[INFO] [stdout] test classical_littles_law_roundtrip ... ok
[INFO] [stdout] test distributed_coordination_roundtrip ... ok
[INFO] [stdout] test distributed_consensus_envelope_roundtrip ... ok
[INFO] [stdout] test distributed_flp_roundtrip ... ok
[INFO] [stdout] test distributed_atomic_broadcast_roundtrip ... ok
[INFO] [stdout] test classical_concentration_roundtrip ... ok
[INFO] [stdout] test distributed_byzantine_safety_roundtrip ... ok
[INFO] [stdout] test distributed_nakamoto_roundtrip ... ok
[INFO] [stdout] test classical_foster_roundtrip ... ok
[INFO] [stdout] test distributed_responsiveness_roundtrip ... ok
[INFO] [stdout] test distributed_cap_roundtrip ... ok
[INFO] [stdout] test distributed_crdt_roundtrip ... ok
[INFO] [stdout] test distributed_vm_envelope_adherence_roundtrip ... ok
[INFO] [stdout] test distributed_partial_synchrony_roundtrip ... ok
[INFO] [stdout] test distributed_protocol_envelope_bridge_roundtrip ... ok
[INFO] [stdout] test distributed_quorum_geometry_roundtrip ... ok
[INFO] [stdout] test distributed_failure_envelope_roundtrip ... ok
[INFO] [stdout] test distributed_vm_envelope_admission_roundtrip ... ok
[INFO] [stdout] test distributed_reconfiguration_roundtrip ... ok
[INFO] [stdout] test classical_ldp_roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_json_roundtrip.rs (/opt/rustwide/target/debug/deps/proptest_json_roundtrip-145d7269c251fac7)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test recursive_tests::recursive_global_roundtrip ... ok
[INFO] [stdout] test recursive_tests::recursive_local_roundtrip ... ok
[INFO] [stdout] test recursive_tests::nested_recursive_roundtrip ... ok
[INFO] [stdout] test seeded_tests::reproducible_local_roundtrip ... ok
[INFO] [stdout] test generated_globals_well_formed ... ok
[INFO] [stdout] test seeded_tests::reproducible_global_roundtrip ... ok
[INFO] [stdout] test global_json_roundtrip ... ok
[INFO] [stdout] test seeded_tests::seed_produces_deterministic_sequence ... ok
[INFO] [stdout] test local_json_roundtrip ... ok
[INFO] [stdout] test no_free_vars_in_generated ... ok
[INFO] [stdout] test generated_locals_well_formed ... ok
[INFO] [stderr]      Running tests/proptest_projection.rs (/opt/rustwide/target/debug/deps/proptest_projection-9564a03d782e02d4)
[INFO] [stdout] test global_json_has_required_fields ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.33s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test test_deep_nesting_against_lean ... ok
[INFO] [stdout] test test_choice_continuation_bug_fix_against_lean ... ok
[INFO] [stdout] test test_multiway_choice_against_lean ... ok
[INFO] [stdout] test test_rust_projection_matches_lean_choice ... ok
[INFO] [stdout] test test_choice_projections_have_all_branches ... ok
[INFO] [stdout] test test_three_party_nonparticipant_projections ... ok
[INFO] [stdout] test test_rust_projection_matches_lean_simple ... ok
[INFO] [stdout] test test_sender_gets_send_receiver_gets_recv ... ok
[INFO] [stdout] test test_choice_nonparticipant_merge ... ok
[INFO] [stdout] test test_project_all_consistency ... ok
[INFO] [stdout] test test_projection_json_export_consistency ... ok
[INFO] [stdout] test test_deep_nesting_projections ... ok
[INFO] [stdout] test test_projection_preserves_roles ... ok
[INFO] [stdout] test test_multiway_choice_projections ... ok
[INFO] [stdout] test test_choice_continuations_preserved ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.17s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/schema_version_tests.rs (/opt/rustwide/target/debug/deps/schema_version_tests-f8cdf3f39875cc5e)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test protocol_bundle_legacy_decode_defaults_schema_version ... ok
[INFO] [stdout] test protocol_bundle_roundtrip_preserves_schema_version ... ok
[INFO] [stdout] test vm_run_output_legacy_decode_defaults_schema_version ... ok
[INFO] [stdout] test schema_validator_accepts_current_and_rejects_unknown ... ok
[INFO] [stdout] test replay_trace_bundle_legacy_decode_defaults_schema_version ... ok
[INFO] [stdout] test vm_state_roundtrip_preserves_vm_state_schema_version ... ok
[INFO] [stdout] test vm_state_legacy_decode_accepts_v0_shape_aliases ... ok
[INFO] [stdout] test vm_run_input_roundtrip_preserves_schema_version ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/semantics_verification.rs (/opt/rustwide/target/debug/deps/semantics_verification-6a56420dd1ad4c8a)
[INFO] [stdout] 
[INFO] [stdout] running 36 tests
[INFO] [stdout] test test_can_step_async_blocked_sender_is_receiver ... ok
[INFO] [stdout] test test_can_step_head_action ... ok
[INFO] [stdout] test test_can_step_async_reorder ... ok
[INFO] [stdout] test test_can_step_wrong_receiver ... ok
[INFO] [stdout] test test_good_g_end ... ok
[INFO] [stdout] test test_consume_proof_wrong_sender ... ok
[INFO] [stdout] test test_good_g_simple ... ok
[INFO] [stdout] test test_good_g_recursive ... ok
[INFO] [stdout] test test_can_step_wrong_sender ... ok
[INFO] [stdout] test test_consume_proof_simple ... ok
[INFO] [stdout] test test_local_can_step_async ... ok
[INFO] [stdout] test test_local_can_step_send ... ok
[INFO] [stdout] test test_can_step_mu ... ok
[INFO] [stdout] test test_can_step_end ... ok
[INFO] [stdout] test test_can_step_wrong_label ... ok
[INFO] [stdout] test test_good_g_choice ... ok
[INFO] [stdout] test test_local_can_step_recv ... ok
[INFO] [stdout] test test_local_action_to_global_recv ... ok
[INFO] [stdout] test test_local_action_to_global_send ... ok
[INFO] [stdout] test test_consume_proof_mu ... ok
[INFO] [stdout] test test_local_step_async ... ok
[INFO] [stdout] test test_local_step_send ... ok
[INFO] [stdout] test test_local_step_recv ... ok
[INFO] [stdout] test test_step_async ... ok
[INFO] [stdout] test test_reduces_choice ... ok
[INFO] [stdout] test test_reduces_simple ... ok
[INFO] [stdout] test test_reduces_star_refl ... ok
[INFO] [stdout] test test_step_choice ... ok
[INFO] [stdout] test test_reduces_star_transitive ... ok
[INFO] [stdout] test test_step_mu ... ok
[INFO] [stdout] test test_can_step_async_blocked_same_receiver ... ok
[INFO] [stdout] test test_step_head ... ok
[INFO] [stdout] test proptest_step_implies_can_step ... ok
[INFO] [stdout] test proptest_well_formed_is_good ... ok
[INFO] [stdout] test proptest_can_step_implies_step_exists ... ok
[INFO] [stdout] test proptest_reduces_star_reflexive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 36 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/vm_composition_stress.rs (/opt/rustwide/target/debug/deps/vm_composition_stress-596fd13cf590d95b)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test composed_workload_reports_memory_latency_and_safety_metrics ... ok
[INFO] [stdout] test composed_workload_scales_with_lane_count_proxy ... ok
[INFO] [stdout] test tier1_throughput_budget_stays_within_45_percent ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.24s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/vm_correspondence_tests.rs (/opt/rustwide/target/debug/deps/vm_correspondence_tests-3ee24d0addc411fd)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_vm_trace_correspondence_all_tier1 ... ok
[INFO] [stdout] test test_vm_trace_correspondence_tier2_to_tier4 ... ok
[INFO] [stdout] test test_vm_trace_correspondence_ping_pong ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/vm_cross_target_tests.rs (/opt/rustwide/target/debug/deps/vm_cross_target_tests-9d900c872fcdc605)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test cross_target_matrix_replay_effect_trace_comparison ... ok
[INFO] [stdout] test cross_target_matrix_lane_selection_normalization_single_vs_multi_lane ... ok
[INFO] [stdout] test cross_target_matrix_native_single_vs_threaded_traces ... 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/vm_differential_steps.rs (/opt/rustwide/target/debug/deps/vm_differential_steps-98fe1dcc8fc0c8a9)
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests telltale_lean_bridge
[INFO] [stdout] running 2 tests
[INFO] [stdout] test tier1_step_indexed_correspondence ... ok
[INFO] [stdout] test tier2_step_indexed_correspondence ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test src/equivalence.rs - equivalence (line 20) ... ignored
[INFO] [stdout] test src/runner.rs - runner (line 8) ... ignored
[INFO] [stdout] test src/export.rs - export::local_to_json (line 88) ... ok
[INFO] [stdout] test src/lib.rs - (line 40) ... ok
[INFO] [stdout] test src/export.rs - export::global_to_json (line 22) ... ok
[INFO] [stdout] test src/import.rs - import::json_to_global (line 96) ... ok
[INFO] [stdout] test src/import.rs - import::json_to_local (line 165) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.86s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "4cb00d16e1806940153f7be84177015add0c4c06696f24f27feb97649c8dad42", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4cb00d16e1806940153f7be84177015add0c4c06696f24f27feb97649c8dad42", kill_on_drop: false }`
[INFO] [stdout] 4cb00d16e1806940153f7be84177015add0c4c06696f24f27feb97649c8dad42
