[INFO] fetching crate stateright 0.30.2... [INFO] testing stateright-0.30.2 against beta-2025-02-18 for beta-1.86-1 [INFO] extracting crate stateright 0.30.2 into /workspace/builds/worker-6-tc2/source [INFO] validating manifest of crates.io crate stateright 0.30.2 on toolchain beta-2025-02-18 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-02-18" "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-6-tc2/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" "+beta-2025-02-18" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-02-18" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 749b185113d21ca981033fe0c3d0a8852d25372ab20f13ba889e561eb00ce4c2 [INFO] running `Command { std: "docker" "start" "-a" "749b185113d21ca981033fe0c3d0a8852d25372ab20f13ba889e561eb00ce4c2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "749b185113d21ca981033fe0c3d0a8852d25372ab20f13ba889e561eb00ce4c2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "749b185113d21ca981033fe0c3d0a8852d25372ab20f13ba889e561eb00ce4c2", kill_on_drop: false }` [INFO] [stdout] 749b185113d21ca981033fe0c3d0a8852d25372ab20f13ba889e561eb00ce4c2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-02-18" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3224720647f7f7ed6cbb0e5efa287f3a36ebaef0ce3764ee75dc13420dcde20b [INFO] running `Command { std: "docker" "start" "-a" "3224720647f7f7ed6cbb0e5efa287f3a36ebaef0ce3764ee75dc13420dcde20b", 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 smallvec v1.13.2 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling serde v1.0.203 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.17 [INFO] [stderr] Compiling serde_json v1.0.117 [INFO] [stderr] Compiling zerocopy v0.7.34 [INFO] [stderr] Compiling log v0.4.21 [INFO] [stderr] Compiling itoa v1.0.11 [INFO] [stderr] Compiling chunked_transfer v1.5.0 [INFO] [stderr] Compiling httpdate v1.0.3 [INFO] [stderr] Compiling ascii v1.1.0 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling ryu v1.0.18 [INFO] [stderr] Compiling id-set v0.2.2 [INFO] [stderr] Compiling choice v0.0.2 [INFO] [stderr] Compiling nohash-hasher v0.2.0 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling tiny_http v0.12.0 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Compiling dashmap v5.5.3 [INFO] [stderr] Compiling parking_lot v0.12.3 [INFO] [stderr] Compiling rand_core v0.6.4 [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 16.55s [INFO] running `Command { std: "docker" "inspect" "3224720647f7f7ed6cbb0e5efa287f3a36ebaef0ce3764ee75dc13420dcde20b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3224720647f7f7ed6cbb0e5efa287f3a36ebaef0ce3764ee75dc13420dcde20b", kill_on_drop: false }` [INFO] [stdout] 3224720647f7f7ed6cbb0e5efa287f3a36ebaef0ce3764ee75dc13420dcde20b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-02-18" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b734588b19ac7fb9d5409d0c4584b4d850b12d4be7c522be10826247fea5f897 [INFO] running `Command { std: "docker" "start" "-a" "b734588b19ac7fb9d5409d0c4584b4d850b12d4be7c522be10826247fea5f897", 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 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 Rewrite 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 35.88s [INFO] running `Command { std: "docker" "inspect" "b734588b19ac7fb9d5409d0c4584b4d850b12d4be7c522be10826247fea5f897", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b734588b19ac7fb9d5409d0c4584b4d850b12d4be7c522be10826247fea5f897", kill_on_drop: false }` [INFO] [stdout] b734588b19ac7fb9d5409d0c4584b4d850b12d4be7c522be10826247fea5f897 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-02-18" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] decd805582cb3d6f9f926ea1a9a81104eeabd8a4bd4b69f937e84dccade847f7 [INFO] running `Command { std: "docker" "start" "-a" "decd805582cb3d6f9f926ea1a9a81104eeabd8a4bd4b69f937e84dccade847f7", 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 Rewrite 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.10s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/stateright-2a6e10fd3914ef0b) [INFO] [stdout] [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::spawn::test::can_decode_id ... ok [INFO] [stdout] test actor::model::test::handles_undeliverable_messages ... ok [INFO] [stdout] test actor::spawn::test::can_encode_id ... ok [INFO] [stdout] test actor::model::choice_test::choice_correctly_implements_actor ... ok [INFO] [stdout] test actor::test::peer_ids_are_computed_correctly ... ok [INFO] [stdout] test actor::model::test::might_never_reach_beyond_max ... ok [INFO] [stdout] test actor::network::test::can_enumerate_and_parse_names ... ok [INFO] [stdout] test actor::test::majority_is_computed_correctly ... ok [INFO] [stdout] test actor::model_state::test::can_find_representative_from_equivalence_class ... ok [INFO] [stdout] test actor::model::test::no_op_depends_on_network ... ok [INFO] [stdout] test checker::bfs::test::visits_states_in_bfs_order ... ok [INFO] [stdout] test checker::dfs::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test checker::dfs::test::can_apply_symmetry_reduction ... ok [INFO] [stdout] test actor::model::test::resets_timer ... ok [INFO] [stdout] test checker::dfs::test::visits_states_in_dfs_order ... ok [INFO] [stdout] test checker::explorer::test::err_for_invalid_fingerprint ... ok [INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_eventually_delivered ... ok [INFO] [stdout] test checker::explorer::test::can_init ... ok [INFO] [stdout] test checker::on_demand::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test checker::explorer::test::smoke_test_status ... ok [INFO] [stdout] test actor::test::vec_can_serve_as_actor ... 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::rewrite::test::can_rewrite_id_vec ... 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 actor::ordered_reliable_link::test::messages_are_delivered_in_order ... ok [INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_not_delivered_twice ... ok [INFO] [stdout] test actor::model::test::unordered_network_has_a_bug ... ok [INFO] [stdout] test checker::rewrite::test::can_rewrite_network ... ok [INFO] [stdout] test checker::test_path::can_build_path_from_fingerprints ... ok [INFO] [stdout] test checker::test_eventually_property_checker::fixme_can_miss_counterexample_when_revisiting_a_state ... 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_vec_history ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_unlinearizable_register_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::linearizability::test::rejects_invalid_history ... ok [INFO] [stdout] test checker::test_eventually_property_checker::can_discover_counterexample ... 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_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::sequential_consistency::test::identifies_serializable_vec_history ... ok [INFO] [stdout] test semantics::vec::test::models_expected_semantics ... ok [INFO] [stdout] test semantics::vec::test::rejects_invalid_histories ... ok [INFO] [stdout] test semantics::write_once_register::test::models_expected_semantics ... 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::densenatmap::test::can_construct_and_insert ... 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 util::hashable_hash_map_test::can_hash_map_of_maps ... ok [INFO] [stdout] test util::hashable_hash_map_test::different_hash_if_items_differ ... ok [INFO] [stdout] test util::hashable_hash_set_test::can_hash_set_of_sets ... ok [INFO] [stdout] test util::hashable_hash_map_test::insertion_order_is_irrelevant ... ok [INFO] [stdout] test util::hashable_hash_set_test::insertion_order_is_irrelevant ... ok [INFO] [stdout] test util::hashable_hash_set_test::different_hash_if_items_differ ... ok [INFO] [stdout] test util::vector_clock::test::can_display ... ok [INFO] [stdout] test util::vector_clock::test::can_increment ... ok [INFO] [stdout] test util::vector_clock::test::can_hash ... ok [INFO] [stdout] test util::vector_clock::test::can_equate ... ok [INFO] [stdout] test util::vector_clock::test::can_order_partially ... ok [INFO] [stdout] test util::vector_clock::test::can_merge ... 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::explorer::test::can_next ... FAILED [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::path::test::panics_if_unable_to_reconstruct_next_state ... ok [INFO] [stdout] test util::densenatmap::test::panics_on_out_of_order_insertion - should panic ... ok [INFO] [stdout] test checker::dfs::test::handles_panics_gracefully - should panic ... ok [INFO] [stdout] test 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] [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: 0x57c2f4ff2770 - std::backtrace_rs::backtrace::libunwind::trace::h8ddfbb338e69e199 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x57c2f4ff2770 - std::backtrace_rs::backtrace::trace_unsynchronized::h4b42ed801e8ee862 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x57c2f4ff2770 - std::sys::backtrace::_print_fmt::hb90198f2c10bf707 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x57c2f4ff2770 - ::fmt::h0f123f0656f13ecf [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x57c2f5019883 - core::fmt::rt::Argument::fmt::h12e51c1529489cd8 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/fmt/rt.rs:177:76 [INFO] [stdout] 5: 0x57c2f5019883 - core::fmt::write::h0abcdef7aa759353 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/fmt/mod.rs:1449:21 [INFO] [stdout] 6: 0x57c2f4fef843 - std::io::Write::write_fmt::h7dca996477fd2572 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/io/mod.rs:1890:15 [INFO] [stdout] 7: 0x57c2f4ff25c2 - std::sys::backtrace::BacktraceLock::print::h759bdab738e31d9d [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x57c2f4ff3b9f - std::panicking::default_hook::{{closure}}::h0616f7020c8b9e0d [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:298:22 [INFO] [stdout] 9: 0x57c2f4ff39b8 - std::panicking::default_hook::hcb4bf3fe9044f7f6 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:322:9 [INFO] [stdout] 10: 0x57c2f4f5b425 - as core::ops::function::Fn>::call::h279e54743b3b5624 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1990:9 [INFO] [stdout] 11: 0x57c2f4f5b425 - test::test_main::{{closure}}::h1534cf01c0e4ff40 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:135:21 [INFO] [stdout] 12: 0x57c2f4ff4613 - as core::ops::function::Fn>::call::h1e945e436dfc22a7 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1990:9 [INFO] [stdout] 13: 0x57c2f4ff4613 - std::panicking::rust_panic_with_hook::h2fd8d6252462d800 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:839:13 [INFO] [stdout] 14: 0x57c2f4ff42ea - std::panicking::begin_panic_handler::{{closure}}::h746cf6ba43e1c73f [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:704:13 [INFO] [stdout] 15: 0x57c2f4ff2c89 - std::sys::backtrace::__rust_end_short_backtrace::hba3f7b171935b491 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 16: 0x57c2f4ff3f7d - rust_begin_unwind [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:695:5 [INFO] [stdout] 17: 0x57c2f49e9300 - core::panicking::panic_fmt::h34cc4efb1683329b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panicking.rs:75:14 [INFO] [stdout] 18: 0x57c2f49e972a - core::panicking::assert_failed_inner::ha3e43baa9ac7a860 [INFO] [stdout] 19: 0x57c2f4e1567c - core::panicking::assert_failed::ha5610fc3cc79d688 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panicking.rs:380:5 [INFO] [stdout] 20: 0x57c2f4f1bb22 - stateright::actor::model::test::handles_ordered_network_flag::he9ec5eaa7031defe [INFO] [stdout] at /opt/rustwide/workdir/src/actor/model.rs:1038:9 [INFO] [stdout] 21: 0x57c2f4f1ae37 - stateright::actor::model::test::handles_ordered_network_flag::{{closure}}::h16b7fd862c2e8d43 [INFO] [stdout] at /opt/rustwide/workdir/src/actor/model.rs:979:38 [INFO] [stdout] 22: 0x57c2f4becaa6 - core::ops::function::FnOnce::call_once::hdeb4618c007f8b79 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x57c2f4f60c1b - core::ops::function::FnOnce::call_once::h646a81b1a0ee3114 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x57c2f4f60c1b - test::__rust_begin_short_backtrace::h9737b749cdf20b73 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:637:18 [INFO] [stdout] 25: 0x57c2f4f5fa98 - test::run_test_in_process::{{closure}}::hc9246156bf12c5e3 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:660:60 [INFO] [stdout] 26: 0x57c2f4f5fa98 - as core::ops::function::FnOnce<()>>::call_once::hd187ec090a91a453 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 27: 0x57c2f4f5fa98 - std::panicking::try::do_call::hb7490276b7008401 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:587:40 [INFO] [stdout] 28: 0x57c2f4f5fa98 - std::panicking::try::hde59a334d39e511f [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:550:19 [INFO] [stdout] 29: 0x57c2f4f5fa98 - std::panic::catch_unwind::h777cbed9f782814a [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panic.rs:358:14 [INFO] [stdout] 30: 0x57c2f4f5fa98 - test::run_test_in_process::h6282ed78cab70f02 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:660:27 [INFO] [stdout] 31: 0x57c2f4f5fa98 - test::run_test::{{closure}}::ha4e6ef53f436d64b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:581:43 [INFO] [stdout] 32: 0x57c2f4f23a25 - test::run_test::{{closure}}::he11a461bf23e93a3 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:611:41 [INFO] [stdout] 33: 0x57c2f4f23a25 - std::sys::backtrace::__rust_begin_short_backtrace::h25c92ff64d2c4388 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 34: 0x57c2f4f273fa - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h6e893de0bbdcdcce [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 35: 0x57c2f4f273fa - as core::ops::function::FnOnce<()>>::call_once::h2b3c3ff4a3a96573 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 36: 0x57c2f4f273fa - std::panicking::try::do_call::hcc3185a4abc5431b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:587:40 [INFO] [stdout] 37: 0x57c2f4f273fa - std::panicking::try::hc832a415a1d2ee28 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:550:19 [INFO] [stdout] 38: 0x57c2f4f273fa - std::panic::catch_unwind::h5e16acac36e3f225 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panic.rs:358:14 [INFO] [stdout] 39: 0x57c2f4f273fa - std::thread::Builder::spawn_unchecked_::{{closure}}::h9863d22f929fcd53 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 40: 0x57c2f4f273fa - core::ops::function::FnOnce::call_once{{vtable.shim}}::h707ec2cca9db5939 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 41: 0x57c2f4ff835b - as core::ops::function::FnOnce>::call_once::h5f64cf9bc27988da [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1976:9 [INFO] [stdout] 42: 0x57c2f4ff835b - as core::ops::function::FnOnce>::call_once::h2964712f7a7284c7 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1976:9 [INFO] [stdout] 43: 0x57c2f4ff835b - std::sys::pal::unix::thread::Thread::new::thread_start::h22ff3573f90e72f2 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/pal/unix/thread.rs:106:17 [INFO] [stdout] 44: 0x769144450ac3 - [INFO] [stdout] 45: 0x7691444e1a04 - clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- checker::explorer::test::can_next stdout ---- [INFO] [stdout] Expecting path: /345081625419309864/7983701498971690546 [INFO] [stdout] [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: 0x57c2f4ff2770 - std::backtrace_rs::backtrace::libunwind::trace::h8ddfbb338e69e199 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x57c2f4ff2770 - std::backtrace_rs::backtrace::trace_unsynchronized::h4b42ed801e8ee862 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x57c2f4ff2770 - std::sys::backtrace::_print_fmt::hb90198f2c10bf707 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x57c2f4ff2770 - ::fmt::h0f123f0656f13ecf [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x57c2f5019883 - core::fmt::rt::Argument::fmt::h12e51c1529489cd8 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/fmt/rt.rs:177:76 [INFO] [stdout] 5: 0x57c2f5019883 - core::fmt::write::h0abcdef7aa759353 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/fmt/mod.rs:1449:21 [INFO] [stdout] 6: 0x57c2f4fef843 - std::io::Write::write_fmt::h7dca996477fd2572 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/io/mod.rs:1890:15 [INFO] [stdout] 7: 0x57c2f4ff25c2 - std::sys::backtrace::BacktraceLock::print::h759bdab738e31d9d [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x57c2f4ff3b9f - std::panicking::default_hook::{{closure}}::h0616f7020c8b9e0d [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:298:22 [INFO] [stdout] 9: 0x57c2f4ff39b8 - std::panicking::default_hook::hcb4bf3fe9044f7f6 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:322:9 [INFO] [stdout] 10: 0x57c2f4f5b425 - as core::ops::function::Fn>::call::h279e54743b3b5624 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1990:9 [INFO] [stdout] 11: 0x57c2f4f5b425 - test::test_main::{{closure}}::h1534cf01c0e4ff40 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:135:21 [INFO] [stdout] 12: 0x57c2f4ff4613 - as core::ops::function::Fn>::call::h1e945e436dfc22a7 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1990:9 [INFO] [stdout] 13: 0x57c2f4ff4613 - std::panicking::rust_panic_with_hook::h2fd8d6252462d800 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:839:13 [INFO] [stdout] 14: 0x57c2f4ff42ea - std::panicking::begin_panic_handler::{{closure}}::h746cf6ba43e1c73f [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:704:13 [INFO] [stdout] 15: 0x57c2f4ff2c89 - std::sys::backtrace::__rust_end_short_backtrace::hba3f7b171935b491 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 16: 0x57c2f4ff3f7d - rust_begin_unwind [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:695:5 [INFO] [stdout] 17: 0x57c2f49e9300 - core::panicking::panic_fmt::h34cc4efb1683329b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panicking.rs:75:14 [INFO] [stdout] 18: 0x57c2f49e97a6 - core::result::unwrap_failed::h7658f905fcb0751c [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/result.rs:1704:5 [INFO] [stdout] 19: 0x57c2f4ec265a - core::result::Result::unwrap::h30023626a385df61 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/result.rs:1109:23 [INFO] [stdout] 20: 0x57c2f4ec265a - stateright::checker::explorer::test::can_next::hc4e559e51caa697b [INFO] [stdout] at /opt/rustwide/workdir/src/checker/explorer.rs:368:13 [INFO] [stdout] 21: 0x57c2f4ec2467 - stateright::checker::explorer::test::can_next::{{closure}}::hd89220cd6e9c16ee [INFO] [stdout] at /opt/rustwide/workdir/src/checker/explorer.rs:354:18 [INFO] [stdout] 22: 0x57c2f4beb0c6 - core::ops::function::FnOnce::call_once::h9aa79829b874ebfb [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x57c2f4f60c1b - core::ops::function::FnOnce::call_once::h646a81b1a0ee3114 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x57c2f4f60c1b - test::__rust_begin_short_backtrace::h9737b749cdf20b73 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:637:18 [INFO] [stdout] 25: 0x57c2f4f5fa98 - test::run_test_in_process::{{closure}}::hc9246156bf12c5e3 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:660:60 [INFO] [stdout] 26: 0x57c2f4f5fa98 - as core::ops::function::FnOnce<()>>::call_once::hd187ec090a91a453 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 27: 0x57c2f4f5fa98 - std::panicking::try::do_call::hb7490276b7008401 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:587:40 [INFO] [stdout] 28: 0x57c2f4f5fa98 - std::panicking::try::hde59a334d39e511f [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:550:19 [INFO] [stdout] 29: 0x57c2f4f5fa98 - std::panic::catch_unwind::h777cbed9f782814a [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panic.rs:358:14 [INFO] [stdout] 30: 0x57c2f4f5fa98 - test::run_test_in_process::h6282ed78cab70f02 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:660:27 [INFO] [stdout] 31: 0x57c2f4f5fa98 - test::run_test::{{closure}}::ha4e6ef53f436d64b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:581:43 [INFO] [stdout] 32: 0x57c2f4f23a25 - test::run_test::{{closure}}::he11a461bf23e93a3 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:611:41 [INFO] [stdout] 33: 0x57c2f4f23a25 - std::sys::backtrace::__rust_begin_short_backtrace::h25c92ff64d2c4388 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 34: 0x57c2f4f273fa - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h6e893de0bbdcdcce [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 35: 0x57c2f4f273fa - as core::ops::function::FnOnce<()>>::call_once::h2b3c3ff4a3a96573 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 36: 0x57c2f4f273fa - std::panicking::try::do_call::hcc3185a4abc5431b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:587:40 [INFO] [stdout] 37: 0x57c2f4f273fa - std::panicking::try::hc832a415a1d2ee28 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:550:19 [INFO] [stdout] 38: 0x57c2f4f273fa - std::panic::catch_unwind::h5e16acac36e3f225 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panic.rs:358:14 [INFO] [stdout] 39: 0x57c2f4f273fa - std::thread::Builder::spawn_unchecked_::{{closure}}::h9863d22f929fcd53 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 40: 0x57c2f4f273fa - core::ops::function::FnOnce::call_once{{vtable.shim}}::h707ec2cca9db5939 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 41: 0x57c2f4ff835b - as core::ops::function::FnOnce>::call_once::h5f64cf9bc27988da [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1976:9 [INFO] [stdout] 42: 0x57c2f4ff835b - as core::ops::function::FnOnce>::call_once::h2964712f7a7284c7 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1976:9 [INFO] [stdout] 43: 0x57c2f4ff835b - std::sys::pal::unix::thread::Thread::new::thread_start::h22ff3573f90e72f2 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/pal/unix/thread.rs:106:17 [INFO] [stdout] 44: 0x769144450ac3 - [INFO] [stdout] 45: 0x7691444e1a04 - clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- checker::explorer::test::smoke_test_states stdout ---- [INFO] [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("\n0\n\n1\n\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("\n0\n\n1\n\n") }] [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x57c2f4ff2770 - std::backtrace_rs::backtrace::libunwind::trace::h8ddfbb338e69e199 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x57c2f4ff2770 - std::backtrace_rs::backtrace::trace_unsynchronized::h4b42ed801e8ee862 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x57c2f4ff2770 - std::sys::backtrace::_print_fmt::hb90198f2c10bf707 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x57c2f4ff2770 - ::fmt::h0f123f0656f13ecf [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x57c2f5019883 - core::fmt::rt::Argument::fmt::h12e51c1529489cd8 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/fmt/rt.rs:177:76 [INFO] [stdout] 5: 0x57c2f5019883 - core::fmt::write::h0abcdef7aa759353 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/fmt/mod.rs:1449:21 [INFO] [stdout] 6: 0x57c2f4fef843 - std::io::Write::write_fmt::h7dca996477fd2572 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/io/mod.rs:1890:15 [INFO] [stdout] 7: 0x57c2f4ff25c2 - std::sys::backtrace::BacktraceLock::print::h759bdab738e31d9d [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x57c2f4ff3b9f - std::panicking::default_hook::{{closure}}::h0616f7020c8b9e0d [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:298:22 [INFO] [stdout] 9: 0x57c2f4ff39b8 - std::panicking::default_hook::hcb4bf3fe9044f7f6 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:322:9 [INFO] [stdout] 10: 0x57c2f4f5b425 - as core::ops::function::Fn>::call::h279e54743b3b5624 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1990:9 [INFO] [stdout] 11: 0x57c2f4f5b425 - test::test_main::{{closure}}::h1534cf01c0e4ff40 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:135:21 [INFO] [stdout] 12: 0x57c2f4ff4613 - as core::ops::function::Fn>::call::h1e945e436dfc22a7 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1990:9 [INFO] [stdout] 13: 0x57c2f4ff4613 - std::panicking::rust_panic_with_hook::h2fd8d6252462d800 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:839:13 [INFO] [stdout] 14: 0x57c2f4ff42ea - std::panicking::begin_panic_handler::{{closure}}::h746cf6ba43e1c73f [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:704:13 [INFO] [stdout] 15: 0x57c2f4ff2c89 - std::sys::backtrace::__rust_end_short_backtrace::hba3f7b171935b491 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 16: 0x57c2f4ff3f7d - rust_begin_unwind [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:695:5 [INFO] [stdout] 17: 0x57c2f49e9300 - core::panicking::panic_fmt::h34cc4efb1683329b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panicking.rs:75:14 [INFO] [stdout] 18: 0x57c2f49e972a - core::panicking::assert_failed_inner::ha3e43baa9ac7a860 [INFO] [stdout] 19: 0x57c2f4e15356 - core::panicking::assert_failed::h55a32a660e216a05 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panicking.rs:380:5 [INFO] [stdout] 20: 0x57c2f4ec4307 - stateright::checker::explorer::test::smoke_test_states::h3dc81f4fccad7b2c [INFO] [stdout] at /opt/rustwide/workdir/src/checker/explorer.rs:419:9 [INFO] [stdout] 21: 0x57c2f4ec31d7 - stateright::checker::explorer::test::smoke_test_states::{{closure}}::h125507a4356cd151 [INFO] [stdout] at /opt/rustwide/workdir/src/checker/explorer.rs:403:27 [INFO] [stdout] 22: 0x57c2f4be8e96 - core::ops::function::FnOnce::call_once::h3557a24e686be7d3 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x57c2f4f60c1b - core::ops::function::FnOnce::call_once::h646a81b1a0ee3114 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x57c2f4f60c1b - test::__rust_begin_short_backtrace::h9737b749cdf20b73 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:637:18 [INFO] [stdout] 25: 0x57c2f4f5fa98 - test::run_test_in_process::{{closure}}::hc9246156bf12c5e3 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:660:60 [INFO] [stdout] 26: 0x57c2f4f5fa98 - as core::ops::function::FnOnce<()>>::call_once::hd187ec090a91a453 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 27: 0x57c2f4f5fa98 - std::panicking::try::do_call::hb7490276b7008401 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:587:40 [INFO] [stdout] 28: 0x57c2f4f5fa98 - std::panicking::try::hde59a334d39e511f [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:550:19 [INFO] [stdout] 29: 0x57c2f4f5fa98 - std::panic::catch_unwind::h777cbed9f782814a [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panic.rs:358:14 [INFO] [stdout] 30: 0x57c2f4f5fa98 - test::run_test_in_process::h6282ed78cab70f02 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:660:27 [INFO] [stdout] 31: 0x57c2f4f5fa98 - test::run_test::{{closure}}::ha4e6ef53f436d64b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:581:43 [INFO] [stdout] 32: 0x57c2f4f23a25 - test::run_test::{{closure}}::he11a461bf23e93a3 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:611:41 [INFO] [stdout] 33: 0x57c2f4f23a25 - std::sys::backtrace::__rust_begin_short_backtrace::h25c92ff64d2c4388 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 34: 0x57c2f4f273fa - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h6e893de0bbdcdcce [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 35: 0x57c2f4f273fa - as core::ops::function::FnOnce<()>>::call_once::h2b3c3ff4a3a96573 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 36: 0x57c2f4f273fa - std::panicking::try::do_call::hcc3185a4abc5431b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:587:40 [INFO] [stdout] 37: 0x57c2f4f273fa - std::panicking::try::hc832a415a1d2ee28 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:550:19 [INFO] [stdout] 38: 0x57c2f4f273fa - std::panic::catch_unwind::h5e16acac36e3f225 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panic.rs:358:14 [INFO] [stdout] 39: 0x57c2f4f273fa - std::thread::Builder::spawn_unchecked_::{{closure}}::h9863d22f929fcd53 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 40: 0x57c2f4f273fa - core::ops::function::FnOnce::call_once{{vtable.shim}}::h707ec2cca9db5939 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 41: 0x57c2f4ff835b - as core::ops::function::FnOnce>::call_once::h5f64cf9bc27988da [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1976:9 [INFO] [stdout] 42: 0x57c2f4ff835b - as core::ops::function::FnOnce>::call_once::h2964712f7a7284c7 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1976:9 [INFO] [stdout] 43: 0x57c2f4ff835b - std::sys::pal::unix::thread::Thread::new::thread_start::h22ff3573f90e72f2 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/pal/unix/thread.rs:106:17 [INFO] [stdout] 44: 0x769144450ac3 - [INFO] [stdout] 45: 0x7691444e1a04 - clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- checker::test_report::report_includes_property_names_and_paths stdout ---- [INFO] [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: 0x57c2f4ff2770 - std::backtrace_rs::backtrace::libunwind::trace::h8ddfbb338e69e199 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x57c2f4ff2770 - std::backtrace_rs::backtrace::trace_unsynchronized::h4b42ed801e8ee862 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x57c2f4ff2770 - std::sys::backtrace::_print_fmt::hb90198f2c10bf707 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x57c2f4ff2770 - ::fmt::h0f123f0656f13ecf [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x57c2f5019883 - core::fmt::rt::Argument::fmt::h12e51c1529489cd8 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/fmt/rt.rs:177:76 [INFO] [stdout] 5: 0x57c2f5019883 - core::fmt::write::h0abcdef7aa759353 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/fmt/mod.rs:1449:21 [INFO] [stdout] 6: 0x57c2f4fef843 - std::io::Write::write_fmt::h7dca996477fd2572 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/io/mod.rs:1890:15 [INFO] [stdout] 7: 0x57c2f4ff25c2 - std::sys::backtrace::BacktraceLock::print::h759bdab738e31d9d [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x57c2f4ff3b9f - std::panicking::default_hook::{{closure}}::h0616f7020c8b9e0d [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:298:22 [INFO] [stdout] 9: 0x57c2f4ff39b8 - std::panicking::default_hook::hcb4bf3fe9044f7f6 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:322:9 [INFO] [stdout] 10: 0x57c2f4f5b425 - as core::ops::function::Fn>::call::h279e54743b3b5624 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1990:9 [INFO] [stdout] 11: 0x57c2f4f5b425 - test::test_main::{{closure}}::h1534cf01c0e4ff40 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:135:21 [INFO] [stdout] 12: 0x57c2f4ff4613 - as core::ops::function::Fn>::call::h1e945e436dfc22a7 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1990:9 [INFO] [stdout] 13: 0x57c2f4ff4613 - std::panicking::rust_panic_with_hook::h2fd8d6252462d800 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:839:13 [INFO] [stdout] 14: 0x57c2f4ff42ea - std::panicking::begin_panic_handler::{{closure}}::h746cf6ba43e1c73f [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:704:13 [INFO] [stdout] 15: 0x57c2f4ff2c89 - std::sys::backtrace::__rust_end_short_backtrace::hba3f7b171935b491 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 16: 0x57c2f4ff3f7d - rust_begin_unwind [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:695:5 [INFO] [stdout] 17: 0x57c2f49e9300 - core::panicking::panic_fmt::h34cc4efb1683329b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panicking.rs:75:14 [INFO] [stdout] 18: 0x57c2f4d4cfc1 - stateright::checker::test_report::report_includes_property_names_and_paths::h6a1a86dd9f1120b6 [INFO] [stdout] at /opt/rustwide/workdir/src/checker.rs:734:9 [INFO] [stdout] 19: 0x57c2f4d4cb47 - stateright::checker::test_report::report_includes_property_names_and_paths::{{closure}}::h72fe7257bdcead7d [INFO] [stdout] at /opt/rustwide/workdir/src/checker.rs:715:50 [INFO] [stdout] 20: 0x57c2f4be9e66 - core::ops::function::FnOnce::call_once::h609b02d230daab66 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 21: 0x57c2f4f60c1b - core::ops::function::FnOnce::call_once::h646a81b1a0ee3114 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x57c2f4f60c1b - test::__rust_begin_short_backtrace::h9737b749cdf20b73 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:637:18 [INFO] [stdout] 23: 0x57c2f4f5fa98 - test::run_test_in_process::{{closure}}::hc9246156bf12c5e3 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:660:60 [INFO] [stdout] 24: 0x57c2f4f5fa98 - as core::ops::function::FnOnce<()>>::call_once::hd187ec090a91a453 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 25: 0x57c2f4f5fa98 - std::panicking::try::do_call::hb7490276b7008401 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:587:40 [INFO] [stdout] 26: 0x57c2f4f5fa98 - std::panicking::try::hde59a334d39e511f [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:550:19 [INFO] [stdout] 27: 0x57c2f4f5fa98 - std::panic::catch_unwind::h777cbed9f782814a [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panic.rs:358:14 [INFO] [stdout] 28: 0x57c2f4f5fa98 - test::run_test_in_process::h6282ed78cab70f02 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:660:27 [INFO] [stdout] 29: 0x57c2f4f5fa98 - test::run_test::{{closure}}::ha4e6ef53f436d64b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:581:43 [INFO] [stdout] 30: 0x57c2f4f23a25 - test::run_test::{{closure}}::he11a461bf23e93a3 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/test/src/lib.rs:611:41 [INFO] [stdout] 31: 0x57c2f4f23a25 - std::sys::backtrace::__rust_begin_short_backtrace::h25c92ff64d2c4388 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 32: 0x57c2f4f273fa - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h6e893de0bbdcdcce [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 33: 0x57c2f4f273fa - as core::ops::function::FnOnce<()>>::call_once::h2b3c3ff4a3a96573 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 34: 0x57c2f4f273fa - std::panicking::try::do_call::hcc3185a4abc5431b [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:587:40 [INFO] [stdout] 35: 0x57c2f4f273fa - std::panicking::try::hc832a415a1d2ee28 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panicking.rs:550:19 [INFO] [stdout] 36: 0x57c2f4f273fa - std::panic::catch_unwind::h5e16acac36e3f225 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/panic.rs:358:14 [INFO] [stdout] 37: 0x57c2f4f273fa - std::thread::Builder::spawn_unchecked_::{{closure}}::h9863d22f929fcd53 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 38: 0x57c2f4f273fa - core::ops::function::FnOnce::call_once{{vtable.shim}}::h707ec2cca9db5939 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 39: 0x57c2f4ff835b - as core::ops::function::FnOnce>::call_once::h5f64cf9bc27988da [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1976:9 [INFO] [stdout] 40: 0x57c2f4ff835b - as core::ops::function::FnOnce>::call_once::h2964712f7a7284c7 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/alloc/src/boxed.rs:1976:9 [INFO] [stdout] 41: 0x57c2f4ff835b - std::sys::pal::unix::thread::Thread::new::thread_start::h22ff3573f90e72f2 [INFO] [stdout] at /rustc/f0cb41030579cd1a6f72bd23f38e677052d5d485/library/std/src/sys/pal/unix/thread.rs:106:17 [INFO] [stdout] 42: 0x769144450ac3 - [INFO] [stdout] 43: 0x7691444e1a04 - clone [INFO] [stdout] 44: 0x0 - [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.12s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] running `Command { std: "docker" "inspect" "decd805582cb3d6f9f926ea1a9a81104eeabd8a4bd4b69f937e84dccade847f7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "decd805582cb3d6f9f926ea1a9a81104eeabd8a4bd4b69f937e84dccade847f7", kill_on_drop: false }` [INFO] [stdout] decd805582cb3d6f9f926ea1a9a81104eeabd8a4bd4b69f937e84dccade847f7