[INFO] fetching crate stateright 0.31.0...
[INFO] testing stateright-0.31.0 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate stateright 0.31.0 into /workspace/builds/worker-4-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-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate stateright 0.31.0 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "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" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded id-set v0.2.2
[INFO] [stderr]   Downloaded redox_syscall v0.5.16
[INFO] [stderr]   Downloaded choice v0.0.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e
[INFO] running `Command { std: "docker" "start" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.174
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling serde_json v1.0.141
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling chunked_transfer v1.5.0
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling ascii v1.1.0
[INFO] [stderr]    Compiling id-set v0.2.2
[INFO] [stderr]    Compiling choice v0.0.2
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling syn v2.0.104
[INFO] [stderr]    Compiling tiny_http v0.12.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.11
[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 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<Msg> {
[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<Msg> {
[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 `release` profile [optimized] target(s) in 18.38s
[INFO] running `Command { std: "docker" "inspect" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling anstyle v1.0.11
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.1
[INFO] [stderr]    Compiling anstyle-query v1.1.3
[INFO] [stderr]    Compiling tiny_http v0.12.0
[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 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<Msg> {
[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<Msg> {
[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<Msg> {
[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<Msg> {
[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 `release` profile [optimized] target(s) in 1m 46s
[INFO] running `Command { std: "docker" "inspect" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", 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<Msg> {
[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<Msg> {
[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 `release` profile [optimized] target(s) in 0.09s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/stateright-6cfe5659cc584cc3)
[INFO] [stdout] 
[INFO] [stdout] running 92 tests
[INFO] [stdout] test actor::model::test::handles_undeliverable_messages ... ok
[INFO] [stdout] test actor::model_state::test::can_find_representative_from_equivalence_class ... ok
[INFO] [stdout] test actor::model::test::might_never_reach_beyond_max ... ok
[INFO] [stdout] test actor::model::test::can_reach_max ... ok
[INFO] [stdout] test actor::model::test::recover_test ... ok
[INFO] [stdout] test actor::model::choice_test::choice_correctly_implements_actor ... ok
[INFO] [stdout] test actor::model::test::resets_timer ... ok
[INFO] [stdout] test actor::model::test::handles_ordered_network_flag ... ok
[INFO] [stdout] test actor::model::test::choose_random ... ok
[INFO] [stdout] test actor::model::test::overwrite_choose_random ... 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::test::majority_is_computed_correctly ... ok
[INFO] [stdout] test actor::model::test::eventually_reaches_max_on_perfect_delivery_network ... ok
[INFO] [stdout] test actor::test::peer_ids_are_computed_correctly ... ok
[INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_not_delivered_twice ... ok
[INFO] [stdout] test actor::model::test::visits_expected_states ... ok
[INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_eventually_delivered ... ok
[INFO] [stdout] test actor::test::vec_can_serve_as_actor ... ok
[INFO] [stdout] test checker::bfs::test::handles_panics_gracefully - should panic ... ok
[INFO] [stdout] test checker::dfs::test::can_complete_by_eliminating_properties ... ok
[INFO] [stdout] test checker::dfs::test::handles_panics_gracefully - should panic ... 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 actor::model::test::no_op_depends_on_network ... ok
[INFO] [stdout] test checker::dfs::test::can_apply_symmetry_reduction ... ok
[INFO] [stdout] test checker::explorer::test::can_next ... ok
[INFO] [stdout] test checker::bfs::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::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::on_demand::test::can_complete_by_eliminating_properties ... ok
[INFO] [stdout] test checker::bfs::test::visits_states_in_bfs_order ... ok
[INFO] [stdout] test checker::rewrite_plan::test::can_rewrite ... ok
[INFO] [stdout] test checker::rewrite_plan::test::can_reindex ... ok
[INFO] [stdout] test checker::simulation::test::can_complete_by_eliminating_properties ... ok
[INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_next_state ... ok
[INFO] [stdout] test checker::rewrite_plan::test::from_sort_sorts ... ok
[INFO] [stdout] test checker::rewrite::test::can_rewrite_id_vec ... ok
[INFO] [stdout] test checker::rewrite::test::can_rewrite_network ... 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 semantics::linearizability::test::identifies_linearizable_register_history ... ok
[INFO] [stdout] test checker::test_eventually_property_checker::can_discover_counterexample ... ok
[INFO] [stdout] test checker::test_eventually_property_checker::cannot_overwrite_discovery_when_having_other_properties ... ok
[INFO] [stdout] test checker::explorer::test::smoke_test_status ... 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 semantics::linearizability::test::identifies_linearizable_vec_history ... ok
[INFO] [stdout] test semantics::linearizability::test::identifies_unlinearizable_register_history ... ok
[INFO] [stdout] test actor::model::test::crash_test ... ok
[INFO] [stdout] test checker::on_demand::test::visits_states_in_bfs_order ... 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::vec::test::models_expected_semantics ... 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::sequential_consistency::test::identifies_unserializable_vec_history ... 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::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 util::hashable_hash_map_test::can_hash_map_of_maps ... ok
[INFO] [stdout] test util::densenatmap::test::panics_on_out_of_order_insertion - should panic ... ok
[INFO] [stdout] test util::hashable_hash_map_test::different_hash_if_items_differ ... ok
[INFO] [stdout] test util::densenatmap::test::can_construct_and_insert ... ok
[INFO] [stdout] test util::densenatmap::test::can_rewrite ... ok
[INFO] [stdout] test semantics::write_once_register::test::rejects_invalid_histories ... ok
[INFO] [stdout] test actor::network::test::can_enumerate_and_parse_names ... ok
[INFO] [stdout] test util::hashable_hash_set_test::can_hash_set_of_sets ... ok
[INFO] [stdout] test util::vector_clock::test::can_hash ... ok
[INFO] [stdout] test util::hashable_hash_set_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::insertion_order_is_irrelevant ... ok
[INFO] [stdout] test util::vector_clock::test::can_display ... ok
[INFO] [stdout] test actor::model::test::unordered_network_has_a_bug ... ok
[INFO] [stdout] test util::vector_clock::test::can_equate ... 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 checker::test_eventually_property_checker::can_validate ... ok
[INFO] [stdout] test actor::model::test::may_never_reach_max_on_lossy_network ... 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 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] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/release/deps/stateright-6cfe5659cc584cc3` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e", kill_on_drop: false }`
[INFO] [stdout] e43fc0a7e354d44af2e8b3316c1bcc4350518c5715af7c7dab7736e61620000e
