[INFO] fetching crate stateright 0.30.2...
[INFO] testing stateright-0.30.2 against 1.83.0 for beta-1.84.0-4-retry
[INFO] extracting crate stateright 0.30.2 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate stateright 0.30.2 on toolchain 1.83.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate stateright 0.30.2
[INFO] finished tweaking crates.io crate stateright 0.30.2
[INFO] tweaked toml for crates.io crate stateright 0.30.2 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] crate crates.io crate stateright 0.30.2 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "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 choice v0.0.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c13a220040bcda51195305eeb11e92fc17a5644612aae02baee6b5838d688eae
[INFO] running `Command { std: "docker" "start" "-a" "c13a220040bcda51195305eeb11e92fc17a5644612aae02baee6b5838d688eae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c13a220040bcda51195305eeb11e92fc17a5644612aae02baee6b5838d688eae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c13a220040bcda51195305eeb11e92fc17a5644612aae02baee6b5838d688eae", kill_on_drop: false }`
[INFO] [stdout] c13a220040bcda51195305eeb11e92fc17a5644612aae02baee6b5838d688eae
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 25030b251631900f8a01734c0be61810f31eab2ae97a2b2c7f40a569772a87a1
[INFO] running `Command { std: "docker" "start" "-a" "25030b251631900f8a01734c0be61810f31eab2ae97a2b2c7f40a569772a87a1", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.85
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling httpdate v1.0.3
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling ascii v1.1.0
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling chunked_transfer v1.5.0
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling zerocopy v0.7.34
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling syn v2.0.66
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling tiny_http v0.12.0
[INFO] [stderr]    Compiling id-set v0.2.2
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling nohash-hasher v0.2.0
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling choice v0.0.2
[INFO] [stderr]    Compiling serde_derive v1.0.203
[INFO] [stderr]    Compiling stateright v0.30.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.37s
[INFO] running `Command { std: "docker" "inspect" "25030b251631900f8a01734c0be61810f31eab2ae97a2b2c7f40a569772a87a1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "25030b251631900f8a01734c0be61810f31eab2ae97a2b2c7f40a569772a87a1", kill_on_drop: false }`
[INFO] [stdout] 25030b251631900f8a01734c0be61810f31eab2ae97a2b2c7f40a569772a87a1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f21ed497f8ab2f0a5d1c775acda9aa78b70117c6b93eb94c722ba889703fd567
[INFO] running `Command { std: "docker" "start" "-a" "f21ed497f8ab2f0a5d1c775acda9aa78b70117c6b93eb94c722ba889703fd567", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling is-terminal v0.4.12
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling tiny_http v0.12.0
[INFO] [stderr]    Compiling stateright v0.30.2 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling regex v1.10.4
[INFO] [stderr]    Compiling env_logger v0.10.2
[INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stdout]    --> examples/2pc.rs:203:13
[INFO] [stdout]     |
[INFO] [stdout] 172 | fn main() -> Result<(), pico_args::Error> {
[INFO] [stdout]     | ----------------------------------------- move the `impl` block outside of this function `main`
[INFO] [stdout] ...
[INFO] [stdout] 203 |             impl Representative for TwoPhaseState {
[INFO] [stdout]     |             ^^^^^--------------^^^^^-------------
[INFO] [stdout]     |                  |                  |
[INFO] [stdout]     |                  |                  `TwoPhaseState` is not local
[INFO] [stdout]     |                  `Representative` is not local
[INFO] [stdout]     |
[INFO] [stdout]     = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl`
[INFO] [stdout]     = note: `#[warn(non_local_definitions)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stdout]    --> examples/2pc.rs:224:13
[INFO] [stdout]     |
[INFO] [stdout] 172 | fn main() -> Result<(), pico_args::Error> {
[INFO] [stdout]     | ----------------------------------------- move the `impl` block outside of this function `main`
[INFO] [stdout] ...
[INFO] [stdout] 224 |             impl<T> Rewrite<T> for RmState {
[INFO] [stdout]     |             ^^^^^^^^-------^^^^^^^^-------
[INFO] [stdout]     |                     |              |
[INFO] [stdout]     |                     |              `RmState` is not local
[INFO] [stdout]     |                     `Rewrite` is not local
[INFO] [stdout]     |
[INFO] [stdout]     = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 57.94s
[INFO] running `Command { std: "docker" "inspect" "f21ed497f8ab2f0a5d1c775acda9aa78b70117c6b93eb94c722ba889703fd567", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f21ed497f8ab2f0a5d1c775acda9aa78b70117c6b93eb94c722ba889703fd567", kill_on_drop: false }`
[INFO] [stdout] f21ed497f8ab2f0a5d1c775acda9aa78b70117c6b93eb94c722ba889703fd567
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] c026a2a5ad4ad1906cddab5a75b364829fab8fc020a98ec4d51696d6db75ff35
[INFO] running `Command { std: "docker" "start" "-a" "c026a2a5ad4ad1906cddab5a75b364829fab8fc020a98ec4d51696d6db75ff35", kill_on_drop: false }`
[INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stderr]    --> examples/2pc.rs:203:13
[INFO] [stderr]     |
[INFO] [stderr] 172 | fn main() -> Result<(), pico_args::Error> {
[INFO] [stderr]     | ----------------------------------------- move the `impl` block outside of this function `main`
[INFO] [stderr] ...
[INFO] [stderr] 203 |             impl Representative for TwoPhaseState {
[INFO] [stderr]     |             ^^^^^--------------^^^^^-------------
[INFO] [stderr]     |                  |                  |
[INFO] [stderr]     |                  |                  `TwoPhaseState` is not local
[INFO] [stderr]     |                  `Representative` is not local
[INFO] [stderr]     |
[INFO] [stderr]     = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl`
[INFO] [stderr]     = note: `#[warn(non_local_definitions)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stderr]    --> examples/2pc.rs:224:13
[INFO] [stderr]     |
[INFO] [stderr] 172 | fn main() -> Result<(), pico_args::Error> {
[INFO] [stderr]     | ----------------------------------------- move the `impl` block outside of this function `main`
[INFO] [stderr] ...
[INFO] [stderr] 224 |             impl<T> Rewrite<T> for RmState {
[INFO] [stderr]     |             ^^^^^^^^-------^^^^^^^^-------
[INFO] [stderr]     |                     |              |
[INFO] [stderr]     |                     |              `RmState` is not local
[INFO] [stderr]     |                     `Rewrite` is not local
[INFO] [stderr]     |
[INFO] [stderr]     = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl`
[INFO] [stderr] 
[INFO] [stderr] warning: `stateright` (example "2pc") generated 2 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/stateright-a737bb03304a654f)
[INFO] [stdout] running 85 tests
[INFO] [stdout] test actor::model::test::eventually_reaches_max_on_perfect_delivery_network ... 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::handles_undeliverable_messages ... ok
[INFO] [stdout] test actor::model::choice_test::choice_correctly_implements_actor ... ok
[INFO] [stdout] test actor::model::test::no_op_depends_on_network ... ok
[INFO] [stdout] test actor::model::test::visits_expected_states ... 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::network::test::can_enumerate_and_parse_names ... 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::test::peer_ids_are_computed_correctly ... ok
[INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_eventually_delivered ... 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::bfs::test::can_complete_by_eliminating_properties ... ok
[INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_not_delivered_twice ... ok
[INFO] [stdout] test checker::bfs::test::visits_states_in_bfs_order ... ok
[INFO] [stdout] test checker::dfs::test::can_apply_symmetry_reduction ... ok
[INFO] [stdout] test checker::dfs::test::can_complete_by_eliminating_properties ... ok
[INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_delivered_in_order ... ok
[INFO] [stdout] test checker::dfs::test::visits_states_in_dfs_order ... ok
[INFO] [stdout] test checker::explorer::test::can_init ... ok
[INFO] [stdout] test checker::explorer::test::err_for_invalid_fingerprint ... ok
[INFO] [stdout] test actor::model::test::handles_ordered_network_flag ... FAILED
[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::dfs::test::handles_panics_gracefully - should panic ... ok
[INFO] [stdout] test checker::explorer::test::can_next ... FAILED
[INFO] [stdout] test checker::bfs::test::handles_panics_gracefully - should panic ... ok
[INFO] [stdout] test checker::explorer::test::smoke_test_states ... FAILED
[INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_init_state ... ok
[INFO] [stdout] test checker::on_demand::test::visits_states_in_bfs_order ... ok
[INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_next_state ... 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::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::test_eventually_property_checker::can_discover_counterexample ... 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_fingerprints ... ok
[INFO] [stdout] test semantics::linearizability::test::identifies_linearizable_register_history ... ok
[INFO] [stdout] test checker::simulation::test::can_complete_by_eliminating_properties ... 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::rejects_invalid_history ... 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::linearizability::test::identifies_unlinearizable_vec_history ... ok
[INFO] [stdout] test semantics::sequential_consistency::test::identifies_unserializable_register_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::sequential_consistency::test::identifies_unserializable_vec_history ... ok
[INFO] [stdout] test semantics::write_once_register::test::accepts_valid_histories ... ok
[INFO] [stdout] test semantics::sequential_consistency::test::identifies_serializable_vec_history ... ok
[INFO] [stdout] test semantics::vec::test::rejects_invalid_histories ... 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::models_expected_semantics ... ok
[INFO] [stdout] test semantics::write_once_register::test::rejects_invalid_histories ... 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::densenatmap::test::panics_on_out_of_order_insertion - should panic ... ok
[INFO] [stdout] test util::hashable_hash_set_test::different_hash_if_items_differ ... ok
[INFO] [stdout] test util::hashable_hash_map_test::can_hash_map_of_maps ... 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 util::hashable_hash_set_test::can_hash_set_of_sets ... ok
[INFO] [stdout] test actor::model::test::may_never_reach_max_on_lossy_network ... ok
[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] [stdout] test checker::test_report::report_includes_property_names_and_paths ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- actor::model::test::handles_ordered_network_flag stdout ----
[INFO] [stdout] thread 'actor::model::test::handles_ordered_network_flag' panicked at src/actor/model.rs:1038:9:
[INFO] [stdout] assertion `left == right` failed
[INFO] [stdout]   left: [[], [2], [1], [2, 1], [1, 2]]
[INFO] [stdout]  right: [[], [1], [2], [1, 2], [2, 1]]
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5eec97bc811a - std::backtrace_rs::backtrace::libunwind::trace::h5a5b8284f2d0c266
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5eec97bc811a - std::backtrace_rs::backtrace::trace_unsynchronized::h76d4f1c9b0b875e3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5eec97bc811a - std::sys::backtrace::_print_fmt::hc4546b8364a537c6
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5eec97bc811a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h5b6bd5631a6d1f6b
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5eec97bedff3 - core::fmt::rt::Argument::fmt::h270f6602a2b96f62
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5eec97bedff3 - core::fmt::write::h7550c97b06c86515
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/mod.rs:1186:21
[INFO] [stdout]    6:     0x5eec97bc5293 - std::io::Write::write_fmt::h509ff860e5956e5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/io/mod.rs:1839:15
[INFO] [stdout]    7:     0x5eec97bc7f62 - std::sys::backtrace::BacktraceLock::print::h2395ccd2c84ba3aa
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5eec97bc957a - std::panicking::default_hook::{{closure}}::he19d4c7230e07961
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5eec97bc9384 - std::panicking::default_hook::hf614597d3c67bbdb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5eec97b349a9 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39b51ce4599c23d1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   11:     0x5eec97b349a9 - test::test_main::{{closure}}::he977ae839a582784
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:133:21
[INFO] [stdout]   12:     0x5eec97bc9c18 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h9455091b6b06f9fb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   13:     0x5eec97bc9c18 - std::panicking::rust_panic_with_hook::h8942133a8b252070
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5eec97bc99da - std::panicking::begin_panic_handler::{{closure}}::hb5f5963570096b29
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5eec97bc85f9 - std::sys::backtrace::__rust_end_short_backtrace::h6208cedc1922feda
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5eec97bc966c - rust_begin_unwind
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5eec97581070 - core::panicking::panic_fmt::h0c3082644d1bf418
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:74:14
[INFO] [stdout]   18:     0x5eec9758143b - core::panicking::assert_failed_inner::h2ddf1fcc067fa858
[INFO] [stdout]   19:     0x5eec978c7337 - core::panicking::assert_failed::hfc9c70115ab7eb2f
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:367:5
[INFO] [stdout]   20:     0x5eec97961dcb - stateright::actor::model::test::handles_ordered_network_flag::h937b56bcc0bb7880
[INFO] [stdout]                                at /opt/rustwide/workdir/src/actor/model.rs:1038:9
[INFO] [stdout]   21:     0x5eec97961247 - stateright::actor::model::test::handles_ordered_network_flag::{{closure}}::h6a698d075eb6345a
[INFO] [stdout]                                at /opt/rustwide/workdir/src/actor/model.rs:979:38
[INFO] [stdout]   22:     0x5eec9780b7e6 - core::ops::function::FnOnce::call_once::h30b92b880cba766f
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5eec97b3936b - core::ops::function::FnOnce::call_once::h109cf8051a59b34e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5eec97b3936b - test::__rust_begin_short_backtrace::hf4fff89d377446ba
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:621:18
[INFO] [stdout]   25:     0x5eec97b38ba7 - test::run_test_in_process::{{closure}}::h0e39181dd7ee5a43
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:60
[INFO] [stdout]   26:     0x5eec97b38ba7 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc5a66a30f0bdfd1f
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x5eec97b38ba7 - std::panicking::try::do_call::h873b7cf639554a5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   28:     0x5eec97b38ba7 - std::panicking::try::hdb19862fad9c8bd1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   29:     0x5eec97b38ba7 - std::panic::catch_unwind::h281fe732d236d260
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   30:     0x5eec97b38ba7 - test::run_test_in_process::h949b6df8457ed338
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:27
[INFO] [stdout]   31:     0x5eec97b38ba7 - test::run_test::{{closure}}::h52c556a6d4740e10
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:565:43
[INFO] [stdout]   32:     0x5eec97afde84 - test::run_test::{{closure}}::h4237f6381c45ccb9
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:595:41
[INFO] [stdout]   33:     0x5eec97afde84 - std::sys::backtrace::__rust_begin_short_backtrace::h505c97a579eca628
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   34:     0x5eec97b0154e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9e86b2e2bc107ea3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:538:17
[INFO] [stdout]   35:     0x5eec97b0154e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h8b06ddb275ff4a25
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x5eec97b0154e - std::panicking::try::do_call::hb26ecd7cd9a9355d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   37:     0x5eec97b0154e - std::panicking::try::h8ddeca9d705f9069
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   38:     0x5eec97b0154e - std::panic::catch_unwind::h49e1c33078844c46
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   39:     0x5eec97b0154e - std::thread::Builder::spawn_unchecked_::{{closure}}::h6073db6ff56ad35d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:537:30
[INFO] [stdout]   40:     0x5eec97b0154e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2c5a5f3779c774f1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x5eec97bcd96b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf75717d9f28faebf
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   42:     0x5eec97bcd96b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7bd883a5f3c5f3c1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   43:     0x5eec97bcd96b - std::sys::pal::unix::thread::Thread::new::thread_start::hcc78f3943333fa94
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   44:     0x78a2efcacac3 - <unknown>
[INFO] [stdout]   45:     0x78a2efd3da04 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- checker::explorer::test::can_next stdout ----
[INFO] [stdout] Expecting path: /345081625419309864/7983701498971690546
[INFO] [stdout] thread 'checker::explorer::test::can_next' panicked at src/checker/explorer.rs:372:14:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: "Unable to find state following fingerprints /9393718671459482478/5869721577187787215"
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5eec97bc811a - std::backtrace_rs::backtrace::libunwind::trace::h5a5b8284f2d0c266
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5eec97bc811a - std::backtrace_rs::backtrace::trace_unsynchronized::h76d4f1c9b0b875e3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5eec97bc811a - std::sys::backtrace::_print_fmt::hc4546b8364a537c6
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5eec97bc811a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h5b6bd5631a6d1f6b
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5eec97bedff3 - core::fmt::rt::Argument::fmt::h270f6602a2b96f62
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5eec97bedff3 - core::fmt::write::h7550c97b06c86515
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/mod.rs:1186:21
[INFO] [stdout]    6:     0x5eec97bc5293 - std::io::Write::write_fmt::h509ff860e5956e5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/io/mod.rs:1839:15
[INFO] [stdout]    7:     0x5eec97bc7f62 - std::sys::backtrace::BacktraceLock::print::h2395ccd2c84ba3aa
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5eec97bc957a - std::panicking::default_hook::{{closure}}::he19d4c7230e07961
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5eec97bc9384 - std::panicking::default_hook::hf614597d3c67bbdb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5eec97b349a9 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39b51ce4599c23d1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   11:     0x5eec97b349a9 - test::test_main::{{closure}}::he977ae839a582784
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:133:21
[INFO] [stdout]   12:     0x5eec97bc9c18 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h9455091b6b06f9fb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   13:     0x5eec97bc9c18 - std::panicking::rust_panic_with_hook::h8942133a8b252070
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5eec97bc99da - std::panicking::begin_panic_handler::{{closure}}::hb5f5963570096b29
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5eec97bc85f9 - std::sys::backtrace::__rust_end_short_backtrace::h6208cedc1922feda
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5eec97bc966c - rust_begin_unwind
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5eec97581070 - core::panicking::panic_fmt::h0c3082644d1bf418
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:74:14
[INFO] [stdout]   18:     0x5eec975814b6 - core::result::unwrap_failed::hd20b4aa073bda1e2
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/result.rs:1700:5
[INFO] [stdout]   19:     0x5eec97a369f8 - core::result::Result<T,E>::unwrap::h6a258d55ecb58e41
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/result.rs:1104:23
[INFO] [stdout]   20:     0x5eec97a369f8 - stateright::checker::explorer::test::can_next::h1fa75c3d0dc4ee7e
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker/explorer.rs:368:13
[INFO] [stdout]   21:     0x5eec97a36757 - stateright::checker::explorer::test::can_next::{{closure}}::h864a96508038850c
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker/explorer.rs:354:18
[INFO] [stdout]   22:     0x5eec9780d8d6 - core::ops::function::FnOnce::call_once::h8885173b13a84bb9
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5eec97b3936b - core::ops::function::FnOnce::call_once::h109cf8051a59b34e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5eec97b3936b - test::__rust_begin_short_backtrace::hf4fff89d377446ba
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:621:18
[INFO] [stdout]   25:     0x5eec97b38ba7 - test::run_test_in_process::{{closure}}::h0e39181dd7ee5a43
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:60
[INFO] [stdout]   26:     0x5eec97b38ba7 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc5a66a30f0bdfd1f
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x5eec97b38ba7 - std::panicking::try::do_call::h873b7cf639554a5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   28:     0x5eec97b38ba7 - std::panicking::try::hdb19862fad9c8bd1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   29:     0x5eec97b38ba7 - std::panic::catch_unwind::h281fe732d236d260
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   30:     0x5eec97b38ba7 - test::run_test_in_process::h949b6df8457ed338
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:27
[INFO] [stdout]   31:     0x5eec97b38ba7 - test::run_test::{{closure}}::h52c556a6d4740e10
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:565:43
[INFO] [stdout]   32:     0x5eec97afde84 - test::run_test::{{closure}}::h4237f6381c45ccb9
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:595:41
[INFO] [stdout]   33:     0x5eec97afde84 - std::sys::backtrace::__rust_begin_short_backtrace::h505c97a579eca628
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   34:     0x5eec97b0154e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9e86b2e2bc107ea3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:538:17
[INFO] [stdout]   35:     0x5eec97b0154e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h8b06ddb275ff4a25
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x5eec97b0154e - std::panicking::try::do_call::hb26ecd7cd9a9355d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   37:     0x5eec97b0154e - std::panicking::try::h8ddeca9d705f9069
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   38:     0x5eec97b0154e - std::panic::catch_unwind::h49e1c33078844c46
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   39:     0x5eec97b0154e - std::thread::Builder::spawn_unchecked_::{{closure}}::h6073db6ff56ad35d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:537:30
[INFO] [stdout]   40:     0x5eec97b0154e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2c5a5f3779c774f1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x5eec97bcd96b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf75717d9f28faebf
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   42:     0x5eec97bcd96b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7bd883a5f3c5f3c1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   43:     0x5eec97bcd96b - std::sys::pal::unix::thread::Thread::new::thread_start::hcc78f3943333fa94
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   44:     0x78a2efcacac3 - <unknown>
[INFO] [stdout]   45:     0x78a2efd3da04 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- checker::explorer::test::smoke_test_states stdout ----
[INFO] [stdout] thread 'checker::explorer::test::smoke_test_states' panicked at src/checker/explorer.rs:419:9:
[INFO] [stdout] assertion `left == right` failed
[INFO] [stdout]   left: [StateView { action: None, outcome: None, state: Some(ActorModelState { actor_states: [0, 0], history: (0, 1), is_timer_set: [Timers({}), Timers({})], network: UnorderedNonDuplicating({Envelope { src: Id(0), dst: Id(1), msg: Ping(0) }: 1}) }), properties: [(Always, "delta within 1", None), (Sometimes, "can reach max", Some("16359729310367095768/8618450214651004115/14343504702985987085/11731771926007951356")), (Eventually, "must reach max", Some("16359729310367095768/8618450214651004115/14343504702985987085/11731771926007951356/14196411993139188013/16523675082925606406")), (Eventually, "must exceed max", Some("16359729310367095768/8618450214651004115/14343504702985987085/11731771926007951356/14196411993139188013/16523675082925606406")), (Always, "#in <= #out", None), (Eventually, "#out <= #in + 1", None)], svg: Some("<svg version='1.1' baseProfile='full' width='500' height='30' viewbox='-20 -20 520 50' xmlns='http://www.w3.org/2000/svg'><defs><marker class='svg-event-shape' id='arrow' markerWidth='12' markerHeight='10' refX='12' refY='5' orient='auto'><polygon points='0 0, 12 5, 0 10' /></marker></defs><line x1='0' y1='0' x2='0' y2='30' class='svg-actor-timeline' />\n<text x='0' y='0' class='svg-actor-label'>0</text>\n<line x1='100' y1='0' x2='100' y2='30' class='svg-actor-timeline' />\n<text x='100' y='0' class='svg-actor-label'>1</text>\n</svg>\n") }]
[INFO] [stdout]  right: [StateView { action: None, outcome: None, state: Some(ActorModelState { actor_states: [0, 0], history: (0, 1), is_timer_set: [Timers({}), Timers({})], network: UnorderedNonDuplicating({Envelope { src: Id(0), dst: Id(1), msg: Ping(0) }: 1}) }), properties: [(Always, "delta within 1", None), (Sometimes, "can reach max", Some("9825351251631602636/3760012235735042049/7133060688412568841/11622042860899162315")), (Eventually, "must reach max", Some("9825351251631602636/3760012235735042049/7133060688412568841/11622042860899162315/5132103924661761264/12325952466011360495")), (Eventually, "must exceed max", Some("9825351251631602636/3760012235735042049/7133060688412568841/11622042860899162315/5132103924661761264/12325952466011360495")), (Always, "#in <= #out", None), (Eventually, "#out <= #in + 1", None)], svg: Some("<svg version='1.1' baseProfile='full' width='500' height='30' viewbox='-20 -20 520 50' xmlns='http://www.w3.org/2000/svg'><defs><marker class='svg-event-shape' id='arrow' markerWidth='12' markerHeight='10' refX='12' refY='5' orient='auto'><polygon points='0 0, 12 5, 0 10' /></marker></defs><line x1='0' y1='0' x2='0' y2='30' class='svg-actor-timeline' />\n<text x='0' y='0' class='svg-actor-label'>0</text>\n<line x1='100' y1='0' x2='100' y2='30' class='svg-actor-timeline' />\n<text x='100' y='0' class='svg-actor-label'>1</text>\n</svg>\n") }]
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5eec97bc811a - std::backtrace_rs::backtrace::libunwind::trace::h5a5b8284f2d0c266
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5eec97bc811a - std::backtrace_rs::backtrace::trace_unsynchronized::h76d4f1c9b0b875e3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5eec97bc811a - std::sys::backtrace::_print_fmt::hc4546b8364a537c6
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5eec97bc811a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h5b6bd5631a6d1f6b
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5eec97bedff3 - core::fmt::rt::Argument::fmt::h270f6602a2b96f62
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5eec97bedff3 - core::fmt::write::h7550c97b06c86515
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/mod.rs:1186:21
[INFO] [stdout]    6:     0x5eec97bc5293 - std::io::Write::write_fmt::h509ff860e5956e5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/io/mod.rs:1839:15
[INFO] [stdout]    7:     0x5eec97bc7f62 - std::sys::backtrace::BacktraceLock::print::h2395ccd2c84ba3aa
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5eec97bc957a - std::panicking::default_hook::{{closure}}::he19d4c7230e07961
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5eec97bc9384 - std::panicking::default_hook::hf614597d3c67bbdb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5eec97b349a9 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39b51ce4599c23d1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   11:     0x5eec97b349a9 - test::test_main::{{closure}}::he977ae839a582784
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:133:21
[INFO] [stdout]   12:     0x5eec97bc9c18 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h9455091b6b06f9fb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   13:     0x5eec97bc9c18 - std::panicking::rust_panic_with_hook::h8942133a8b252070
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5eec97bc99da - std::panicking::begin_panic_handler::{{closure}}::hb5f5963570096b29
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5eec97bc85f9 - std::sys::backtrace::__rust_end_short_backtrace::h6208cedc1922feda
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5eec97bc966c - rust_begin_unwind
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5eec97581070 - core::panicking::panic_fmt::h0c3082644d1bf418
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:74:14
[INFO] [stdout]   18:     0x5eec9758143b - core::panicking::assert_failed_inner::h2ddf1fcc067fa858
[INFO] [stdout]   19:     0x5eec978c6f53 - core::panicking::assert_failed::h939bca09bea48128
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:367:5
[INFO] [stdout]   20:     0x5eec97a3866b - stateright::checker::explorer::test::smoke_test_states::h185bd38b44da5171
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker/explorer.rs:419:9
[INFO] [stdout]   21:     0x5eec97a375c7 - stateright::checker::explorer::test::smoke_test_states::{{closure}}::hecb16f8ea87e7d11
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker/explorer.rs:403:27
[INFO] [stdout]   22:     0x5eec9780d616 - core::ops::function::FnOnce::call_once::h82217b4276a49101
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5eec97b3936b - core::ops::function::FnOnce::call_once::h109cf8051a59b34e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5eec97b3936b - test::__rust_begin_short_backtrace::hf4fff89d377446ba
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:621:18
[INFO] [stdout]   25:     0x5eec97b38ba7 - test::run_test_in_process::{{closure}}::h0e39181dd7ee5a43
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:60
[INFO] [stdout]   26:     0x5eec97b38ba7 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc5a66a30f0bdfd1f
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x5eec97b38ba7 - std::panicking::try::do_call::h873b7cf639554a5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   28:     0x5eec97b38ba7 - std::panicking::try::hdb19862fad9c8bd1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   29:     0x5eec97b38ba7 - std::panic::catch_unwind::h281fe732d236d260
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   30:     0x5eec97b38ba7 - test::run_test_in_process::h949b6df8457ed338
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:27
[INFO] [stdout]   31:     0x5eec97b38ba7 - test::run_test::{{closure}}::h52c556a6d4740e10
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:565:43
[INFO] [stdout]   32:     0x5eec97afde84 - test::run_test::{{closure}}::h4237f6381c45ccb9
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:595:41
[INFO] [stdout]   33:     0x5eec97afde84 - std::sys::backtrace::__rust_begin_short_backtrace::h505c97a579eca628
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   34:     0x5eec97b0154e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9e86b2e2bc107ea3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:538:17
[INFO] [stdout]   35:     0x5eec97b0154e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h8b06ddb275ff4a25
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x5eec97b0154e - std::panicking::try::do_call::hb26ecd7cd9a9355d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   37:     0x5eec97b0154e - std::panicking::try::h8ddeca9d705f9069
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   38:     0x5eec97b0154e - std::panic::catch_unwind::h49e1c33078844c46
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   39:     0x5eec97b0154e - std::thread::Builder::spawn_unchecked_::{{closure}}::h6073db6ff56ad35d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:537:30
[INFO] [stdout]   40:     0x5eec97b0154e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2c5a5f3779c774f1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x5eec97bcd96b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf75717d9f28faebf
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   42:     0x5eec97bcd96b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7bd883a5f3c5f3c1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   43:     0x5eec97bcd96b - std::sys::pal::unix::thread::Thread::new::thread_start::hcc78f3943333fa94
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   44:     0x78a2efcacac3 - <unknown>
[INFO] [stdout]   45:     0x78a2efd3da04 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- checker::test_report::report_includes_property_names_and_paths stdout ----
[INFO] [stdout] thread 'checker::test_report::report_includes_property_names_and_paths' panicked at src/checker.rs:734:9:
[INFO] [stdout] Output did not end as expected (see test). output="Checking. states=1, unique=1, depth=0\nDone. states=15, unique=12, depth=4, sec=1\nDiscovered \"solvable\" example Path[3]:\n- IncreaseX\n- IncreaseX\n- IncreaseY\nFingerprint path: 15789874157635775139/3399013698906012714/6286835590026062508/4046061237367388924\n"`
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5eec97bc811a - std::backtrace_rs::backtrace::libunwind::trace::h5a5b8284f2d0c266
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5eec97bc811a - std::backtrace_rs::backtrace::trace_unsynchronized::h76d4f1c9b0b875e3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5eec97bc811a - std::sys::backtrace::_print_fmt::hc4546b8364a537c6
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5eec97bc811a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h5b6bd5631a6d1f6b
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5eec97bedff3 - core::fmt::rt::Argument::fmt::h270f6602a2b96f62
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5eec97bedff3 - core::fmt::write::h7550c97b06c86515
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/mod.rs:1186:21
[INFO] [stdout]    6:     0x5eec97bc5293 - std::io::Write::write_fmt::h509ff860e5956e5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/io/mod.rs:1839:15
[INFO] [stdout]    7:     0x5eec97bc7f62 - std::sys::backtrace::BacktraceLock::print::h2395ccd2c84ba3aa
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5eec97bc957a - std::panicking::default_hook::{{closure}}::he19d4c7230e07961
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5eec97bc9384 - std::panicking::default_hook::hf614597d3c67bbdb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5eec97b349a9 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39b51ce4599c23d1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   11:     0x5eec97b349a9 - test::test_main::{{closure}}::he977ae839a582784
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:133:21
[INFO] [stdout]   12:     0x5eec97bc9c18 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h9455091b6b06f9fb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   13:     0x5eec97bc9c18 - std::panicking::rust_panic_with_hook::h8942133a8b252070
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5eec97bc99da - std::panicking::begin_panic_handler::{{closure}}::hb5f5963570096b29
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5eec97bc85f9 - std::sys::backtrace::__rust_end_short_backtrace::h6208cedc1922feda
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5eec97bc966c - rust_begin_unwind
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5eec97581070 - core::panicking::panic_fmt::h0c3082644d1bf418
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:74:14
[INFO] [stdout]   18:     0x5eec97af48ab - stateright::checker::test_report::report_includes_property_names_and_paths::h60903671ace2a528
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker.rs:734:9
[INFO] [stdout]   19:     0x5eec97af4387 - stateright::checker::test_report::report_includes_property_names_and_paths::{{closure}}::h619e233a0194ccbe
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker.rs:715:50
[INFO] [stdout]   20:     0x5eec9780fa46 - core::ops::function::FnOnce::call_once::he5d0bd376b76ad29
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   21:     0x5eec97b3936b - core::ops::function::FnOnce::call_once::h109cf8051a59b34e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x5eec97b3936b - test::__rust_begin_short_backtrace::hf4fff89d377446ba
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:621:18
[INFO] [stdout]   23:     0x5eec97b38ba7 - test::run_test_in_process::{{closure}}::h0e39181dd7ee5a43
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:60
[INFO] [stdout]   24:     0x5eec97b38ba7 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc5a66a30f0bdfd1f
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   25:     0x5eec97b38ba7 - std::panicking::try::do_call::h873b7cf639554a5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   26:     0x5eec97b38ba7 - std::panicking::try::hdb19862fad9c8bd1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   27:     0x5eec97b38ba7 - std::panic::catch_unwind::h281fe732d236d260
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   28:     0x5eec97b38ba7 - test::run_test_in_process::h949b6df8457ed338
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:27
[INFO] [stdout]   29:     0x5eec97b38ba7 - test::run_test::{{closure}}::h52c556a6d4740e10
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:565:43
[INFO] [stdout]   30:     0x5eec97afde84 - test::run_test::{{closure}}::h4237f6381c45ccb9
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:595:41
[INFO] [stdout]   31:     0x5eec97afde84 - std::sys::backtrace::__rust_begin_short_backtrace::h505c97a579eca628
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   32:     0x5eec97b0154e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9e86b2e2bc107ea3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:538:17
[INFO] [stdout]   33:     0x5eec97b0154e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h8b06ddb275ff4a25
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   34:     0x5eec97b0154e - std::panicking::try::do_call::hb26ecd7cd9a9355d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   35:     0x5eec97b0154e - std::panicking::try::h8ddeca9d705f9069
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   36:     0x5eec97b0154e - std::panic::catch_unwind::h49e1c33078844c46
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   37:     0x5eec97b0154e - std::thread::Builder::spawn_unchecked_::{{closure}}::h6073db6ff56ad35d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:537:30
[INFO] [stdout]   38:     0x5eec97b0154e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2c5a5f3779c774f1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   39:     0x5eec97bcd96b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf75717d9f28faebf
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   40:     0x5eec97bcd96b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7bd883a5f3c5f3c1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   41:     0x5eec97bcd96b - std::sys::pal::unix::thread::Thread::new::thread_start::hcc78f3943333fa94
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   42:     0x78a2efcacac3 - <unknown>
[INFO] [stdout]   43:     0x78a2efd3da04 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     actor::model::test::handles_ordered_network_flag
[INFO] [stdout]     checker::explorer::test::can_next
[INFO] [stdout]     checker::explorer::test::smoke_test_states
[INFO] [stdout]     checker::test_report::report_includes_property_names_and_paths
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 81 passed; 4 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.28s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "c026a2a5ad4ad1906cddab5a75b364829fab8fc020a98ec4d51696d6db75ff35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c026a2a5ad4ad1906cddab5a75b364829fab8fc020a98ec4d51696d6db75ff35", kill_on_drop: false }`
[INFO] [stdout] c026a2a5ad4ad1906cddab5a75b364829fab8fc020a98ec4d51696d6db75ff35
