[INFO] fetching crate stateright 0.30.1... [INFO] testing stateright-0.30.1 against beta-2023-10-04 for beta-1.74-1 [INFO] extracting crate stateright 0.30.1 into /workspace/builds/worker-0-tc2/source [INFO] validating manifest of crates.io crate stateright 0.30.1 on toolchain beta-2023-10-04 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-10-04" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate stateright 0.30.1 [INFO] finished tweaking crates.io crate stateright 0.30.1 [INFO] tweaked toml for crates.io crate stateright 0.30.1 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate crates.io crate stateright 0.30.1 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-2023-10-04" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4f8da3c744d2da974e54ce020a79f4ad54313e914ebeaab8fc086f07e8d8b066" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-10-04" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2555992c792f813eaea4222e0b14a8048ad3dd4c90fbd2452121426274fffe8f [INFO] running `Command { std: "docker" "start" "-a" "2555992c792f813eaea4222e0b14a8048ad3dd4c90fbd2452121426274fffe8f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2555992c792f813eaea4222e0b14a8048ad3dd4c90fbd2452121426274fffe8f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2555992c792f813eaea4222e0b14a8048ad3dd4c90fbd2452121426274fffe8f", kill_on_drop: false }` [INFO] [stdout] 2555992c792f813eaea4222e0b14a8048ad3dd4c90fbd2452121426274fffe8f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4f8da3c744d2da974e54ce020a79f4ad54313e914ebeaab8fc086f07e8d8b066" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-10-04" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5f67cca11d74c0b31816cfdfb603855fa44f549f159badd541a82cb8953559a0 [INFO] running `Command { std: "docker" "start" "-a" "5f67cca11d74c0b31816cfdfb603855fa44f549f159badd541a82cb8953559a0", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.147 [INFO] [stderr] Compiling proc-macro2 v1.0.66 [INFO] [stderr] Compiling unicode-ident v1.0.11 [INFO] [stderr] Compiling smallvec v1.11.0 [INFO] [stderr] Compiling serde v1.0.188 [INFO] [stderr] Compiling serde_json v1.0.105 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Compiling hashbrown v0.14.0 [INFO] [stderr] Compiling ahash v0.8.3 [INFO] [stderr] Compiling ascii v1.1.0 [INFO] [stderr] Compiling chunked_transfer v1.4.1 [INFO] [stderr] Compiling log v0.4.20 [INFO] [stderr] Compiling httpdate v1.0.3 [INFO] [stderr] Compiling nohash-hasher v0.2.0 [INFO] [stderr] Compiling id-set v0.2.2 [INFO] [stderr] Compiling choice v0.0.2 [INFO] [stderr] Compiling tiny_http v0.12.0 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling syn v2.0.29 [INFO] [stderr] Compiling getrandom v0.2.10 [INFO] [stderr] Compiling parking_lot_core v0.9.8 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling parking_lot v0.12.1 [INFO] [stderr] Compiling dashmap v5.5.1 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling serde_derive v1.0.188 [INFO] [stderr] Compiling stateright v0.30.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 12.73s [INFO] running `Command { std: "docker" "inspect" "5f67cca11d74c0b31816cfdfb603855fa44f549f159badd541a82cb8953559a0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5f67cca11d74c0b31816cfdfb603855fa44f549f159badd541a82cb8953559a0", kill_on_drop: false }` [INFO] [stdout] 5f67cca11d74c0b31816cfdfb603855fa44f549f159badd541a82cb8953559a0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4f8da3c744d2da974e54ce020a79f4ad54313e914ebeaab8fc086f07e8d8b066" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-10-04" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 02761ab7d0e58b8e8dee7992e2179a95f6010ee46e3b05a66dc9a008f5bf22d5 [INFO] running `Command { std: "docker" "start" "-a" "02761ab7d0e58b8e8dee7992e2179a95f6010ee46e3b05a66dc9a008f5bf22d5", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.5.0 [INFO] [stderr] Compiling rustix v0.38.9 [INFO] [stderr] Compiling linux-raw-sys v0.4.5 [INFO] [stderr] Compiling bitflags v2.4.0 [INFO] [stderr] Compiling log v0.4.20 [INFO] [stderr] Compiling regex-syntax v0.7.5 [INFO] [stderr] Compiling humantime v2.1.0 [INFO] [stderr] Compiling termcolor v1.2.0 [INFO] [stderr] Compiling num_cpus v1.16.0 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Compiling tiny_http v0.12.0 [INFO] [stderr] Compiling stateright v0.30.1 (/opt/rustwide/workdir) [INFO] [stderr] Compiling aho-corasick v1.0.4 [INFO] [stderr] Compiling is-terminal v0.4.9 [INFO] [stderr] Compiling regex-automata v0.3.7 [INFO] [stderr] Compiling regex v1.9.4 [INFO] [stderr] Compiling env_logger v0.10.0 [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 21.74s [INFO] running `Command { std: "docker" "inspect" "02761ab7d0e58b8e8dee7992e2179a95f6010ee46e3b05a66dc9a008f5bf22d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "02761ab7d0e58b8e8dee7992e2179a95f6010ee46e3b05a66dc9a008f5bf22d5", kill_on_drop: false }` [INFO] [stdout] 02761ab7d0e58b8e8dee7992e2179a95f6010ee46e3b05a66dc9a008f5bf22d5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4f8da3c744d2da974e54ce020a79f4ad54313e914ebeaab8fc086f07e8d8b066" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-10-04" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] bbbf6a57f6668bc170feecfb27f44ccb0948d6d0bd05bd6c3a8a167866d21f48 [INFO] running `Command { std: "docker" "start" "-a" "bbbf6a57f6668bc170feecfb27f44ccb0948d6d0bd05bd6c3a8a167866d21f48", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.08s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/stateright-011605a79fac92fe) [INFO] [stdout] [INFO] [stdout] running 83 tests [INFO] [stdout] test actor::network::test::can_enumerate_and_parse_names ... ok [INFO] [stdout] test actor::model::test::visits_expected_states ... ok [INFO] [stdout] test actor::model::test::resets_timer ... ok [INFO] [stdout] test actor::spawn::test::can_encode_id ... ok [INFO] [stdout] test actor::model_state::test::can_find_representative_from_equivalence_class ... ok [INFO] [stdout] test actor::model::test::might_never_reach_beyond_max ... ok [INFO] [stdout] test actor::test::peer_ids_are_computed_correctly ... ok [INFO] [stdout] test checker::bfs::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test actor::model::test::can_reach_max ... ok [INFO] [stdout] test actor::spawn::test::can_decode_id ... ok [INFO] [stdout] test checker::dfs::test::can_apply_symmetry_reduction ... ok [INFO] [stdout] test actor::test::majority_is_computed_correctly ... ok [INFO] [stdout] test actor::test::vec_can_serve_as_actor ... ok [INFO] [stdout] test checker::bfs::test::visits_states_in_bfs_order ... ok [INFO] [stdout] test actor::model::choice_test::choice_correctly_implements_actor ... ok [INFO] [stdout] test actor::model::test::handles_undeliverable_messages ... ok [INFO] [stdout] test checker::dfs::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test actor::model::test::eventually_reaches_max_on_perfect_delivery_network ... ok [INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_not_delivered_twice ... ok [INFO] [stdout] test checker::dfs::test::visits_states_in_dfs_order ... ok [INFO] [stdout] test checker::explorer::test::can_init ... ok [INFO] [stdout] test actor::model::test::handles_ordered_network_flag ... ok [INFO] [stdout] test checker::explorer::test::err_for_invalid_fingerprint ... ok [INFO] [stdout] test checker::explorer::test::can_next ... ok [INFO] [stdout] test checker::explorer::test::smoke_test_states ... ok [INFO] [stdout] test actor::model::test::no_op_depends_on_network ... ok [INFO] [stdout] test actor::ordered_reliable_link::test::messages_are_delivered_in_order ... ok [INFO] [stdout] test checker::rewrite_plan::test::from_sort_sorts ... ok [INFO] [stdout] test checker::rewrite::test::can_rewrite_network ... ok [INFO] [stdout] test checker::simulation::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test checker::explorer::test::smoke_test_status ... ok [INFO] [stdout] test checker::on_demand::test::visits_states_in_bfs_order ... ok [INFO] [stdout] test checker::test_eventually_property_checker::can_discover_counterexample ... ok [INFO] [stdout] test checker::on_demand::test::can_complete_by_eliminating_properties ... ok [INFO] [stdout] test checker::rewrite_plan::test::can_rewrite ... ok [INFO] [stdout] test checker::rewrite_plan::test::can_reindex ... ok [INFO] [stdout] test checker::test_eventually_property_checker::can_validate ... ok [INFO] [stdout] test checker::rewrite::test::can_rewrite_id_vec ... 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 actor::ordered_reliable_link::test::messages_are_eventually_delivered ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_linearizable_register_history ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_unlinearizable_vec_history ... ok [INFO] [stdout] test semantics::register::test::models_expected_semantics ... ok [INFO] [stdout] test semantics::register::test::accepts_valid_histories ... ok [INFO] [stdout] test actor::model::test::unordered_network_has_a_bug ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_linearizable_vec_history ... ok [INFO] [stdout] test semantics::linearizability::test::identifies_unlinearizable_register_history ... ok [INFO] [stdout] test semantics::linearizability::test::rejects_invalid_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_serializable_register_history ... ok [INFO] [stdout] test semantics::vec::test::rejects_invalid_histories ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_serializable_vec_history ... ok [INFO] [stdout] test semantics::vec::test::accepts_valid_histories ... ok [INFO] [stdout] test semantics::register::test::rejects_invalid_histories ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_unserializable_register_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::rejects_invalid_history ... ok [INFO] [stdout] test semantics::sequential_consistency::test::identifies_unserializable_vec_history ... ok [INFO] [stdout] test semantics::vec::test::models_expected_semantics ... ok [INFO] [stdout] test util::hashable_hash_map_test::different_hash_if_items_differ ... ok [INFO] [stdout] test util::hashable_hash_map_test::can_hash_map_of_maps ... ok [INFO] [stdout] test semantics::write_once_register::test::rejects_invalid_histories ... 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 semantics::write_once_register::test::accepts_valid_histories ... ok [INFO] [stdout] test util::vector_clock::test::can_equate ... ok [INFO] [stdout] test semantics::write_once_register::test::models_expected_semantics ... ok [INFO] [stdout] test util::hashable_hash_set_test::insertion_order_is_irrelevant ... ok [INFO] [stdout] test util::vector_clock::test::can_hash ... ok [INFO] [stdout] test util::densenatmap::test::can_construct_and_insert ... ok [INFO] [stdout] test util::densenatmap::test::can_rewrite ... ok [INFO] [stdout] test util::vector_clock::test::can_display ... ok [INFO] [stdout] test util::hashable_hash_set_test::can_hash_set_of_sets ... ok [INFO] [stdout] test util::vector_clock::test::can_order_partially ... ok [INFO] [stdout] test util::vector_clock::test::can_increment ... ok [INFO] [stdout] test util::vector_clock::test::can_merge ... ok [INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_next_state ... ok [INFO] [stdout] test checker::path::test::panics_if_unable_to_reconstruct_init_state ... ok [INFO] [stdout] test util::densenatmap::test::panics_on_out_of_order_insertion - should panic ... ok [INFO] [stdout] test actor::model::test::may_never_reach_max_on_lossy_network ... ok [INFO] [stdout] test checker::bfs::test::can_complete_by_enumerating_all_states ... ok [INFO] [stdout] test 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::test_report::report_includes_property_names_and_paths ... ok [INFO] [stderr] Doc-tests stateright [INFO] [stdout] [INFO] [stdout] test result: ok. 83 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.24s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 19 tests [INFO] [stdout] test src/actor/spawn.rs - actor::spawn::spawn (line 45) - compile ... ok [INFO] [stdout] test src/util.rs - util (line 7) - compile fail ... ok [INFO] [stdout] test src/checker.rs - checker::CheckerBuilder::serve (line 91) - compile ... ok [INFO] [stdout] test src/actor.rs - actor::Actor::State (line 298) ... ok [INFO] [stdout] test src/util/densenatmap.rs - util::densenatmap::DenseNatMap (line 34) ... ok [INFO] [stdout] test src/util/densenatmap.rs - util::densenatmap::DenseNatMap (line 18) ... ok [INFO] [stdout] test src/actor.rs - actor::Actor::Timer (line 287) ... ok [INFO] [stdout] test src/checker/representative.rs - checker::representative::Representative (line 22) ... ok [INFO] [stdout] test src/actor.rs - actor::Actor::Msg (line 275) ... ok [INFO] [stdout] test src/actor.rs - actor::Id::vec_from (line 134) ... ok [INFO] [stdout] test src/util/densenatmap.rs - util::densenatmap::DenseNatMap (line 55) ... ok [INFO] [stdout] test src/util/densenatmap.rs - util::densenatmap::DenseNatMap (line 63) ... ok [INFO] [stdout] test src/checker/visitor.rs - checker::visitor::StateRecorder (line 80) ... ok [INFO] [stdout] test src/checker/visitor.rs - checker::visitor::CheckerVisitor (line 13) ... ok [INFO] [stdout] test src/lib.rs - (line 40) ... ok [INFO] [stdout] test src/util.rs - util (line 33) ... ok [INFO] [stdout] test src/checker.rs - checker::CheckerBuilder (line 58) ... ok [INFO] [stdout] test src/checker/visitor.rs - checker::visitor::PathRecorder (line 37) ... ok [INFO] [stdout] test src/actor.rs - actor (line 11) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.71s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "bbbf6a57f6668bc170feecfb27f44ccb0948d6d0bd05bd6c3a8a167866d21f48", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bbbf6a57f6668bc170feecfb27f44ccb0948d6d0bd05bd6c3a8a167866d21f48", kill_on_drop: false }` [INFO] [stdout] bbbf6a57f6668bc170feecfb27f44ccb0948d6d0bd05bd6c3a8a167866d21f48