[INFO] fetching crate stateright 0.31.0... [INFO] testing stateright-0.31.0 against beta-2025-10-28 for beta-1.92-2 [INFO] extracting crate stateright 0.31.0 into /workspace/builds/worker-6-tc2/source [INFO] started tweaking crates.io crate stateright 0.31.0 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate stateright 0.31.0 [INFO] tweaked toml for crates.io crate stateright 0.31.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate stateright 0.31.0 on toolchain beta-2025-10-28 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate stateright 0.31.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" "+beta-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] af8c777c3942c790ef6115381be597ac8ca2f5255e964e7cbeb031ed39e81ab0 [INFO] running `Command { std: "docker" "start" "-a" "af8c777c3942c790ef6115381be597ac8ca2f5255e964e7cbeb031ed39e81ab0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "af8c777c3942c790ef6115381be597ac8ca2f5255e964e7cbeb031ed39e81ab0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "af8c777c3942c790ef6115381be597ac8ca2f5255e964e7cbeb031ed39e81ab0", kill_on_drop: false }` [INFO] [stdout] af8c777c3942c790ef6115381be597ac8ca2f5255e964e7cbeb031ed39e81ab0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1904e98652a850253c3d5b19152010e259818a4df53523aced39ed4a14e8ebac [INFO] running `Command { std: "docker" "start" "-a" "1904e98652a850253c3d5b19152010e259818a4df53523aced39ed4a14e8ebac", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.174 [INFO] [stderr] Compiling cfg-if v1.0.1 [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling zerocopy v0.8.26 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Compiling parking_lot_core v0.9.11 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling serde_json v1.0.141 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling ascii v1.1.0 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling itoa v1.0.15 [INFO] [stderr] Compiling log v0.4.27 [INFO] [stderr] Compiling chunked_transfer v1.5.0 [INFO] [stderr] Compiling ryu v1.0.20 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling httpdate v1.0.3 [INFO] [stderr] Compiling memchr v2.7.5 [INFO] [stderr] Compiling id-set v0.2.2 [INFO] [stderr] Compiling choice v0.0.2 [INFO] [stderr] Compiling nohash-hasher v0.2.0 [INFO] [stderr] Compiling lock_api v0.4.13 [INFO] [stderr] Compiling tiny_http v0.12.0 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.104 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling parking_lot v0.12.4 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling stateright v0.31.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/actor/network.rs:169:21 [INFO] [stdout] | [INFO] [stdout] 169 | pub fn iter_all(&self) -> NetworkIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 169 | pub fn iter_all(&self) -> NetworkIter<'_, Msg> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/actor/network.rs:180:29 [INFO] [stdout] | [INFO] [stdout] 180 | pub fn iter_deliverable(&self) -> NetworkDeliverableIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 180 | pub fn iter_deliverable(&self) -> NetworkDeliverableIter<'_, Msg> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.10s [INFO] running `Command { std: "docker" "inspect" "1904e98652a850253c3d5b19152010e259818a4df53523aced39ed4a14e8ebac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1904e98652a850253c3d5b19152010e259818a4df53523aced39ed4a14e8ebac", kill_on_drop: false }` [INFO] [stdout] 1904e98652a850253c3d5b19152010e259818a4df53523aced39ed4a14e8ebac [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c007aeffd913d4a08ce6c7bc3e03b0fbb29605472092496b3c16048c26e250b7 [INFO] running `Command { std: "docker" "start" "-a" "c007aeffd913d4a08ce6c7bc3e03b0fbb29605472092496b3c16048c26e250b7", kill_on_drop: false }` [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling log v0.4.27 [INFO] [stderr] Compiling utf8parse v0.2.2 [INFO] [stderr] Compiling colorchoice v1.0.4 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.1 [INFO] [stderr] Compiling anstyle v1.0.11 [INFO] [stderr] Compiling anstyle-query v1.1.3 [INFO] [stderr] Compiling jiff v0.2.15 [INFO] [stderr] Compiling num_cpus v1.17.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Compiling anstyle-parse v0.2.7 [INFO] [stderr] Compiling tiny_http v0.12.0 [INFO] [stderr] Compiling anstream v0.6.19 [INFO] [stderr] Compiling stateright v0.31.0 (/opt/rustwide/workdir) [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/actor/network.rs:169:21 [INFO] [stdout] | [INFO] [stdout] 169 | pub fn iter_all(&self) -> NetworkIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 169 | pub fn iter_all(&self) -> NetworkIter<'_, Msg> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/actor/network.rs:180:29 [INFO] [stdout] | [INFO] [stdout] 180 | pub fn iter_deliverable(&self) -> NetworkDeliverableIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 180 | pub fn iter_deliverable(&self) -> NetworkDeliverableIter<'_, Msg> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling env_filter v0.1.3 [INFO] [stderr] Compiling env_logger v0.11.8 [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/actor/network.rs:169:21 [INFO] [stdout] | [INFO] [stdout] 169 | pub fn iter_all(&self) -> NetworkIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 169 | pub fn iter_all(&self) -> NetworkIter<'_, Msg> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/actor/network.rs:180:29 [INFO] [stdout] | [INFO] [stdout] 180 | pub fn iter_deliverable(&self) -> NetworkDeliverableIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 180 | pub fn iter_deliverable(&self) -> NetworkDeliverableIter<'_, Msg> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 58.47s [INFO] running `Command { std: "docker" "inspect" "c007aeffd913d4a08ce6c7bc3e03b0fbb29605472092496b3c16048c26e250b7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c007aeffd913d4a08ce6c7bc3e03b0fbb29605472092496b3c16048c26e250b7", kill_on_drop: false }` [INFO] [stdout] c007aeffd913d4a08ce6c7bc3e03b0fbb29605472092496b3c16048c26e250b7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 670c94dbe2469e38c4f0fe57012db128cb8aa3bf01c4cf9b1a4f1410ed394619 [INFO] running `Command { std: "docker" "start" "-a" "670c94dbe2469e38c4f0fe57012db128cb8aa3bf01c4cf9b1a4f1410ed394619", kill_on_drop: false }` [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/actor/network.rs:169:21 [INFO] [stderr] | [INFO] [stderr] 169 | pub fn iter_all(&self) -> NetworkIter { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 169 | pub fn iter_all(&self) -> NetworkIter<'_, Msg> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/actor/network.rs:180:29 [INFO] [stderr] | [INFO] [stderr] 180 | pub fn iter_deliverable(&self) -> NetworkDeliverableIter { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 180 | pub fn iter_deliverable(&self) -> NetworkDeliverableIter<'_, Msg> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: `stateright` (lib) generated 2 warnings (run `cargo fix --lib -p stateright` to apply 2 suggestions) [INFO] [stderr] warning: `stateright` (lib test) generated 2 warnings (2 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/stateright-2037eff5758f4f60) [INFO] [stdout] [INFO] [stdout] running 91 tests [INFO] [stdout] test actor::model::test::can_reach_max ... ok [INFO] [stdout] test actor::model::test::handles_undeliverable_messages ... ok [INFO] [stdout] test actor::model::test::recover_test ... ok [INFO] [stdout] test actor::model::test::resets_timer ... ok [INFO] [stdout] test actor::model::choice_test::choice_correctly_implements_actor ... ok [INFO] [stdout] test actor::network::test::can_enumerate_and_parse_names ... ok [INFO] [stdout] test actor::model::test::crash_test ... ok [INFO] [stdout] test actor::model_state::test::can_find_representative_from_equivalence_class ... ok [INFO] [stdout] test actor::spawn::test::can_decode_id ... ok [INFO] [stdout] test actor::spawn::test::can_encode_id ... ok [INFO] [stdout] test actor::model::test::visits_expected_states ... ok [INFO] [stdout] test actor::model::test::overwrite_choose_random ... ok [INFO] [stdout] test actor::model::test::eventually_reaches_max_on_perfect_delivery_network ... ok [INFO] [stdout] test actor::model::test::handles_ordered_network_flag ... ok [INFO] [stdout] test actor::test::majority_is_computed_correctly ... ok [INFO] [stdout] test actor::test::peer_ids_are_computed_correctly ... ok [INFO] [stdout] test actor::model::test::might_never_reach_beyond_max ... ok [INFO] [stdout] test checker::bfs::test::visits_states_in_bfs_order ... ok [INFO] [stdout] test checker::bfs::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test actor::model::test::unordered_network_has_a_bug ... ok [INFO] [stdout] test actor::test::vec_can_serve_as_actor ... ok [INFO] [stdout] test checker::explorer::test::can_init ... ok [INFO] [stdout] test checker::dfs::test::visits_states_in_dfs_order ... ok [INFO] [stdout] test checker::dfs::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test checker::explorer::test::can_next ... ok [INFO] [stdout] test checker::explorer::test::smoke_test_status ... ok [INFO] [stdout] test actor::model::test::choose_random ... ok [INFO] [stdout] test checker::on_demand::test::visits_states_in_bfs_order ... ok [INFO] [stdout] test checker::on_demand::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test checker::explorer::test::err_for_invalid_index ... ok [INFO] [stdout] test checker::explorer::test::smoke_test_states ... ok [INFO] [stdout] test actor::model::test::no_op_depends_on_network ... ok [INFO] [stdout] test checker::rewrite_plan::test::can_reindex ... ok [INFO] [stdout] test checker::rewrite::test::can_rewrite_id_vec ... ok [INFO] [stdout] test checker::rewrite_plan::test::from_sort_sorts ... ok [INFO] [stdout] test checker::rewrite::test::can_rewrite_network ... ok [INFO] [stdout] test checker::rewrite_plan::test::can_rewrite ... ok [INFO] [stdout] test checker::dfs::test::can_apply_symmetry_reduction ... ok [INFO] [stdout] test checker::test_eventually_property_checker::can_validate ... ok [INFO] [stdout] test checker::test_eventually_property_checker::fixme_can_miss_counterexample_when_revisiting_a_state ... ok [INFO] [stdout] test checker::test_path::can_build_path_from_action_indices ... ok [INFO] [stdout] test checker::test_eventually_property_checker::cannot_overwrite_discovery_when_having_other_properties ... ok [INFO] [stdout] test checker::simulation::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_linearizable_register_history ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_unlinearizable_register_history ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_unlinearizable_vec_history ... ok [INFO] [stdout] test checker::test_eventually_property_checker::can_discover_counterexample ... ok [INFO] [stdout] test semantics::linearizability::test::rejects_invalid_history ... ok [INFO] [stdout] test semantics::register::test::accepts_valid_histories ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_linearizable_vec_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_serializable_register_history ... ok [INFO] [stdout] test semantics::register::test::models_expected_semantics ... ok [INFO] [stdout] test semantics::register::test::rejects_invalid_histories ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_unserializable_register_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_serializable_vec_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::rejects_invalid_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_unserializable_vec_history ... ok [INFO] [stdout] test semantics::vec::test::rejects_invalid_histories ... ok [INFO] [stdout] test semantics::write_once_register::test::accepts_valid_histories ... ok [INFO] [stdout] test semantics::write_once_register::test::models_expected_semantics ... ok [INFO] [stdout] test semantics::vec::test::models_expected_semantics ... ok [INFO] [stdout] test util::densenatmap::test::can_construct_and_insert ... ok [INFO] [stdout] test util::densenatmap::test::can_rewrite ... ok [INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_eventually_delivered ... ok [INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_not_delivered_twice ... ok [INFO] [stdout] test util::hashable_hash_map_test::can_hash_map_of_maps ... ok [INFO] [stdout] test util::hashable_hash_map_test::different_hash_if_items_differ ... ok [INFO] [stdout] test util::hashable_hash_map_test::insertion_order_is_irrelevant ... ok [INFO] [stdout] test util::hashable_hash_set_test::different_hash_if_items_differ ... ok [INFO] [stdout] test util::hashable_hash_set_test::insertion_order_is_irrelevant ... ok [INFO] [stdout] test util::vector_clock::test::can_display ... ok [INFO] [stdout] test util::vector_clock::test::can_equate ... ok [INFO] [stdout] test util::vector_clock::test::can_hash ... ok [INFO] [stdout] test util::hashable_hash_set_test::can_hash_set_of_sets ... ok [INFO] [stdout] test util::vector_clock::test::can_increment ... ok [INFO] [stdout] test util::vector_clock::test::can_order_partially ... ok [INFO] [stdout] test semantics::write_once_register::test::rejects_invalid_histories ... ok [INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_delivered_in_order ... ok [INFO] [stdout] test util::vector_clock::test::can_merge ... ok [INFO] [stdout] test semantics::vec::test::accepts_valid_histories ... ok [INFO] [stdout] test checker::bfs::test::handles_panics_gracefully - should panic ... ok [INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_next_state ... ok [INFO] [stdout] test util::densenatmap::test::panics_on_out_of_order_insertion - should panic ... ok [INFO] [stdout] test checker::dfs::test::handles_panics_gracefully - should panic ... ok [INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_init_state ... ok [INFO] [stdout] test actor::spawn::test::can_crash_and_then_recover ... FAILED [INFO] [stdout] test actor::model::test::maintains_fixed_delta_despite_lossy_duplicating_network ... ok [INFO] [stdout] test actor::model::test::may_never_reach_max_on_lossy_network ... ok [INFO] [stdout] test checker::bfs::test::can_complete_by_enumerating_all_states ... ok [INFO] [stdout] test checker::on_demand::test::can_complete_by_enumerating_all_states ... ok [INFO] [stdout] test checker::test_report::report_includes_property_names_and_paths ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- actor::spawn::test::can_crash_and_then_recover stdout ---- [INFO] [stdout] [INFO] [stdout] thread '' (65) panicked at src/actor/spawn.rs:239:56: [INFO] [stdout] failed to create file "127.0.0.1:1234.storage" [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5b50a452c482 - std::backtrace_rs::backtrace::libunwind::trace::h16acf28769fcd909 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5b50a452c482 - std::backtrace_rs::backtrace::trace_unsynchronized::hb5541aa5d4f92513 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5b50a452c482 - std::sys::backtrace::_print_fmt::h8ac8268cb667a306 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5b50a452c482 - ::fmt::h47627beda0767f4c [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5b50a453d7bf - core::fmt::rt::Argument::fmt::h686a01ad57c1c92a [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5b50a453d7bf - core::fmt::write::h8a63064c67176fd8 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/fmt/mod.rs:1469:25 [INFO] [stdout] 6: 0x5b50a44f9193 - std::io::default_write_fmt::hd4797e693c0ec256 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5b50a44f9193 - std::io::Write::write_fmt::h791e240ad2720c99 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5b50a4505802 - std::sys::backtrace::BacktraceLock::print::h4634d27c0afbaebb [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5b50a450a59f - std::panicking::default_hook::{{closure}}::h23e0299d4738b766 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5b50a450a431 - std::panicking::default_hook::hfeec6294e8751b62 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5b50a445b4be - as core::ops::function::Fn>::call::h3f5a16438cee2b4e [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2019:9 [INFO] [stdout] 12: 0x5b50a445b4be - test::test_main_with_exit_callback::{{closure}}::h9214498cef9aafc5 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5b50a450ac5f - as core::ops::function::Fn>::call::hdb18da3e68df7464 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2019:9 [INFO] [stdout] 14: 0x5b50a450ac5f - std::panicking::panic_with_hook::hd57cd463d793ed79 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5b50a450aa0a - std::panicking::panic_handler::{{closure}}::hddd6216c3fddee3b [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:707:13 [INFO] [stdout] 16: 0x5b50a4505939 - std::sys::backtrace::__rust_end_short_backtrace::h5e7a56f283378525 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5b50a44ed20d - __rustc[256c90bb7e548b45]::rust_begin_unwind [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5b50a4545b00 - core::panicking::panic_fmt::hf19c198748ef6a95 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x5b50a412ca66 - stateright::actor::spawn::on_command::{{closure}}::h645d3f2e58ccc9b6 [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:239:56 [INFO] [stdout] 20: 0x5b50a4381a93 - core::result::Result::unwrap_or_else::h743d785a74183511 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/result.rs:1622:23 [INFO] [stdout] 21: 0x5b50a412c8c9 - stateright::actor::spawn::on_command::h925034d21e3ddf11 [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:239:37 [INFO] [stdout] 22: 0x5b50a412eacd - stateright::actor::spawn::spawn::{{closure}}::{{closure}}::h40cba6f6db947e79 [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:160:36 [INFO] [stdout] 23: 0x5b50a400e01f - crossbeam_utils::thread::ScopedThreadBuilder::spawn::{{closure}}::h69313e67075651f9 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/crossbeam-utils-0.8.21/src/thread.rs:457:31 [INFO] [stdout] 24: 0x5b50a43527ee - core::ops::function::FnOnce::call_once{{vtable.shim}}::h4ebf82c313cdc466 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x5b50a43c1658 - as core::ops::function::FnOnce>::call_once::h40c8a1d6b171fbed [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2005:9 [INFO] [stdout] 26: 0x5b50a4088243 - std::sys::backtrace::__rust_begin_short_backtrace::h3acb7b8af885ba85 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 27: 0x5b50a44095db - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h4e36fb237f9807a3 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/thread/mod.rs:562:17 [INFO] [stdout] 28: 0x5b50a43083e0 - as core::ops::function::FnOnce<()>>::call_once::h3545ab5b74738528 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 29: 0x5b50a40de736 - std::panicking::catch_unwind::do_call::h4b0e0345f1fda90c [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:590:40 [INFO] [stdout] 30: 0x5b50a4417f8b - __rust_try [INFO] [stdout] 31: 0x5b50a4404d4e - std::panicking::catch_unwind::hfb71e70b7e616224 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:553:19 [INFO] [stdout] 32: 0x5b50a4404d4e - std::panic::catch_unwind::h6ce9a047477e1990 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panic.rs:359:14 [INFO] [stdout] 33: 0x5b50a4404d4e - std::thread::Builder::spawn_unchecked_::{{closure}}::heab9428027ab36d4 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/thread/mod.rs:560:30 [INFO] [stdout] 34: 0x5b50a435224e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h161b6165227b72b2 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 35: 0x5b50a4500c2f - as core::ops::function::FnOnce>::call_once::he4d85cb537521972 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2005:9 [INFO] [stdout] 36: 0x5b50a4500c2f - std::sys::thread::unix::Thread::new::thread_start::hbaf586a9e50a98cd [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 37: 0x70ec1b2c3aa4 - [INFO] [stdout] 38: 0x70ec1b350a64 - clone [INFO] [stdout] 39: 0x0 - [INFO] [stdout] [INFO] [stdout] thread 'actor::spawn::test::can_crash_and_then_recover' (62) panicked at src/actor/spawn.rs:372:51: [INFO] [stdout] failed to remove file "127.0.0.1:1234.storage" [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5b50a452c482 - std::backtrace_rs::backtrace::libunwind::trace::h16acf28769fcd909 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5b50a452c482 - std::backtrace_rs::backtrace::trace_unsynchronized::hb5541aa5d4f92513 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5b50a452c482 - std::sys::backtrace::_print_fmt::h8ac8268cb667a306 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5b50a452c482 - ::fmt::h47627beda0767f4c [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5b50a453d7bf - core::fmt::rt::Argument::fmt::h686a01ad57c1c92a [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5b50a453d7bf - core::fmt::write::h8a63064c67176fd8 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/fmt/mod.rs:1469:25 [INFO] [stdout] 6: 0x5b50a44f9193 - std::io::default_write_fmt::hd4797e693c0ec256 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5b50a44f9193 - std::io::Write::write_fmt::h791e240ad2720c99 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5b50a4505802 - std::sys::backtrace::BacktraceLock::print::h4634d27c0afbaebb [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5b50a450a59f - std::panicking::default_hook::{{closure}}::h23e0299d4738b766 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5b50a450a431 - std::panicking::default_hook::hfeec6294e8751b62 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5b50a445b4be - as core::ops::function::Fn>::call::h3f5a16438cee2b4e [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2019:9 [INFO] [stdout] 12: 0x5b50a445b4be - test::test_main_with_exit_callback::{{closure}}::h9214498cef9aafc5 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5b50a450ac5f - as core::ops::function::Fn>::call::hdb18da3e68df7464 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2019:9 [INFO] [stdout] 14: 0x5b50a450ac5f - std::panicking::panic_with_hook::hd57cd463d793ed79 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5b50a450aa0a - std::panicking::panic_handler::{{closure}}::hddd6216c3fddee3b [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:707:13 [INFO] [stdout] 16: 0x5b50a4505939 - std::sys::backtrace::__rust_end_short_backtrace::h5e7a56f283378525 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5b50a44ed20d - __rustc[256c90bb7e548b45]::rust_begin_unwind [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5b50a4545b00 - core::panicking::panic_fmt::hf19c198748ef6a95 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x5b50a432a186 - stateright::actor::spawn::test::can_crash_and_then_recover::{{closure}}::h99ae26e40d00f957 [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:372:51 [INFO] [stdout] 20: 0x5b50a4382111 - core::result::Result::unwrap_or_else::heb5b824c7ec544ea [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/result.rs:1622:23 [INFO] [stdout] 21: 0x5b50a4329cdc - stateright::actor::spawn::test::can_crash_and_then_recover::hfd449b26cccdbb26 [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:372:32 [INFO] [stdout] 22: 0x5b50a432a0e7 - stateright::actor::spawn::test::can_crash_and_then_recover::{{closure}}::h92a6301d3755c18a [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:267:36 [INFO] [stdout] 23: 0x5b50a4357666 - core::ops::function::FnOnce::call_once::h9a487def65f7fc3a [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x5b50a445b30b - core::ops::function::FnOnce::call_once::h43f43c5185cf39c2 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x5b50a445b30b - test::__rust_begin_short_backtrace::hc4fa634eb2764bdc [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:663:18 [INFO] [stdout] 26: 0x5b50a446f928 - test::run_test_in_process::{{closure}}::h9f4b799a5211b72a [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:686:74 [INFO] [stdout] 27: 0x5b50a446f928 - as core::ops::function::FnOnce<()>>::call_once::ha572bf7dc5230a8f [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 28: 0x5b50a446f928 - std::panicking::catch_unwind::do_call::hfd6ff51f25dd177b [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:590:40 [INFO] [stdout] 29: 0x5b50a446f928 - std::panicking::catch_unwind::h8609b446221def5f [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:553:19 [INFO] [stdout] 30: 0x5b50a446f928 - std::panic::catch_unwind::h362f73cc48531e26 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x5b50a446f928 - test::run_test_in_process::hf52fd21d696aae67 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:686:27 [INFO] [stdout] 32: 0x5b50a446f928 - test::run_test::{{closure}}::h7e780b8354e6d007 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:607:43 [INFO] [stdout] 33: 0x5b50a44486f4 - test::run_test::{{closure}}::hdc2695f2276aad3e [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:637:41 [INFO] [stdout] 34: 0x5b50a44486f4 - std::sys::backtrace::__rust_begin_short_backtrace::h2555b2113ed90fc9 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 35: 0x5b50a444c02a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h99800d480987dfb6 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/thread/mod.rs:562:17 [INFO] [stdout] 36: 0x5b50a444c02a - as core::ops::function::FnOnce<()>>::call_once::hbbb69b5294b2221b [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 37: 0x5b50a444c02a - std::panicking::catch_unwind::do_call::h495689350c27df20 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:590:40 [INFO] [stdout] 38: 0x5b50a444c02a - std::panicking::catch_unwind::hf22437c51d1b3740 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:553:19 [INFO] [stdout] 39: 0x5b50a444c02a - std::panic::catch_unwind::habda1a57de8231f8 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x5b50a444c02a - std::thread::Builder::spawn_unchecked_::{{closure}}::h5833d8dda8c7e80b [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/thread/mod.rs:560:30 [INFO] [stdout] 41: 0x5b50a444c02a - core::ops::function::FnOnce::call_once{{vtable.shim}}::ha2910283a5058402 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x5b50a4500c2f - as core::ops::function::FnOnce>::call_once::he4d85cb537521972 [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2005:9 [INFO] [stdout] 43: 0x5b50a4500c2f - std::sys::thread::unix::Thread::new::thread_start::hbaf586a9e50a98cd [INFO] [stdout] at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 44: 0x70ec1b2c3aa4 - [INFO] [stdout] 45: 0x70ec1b350a64 - clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] actor::spawn::test::can_crash_and_then_recover [INFO] [stdout] [INFO] [stdout] test result: FAILED. 90 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.05s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] running `Command { std: "docker" "inspect" "670c94dbe2469e38c4f0fe57012db128cb8aa3bf01c4cf9b1a4f1410ed394619", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "670c94dbe2469e38c4f0fe57012db128cb8aa3bf01c4cf9b1a4f1410ed394619", kill_on_drop: false }` [INFO] [stdout] 670c94dbe2469e38c4f0fe57012db128cb8aa3bf01c4cf9b1a4f1410ed394619