[INFO] fetching crate stateright 0.31.0... [INFO] testing stateright-0.31.0 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-8 [INFO] extracting crate stateright 0.31.0 into /workspace/builds/worker-6-tc1/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-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate stateright 0.31.0 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded redox_syscall v0.5.16 [INFO] [stderr] Downloaded choice v0.0.2 [INFO] [stderr] Downloaded num_cpus v1.17.0 [INFO] [stderr] Downloaded ascii v1.1.0 [INFO] [stderr] Downloaded pico-args v0.5.0 [INFO] [stderr] Downloaded chunked_transfer v1.5.0 [INFO] [stderr] Downloaded tiny_http v0.12.0 [INFO] [stderr] Downloaded serde_json v1.0.141 [INFO] [stderr] Downloaded id-set v0.2.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2a27cce3444ca79c006e61e85bdb924c45a26571525f6a537b25c21ee1578f08 [INFO] running `Command { std: "docker" "start" "-a" "2a27cce3444ca79c006e61e85bdb924c45a26571525f6a537b25c21ee1578f08", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2a27cce3444ca79c006e61e85bdb924c45a26571525f6a537b25c21ee1578f08", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2a27cce3444ca79c006e61e85bdb924c45a26571525f6a537b25c21ee1578f08", kill_on_drop: false }` [INFO] [stdout] 2a27cce3444ca79c006e61e85bdb924c45a26571525f6a537b25c21ee1578f08 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4eb4aa8657a5a25c4a3226a34f0fa1349d3b8c3bf600c9df97d6a4f41c833d00 [INFO] running `Command { std: "docker" "start" "-a" "4eb4aa8657a5a25c4a3226a34f0fa1349d3b8c3bf600c9df97d6a4f41c833d00", 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 zerocopy v0.8.26 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling serde_json v1.0.141 [INFO] [stderr] Compiling log v0.4.27 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling memchr v2.7.5 [INFO] [stderr] Compiling ascii v1.1.0 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling chunked_transfer v1.5.0 [INFO] [stderr] Compiling id-set v0.2.2 [INFO] [stderr] Compiling choice v0.0.2 [INFO] [stderr] Compiling tiny_http v0.12.0 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling parking_lot_core v0.9.11 [INFO] [stderr] Compiling syn v2.0.104 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling parking_lot v0.12.4 [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 15.02s [INFO] running `Command { std: "docker" "inspect" "4eb4aa8657a5a25c4a3226a34f0fa1349d3b8c3bf600c9df97d6a4f41c833d00", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4eb4aa8657a5a25c4a3226a34f0fa1349d3b8c3bf600c9df97d6a4f41c833d00", kill_on_drop: false }` [INFO] [stdout] 4eb4aa8657a5a25c4a3226a34f0fa1349d3b8c3bf600c9df97d6a4f41c833d00 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8b73fd7a7e1f9b0a9a36e00b35fa4647c50a1b021d3af6a9f446880fa60ea390 [INFO] running `Command { std: "docker" "start" "-a" "8b73fd7a7e1f9b0a9a36e00b35fa4647c50a1b021d3af6a9f446880fa60ea390", kill_on_drop: false }` [INFO] [stderr] Compiling log v0.4.27 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling anstyle-query v1.1.3 [INFO] [stderr] Compiling anstyle-parse v0.2.7 [INFO] [stderr] Compiling anstyle v1.0.11 [INFO] [stderr] Compiling colorchoice v1.0.4 [INFO] [stderr] Compiling jiff v0.2.15 [INFO] [stderr] Compiling num_cpus v1.17.0 [INFO] [stderr] Compiling pico-args v0.5.0 [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 34.41s [INFO] running `Command { std: "docker" "inspect" "8b73fd7a7e1f9b0a9a36e00b35fa4647c50a1b021d3af6a9f446880fa60ea390", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8b73fd7a7e1f9b0a9a36e00b35fa4647c50a1b021d3af6a9f446880fa60ea390", kill_on_drop: false }` [INFO] [stdout] 8b73fd7a7e1f9b0a9a36e00b35fa4647c50a1b021d3af6a9f446880fa60ea390 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 6a33d32f792245969842bec7af888f825e3421fd47ba5ac7d393bf88db97b183 [INFO] running `Command { std: "docker" "start" "-a" "6a33d32f792245969842bec7af888f825e3421fd47ba5ac7d393bf88db97b183", 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.13s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/stateright-3be00f6b2f68a1e0) [INFO] [stdout] [INFO] [stdout] running 91 tests [INFO] [stdout] test actor::model::test::choose_random ... ok [INFO] [stdout] test actor::model::test::handles_undeliverable_messages ... ok [INFO] [stdout] test actor::model::test::eventually_reaches_max_on_perfect_delivery_network ... ok [INFO] [stdout] test actor::model::choice_test::choice_correctly_implements_actor ... ok [INFO] [stdout] test actor::model::test::can_reach_max ... ok [INFO] [stdout] test actor::model::test::might_never_reach_beyond_max ... ok [INFO] [stdout] test actor::model::test::recover_test ... ok [INFO] [stdout] test actor::model::test::handles_ordered_network_flag ... ok [INFO] [stdout] test actor::model::test::resets_timer ... ok [INFO] [stdout] test actor::model_state::test::can_find_representative_from_equivalence_class ... ok [INFO] [stdout] test actor::model::test::visits_expected_states ... 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::test::no_op_depends_on_network ... ok [INFO] [stdout] test actor::spawn::test::can_encode_id ... ok [INFO] [stdout] test actor::test::majority_is_computed_correctly ... ok [INFO] [stdout] test checker::bfs::test::visits_states_in_bfs_order ... ok [INFO] [stdout] test actor::spawn::test::can_decode_id ... ok [INFO] [stdout] test actor::test::peer_ids_are_computed_correctly ... ok [INFO] [stdout] test actor::test::vec_can_serve_as_actor ... ok [INFO] [stdout] test checker::bfs::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test checker::explorer::test::can_init ... ok [INFO] [stdout] test checker::explorer::test::err_for_invalid_index ... ok [INFO] [stdout] test checker::dfs::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test actor::model::test::overwrite_choose_random ... ok [INFO] [stdout] test checker::explorer::test::smoke_test_states ... ok [INFO] [stdout] test checker::explorer::test::can_next ... ok [INFO] [stdout] test checker::dfs::test::can_apply_symmetry_reduction ... ok [INFO] [stdout] test checker::explorer::test::smoke_test_status ... ok [INFO] [stdout] test checker::on_demand::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test checker::on_demand::test::visits_states_in_bfs_order ... ok [INFO] [stdout] test checker::rewrite::test::can_rewrite_network ... ok [INFO] [stdout] test checker::rewrite_plan::test::can_reindex ... ok [INFO] [stdout] test checker::rewrite_plan::test::can_rewrite ... ok [INFO] [stdout] test checker::rewrite_plan::test::from_sort_sorts ... ok [INFO] [stdout] test checker::dfs::test::visits_states_in_dfs_order ... ok [INFO] [stdout] test checker::rewrite::test::can_rewrite_id_vec ... ok [INFO] [stdout] test checker::test_eventually_property_checker::can_discover_counterexample ... ok [INFO] [stdout] test checker::simulation::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test checker::test_eventually_property_checker::fixme_can_miss_counterexample_when_revisiting_a_state ... ok [INFO] [stdout] test checker::test_eventually_property_checker::cannot_overwrite_discovery_when_having_other_properties ... ok [INFO] [stdout] test checker::test_path::can_build_path_from_action_indices ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_linearizable_register_history ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_linearizable_vec_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 semantics::linearizability::test::rejects_invalid_history ... 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 semantics::register::test::accepts_valid_histories ... 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_serializable_register_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_serializable_vec_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_unserializable_register_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_unserializable_vec_history ... ok [INFO] [stdout] test checker::test_eventually_property_checker::can_validate ... ok [INFO] [stdout] test semantics::sequential_consistency::test::rejects_invalid_history ... ok [INFO] [stdout] test semantics::vec::test::accepts_valid_histories ... ok [INFO] [stdout] test semantics::vec::test::models_expected_semantics ... 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::write_once_register::test::rejects_invalid_histories ... ok [INFO] [stdout] test util::densenatmap::test::can_construct_and_insert ... ok [INFO] [stdout] test util::hashable_hash_map_test::can_hash_map_of_maps ... ok [INFO] [stdout] test util::densenatmap::test::can_rewrite ... ok [INFO] [stdout] test util::hashable_hash_map_test::different_hash_if_items_differ ... ok [INFO] [stdout] test util::hashable_hash_set_test::can_hash_set_of_sets ... 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::vector_clock::test::can_increment ... ok [INFO] [stdout] test util::vector_clock::test::can_merge ... ok [INFO] [stdout] test util::vector_clock::test::can_order_partially ... ok [INFO] [stdout] test actor::model::test::unordered_network_has_a_bug ... ok [INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_delivered_in_order ... ok [INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_init_state ... 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 actor::spawn::test::can_crash_and_then_recover ... FAILED [INFO] [stdout] test checker::dfs::test::handles_panics_gracefully - should panic ... ok [INFO] [stdout] test checker::bfs::test::handles_panics_gracefully - should panic ... ok [INFO] [stdout] test actor::model::test::maintains_fixed_delta_despite_lossy_duplicating_network ... ok [INFO] [stdout] test checker::on_demand::test::can_complete_by_enumerating_all_states ... 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::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 '' (67) 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: 0x55b6c03029b2 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x55b6c03029b2 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x55b6c03029b2 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x55b6c03029b2 - ::fmt::hde21067283f7e82e [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x55b6c03139cf - core::fmt::rt::Argument::fmt::he65307037dca33c6 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x55b6c03139cf - core::fmt::write::h24186904251c31cb [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25 [INFO] [stdout] 6: 0x55b6c02cf8e3 - std::io::default_write_fmt::h4e8d11c5c4b9cafe [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x55b6c02cf8e3 - std::io::Write::write_fmt::ha849be0824d095ef [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x55b6c02dbc32 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x55b6c02e0a0f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x55b6c02e08a1 - std::panicking::default_hook::he2e9efee79b3dce9 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x55b6c0231a8e - as core::ops::function::Fn>::call::h202f496763929329 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9 [INFO] [stdout] 12: 0x55b6c0231a8e - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x55b6c02e10cf - as core::ops::function::Fn>::call::h2883c9d2dbd4e81c [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9 [INFO] [stdout] 14: 0x55b6c02e10cf - std::panicking::panic_with_hook::hf5648b7cec6bc73e [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x55b6c02e0e7a - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13 [INFO] [stdout] 16: 0x55b6c02dbd79 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x55b6c02c384d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x55b6c031bcd0 - core::panicking::panic_fmt::hb5d6b83773432920 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x55b6c008e0f6 - stateright::actor::spawn::on_command::{{closure}}::h7eb25525ebaaf05f [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:239:56 [INFO] [stdout] 20: 0x55b6c0144213 - core::result::Result::unwrap_or_else::h3bb10ca5246871ed [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23 [INFO] [stdout] 21: 0x55b6c008df69 - stateright::actor::spawn::on_command::h43848458dc15b361 [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:239:37 [INFO] [stdout] 22: 0x55b6c009016d - stateright::actor::spawn::spawn::{{closure}}::{{closure}}::hf5eba865c44ccae3 [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:160:36 [INFO] [stdout] 23: 0x55b6bfeee06f - crossbeam_utils::thread::ScopedThreadBuilder::spawn::{{closure}}::h4965efe11f67e0b0 [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: 0x55b6bfe34b5e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h04fe19dc86b1d241 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x55b6bfe07ee8 - as core::ops::function::FnOnce>::call_once::h4785fdc911fdc0f1 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9 [INFO] [stdout] 26: 0x55b6c0137f13 - std::sys::backtrace::__rust_begin_short_backtrace::h15df24770145d0f3 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 27: 0x55b6c007b86b - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hc02e966afa5b0f30 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17 [INFO] [stdout] 28: 0x55b6bffc2af0 - as core::ops::function::FnOnce<()>>::call_once::hc2533895215e9484 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 29: 0x55b6bfe7c786 - std::panicking::catch_unwind::do_call::hfa3dc606815bd8c3 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40 [INFO] [stdout] 30: 0x55b6c00867ab - __rust_try [INFO] [stdout] 31: 0x55b6c0071a6e - std::panicking::catch_unwind::h50775a0d748b3ffd [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19 [INFO] [stdout] 32: 0x55b6c0071a6e - std::panic::catch_unwind::h8484632e9f46e0ae [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14 [INFO] [stdout] 33: 0x55b6c0071a6e - std::thread::Builder::spawn_unchecked_::{{closure}}::hc8cec0cd6a661e37 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30 [INFO] [stdout] 34: 0x55b6bfe355ee - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6ebc4554281b8099 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 35: 0x55b6c02d716f - as core::ops::function::FnOnce>::call_once::h3adbd6ccf5f737af [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9 [INFO] [stdout] 36: 0x55b6c02d716f - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17 [INFO] [stdout] 37: 0x7f96604caaa4 - [INFO] [stdout] 38: 0x7f9660557a64 - clone [INFO] [stdout] 39: 0x0 - [INFO] [stdout] [INFO] [stdout] thread 'actor::spawn::test::can_crash_and_then_recover' (66) 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: 0x55b6c03029b2 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x55b6c03029b2 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x55b6c03029b2 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x55b6c03029b2 - ::fmt::hde21067283f7e82e [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x55b6c03139cf - core::fmt::rt::Argument::fmt::he65307037dca33c6 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x55b6c03139cf - core::fmt::write::h24186904251c31cb [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25 [INFO] [stdout] 6: 0x55b6c02cf8e3 - std::io::default_write_fmt::h4e8d11c5c4b9cafe [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x55b6c02cf8e3 - std::io::Write::write_fmt::ha849be0824d095ef [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x55b6c02dbc32 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x55b6c02e0a0f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x55b6c02e08a1 - std::panicking::default_hook::he2e9efee79b3dce9 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x55b6c0231a8e - as core::ops::function::Fn>::call::h202f496763929329 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9 [INFO] [stdout] 12: 0x55b6c0231a8e - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x55b6c02e10cf - as core::ops::function::Fn>::call::h2883c9d2dbd4e81c [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9 [INFO] [stdout] 14: 0x55b6c02e10cf - std::panicking::panic_with_hook::hf5648b7cec6bc73e [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x55b6c02e0e7a - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13 [INFO] [stdout] 16: 0x55b6c02dbd79 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x55b6c02c384d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x55b6c031bcd0 - core::panicking::panic_fmt::hb5d6b83773432920 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x55b6bfe0da46 - stateright::actor::spawn::test::can_crash_and_then_recover::{{closure}}::hc299916d01f348d3 [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:372:51 [INFO] [stdout] 20: 0x55b6c0144bf1 - core::result::Result::unwrap_or_else::he8af74fe90df7ad7 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23 [INFO] [stdout] 21: 0x55b6bfe0d59c - stateright::actor::spawn::test::can_crash_and_then_recover::he072af86aa3a03ea [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:372:32 [INFO] [stdout] 22: 0x55b6bfe0d8e7 - stateright::actor::spawn::test::can_crash_and_then_recover::{{closure}}::h7d740e5bd2aef89b [INFO] [stdout] at /opt/rustwide/workdir/src/actor/spawn.rs:267:36 [INFO] [stdout] 23: 0x55b6bfe39756 - core::ops::function::FnOnce::call_once::h6f98b6a794ea59cd [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x55b6c02318fb - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x55b6c02318fb - test::__rust_begin_short_backtrace::h85d4fe5033219107 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18 [INFO] [stdout] 26: 0x55b6c02458ed - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74 [INFO] [stdout] 27: 0x55b6c02458ed - as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 28: 0x55b6c02458ed - std::panicking::catch_unwind::do_call::hf71351b2657d4002 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40 [INFO] [stdout] 29: 0x55b6c02458ed - std::panicking::catch_unwind::h7fcb5c0312d9e172 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19 [INFO] [stdout] 30: 0x55b6c02458ed - std::panic::catch_unwind::h5cf3c9bdee894ebe [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x55b6c02458ed - test::run_test_in_process::h1469cb85193a3a25 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27 [INFO] [stdout] 32: 0x55b6c02458ed - test::run_test::{{closure}}::h59d45b3cd6453d69 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43 [INFO] [stdout] 33: 0x55b6c021ee34 - test::run_test::{{closure}}::h9baa0c3d443f28c9 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41 [INFO] [stdout] 34: 0x55b6c021ee34 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 35: 0x55b6c022268a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17 [INFO] [stdout] 36: 0x55b6c022268a - as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 37: 0x55b6c022268a - std::panicking::catch_unwind::do_call::h522b41a6c157aaba [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40 [INFO] [stdout] 38: 0x55b6c022268a - std::panicking::catch_unwind::h0efbf72006b8e365 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19 [INFO] [stdout] 39: 0x55b6c022268a - std::panic::catch_unwind::h3b081041e6c97066 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x55b6c022268a - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30 [INFO] [stdout] 41: 0x55b6c022268a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x55b6c02d716f - as core::ops::function::FnOnce>::call_once::h3adbd6ccf5f737af [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9 [INFO] [stdout] 43: 0x55b6c02d716f - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987 [INFO] [stdout] at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17 [INFO] [stdout] 44: 0x7f96604caaa4 - [INFO] [stdout] 45: 0x7f9660557a64 - 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.06s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] running `Command { std: "docker" "inspect" "6a33d32f792245969842bec7af888f825e3421fd47ba5ac7d393bf88db97b183", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6a33d32f792245969842bec7af888f825e3421fd47ba5ac7d393bf88db97b183", kill_on_drop: false }` [INFO] [stdout] 6a33d32f792245969842bec7af888f825e3421fd47ba5ac7d393bf88db97b183