[INFO] cloning repository https://github.com/l1x/spinr [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/l1x/spinr" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fl1x%2Fspinr", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fl1x%2Fspinr'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 722169918b3bd3a402bf9d0d77b36ef1e2ae92d0 [INFO] testing l1x/spinr against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fl1x%2Fspinr" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/l1x/spinr [INFO] finished tweaking git repo https://github.com/l1x/spinr [INFO] tweaked toml for git repo https://github.com/l1x/spinr written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/l1x/spinr on toolchain 562dee4820c458d823175268e41601d4c060588a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/l1x/spinr 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded num_threads v0.1.7 [INFO] [stderr] Downloaded base36 v0.0.1 [INFO] [stderr] Downloaded instability v0.3.12 [INFO] [stderr] Downloaded base-x v0.2.11 [INFO] [stderr] Downloaded argh_shared v0.1.19 [INFO] [stderr] Downloaded failure_derive v0.1.8 [INFO] [stderr] Downloaded termtree v0.5.1 [INFO] [stderr] Downloaded normalize-line-endings v0.3.0 [INFO] [stderr] Downloaded synstructure v0.12.6 [INFO] [stderr] Downloaded argh_derive v0.1.19 [INFO] [stderr] Downloaded assert_cmd v2.2.0 [INFO] [stderr] Downloaded argh v0.1.19 [INFO] [stderr] Downloaded predicates v3.1.4 [INFO] [stderr] Downloaded failure v0.1.8 [INFO] [stderr] Downloaded kiters v0.3.0 [INFO] [stderr] Downloaded ratatui-crossterm v0.1.0 [INFO] [stderr] Downloaded ratatui-core v0.1.0 [INFO] [stderr] Downloaded kasuari v0.4.12 [INFO] [stderr] Downloaded ratatui-widgets v0.3.0 [INFO] [stderr] Downloaded aws-lc-rs v1.16.1 [INFO] [stderr] Downloaded winnow v0.7.15 [INFO] [stderr] Downloaded lru v0.16.3 [INFO] [stderr] Downloaded moka v0.12.14 [INFO] [stderr] Downloaded unicode-truncate v2.0.1 [INFO] [stderr] Downloaded ratatui v0.30.0 [INFO] [stderr] Downloaded predicates-tree v1.0.13 [INFO] [stderr] Downloaded hdrhistogram v7.5.4 [INFO] [stderr] Downloaded predicates-core v1.0.10 [INFO] [stderr] Downloaded difflib v0.4.0 [INFO] [stderr] Downloaded float-cmp v0.10.0 [INFO] [stderr] Downloaded line-clipping v0.3.5 [INFO] [stderr] Downloaded tla-checker v0.3.4 [INFO] [stderr] Downloaded aws-lc-sys v0.38.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4c1882e4b284a1ec2d90c8c4e6ff061eec10f385be7cbf6e71cb4f52e12ca5e5 [INFO] running `Command { std: "docker" "start" "-a" "4c1882e4b284a1ec2d90c8c4e6ff061eec10f385be7cbf6e71cb4f52e12ca5e5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4c1882e4b284a1ec2d90c8c4e6ff061eec10f385be7cbf6e71cb4f52e12ca5e5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4c1882e4b284a1ec2d90c8c4e6ff061eec10f385be7cbf6e71cb4f52e12ca5e5", kill_on_drop: false }` [INFO] [stdout] 4c1882e4b284a1ec2d90c8c4e6ff061eec10f385be7cbf6e71cb4f52e12ca5e5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b844c234108d19bf71f96e8c10298c58caaa81e97db244acf33efcb81c758d0e [INFO] running `Command { std: "docker" "start" "-a" "b844c234108d19bf71f96e8c10298c58caaa81e97db244acf33efcb81c758d0e", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-ident v1.0.24 [INFO] [stderr] Compiling quote v1.0.45 [INFO] [stderr] Compiling libc v0.2.183 [INFO] [stderr] Compiling portable-atomic v1.13.1 [INFO] [stderr] Compiling pin-project-lite v0.2.17 [INFO] [stderr] Compiling critical-section v1.2.0 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling futures-core v0.3.32 [INFO] [stderr] Compiling zerocopy v0.8.42 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling simd-adler32 v0.3.8 [INFO] [stderr] Compiling getrandom v0.4.2 [INFO] [stderr] Compiling miniz_oxide v0.8.9 [INFO] [stderr] Compiling futures-task v0.3.32 [INFO] [stderr] Compiling aws-lc-rs v1.16.1 [INFO] [stderr] Compiling object v0.37.3 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling futures-util v0.3.32 [INFO] [stderr] Compiling once_cell v1.21.4 [INFO] [stderr] Compiling futures-channel v0.3.32 [INFO] [stderr] Compiling tracing-core v0.1.36 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling gimli v0.32.3 [INFO] [stderr] Compiling jobserver v0.1.34 [INFO] [stderr] Compiling cc v1.2.57 [INFO] [stderr] Compiling errno v0.3.14 [INFO] [stderr] Compiling signal-hook-registry v1.4.8 [INFO] [stderr] Compiling mio v1.1.1 [INFO] [stderr] Compiling socket2 v0.6.3 [INFO] [stderr] Compiling cmake v0.1.57 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling failure_derive v0.1.8 [INFO] [stderr] Compiling rand_core v0.9.5 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling getrandom v0.2.17 [INFO] [stderr] Compiling aws-lc-sys v0.38.0 [INFO] [stderr] Compiling ring v0.17.14 [INFO] [stderr] Compiling time-core v0.1.8 [INFO] [stderr] Compiling addr2line v0.25.1 [INFO] [stderr] Compiling rustc-demangle v0.1.27 [INFO] [stderr] Compiling powerfmt v0.2.0 [INFO] [stderr] Compiling num-conv v0.2.0 [INFO] [stderr] Compiling time-macros v0.2.27 [INFO] [stderr] Compiling deranged v0.5.8 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling uuid v1.22.0 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling tinyvec_macros v0.1.1 [INFO] [stderr] Compiling regex-syntax v0.8.10 [INFO] [stderr] Compiling rustls v0.23.37 [INFO] [stderr] Compiling sync_wrapper v1.0.2 [INFO] [stderr] Compiling tinyvec v1.11.0 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling time v0.3.47 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling http-body-util v0.1.3 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling zerofrom-derive v0.1.6 [INFO] [stderr] Compiling yoke-derive v0.8.1 [INFO] [stderr] Compiling zerovec-derive v0.11.2 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling tokio-macros v2.6.1 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling zerofrom v0.1.6 [INFO] [stderr] Compiling yoke v0.8.1 [INFO] [stderr] Compiling backtrace v0.3.76 [INFO] [stderr] Compiling zerovec v0.11.5 [INFO] [stderr] Compiling tokio v1.50.0 [INFO] [stderr] Compiling zerotrie v0.2.3 [INFO] [stderr] Compiling tinystr v0.8.2 [INFO] [stderr] Compiling tracing v0.1.44 [INFO] [stderr] Compiling icu_locale_core v2.1.1 [INFO] [stderr] Compiling potential_utf v0.1.4 [INFO] [stderr] Compiling icu_collections v2.1.1 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Compiling failure v0.1.8 [INFO] [stderr] Compiling icu_provider v2.1.1 [INFO] [stderr] Compiling icu_properties v2.1.2 [INFO] [stderr] Compiling icu_normalizer v2.1.1 [INFO] [stderr] Compiling regex-automata v0.4.14 [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Compiling enum-as-inner v0.6.1 [INFO] [stderr] Compiling async-trait v0.1.89 [INFO] [stderr] Compiling winnow v0.7.15 [INFO] [stderr] Compiling futures-io v0.3.32 [INFO] [stderr] Compiling data-encoding v2.10.0 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling idna_adapter v1.2.1 [INFO] [stderr] Compiling idna v1.1.0 [INFO] [stderr] Compiling argh_shared v0.1.19 [INFO] [stderr] Compiling ipnet v2.12.0 [INFO] [stderr] Compiling serde_spanned v0.6.9 [INFO] [stderr] Compiling url v2.5.8 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling tagptr v0.2.0 [INFO] [stderr] Compiling base-x v0.2.11 [INFO] [stderr] Compiling toml_write v0.1.2 [INFO] [stderr] Compiling matchers v0.2.0 [INFO] [stderr] Compiling toml_edit v0.22.27 [INFO] [stderr] Compiling base36 v0.0.1 [INFO] [stderr] Compiling moka v0.12.14 [INFO] [stderr] Compiling tokio-util v0.7.18 [INFO] [stderr] Compiling hickory-proto v0.25.2 [INFO] [stderr] Compiling tower v0.5.3 [INFO] [stderr] Compiling h2 v0.4.13 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [INFO] [stderr] Compiling sharded-slab v0.1.7 [INFO] [stderr] Compiling argh_derive v0.1.19 [INFO] [stderr] Compiling axum-core v0.5.6 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Compiling flate2 v1.1.9 [INFO] [stderr] Compiling serde_path_to_error v0.1.20 [INFO] [stderr] Compiling tracing-log v0.2.0 [INFO] [stderr] Compiling thread_local v1.1.9 [INFO] [stderr] Compiling matchit v0.8.4 [INFO] [stderr] Compiling bitflags v2.11.0 [INFO] [stderr] Compiling base64 v0.21.7 [INFO] [stderr] Compiling resolv-conf v0.7.6 [INFO] [stderr] Compiling nu-ansi-term v0.50.3 [INFO] [stderr] Compiling hdrhistogram v7.5.4 [INFO] [stderr] Compiling hickory-resolver v0.25.2 [INFO] [stderr] Compiling hyper v1.8.1 [INFO] [stderr] Compiling tracing-subscriber v0.3.23 [INFO] [stderr] Compiling tower-http v0.6.8 [INFO] [stderr] Compiling argh v0.1.19 [INFO] [stderr] Compiling toml v0.8.23 [INFO] [stderr] Compiling tokio-stream v0.1.18 [INFO] [stderr] Compiling kiters v0.3.0 [INFO] [stderr] Compiling webpki-roots v1.0.6 [INFO] [stderr] Compiling num_cpus v1.17.0 [INFO] [stderr] Compiling hyper-util v0.1.20 [INFO] [stderr] Compiling socket2 v0.5.10 [INFO] [stderr] Compiling axum v0.8.8 [INFO] [stderr] Compiling rustls-webpki v0.103.9 [INFO] [stderr] Compiling tokio-rustls v0.26.4 [INFO] [stderr] Compiling spinr v0.5.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3m 22s [INFO] running `Command { std: "docker" "inspect" "b844c234108d19bf71f96e8c10298c58caaa81e97db244acf33efcb81c758d0e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b844c234108d19bf71f96e8c10298c58caaa81e97db244acf33efcb81c758d0e", kill_on_drop: false }` [INFO] [stdout] b844c234108d19bf71f96e8c10298c58caaa81e97db244acf33efcb81c758d0e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 98e30a8f786ac9870b6e2a2a1e343ff1d89951647b7d901aebb1669acb29431a [INFO] running `Command { std: "docker" "start" "-a" "98e30a8f786ac9870b6e2a2a1e343ff1d89951647b7d901aebb1669acb29431a", kill_on_drop: false }` [INFO] [stderr] Compiling foldhash v0.2.0 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling ident_case v1.0.1 [INFO] [stderr] Compiling regex-syntax v0.8.10 [INFO] [stderr] Compiling num_threads v0.1.7 [INFO] [stderr] Compiling signal-hook v0.3.18 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling rustix v1.1.4 [INFO] [stderr] Compiling time v0.3.47 [INFO] [stderr] Compiling hashbrown v0.16.1 [INFO] [stderr] Compiling convert_case v0.10.0 [INFO] [stderr] Compiling strum_macros v0.27.2 [INFO] [stderr] Compiling darling_core v0.23.0 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling instability v0.3.12 [INFO] [stderr] Compiling linux-raw-sys v0.12.1 [INFO] [stderr] Compiling indoc v2.0.7 [INFO] [stderr] Compiling indexmap v2.13.0 [INFO] [stderr] Compiling kasuari v0.4.12 [INFO] [stderr] Compiling lru v0.16.3 [INFO] [stderr] Compiling derive_more-impl v2.1.1 [INFO] [stderr] Compiling compact_str v0.9.0 [INFO] [stderr] Compiling h2 v0.4.13 [INFO] [stderr] Compiling unicode-truncate v2.0.1 [INFO] [stderr] Compiling derive_more v2.1.1 [INFO] [stderr] Compiling regex-automata v0.4.14 [INFO] [stderr] Compiling signal-hook-mio v0.2.5 [INFO] [stderr] Compiling psm v0.1.30 [INFO] [stderr] Compiling strum v0.27.2 [INFO] [stderr] Compiling line-clipping v0.3.5 [INFO] [stderr] Compiling ratatui-core v0.1.0 [INFO] [stderr] Compiling stacker v0.1.23 [INFO] [stderr] Compiling predicates-core v1.0.10 [INFO] [stderr] Compiling toml_edit v0.22.27 [INFO] [stderr] Compiling float-cmp v0.10.0 [INFO] [stderr] Compiling anstyle v1.0.14 [INFO] [stderr] Compiling crossterm v0.29.0 [INFO] [stderr] Compiling darling_macro v0.23.0 [INFO] [stderr] Compiling normalize-line-endings v0.3.0 [INFO] [stderr] Compiling termtree v0.5.1 [INFO] [stderr] Compiling difflib v0.4.0 [INFO] [stderr] Compiling darling v0.23.0 [INFO] [stderr] Compiling assert_cmd v2.2.0 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Compiling predicates-tree v1.0.13 [INFO] [stderr] Compiling kiters v0.3.0 [INFO] [stderr] Compiling ratatui-crossterm v0.1.0 [INFO] [stderr] Compiling ratatui-widgets v0.3.0 [INFO] [stderr] Compiling tower-http v0.6.8 [INFO] [stderr] Compiling wait-timeout v0.2.1 [INFO] [stderr] Compiling tempfile v3.27.0 [INFO] [stderr] Compiling toml v0.8.23 [INFO] [stderr] Compiling matchers v0.2.0 [INFO] [stderr] Compiling regex v1.12.3 [INFO] [stderr] Compiling tracing-subscriber v0.3.23 [INFO] [stderr] Compiling bstr v1.12.1 [INFO] [stderr] Compiling predicates v3.1.4 [INFO] [stderr] Compiling ratatui v0.30.0 [INFO] [stderr] Compiling tla-checker v0.3.4 [INFO] [stderr] Compiling hyper v1.8.1 [INFO] [stderr] Compiling hyper-util v0.1.20 [INFO] [stderr] Compiling axum v0.8.8 [INFO] [stderr] Compiling spinr v0.5.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 43s [INFO] running `Command { std: "docker" "inspect" "98e30a8f786ac9870b6e2a2a1e343ff1d89951647b7d901aebb1669acb29431a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "98e30a8f786ac9870b6e2a2a1e343ff1d89951647b7d901aebb1669acb29431a", kill_on_drop: false }` [INFO] [stdout] 98e30a8f786ac9870b6e2a2a1e343ff1d89951647b7d901aebb1669acb29431a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 0676901b14633bad9fbe8efc73a7cc57d9cc20899fe6bc882799c124dec48b57 [INFO] running `Command { std: "docker" "start" "-a" "0676901b14633bad9fbe8efc73a7cc57d9cc20899fe6bc882799c124dec48b57", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.55s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/spinr-500a2d125aa70478) [INFO] [stdout] [INFO] [stdout] running 98 tests [INFO] [stdout] test bench::tests::from_scenario_converts_correctly ... ok [INFO] [stdout] test bench::tests::parse_minimal_toml ... ok [INFO] [stdout] test bench::tests::parse_full_toml ... ok [INFO] [stdout] test bench::tests::parse_multi_scenario_toml ... ok [INFO] [stdout] test bench::tests::validate_bad_method ... ok [INFO] [stdout] test bench::tests::validate_empty_scenarios ... ok [INFO] [stdout] test bench::tests::validate_zero_duration ... ok [INFO] [stdout] test bench::tests::validate_missing_name ... ok [INFO] [stdout] test loadtest::engine::tests::chunked_decoder_incomplete ... ok [INFO] [stdout] test loadtest::engine::tests::chunked_decoder_simple_body ... ok [INFO] [stdout] test bench::tests::validate_zero_rate_with_max_throughput_ok ... ok [INFO] [stdout] test loadtest::engine::tests::chunked_decoder_split_across_feeds ... ok [INFO] [stdout] test loadtest::engine::tests::chunked_decoder_chunk_extension ... ok [INFO] [stdout] test loadtest::engine::tests::chunked_decoder_with_trailers ... ok [INFO] [stdout] test loadtest::engine::tests::parses_chunked_response ... ok [INFO] [stdout] test loadtest::engine::tests::parses_content_length_response ... ok [INFO] [stdout] test loadtest::engine::tests::chunked_decoder_multiple_chunks ... ok [INFO] [stdout] test loadtest::engine::tests::chunked_decoder_no_false_match_in_payload ... ok [INFO] [stdout] test loadtest::engine::tests::treats_head_responses_as_bodyless ... ok [INFO] [stdout] test loadtest::orchestrator::tests::test_frame_empty ... ok [INFO] [stdout] test loadtest::orchestrator::tests::test_frame_large ... ok [INFO] [stdout] test loadtest::engine::tests::chunked_decoder_hex_uppercase ... ok [INFO] [stdout] test bench::tests::validate_zero_rate_without_max_throughput ... ok [INFO] [stdout] test loadtest::orchestrator::tests::test_frame_roundtrip ... ok [INFO] [stdout] test bench::tests::bench_summary_json_serialization ... ok [INFO] [stdout] test loadtest::orchestrator::tests::test_raw_metrics_json_roundtrip ... ok [INFO] [stdout] test loadtest::orchestrator::tests::test_status_counts_conversion ... ok [INFO] [stdout] test loadtest::orchestrator::tests::test_worker_exit_failure_is_error ... ok [INFO] [stdout] test loadtest::orchestrator::tests::test_worker_metrics_parse_failure_is_error ... ok [INFO] [stdout] test loadtest::orchestrator::tests::test_worker_metrics_read_failure_is_error ... ok [INFO] [stdout] test loadtest::plan::tests::preserves_total_rate_across_workers ... ok [INFO] [stdout] test loadtest::plan::tests::caps_rate_limited_workers_to_total_rps ... ok [INFO] [stdout] test loadtest::plan::tests::engine_configs_use_worker_local_rates ... ok [INFO] [stdout] test loadtest::plan::tests::preserves_total_connections_across_workers ... ok [INFO] [stdout] test loadtest::preflight::tests::test_parse_tcp_tw_reuse ... ok [INFO] [stdout] test loadtest::preflight::tests::test_parse_nofile_limits ... ok [INFO] [stdout] test loadtest::preflight::tests::test_parse_port_range ... ok [INFO] [stdout] test loadtest::plan::tests::caps_workers_to_total_connections ... ok [INFO] [stdout] test loadtest::preflight::tests::test_preflight_does_not_fail_on_current_system ... ok [INFO] [stdout] test loadtest::request::tests::ipv6_with_non_default_port ... ok [INFO] [stdout] test loadtest::request::tests::ipv6_with_default_port ... ok [INFO] [stdout] test loadtest::request::tests::builds_get_request_with_derived_host_and_keep_alive ... ok [INFO] [stdout] test loadtest::request::tests::adds_content_length_and_body ... ok [INFO] [stdout] test loadtest::request::tests::rejects_non_http_scheme ... ok [INFO] [stdout] test loadtest::request::tests::rejects_conflicting_content_length ... ok [INFO] [stdout] test loadtest::request::tests::preserves_explicit_host_and_connection_headers ... ok [INFO] [stdout] test loadtest::types::tests::test_from_workers_empty_slice_gives_default_histogram ... ok [INFO] [stdout] test loadtest::preflight::tests::test_required_fds_calculation ... ok [INFO] [stdout] test loadtest::types::tests::test_hdr_histogram_record_and_percentile ... ok [INFO] [stdout] test loadtest::types::tests::test_hdr_histogram_mean ... ok [INFO] [stdout] test loadtest::types::tests::test_hdr_histogram_merge ... ok [INFO] [stdout] test loadtest::types::tests::test_hdr_histogram_exact_percentile ... ok [INFO] [stdout] test loadtest::types::tests::test_hdr_histogram_serialization_roundtrip ... ok [INFO] [stdout] test loadtest::types::tests::test_hdr_histogram_serde_json_roundtrip ... ok [INFO] [stdout] test loadtest::types::tests::test_from_workers_merges_histogram_data ... ok [INFO] [stdout] test loadtest::types::tests::test_http_method_parse ... ok [INFO] [stdout] test loadtest::types::tests::test_load_test_params_defaults ... ok [INFO] [stdout] test loadtest::types::tests::test_into_worker_metrics_prefers_corrected_latency_when_present ... ok [INFO] [stdout] test loadtest::types::tests::test_merged_metrics_from_workers ... ok [INFO] [stdout] test loadtest::types::tests::test_start_args_to_load_test_params ... ok [INFO] [stdout] test loadtest::types::tests::test_merged_metrics_json_roundtrip_preserves_histogram ... ok [INFO] [stdout] test loadtest::types::tests::test_status_codes_merging ... ok [INFO] [stdout] test mcp::stdio::tests::test_handle_initialize ... ok [INFO] [stdout] test loadtest::types::tests::test_merged_metrics_has_tail_percentiles ... ok [INFO] [stdout] test mcp::stdio::tests::test_handle_tools_list_all ... ok [INFO] [stdout] test mcp::stdio::tests::test_handle_tools_list_trace_only ... ok [INFO] [stdout] test mcp::stdio::tests::test_iso8601_format ... ok [INFO] [stdout] test mcp::stdio::tests::test_loadtest_tool_schema_exposes_connections ... ok [INFO] [stdout] test mcp::stdio::tests::test_start_load_test_rejects_zero_connections ... ok [INFO] [stdout] test mcp::tests::test_capabilities ... ok [INFO] [stdout] test mcp::tests::test_error_response ... ok [INFO] [stdout] test mcp::tests::test_method_not_found ... ok [INFO] [stdout] test mcp::tests::test_parse_error ... ok [INFO] [stdout] test mcp::tests::test_request_deserialization ... ok [INFO] [stdout] test mcp::tests::test_request_without_params ... ok [INFO] [stdout] test mcp::tests::test_server_info ... ok [INFO] [stdout] test mcp::tests::test_success_response ... ok [INFO] [stdout] test mcp::tests::test_tool_creation ... ok [INFO] [stdout] test mcp::tests::test_tool_result_error ... ok [INFO] [stdout] test mcp::tests::test_tool_result_success ... ok [INFO] [stdout] test mcp::transport::tests::test_validate_origin_127 ... ok [INFO] [stdout] test mcp::transport::tests::test_validate_origin_allowed_list ... ok [INFO] [stdout] test mcp::transport::tests::test_validate_origin_external_rejected ... ok [INFO] [stdout] test mcp::transport::tests::test_validate_origin_localhost ... ok [INFO] [stdout] test mcp::transport::tests::test_validate_origin_no_header ... ok [INFO] [stdout] test loadtest::types::tests::test_invalid_load_test_params ... ok [INFO] [stdout] test mcp::stdio::tests::test_handle_tools_list_loadtest_only ... ok [INFO] [stdout] test loadtest::types::tests::test_invalid_load_test_connections ... ok [INFO] [stdout] test trace::tracer::tests::test_url_parsing ... ok [INFO] [stdout] test output::tests::test_hdr_log_end_to_end_pipeline ... ok [INFO] [stdout] test trace::types::tests::test_trace_request_args_defaults ... ok [INFO] [stdout] test loadtest::engine::tests::runs_against_chunked_server ... ok [INFO] [stdout] test loadtest::engine::tests::runs_against_local_keep_alive_server ... ok [INFO] [stdout] test output::tests::test_write_hdr_log_empty_histogram ... ok [INFO] [stdout] test output::tests::test_write_hdr_log_base64_roundtrip_preserves_distribution ... ok [INFO] [stdout] test trace::types::tests::test_trace_request_args_full ... ok [INFO] [stdout] test output::tests::test_write_hdr_log_creates_valid_file ... ok [INFO] [stdout] test loadtest::engine::tests::rate_limited_runs_record_corrected_latency ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 98 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.31s [INFO] [stdout] [INFO] [stderr] Running tests/bench.rs (/opt/rustwide/target/debug/deps/bench-bcc11d0e9e78db6f) [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test empty_scenarios ... ok [INFO] [stdout] test missing_config_file ... ok [INFO] [stdout] test invalid_toml ... ok [INFO] [stdout] test single_scenario_json ... ok [INFO] [stdout] test multi_scenario_runs_all ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.04s [INFO] [stdout] [INFO] [stderr] Running tests/cli_basics.rs (/opt/rustwide/target/debug/deps/cli_basics-f00fbf6b80d58978) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test help_flag_exits_0 ... ok [INFO] [stdout] test no_args_exits_with_usage ... ok [INFO] [stderr] Running tests/formal.rs (/opt/rustwide/target/debug/deps/formal-9067f0c600a77857) [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test tla_connection_fsm_spec ... FAILED [INFO] [stderr] error: test failed, to rerun pass `--test formal` [INFO] [stdout] test tla_lifecycle_spec ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- tla_connection_fsm_spec stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'tla_connection_fsm_spec' (169) panicked at tests/formal.rs:24:10: [INFO] [stdout] tla-checker not installed; run: cargo install tla-checker: Os { code: 2, kind: NotFound, message: "No such file or directory" } [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5d1cdb0b797a - std[31e582c13f4e914f]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5d1cdb0b797a - std[31e582c13f4e914f]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5d1cdb0b797a - std[31e582c13f4e914f]::sys::backtrace::_print_fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:74:9 [INFO] [stdout] 3: 0x5d1cdb0b797a - <::print::DisplayBacktrace as core[fa0eadad68403074]::fmt::Display>::fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:44:26 [INFO] [stdout] 4: 0x5d1cdb0cb5ea - ::fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/fmt/rt.rs:152:76 [INFO] [stdout] 5: 0x5d1cdb0cb5ea - core[fa0eadad68403074]::fmt::write [INFO] [stdout] 6: 0x5d1cdb0bc202 - std[31e582c13f4e914f]::io::default_write_fmt::> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5d1cdb0bc202 - as std[31e582c13f4e914f]::io::Write>::write_fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/io/mod.rs:1994:13 [INFO] [stdout] 8: 0x5d1cdb096abf - ::print [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:47:9 [INFO] [stdout] 9: 0x5d1cdb096abf - std[31e582c13f4e914f]::panicking::default_hook::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:292:27 [INFO] [stdout] 10: 0x5d1cdb0afee9 - std[31e582c13f4e914f]::panicking::default_hook [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:316:9 [INFO] [stdout] 11: 0x5d1cdb04d00c - core[fa0eadad68403074]::ops::function::Fn<(&'a std[31e582c13f4e914f]::panic::PanicHookInfo<'b>,), Output = ()> + core[fa0eadad68403074]::marker::Sync + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::Fn<(&std[31e582c13f4e914f]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 12: 0x5d1cdb04d00c - test[7530e63dc052480e]::test_main_with_exit_callback::::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5d1cdb0b00a2 - core[fa0eadad68403074]::ops::function::Fn<(&'a std[31e582c13f4e914f]::panic::PanicHookInfo<'b>,), Output = ()> + core[fa0eadad68403074]::marker::Sync + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::Fn<(&std[31e582c13f4e914f]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 14: 0x5d1cdb0b00a2 - std[31e582c13f4e914f]::panicking::panic_with_hook [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:833:13 [INFO] [stdout] 15: 0x5d1cdb096b78 - std[31e582c13f4e914f]::panicking::panic_handler::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:698:13 [INFO] [stdout] 16: 0x5d1cdb08bd89 - std[31e582c13f4e914f]::sys::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:182:18 [INFO] [stdout] 17: 0x5d1cdb09788d - __rustc[fc8e3a9f23f26cb]::rust_begin_unwind [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:689:5 [INFO] [stdout] 18: 0x5d1cdb0cbcdc - core[fa0eadad68403074]::panicking::panic_fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x5d1cdb0cbab2 - core[fa0eadad68403074]::result::unwrap_failed [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/result.rs:1867:5 [INFO] [stdout] 20: 0x5d1cdb03df5c - >::expect [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/result.rs:1185:23 [INFO] [stdout] 21: 0x5d1cdb03dd04 - formal[c85995276c8e1888]::tla_connection_fsm_spec [INFO] [stdout] at /opt/rustwide/workdir/tests/formal.rs:24:10 [INFO] [stdout] 22: 0x5d1cdb03d8d7 - formal[c85995276c8e1888]::tla_connection_fsm_spec::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/tests/formal.rs:19:29 [INFO] [stdout] 23: 0x5d1cdb040d16 - >::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x5d1cdb0410eb - core[fa0eadad68403074]::result::Result<(), alloc[49b8922c36ca62de]::string::String> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x5d1cdb0410eb - test[7530e63dc052480e]::__rust_begin_short_backtrace::, fn() -> core[fa0eadad68403074]::result::Result<(), alloc[49b8922c36ca62de]::string::String>> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:663:18 [INFO] [stdout] 26: 0x5d1cdb04dadb - test[7530e63dc052480e]::run_test_in_process::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:686:74 [INFO] [stdout] 27: 0x5d1cdb04dadb - as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 28: 0x5d1cdb04dadb - std[31e582c13f4e914f]::panicking::catch_unwind::do_call::, core[fa0eadad68403074]::result::Result<(), alloc[49b8922c36ca62de]::string::String>> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:581:40 [INFO] [stdout] 29: 0x5d1cdb04dadb - std[31e582c13f4e914f]::panicking::catch_unwind::, core[fa0eadad68403074]::panic::unwind_safe::AssertUnwindSafe> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:544:19 [INFO] [stdout] 30: 0x5d1cdb04dadb - std[31e582c13f4e914f]::panic::catch_unwind::, core[fa0eadad68403074]::result::Result<(), alloc[49b8922c36ca62de]::string::String>> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x5d1cdb04dadb - test[7530e63dc052480e]::run_test_in_process [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:686:27 [INFO] [stdout] 32: 0x5d1cdb04dadb - test[7530e63dc052480e]::run_test::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:607:43 [INFO] [stdout] 33: 0x5d1cdb047f34 - test[7530e63dc052480e]::run_test::{closure#1} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:637:41 [INFO] [stdout] 34: 0x5d1cdb047f34 - std[31e582c13f4e914f]::sys::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:166:18 [INFO] [stdout] 35: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::thread::lifecycle::spawn_unchecked::::{closure#1}::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/thread/lifecycle.rs:91:13 [INFO] [stdout] 36: 0x5d1cdb0506e2 - ::{closure#1}::{closure#0}> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 37: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::panicking::catch_unwind::do_call::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:581:40 [INFO] [stdout] 38: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::panicking::catch_unwind::<(), core[fa0eadad68403074]::panic::unwind_safe::AssertUnwindSafe::{closure#1}::{closure#0}>> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:544:19 [INFO] [stdout] 39: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::panic::catch_unwind::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::thread::lifecycle::spawn_unchecked::::{closure#1} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/thread/lifecycle.rs:89:26 [INFO] [stdout] 41: 0x5d1cdb0506e2 - ::{closure#1} as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x5d1cdb0b728f - + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2240:9 [INFO] [stdout] 43: 0x5d1cdb0b728f - ::new::thread_start [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/thread/unix.rs:118:17 [INFO] [stdout] 44: 0x74edc1ebbaa4 - [INFO] [stdout] 45: 0x74edc1f48a64 - clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tla_lifecycle_spec stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'tla_lifecycle_spec' (170) panicked at tests/formal.rs:9:10: [INFO] [stdout] tla-checker not installed; run: cargo install tla-checker: Os { code: 2, kind: NotFound, message: "No such file or directory" } [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5d1cdb0b797a - std[31e582c13f4e914f]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5d1cdb0b797a - std[31e582c13f4e914f]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5d1cdb0b797a - std[31e582c13f4e914f]::sys::backtrace::_print_fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:74:9 [INFO] [stdout] 3: 0x5d1cdb0b797a - <::print::DisplayBacktrace as core[fa0eadad68403074]::fmt::Display>::fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:44:26 [INFO] [stdout] 4: 0x5d1cdb0cb5ea - ::fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/fmt/rt.rs:152:76 [INFO] [stdout] 5: 0x5d1cdb0cb5ea - core[fa0eadad68403074]::fmt::write [INFO] [stdout] 6: 0x5d1cdb0bc202 - std[31e582c13f4e914f]::io::default_write_fmt::> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5d1cdb0bc202 - as std[31e582c13f4e914f]::io::Write>::write_fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/io/mod.rs:1994:13 [INFO] [stdout] 8: 0x5d1cdb096abf - ::print [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:47:9 [INFO] [stdout] 9: 0x5d1cdb096abf - std[31e582c13f4e914f]::panicking::default_hook::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:292:27 [INFO] [stdout] 10: 0x5d1cdb0afee9 - std[31e582c13f4e914f]::panicking::default_hook [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:316:9 [INFO] [stdout] 11: 0x5d1cdb04d00c - core[fa0eadad68403074]::ops::function::Fn<(&'a std[31e582c13f4e914f]::panic::PanicHookInfo<'b>,), Output = ()> + core[fa0eadad68403074]::marker::Sync + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::Fn<(&std[31e582c13f4e914f]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 12: 0x5d1cdb04d00c - test[7530e63dc052480e]::test_main_with_exit_callback::::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5d1cdb0b00a2 - core[fa0eadad68403074]::ops::function::Fn<(&'a std[31e582c13f4e914f]::panic::PanicHookInfo<'b>,), Output = ()> + core[fa0eadad68403074]::marker::Sync + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::Fn<(&std[31e582c13f4e914f]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 14: 0x5d1cdb0b00a2 - std[31e582c13f4e914f]::panicking::panic_with_hook [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:833:13 [INFO] [stdout] 15: 0x5d1cdb096b78 - std[31e582c13f4e914f]::panicking::panic_handler::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:698:13 [INFO] [stdout] 16: 0x5d1cdb08bd89 - std[31e582c13f4e914f]::sys::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:182:18 [INFO] [stdout] 17: 0x5d1cdb09788d - __rustc[fc8e3a9f23f26cb]::rust_begin_unwind [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:689:5 [INFO] [stdout] 18: 0x5d1cdb0cbcdc - core[fa0eadad68403074]::panicking::panic_fmt [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x5d1cdb0cbab2 - core[fa0eadad68403074]::result::unwrap_failed [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/result.rs:1867:5 [INFO] [stdout] 20: 0x5d1cdb03df5c - >::expect [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/result.rs:1185:23 [INFO] [stdout] 21: 0x5d1cdb03da64 - formal[c85995276c8e1888]::tla_lifecycle_spec [INFO] [stdout] at /opt/rustwide/workdir/tests/formal.rs:9:10 [INFO] [stdout] 22: 0x5d1cdb03d8a7 - formal[c85995276c8e1888]::tla_lifecycle_spec::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/tests/formal.rs:4:24 [INFO] [stdout] 23: 0x5d1cdb040cd6 - >::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x5d1cdb0410eb - core[fa0eadad68403074]::result::Result<(), alloc[49b8922c36ca62de]::string::String> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x5d1cdb0410eb - test[7530e63dc052480e]::__rust_begin_short_backtrace::, fn() -> core[fa0eadad68403074]::result::Result<(), alloc[49b8922c36ca62de]::string::String>> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:663:18 [INFO] [stdout] 26: 0x5d1cdb04dadb - test[7530e63dc052480e]::run_test_in_process::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:686:74 [INFO] [stdout] 27: 0x5d1cdb04dadb - as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 28: 0x5d1cdb04dadb - std[31e582c13f4e914f]::panicking::catch_unwind::do_call::, core[fa0eadad68403074]::result::Result<(), alloc[49b8922c36ca62de]::string::String>> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:581:40 [INFO] [stdout] 29: 0x5d1cdb04dadb - std[31e582c13f4e914f]::panicking::catch_unwind::, core[fa0eadad68403074]::panic::unwind_safe::AssertUnwindSafe> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:544:19 [INFO] [stdout] 30: 0x5d1cdb04dadb - std[31e582c13f4e914f]::panic::catch_unwind::, core[fa0eadad68403074]::result::Result<(), alloc[49b8922c36ca62de]::string::String>> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x5d1cdb04dadb - test[7530e63dc052480e]::run_test_in_process [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:686:27 [INFO] [stdout] 32: 0x5d1cdb04dadb - test[7530e63dc052480e]::run_test::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:607:43 [INFO] [stdout] 33: 0x5d1cdb047f34 - test[7530e63dc052480e]::run_test::{closure#1} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/test/src/lib.rs:637:41 [INFO] [stdout] 34: 0x5d1cdb047f34 - std[31e582c13f4e914f]::sys::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:166:18 [INFO] [stdout] 35: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::thread::lifecycle::spawn_unchecked::::{closure#1}::{closure#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/thread/lifecycle.rs:91:13 [INFO] [stdout] 36: 0x5d1cdb0506e2 - ::{closure#1}::{closure#0}> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 37: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::panicking::catch_unwind::do_call::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:581:40 [INFO] [stdout] 38: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::panicking::catch_unwind::<(), core[fa0eadad68403074]::panic::unwind_safe::AssertUnwindSafe::{closure#1}::{closure#0}>> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:544:19 [INFO] [stdout] 39: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::panic::catch_unwind::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x5d1cdb0506e2 - std[31e582c13f4e914f]::thread::lifecycle::spawn_unchecked::::{closure#1} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/thread/lifecycle.rs:89:26 [INFO] [stdout] 41: 0x5d1cdb0506e2 - ::{closure#1} as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x5d1cdb0b728f - + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2240:9 [INFO] [stdout] 43: 0x5d1cdb0b728f - ::new::thread_start [INFO] [stdout] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/thread/unix.rs:118:17 [INFO] [stdout] 44: 0x74edc1ebbaa4 - [INFO] [stdout] 45: 0x74edc1f48a64 - clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] tla_connection_fsm_spec [INFO] [stdout] tla_lifecycle_spec [INFO] [stdout] [INFO] [stdout] test result: FAILED. 0 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "0676901b14633bad9fbe8efc73a7cc57d9cc20899fe6bc882799c124dec48b57", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0676901b14633bad9fbe8efc73a7cc57d9cc20899fe6bc882799c124dec48b57", kill_on_drop: false }` [INFO] [stdout] 0676901b14633bad9fbe8efc73a7cc57d9cc20899fe6bc882799c124dec48b57