[INFO] fetching crate stateright 0.30.2...
[INFO] testing stateright-0.30.2 against nightly-2024-10-28 for randomize-layout
[INFO] extracting crate stateright 0.30.2 into /workspace/builds/worker-7-tc1/source
[INFO] validating manifest of crates.io crate stateright 0.30.2 on toolchain nightly-2024-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-10-28" "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-7-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" "+nightly-2024-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded choice v0.0.2
[INFO] [stderr]   Downloaded id-set v0.2.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6181b1f3e2ad929c7a79ce865261171daec9adfeb44c24463e29f72293ffbd1d
[INFO] running `Command { std: "docker" "start" "-a" "6181b1f3e2ad929c7a79ce865261171daec9adfeb44c24463e29f72293ffbd1d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6181b1f3e2ad929c7a79ce865261171daec9adfeb44c24463e29f72293ffbd1d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6181b1f3e2ad929c7a79ce865261171daec9adfeb44c24463e29f72293ffbd1d", kill_on_drop: false }`
[INFO] [stdout] 6181b1f3e2ad929c7a79ce865261171daec9adfeb44c24463e29f72293ffbd1d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fb887a3491bfde06f305ae302ebd00ef9e99a011370ec72b459e4d66aecfa1b0
[INFO] running `Command { std: "docker" "start" "-a" "fb887a3491bfde06f305ae302ebd00ef9e99a011370ec72b459e4d66aecfa1b0", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[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 smallvec v1.13.2
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling ascii v1.1.0
[INFO] [stderr]    Compiling chunked_transfer v1.5.0
[INFO] [stderr]    Compiling zerocopy v0.7.34
[INFO] [stderr]    Compiling httpdate v1.0.3
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling choice v0.0.2
[INFO] [stderr]    Compiling nohash-hasher v0.2.0
[INFO] [stderr]    Compiling id-set v0.2.2
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling tiny_http v0.12.0
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling syn v2.0.66
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[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 10.52s
[INFO] running `Command { std: "docker" "inspect" "fb887a3491bfde06f305ae302ebd00ef9e99a011370ec72b459e4d66aecfa1b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fb887a3491bfde06f305ae302ebd00ef9e99a011370ec72b459e4d66aecfa1b0", kill_on_drop: false }`
[INFO] [stdout] fb887a3491bfde06f305ae302ebd00ef9e99a011370ec72b459e4d66aecfa1b0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 52a4f57dc5832b984e01a3d089d1228a49790c662ec2b49bf4930dc45ed5eee5
[INFO] running `Command { std: "docker" "start" "-a" "52a4f57dc5832b984e01a3d089d1228a49790c662ec2b49bf4930dc45ed5eee5", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling is-terminal v0.4.12
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling pico-args v0.5.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 15.58s
[INFO] running `Command { std: "docker" "inspect" "52a4f57dc5832b984e01a3d089d1228a49790c662ec2b49bf4930dc45ed5eee5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "52a4f57dc5832b984e01a3d089d1228a49790c662ec2b49bf4930dc45ed5eee5", kill_on_drop: false }`
[INFO] [stdout] 52a4f57dc5832b984e01a3d089d1228a49790c662ec2b49bf4930dc45ed5eee5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-10-28" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] af0d90ea814cc04f12790417084702cfd2ea22fabd8a493bb194af377d045bb5
[INFO] running `Command { std: "docker" "start" "-a" "af0d90ea814cc04f12790417084702cfd2ea22fabd8a493bb194af377d045bb5", 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.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/stateright-c81939f1f881b092)
[INFO] [stdout] 
[INFO] [stdout] running 85 tests
[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::eventually_reaches_max_on_perfect_delivery_network ... ok
[INFO] [stdout] test actor::model::test::might_never_reach_beyond_max ... 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::model::test::can_reach_max ... ok
[INFO] [stdout] test actor::model::test::resets_timer ... ok
[INFO] [stdout] test actor::spawn::test::can_decode_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::model::test::no_op_depends_on_network ... ok
[INFO] [stdout] test actor::spawn::test::can_encode_id ... ok
[INFO] [stdout] test actor::model::test::visits_expected_states ... ok
[INFO] [stdout] test checker::bfs::test::can_complete_by_eliminating_properties ... ok
[INFO] [stdout] test checker::bfs::test::visits_states_in_bfs_order ... ok
[INFO] [stdout] test actor::model::test::unordered_network_has_a_bug ... ok
[INFO] [stdout] test checker::dfs::test::can_apply_symmetry_reduction ... ok
[INFO] [stdout] test checker::explorer::test::err_for_invalid_fingerprint ... ok
[INFO] [stdout] test actor::test::vec_can_serve_as_actor ... ok
[INFO] [stdout] test checker::explorer::test::can_init ... ok
[INFO] [stdout] test checker::dfs::test::visits_states_in_dfs_order ... ok
[INFO] [stdout] test checker::explorer::test::smoke_test_status ... ok
[INFO] [stdout] test checker::dfs::test::can_complete_by_eliminating_properties ... ok
[INFO] [stdout] test checker::on_demand::test::can_complete_by_eliminating_properties ... 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::on_demand::test::visits_states_in_bfs_order ... 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::simulation::test::can_complete_by_eliminating_properties ... 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 checker::test_eventually_property_checker::can_validate ... ok
[INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_delivered_in_order ... ok
[INFO] [stdout] test semantics::linearizability::test::identifies_linearizable_register_history ... ok
[INFO] [stdout] test semantics::linearizability::test::identifies_unlinearizable_register_history ... ok
[INFO] [stdout] test semantics::linearizability::test::identifies_linearizable_vec_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 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_unserializable_register_history ... ok
[INFO] [stdout] test semantics::sequential_consistency::test::identifies_serializable_vec_history ... 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::rejects_invalid_histories ... ok
[INFO] [stdout] test semantics::vec::test::models_expected_semantics ... ok
[INFO] [stdout] test semantics::vec::test::accepts_valid_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::densenatmap::test::can_construct_and_insert ... ok
[INFO] [stdout] test semantics::write_once_register::test::rejects_invalid_histories ... ok
[INFO] [stdout] test util::densenatmap::test::can_rewrite ... ok
[INFO] [stdout] test util::hashable_hash_map_test::can_hash_map_of_maps ... ok
[INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_not_delivered_twice ... ok
[INFO] [stdout] test util::hashable_hash_map_test::different_hash_if_items_differ ... ok
[INFO] [stdout] test util::hashable_hash_map_test::insertion_order_is_irrelevant ... ok
[INFO] [stdout] test util::hashable_hash_set_test::different_hash_if_items_differ ... ok
[INFO] [stdout] test util::hashable_hash_set_test::insertion_order_is_irrelevant ... ok
[INFO] [stdout] test util::hashable_hash_set_test::can_hash_set_of_sets ... 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::handles_ordered_network_flag ... FAILED
[INFO] [stdout] test checker::bfs::test::handles_panics_gracefully - should panic ... ok
[INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_init_state ... ok
[INFO] [stdout] test checker::explorer::test::can_next ... FAILED
[INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_next_state ... ok
[INFO] [stdout] test util::densenatmap::test::panics_on_out_of_order_insertion - should panic ... ok
[INFO] [stdout] test checker::explorer::test::smoke_test_states ... FAILED
[INFO] [stdout] test checker::dfs::test::handles_panics_gracefully - should panic ... 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::on_demand::test::can_complete_by_enumerating_all_states ... 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 ... 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:     0x5e4d051d26ca - std::backtrace_rs::backtrace::libunwind::trace::h207520d6e9873551
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5e4d051d26ca - std::backtrace_rs::backtrace::trace_unsynchronized::h2ed7433f370e3eca
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5e4d051d26ca - std::sys::backtrace::_print_fmt::h916fac51166b18d7
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5e4d051d26ca - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha0a4c9b8ce3802e6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5e4d051f9d43 - core::fmt::rt::Argument::fmt::h4cfc8587d52b3eb5
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5e4d051f9d43 - core::fmt::write::h522cc39e5b36ae9f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/fmt/mod.rs:1190:21
[INFO] [stdout]    6:     0x5e4d051cf2e3 - std::io::Write::write_fmt::h7d3c26752da97734
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/io/mod.rs:1839:15
[INFO] [stdout]    7:     0x5e4d051d2512 - std::sys::backtrace::BacktraceLock::print::h4b9e00b29e9c0942
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5e4d051d3b5a - std::panicking::default_hook::{{closure}}::hb59b88280d0324d9
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5e4d051d3964 - std::panicking::default_hook::he1dd496665be4a29
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5e4d0513aa49 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h4ff71de18744e1dc
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   11:     0x5e4d0513aa49 - test::test_main::{{closure}}::hcf7c055ce117aa81
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:133:21
[INFO] [stdout]   12:     0x5e4d051d4258 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h1d66c6bbd60c9692
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   13:     0x5e4d051d4258 - std::panicking::rust_panic_with_hook::h2ff17fe8f26dfcf8
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5e4d051d401a - std::panicking::begin_panic_handler::{{closure}}::h4fad77951c07e101
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5e4d051d2ba9 - std::sys::backtrace::__rust_end_short_backtrace::hb1a25b3da5d0ea08
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5e4d051d3cac - rust_begin_unwind
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5e4d051f8190 - core::panicking::panic_fmt::ha9db07b529f9b256
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panicking.rs:75:14
[INFO] [stdout]   18:     0x5e4d051f855b - core::panicking::assert_failed_inner::h04f38944d74a80a8
[INFO] [stdout]   19:     0x5e4d04fdd39a - core::panicking::assert_failed::he3eb3b0424864048
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panicking.rs:377:5
[INFO] [stdout]   20:     0x5e4d04ff866b - stateright::actor::model::test::handles_ordered_network_flag::ha56c1ad6315bb571
[INFO] [stdout]                                at /opt/rustwide/workdir/src/actor/model.rs:1038:9
[INFO] [stdout]   21:     0x5e4d04ff7ae7 - stateright::actor::model::test::handles_ordered_network_flag::{{closure}}::h1b9741bd1218a63b
[INFO] [stdout]                                at /opt/rustwide/workdir/src/actor/model.rs:979:38
[INFO] [stdout]   22:     0x5e4d04e88336 - core::ops::function::FnOnce::call_once::hf32f3b6b1f1a760f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5e4d0513f31b - core::ops::function::FnOnce::call_once::h22c3ba5715e93f05
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5e4d0513f31b - test::__rust_begin_short_backtrace::h8e82d8113d0da17f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:621:18
[INFO] [stdout]   25:     0x5e4d0513ec97 - test::run_test_in_process::{{closure}}::h33235f4f20b7b7c7
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:644:60
[INFO] [stdout]   26:     0x5e4d0513ec97 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb5043206310c586f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x5e4d0513ec97 - std::panicking::try::do_call::h9ad4731a60ab23e2
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:557:40
[INFO] [stdout]   28:     0x5e4d0513ec97 - std::panicking::try::h3824d23db772a716
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:520:19
[INFO] [stdout]   29:     0x5e4d0513ec97 - std::panic::catch_unwind::h5afd514605fde46b
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panic.rs:358:14
[INFO] [stdout]   30:     0x5e4d0513ec97 - test::run_test_in_process::h0d5cbfa7067d1720
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:644:27
[INFO] [stdout]   31:     0x5e4d0513ec97 - test::run_test::{{closure}}::h708eb8872708115d
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:565:43
[INFO] [stdout]   32:     0x5e4d051023b4 - test::run_test::{{closure}}::h392c51cee94713ab
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:595:41
[INFO] [stdout]   33:     0x5e4d051023b4 - std::sys::backtrace::__rust_begin_short_backtrace::h2f40290710935a8b
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   34:     0x5e4d05105b5e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h3fd968d89053a903
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/thread/mod.rs:541:17
[INFO] [stdout]   35:     0x5e4d05105b5e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h743f637ba4229880
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x5e4d05105b5e - std::panicking::try::do_call::h07440897322525a6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:557:40
[INFO] [stdout]   37:     0x5e4d05105b5e - std::panicking::try::he5a2e00188156637
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:520:19
[INFO] [stdout]   38:     0x5e4d05105b5e - std::panic::catch_unwind::hbaf3cae49b3c6433
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panic.rs:358:14
[INFO] [stdout]   39:     0x5e4d05105b5e - std::thread::Builder::spawn_unchecked_::{{closure}}::h8e141ea224820bce
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/thread/mod.rs:540:30
[INFO] [stdout]   40:     0x5e4d05105b5e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h90d312fedd7b8ea8
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x5e4d051d804b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h69aa08ddb6adb8b6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   42:     0x5e4d051d804b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5aa36efdb79c806f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   43:     0x5e4d051d804b - std::sys::pal::unix::thread::Thread::new::thread_start::h6cd80a1b4be5158d
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   44:     0x79e1179a3ac3 - <unknown>
[INFO] [stdout]   45:     0x79e117a34a04 - 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:     0x5e4d051d26ca - std::backtrace_rs::backtrace::libunwind::trace::h207520d6e9873551
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5e4d051d26ca - std::backtrace_rs::backtrace::trace_unsynchronized::h2ed7433f370e3eca
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5e4d051d26ca - std::sys::backtrace::_print_fmt::h916fac51166b18d7
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5e4d051d26ca - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha0a4c9b8ce3802e6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5e4d051f9d43 - core::fmt::rt::Argument::fmt::h4cfc8587d52b3eb5
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5e4d051f9d43 - core::fmt::write::h522cc39e5b36ae9f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/fmt/mod.rs:1190:21
[INFO] [stdout]    6:     0x5e4d051cf2e3 - std::io::Write::write_fmt::h7d3c26752da97734
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/io/mod.rs:1839:15
[INFO] [stdout]    7:     0x5e4d051d2512 - std::sys::backtrace::BacktraceLock::print::h4b9e00b29e9c0942
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5e4d051d3b5a - std::panicking::default_hook::{{closure}}::hb59b88280d0324d9
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5e4d051d3964 - std::panicking::default_hook::he1dd496665be4a29
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5e4d0513aa49 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h4ff71de18744e1dc
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   11:     0x5e4d0513aa49 - test::test_main::{{closure}}::hcf7c055ce117aa81
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:133:21
[INFO] [stdout]   12:     0x5e4d051d4258 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h1d66c6bbd60c9692
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   13:     0x5e4d051d4258 - std::panicking::rust_panic_with_hook::h2ff17fe8f26dfcf8
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5e4d051d401a - std::panicking::begin_panic_handler::{{closure}}::h4fad77951c07e101
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5e4d051d2ba9 - std::sys::backtrace::__rust_end_short_backtrace::hb1a25b3da5d0ea08
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5e4d051d3cac - rust_begin_unwind
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5e4d051f8190 - core::panicking::panic_fmt::ha9db07b529f9b256
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panicking.rs:75:14
[INFO] [stdout]   18:     0x5e4d051f85d6 - core::result::unwrap_failed::h5e8218e4d4338b8a
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/result.rs:1698:5
[INFO] [stdout]   19:     0x5e4d050f18e8 - core::result::Result<T,E>::unwrap::h80856a57811f6fb6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/result.rs:1103:23
[INFO] [stdout]   20:     0x5e4d050f18e8 - stateright::checker::explorer::test::can_next::hc11f13c00e7ffc7b
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker/explorer.rs:368:13
[INFO] [stdout]   21:     0x5e4d050f1647 - stateright::checker::explorer::test::can_next::{{closure}}::h86290202a4ea8f61
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker/explorer.rs:354:18
[INFO] [stdout]   22:     0x5e4d04e87536 - core::ops::function::FnOnce::call_once::hc7e0666bb303f605
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5e4d0513f31b - core::ops::function::FnOnce::call_once::h22c3ba5715e93f05
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5e4d0513f31b - test::__rust_begin_short_backtrace::h8e82d8113d0da17f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:621:18
[INFO] [stdout]   25:     0x5e4d0513ec97 - test::run_test_in_process::{{closure}}::h33235f4f20b7b7c7
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:644:60
[INFO] [stdout]   26:     0x5e4d0513ec97 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb5043206310c586f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x5e4d0513ec97 - std::panicking::try::do_call::h9ad4731a60ab23e2
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:557:40
[INFO] [stdout]   28:     0x5e4d0513ec97 - std::panicking::try::h3824d23db772a716
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:520:19
[INFO] [stdout]   29:     0x5e4d0513ec97 - std::panic::catch_unwind::h5afd514605fde46b
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panic.rs:358:14
[INFO] [stdout]   30:     0x5e4d0513ec97 - test::run_test_in_process::h0d5cbfa7067d1720
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:644:27
[INFO] [stdout]   31:     0x5e4d0513ec97 - test::run_test::{{closure}}::h708eb8872708115d
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:565:43
[INFO] [stdout]   32:     0x5e4d051023b4 - test::run_test::{{closure}}::h392c51cee94713ab
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:595:41
[INFO] [stdout]   33:     0x5e4d051023b4 - std::sys::backtrace::__rust_begin_short_backtrace::h2f40290710935a8b
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   34:     0x5e4d05105b5e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h3fd968d89053a903
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/thread/mod.rs:541:17
[INFO] [stdout]   35:     0x5e4d05105b5e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h743f637ba4229880
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x5e4d05105b5e - std::panicking::try::do_call::h07440897322525a6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:557:40
[INFO] [stdout]   37:     0x5e4d05105b5e - std::panicking::try::he5a2e00188156637
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:520:19
[INFO] [stdout]   38:     0x5e4d05105b5e - std::panic::catch_unwind::hbaf3cae49b3c6433
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panic.rs:358:14
[INFO] [stdout]   39:     0x5e4d05105b5e - std::thread::Builder::spawn_unchecked_::{{closure}}::h8e141ea224820bce
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/thread/mod.rs:540:30
[INFO] [stdout]   40:     0x5e4d05105b5e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h90d312fedd7b8ea8
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x5e4d051d804b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h69aa08ddb6adb8b6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   42:     0x5e4d051d804b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5aa36efdb79c806f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   43:     0x5e4d051d804b - std::sys::pal::unix::thread::Thread::new::thread_start::h6cd80a1b4be5158d
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   44:     0x79e1179a3ac3 - <unknown>
[INFO] [stdout]   45:     0x79e117a34a04 - 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:     0x5e4d051d26ca - std::backtrace_rs::backtrace::libunwind::trace::h207520d6e9873551
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5e4d051d26ca - std::backtrace_rs::backtrace::trace_unsynchronized::h2ed7433f370e3eca
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5e4d051d26ca - std::sys::backtrace::_print_fmt::h916fac51166b18d7
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5e4d051d26ca - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha0a4c9b8ce3802e6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5e4d051f9d43 - core::fmt::rt::Argument::fmt::h4cfc8587d52b3eb5
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5e4d051f9d43 - core::fmt::write::h522cc39e5b36ae9f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/fmt/mod.rs:1190:21
[INFO] [stdout]    6:     0x5e4d051cf2e3 - std::io::Write::write_fmt::h7d3c26752da97734
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/io/mod.rs:1839:15
[INFO] [stdout]    7:     0x5e4d051d2512 - std::sys::backtrace::BacktraceLock::print::h4b9e00b29e9c0942
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5e4d051d3b5a - std::panicking::default_hook::{{closure}}::hb59b88280d0324d9
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5e4d051d3964 - std::panicking::default_hook::he1dd496665be4a29
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5e4d0513aa49 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h4ff71de18744e1dc
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   11:     0x5e4d0513aa49 - test::test_main::{{closure}}::hcf7c055ce117aa81
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:133:21
[INFO] [stdout]   12:     0x5e4d051d4258 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h1d66c6bbd60c9692
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   13:     0x5e4d051d4258 - std::panicking::rust_panic_with_hook::h2ff17fe8f26dfcf8
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5e4d051d401a - std::panicking::begin_panic_handler::{{closure}}::h4fad77951c07e101
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5e4d051d2ba9 - std::sys::backtrace::__rust_end_short_backtrace::hb1a25b3da5d0ea08
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5e4d051d3cac - rust_begin_unwind
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5e4d051f8190 - core::panicking::panic_fmt::ha9db07b529f9b256
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panicking.rs:75:14
[INFO] [stdout]   18:     0x5e4d051f855b - core::panicking::assert_failed_inner::h04f38944d74a80a8
[INFO] [stdout]   19:     0x5e4d04fdcff8 - core::panicking::assert_failed::h8c0c8c70eaf87743
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panicking.rs:377:5
[INFO] [stdout]   20:     0x5e4d050f3569 - stateright::checker::explorer::test::smoke_test_states::hd8d39125222b2429
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker/explorer.rs:419:9
[INFO] [stdout]   21:     0x5e4d050f24b7 - stateright::checker::explorer::test::smoke_test_states::{{closure}}::hc9bc2bb49a7c6524
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker/explorer.rs:403:27
[INFO] [stdout]   22:     0x5e4d04e86e26 - core::ops::function::FnOnce::call_once::hb433a6d73a014675
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5e4d0513f31b - core::ops::function::FnOnce::call_once::h22c3ba5715e93f05
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5e4d0513f31b - test::__rust_begin_short_backtrace::h8e82d8113d0da17f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:621:18
[INFO] [stdout]   25:     0x5e4d0513ec97 - test::run_test_in_process::{{closure}}::h33235f4f20b7b7c7
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:644:60
[INFO] [stdout]   26:     0x5e4d0513ec97 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb5043206310c586f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x5e4d0513ec97 - std::panicking::try::do_call::h9ad4731a60ab23e2
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:557:40
[INFO] [stdout]   28:     0x5e4d0513ec97 - std::panicking::try::h3824d23db772a716
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:520:19
[INFO] [stdout]   29:     0x5e4d0513ec97 - std::panic::catch_unwind::h5afd514605fde46b
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panic.rs:358:14
[INFO] [stdout]   30:     0x5e4d0513ec97 - test::run_test_in_process::h0d5cbfa7067d1720
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:644:27
[INFO] [stdout]   31:     0x5e4d0513ec97 - test::run_test::{{closure}}::h708eb8872708115d
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:565:43
[INFO] [stdout]   32:     0x5e4d051023b4 - test::run_test::{{closure}}::h392c51cee94713ab
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:595:41
[INFO] [stdout]   33:     0x5e4d051023b4 - std::sys::backtrace::__rust_begin_short_backtrace::h2f40290710935a8b
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   34:     0x5e4d05105b5e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h3fd968d89053a903
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/thread/mod.rs:541:17
[INFO] [stdout]   35:     0x5e4d05105b5e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h743f637ba4229880
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x5e4d05105b5e - std::panicking::try::do_call::h07440897322525a6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:557:40
[INFO] [stdout]   37:     0x5e4d05105b5e - std::panicking::try::he5a2e00188156637
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:520:19
[INFO] [stdout]   38:     0x5e4d05105b5e - std::panic::catch_unwind::hbaf3cae49b3c6433
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panic.rs:358:14
[INFO] [stdout]   39:     0x5e4d05105b5e - std::thread::Builder::spawn_unchecked_::{{closure}}::h8e141ea224820bce
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/thread/mod.rs:540:30
[INFO] [stdout]   40:     0x5e4d05105b5e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h90d312fedd7b8ea8
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x5e4d051d804b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h69aa08ddb6adb8b6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   42:     0x5e4d051d804b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5aa36efdb79c806f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   43:     0x5e4d051d804b - std::sys::pal::unix::thread::Thread::new::thread_start::h6cd80a1b4be5158d
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   44:     0x79e1179a3ac3 - <unknown>
[INFO] [stdout]   45:     0x79e117a34a04 - 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:     0x5e4d051d26ca - std::backtrace_rs::backtrace::libunwind::trace::h207520d6e9873551
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5e4d051d26ca - std::backtrace_rs::backtrace::trace_unsynchronized::h2ed7433f370e3eca
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5e4d051d26ca - std::sys::backtrace::_print_fmt::h916fac51166b18d7
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5e4d051d26ca - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha0a4c9b8ce3802e6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5e4d051f9d43 - core::fmt::rt::Argument::fmt::h4cfc8587d52b3eb5
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5e4d051f9d43 - core::fmt::write::h522cc39e5b36ae9f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/fmt/mod.rs:1190:21
[INFO] [stdout]    6:     0x5e4d051cf2e3 - std::io::Write::write_fmt::h7d3c26752da97734
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/io/mod.rs:1839:15
[INFO] [stdout]    7:     0x5e4d051d2512 - std::sys::backtrace::BacktraceLock::print::h4b9e00b29e9c0942
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5e4d051d3b5a - std::panicking::default_hook::{{closure}}::hb59b88280d0324d9
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5e4d051d3964 - std::panicking::default_hook::he1dd496665be4a29
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5e4d0513aa49 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h4ff71de18744e1dc
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   11:     0x5e4d0513aa49 - test::test_main::{{closure}}::hcf7c055ce117aa81
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:133:21
[INFO] [stdout]   12:     0x5e4d051d4258 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h1d66c6bbd60c9692
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   13:     0x5e4d051d4258 - std::panicking::rust_panic_with_hook::h2ff17fe8f26dfcf8
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5e4d051d401a - std::panicking::begin_panic_handler::{{closure}}::h4fad77951c07e101
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5e4d051d2ba9 - std::sys::backtrace::__rust_end_short_backtrace::hb1a25b3da5d0ea08
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5e4d051d3cac - rust_begin_unwind
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5e4d051f8190 - core::panicking::panic_fmt::ha9db07b529f9b256
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panicking.rs:75:14
[INFO] [stdout]   18:     0x5e4d050f69bb - stateright::checker::test_report::report_includes_property_names_and_paths::he096ecc20137cafc
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker.rs:734:9
[INFO] [stdout]   19:     0x5e4d050f6497 - stateright::checker::test_report::report_includes_property_names_and_paths::{{closure}}::h73fa7983004b14f6
[INFO] [stdout]                                at /opt/rustwide/workdir/src/checker.rs:715:50
[INFO] [stdout]   20:     0x5e4d04e86bc6 - core::ops::function::FnOnce::call_once::hadfa380989775001
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   21:     0x5e4d0513f31b - core::ops::function::FnOnce::call_once::h22c3ba5715e93f05
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x5e4d0513f31b - test::__rust_begin_short_backtrace::h8e82d8113d0da17f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:621:18
[INFO] [stdout]   23:     0x5e4d0513ec97 - test::run_test_in_process::{{closure}}::h33235f4f20b7b7c7
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:644:60
[INFO] [stdout]   24:     0x5e4d0513ec97 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb5043206310c586f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   25:     0x5e4d0513ec97 - std::panicking::try::do_call::h9ad4731a60ab23e2
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:557:40
[INFO] [stdout]   26:     0x5e4d0513ec97 - std::panicking::try::h3824d23db772a716
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:520:19
[INFO] [stdout]   27:     0x5e4d0513ec97 - std::panic::catch_unwind::h5afd514605fde46b
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panic.rs:358:14
[INFO] [stdout]   28:     0x5e4d0513ec97 - test::run_test_in_process::h0d5cbfa7067d1720
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:644:27
[INFO] [stdout]   29:     0x5e4d0513ec97 - test::run_test::{{closure}}::h708eb8872708115d
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:565:43
[INFO] [stdout]   30:     0x5e4d051023b4 - test::run_test::{{closure}}::h392c51cee94713ab
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/test/src/lib.rs:595:41
[INFO] [stdout]   31:     0x5e4d051023b4 - std::sys::backtrace::__rust_begin_short_backtrace::h2f40290710935a8b
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   32:     0x5e4d05105b5e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h3fd968d89053a903
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/thread/mod.rs:541:17
[INFO] [stdout]   33:     0x5e4d05105b5e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h743f637ba4229880
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   34:     0x5e4d05105b5e - std::panicking::try::do_call::h07440897322525a6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:557:40
[INFO] [stdout]   35:     0x5e4d05105b5e - std::panicking::try::he5a2e00188156637
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panicking.rs:520:19
[INFO] [stdout]   36:     0x5e4d05105b5e - std::panic::catch_unwind::hbaf3cae49b3c6433
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/panic.rs:358:14
[INFO] [stdout]   37:     0x5e4d05105b5e - std::thread::Builder::spawn_unchecked_::{{closure}}::h8e141ea224820bce
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/thread/mod.rs:540:30
[INFO] [stdout]   38:     0x5e4d05105b5e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h90d312fedd7b8ea8
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   39:     0x5e4d051d804b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h69aa08ddb6adb8b6
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   40:     0x5e4d051d804b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5aa36efdb79c806f
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   41:     0x5e4d051d804b - std::sys::pal::unix::thread::Thread::new::thread_start::h6cd80a1b4be5158d
[INFO] [stdout]                                at /rustc/df4ca44d3fbc9301ee17f30f4d474e6ae4b05252/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   42:     0x79e1179a3ac3 - <unknown>
[INFO] [stdout]   43:     0x79e117a34a04 - 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.02s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "af0d90ea814cc04f12790417084702cfd2ea22fabd8a493bb194af377d045bb5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "af0d90ea814cc04f12790417084702cfd2ea22fabd8a493bb194af377d045bb5", kill_on_drop: false }`
[INFO] [stdout] af0d90ea814cc04f12790417084702cfd2ea22fabd8a493bb194af377d045bb5
