[INFO] fetching crate proptest-state-machine 0.8.0...
[INFO] testing proptest-state-machine-0.8.0 against 1.95.0 for beta-1.96-2
[INFO] extracting crate proptest-state-machine 0.8.0 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate proptest-state-machine 0.8.0
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate proptest-state-machine 0.8.0
[INFO] tweaked toml for crates.io crate proptest-state-machine 0.8.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate proptest-state-machine 0.8.0 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate proptest-state-machine 0.8.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded integer-encoding v3.0.4
[INFO] [stderr]   Downloaded memoffset v0.7.1
[INFO] [stderr]   Downloaded icu_properties v2.0.2
[INFO] [stderr]   Downloaded icu_normalizer v2.0.1
[INFO] [stderr]   Downloaded tungstenite v0.26.2
[INFO] [stderr]   Downloaded icu_locale_core v2.0.1
[INFO] [stderr]   Downloaded message-io v0.19.0
[INFO] [stderr]   Downloaded proptest v1.11.0
[INFO] [stderr]   Downloaded nix v0.26.4
[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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7affb234b799fb35a4ffa0f2bae1e1d6252532e11b9aca2f1bf027fb8dadffbd
[INFO] running `Command { std: "docker" "start" "-a" "7affb234b799fb35a4ffa0f2bae1e1d6252532e11b9aca2f1bf027fb8dadffbd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7affb234b799fb35a4ffa0f2bae1e1d6252532e11b9aca2f1bf027fb8dadffbd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7affb234b799fb35a4ffa0f2bae1e1d6252532e11b9aca2f1bf027fb8dadffbd", kill_on_drop: false }`
[INFO] [stdout] 7affb234b799fb35a4ffa0f2bae1e1d6252532e11b9aca2f1bf027fb8dadffbd
[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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 53406b543ea8bcfed295a1010238b5114ec8579e870fe4ae506754127a3cf130
[INFO] running `Command { std: "docker" "start" "-a" "53406b543ea8bcfed295a1010238b5114ec8579e870fe4ae506754127a3cf130", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling proptest-state-machine v0.8.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.61s
[INFO] running `Command { std: "docker" "inspect" "53406b543ea8bcfed295a1010238b5114ec8579e870fe4ae506754127a3cf130", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "53406b543ea8bcfed295a1010238b5114ec8579e870fe4ae506754127a3cf130", kill_on_drop: false }`
[INFO] [stdout] 53406b543ea8bcfed295a1010238b5114ec8579e870fe4ae506754127a3cf130
[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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5f56a720783ac9dc596fc025068e14290e9c2de7e20c86d013fa243310f4f021
[INFO] running `Command { std: "docker" "start" "-a" "5f56a720783ac9dc596fc025068e14290e9c2de7e20c86d013fa243310f4f021", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling stable_deref_trait v1.2.1
[INFO] [stderr]    Compiling writeable v0.6.2
[INFO] [stderr]    Compiling litemap v0.8.1
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling memoffset v0.7.1
[INFO] [stderr]    Compiling percent-encoding v2.3.2
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling bytes v1.11.0
[INFO] [stderr]    Compiling data-encoding v2.9.0
[INFO] [stderr]    Compiling utf-8 v0.7.6
[INFO] [stderr]    Compiling integer-encoding v3.0.4
[INFO] [stderr]    Compiling form_urlencoded v1.2.2
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling http v1.3.1
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling socket2 v0.5.10
[INFO] [stderr]    Compiling mio v0.8.11
[INFO] [stderr]    Compiling nix v0.26.4
[INFO] [stderr]    Compiling sha1 v0.10.6
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling strum_macros v0.24.3
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling strum v0.24.1
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling proptest-state-machine v0.8.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling icu_collections v2.0.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling icu_locale_core v2.0.1
[INFO] [stderr]    Compiling icu_provider v2.0.0
[INFO] [stderr]    Compiling icu_normalizer v2.0.1
[INFO] [stderr]    Compiling icu_properties v2.0.2
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.7
[INFO] [stderr]    Compiling tungstenite v0.26.2
[INFO] [stderr]    Compiling message-io v0.19.0
[INFO] [stdout] warning: field `resource_id` is never read
[INFO] [stdout]    --> examples/state_machine_echo_server.rs:352:13
[INFO] [stdout]     |
[INFO] [stdout] 350 |     pub struct ServerDialer {
[INFO] [stdout]     |                ------------ field in this struct
[INFO] [stdout] 351 |         pub address: SocketAddr,
[INFO] [stdout] 352 |         pub resource_id: ResourceId,
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `address` is never read
[INFO] [stdout]    --> examples/state_machine_echo_server.rs:366:13
[INFO] [stdout]     |
[INFO] [stdout] 365 |     pub struct ClientDialer {
[INFO] [stdout]     |                ------------ field in this struct
[INFO] [stdout] 366 |         pub address: SocketAddr,
[INFO] [stdout]     |             ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 25.62s
[INFO] running `Command { std: "docker" "inspect" "5f56a720783ac9dc596fc025068e14290e9c2de7e20c86d013fa243310f4f021", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5f56a720783ac9dc596fc025068e14290e9c2de7e20c86d013fa243310f4f021", kill_on_drop: false }`
[INFO] [stdout] 5f56a720783ac9dc596fc025068e14290e9c2de7e20c86d013fa243310f4f021
[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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 6c96028feee97c0a5fd7ddb94844de82450ae7b63c90dff65aad5d5a04175c76
[INFO] running `Command { std: "docker" "start" "-a" "6c96028feee97c0a5fd7ddb94844de82450ae7b63c90dff65aad5d5a04175c76", kill_on_drop: false }`
[INFO] [stderr] warning: field `resource_id` is never read
[INFO] [stderr]    --> examples/state_machine_echo_server.rs:352:13
[INFO] [stderr]     |
[INFO] [stderr] 350 |     pub struct ServerDialer {
[INFO] [stderr]     |                ------------ field in this struct
[INFO] [stderr] 351 |         pub address: SocketAddr,
[INFO] [stderr] 352 |         pub resource_id: ResourceId,
[INFO] [stderr]     |             ^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field `address` is never read
[INFO] [stderr]    --> examples/state_machine_echo_server.rs:366:13
[INFO] [stderr]     |
[INFO] [stderr] 365 |     pub struct ClientDialer {
[INFO] [stderr]     |                ------------ field in this struct
[INFO] [stderr] 366 |         pub address: SocketAddr,
[INFO] [stderr]     |             ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `proptest-state-machine` (example "state_machine_echo_server") generated 2 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.15s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/proptest_state_machine-d368b5585bcb790a)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test strategy::test::test_zero_seen_transitions_optimization ... ok
[INFO] [stdout] test strategy::test::number_of_sequential_value_tree_simplifications ... ok
[INFO] [stdout] test test_runner::tests::macro_test::no_config_annotation ... ok
[INFO] [stdout] test test_runner::tests::macro_test::with_config_annotation ... ok
[INFO] [stdout] test strategy::test::test_call_to_current_with_non_zero_seen_counter ... ok
[INFO] [stdout] test strategy::test::test_value_tree_initial_simplification ... ok
[INFO] [stdout] test strategy::test::test_state_machine_sequential_value_tree ... ok
[INFO] [stdout] test strategy::test::find_simplest_failure::test_returns_simplest_failure ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.74s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests proptest_state_machine
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test src/test_runner.rs - test_runner::prop_state_machine (line 149) ... ignored
[INFO] [stdout] test src/test_runner.rs - test_runner::prop_state_machine (line 162) ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "6c96028feee97c0a5fd7ddb94844de82450ae7b63c90dff65aad5d5a04175c76", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6c96028feee97c0a5fd7ddb94844de82450ae7b63c90dff65aad5d5a04175c76", kill_on_drop: false }`
[INFO] [stdout] 6c96028feee97c0a5fd7ddb94844de82450ae7b63c90dff65aad5d5a04175c76
