[INFO] cloning repository https://github.com/t-k/fireemu
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/t-k/fireemu" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ft-k%2Ffireemu", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ft-k%2Ffireemu'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d987d5ddcc1374cee425f08d6d81915795fc2ab5
[INFO] checking t-k/fireemu against 018018e881e2db0956f229dbb543e21f058d1ce7 for pr-162600
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ft-k%2Ffireemu" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-1-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/t-k/fireemu
[INFO] finished tweaking git repo https://github.com/t-k/fireemu
[INFO] tweaked toml for git repo https://github.com/t-k/fireemu written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/t-k/fireemu on toolchain 018018e881e2db0956f229dbb543e21f058d1ce7
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+018018e881e2db0956f229dbb543e21f058d1ce7" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/t-k/fireemu 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" "+018018e881e2db0956f229dbb543e21f058d1ce7" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded quint-connect-macros v0.1.2
[INFO] [stderr]   Downloaded referencing v0.26.2
[INFO] [stderr]   Downloaded quint-connect v0.1.2
[INFO] [stderr]   Downloaded itf v0.4.0
[INFO] [stderr]   Downloaded serde_with_macros v3.22.0
[INFO] [stderr]   Downloaded dashu-base v0.4.3
[INFO] [stderr]   Downloaded jsonschema v0.26.2
[INFO] [stderr]   Downloaded exacl v0.13.0
[INFO] [stderr]   Downloaded fraction v0.15.4
[INFO] [stderr]   Downloaded dashu-int v0.4.3
[INFO] [stderr]   Downloaded process-wrap v8.2.1
[INFO] [stderr]   Downloaded serde_with v3.22.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 71c3596925a40f6c0631b17b668f6af1bdb755955c7dc4d1a8ab6f446415ef79
[INFO] running `Command { std: "docker" "start" "71c3596925a40f6c0631b17b668f6af1bdb755955c7dc4d1a8ab6f446415ef79", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "71c3596925a40f6c0631b17b668f6af1bdb755955c7dc4d1a8ab6f446415ef79", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "71c3596925a40f6c0631b17b668f6af1bdb755955c7dc4d1a8ab6f446415ef79" "/opt/rustwide/cargo-home/bin/cargo" "+018018e881e2db0956f229dbb543e21f058d1ce7" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "71c3596925a40f6c0631b17b668f6af1bdb755955c7dc4d1a8ab6f446415ef79", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "71c3596925a40f6c0631b17b668f6af1bdb755955c7dc4d1a8ab6f446415ef79" "/opt/rustwide/cargo-home/bin/cargo" "+018018e881e2db0956f229dbb543e21f058d1ce7" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.189
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]     Checking fireemu-core-types v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-types)
[INFO] [stderr]     Checking cfg-if v1.0.4
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling libm v0.2.16
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]    Compiling zerocopy v0.8.56
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]     Checking bitflags v2.13.1
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]     Checking itoa v1.0.18
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]     Checking memchr v2.8.3
[INFO] [stderr]     Checking fastrand v2.5.0
[INFO] [stderr]     Checking bytes v1.12.1
[INFO] [stderr]    Compiling zmij v1.0.23
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]     Checking pin-project-lite v0.2.17
[INFO] [stderr]     Checking futures-core v0.3.34
[INFO] [stderr]     Checking log v0.4.34
[INFO] [stderr]     Checking smallvec v1.15.2
[INFO] [stderr]     Checking equivalent v1.0.2
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]     Checking futures-sink v0.3.34
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]    Compiling httparse v1.10.1
[INFO] [stderr]     Checking try-lock v0.2.5
[INFO] [stderr]     Checking futures-task v0.3.34
[INFO] [stderr]     Checking atomic-waker v1.1.2
[INFO] [stderr]     Checking tower-service v0.3.3
[INFO] [stderr]     Checking futures-util v0.3.34
[INFO] [stderr]     Checking fireemu-core-limits v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-limits)
[INFO] [stderr]     Checking fireemu-core-session v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-session)
[INFO] [stderr]     Checking want v0.3.1
[INFO] [stderr]     Checking futures-channel v0.3.34
[INFO] [stderr]     Checking httpdate v1.0.3
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]     Checking regex-syntax v0.8.11
[INFO] [stderr]    Compiling anyhow v1.0.104
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]     Checking fireemu-core-auth v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-auth)
[INFO] [stderr]     Checking indexmap v2.14.1
[INFO] [stderr]     Checking fireemu-core-firestore v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-firestore)
[INFO] [stderr]    Compiling syn v3.0.4
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]     Checking http v1.5.0
[INFO] [stderr]     Checking fireemu-core-rules v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-rules)
[INFO] [stderr]     Checking bit-vec v0.8.0
[INFO] [stderr]    Compiling either v1.18.0
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]     Checking mio v1.2.2
[INFO] [stderr]     Checking socket2 v0.6.5
[INFO] [stderr]     Checking bit-set v0.8.0
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]     Checking fireemu-core-app-check v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-app-check)
[INFO] [stderr]     Checking percent-encoding v2.3.2
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking base64 v0.22.1
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking rand_xorshift v0.4.0
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking sync_wrapper v1.0.2
[INFO] [stderr]     Checking tower-layer v0.3.3
[INFO] [stderr]     Checking form_urlencoded v1.2.2
[INFO] [stderr]     Checking ryu v1.0.23
[INFO] [stderr]     Checking mime v0.3.17
[INFO] [stderr]     Checking matchit v0.8.4
[INFO] [stderr]     Checking socket2 v0.5.10
[INFO] [stderr]     Checking http-body v1.1.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]     Checking const-oid v0.9.6
[INFO] [stderr]     Checking typenum v1.20.1
[INFO] [stderr]     Checking fireemu-core-storage v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-storage)
[INFO] [stderr]     Checking fireemu-core-functions v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-functions)
[INFO] [stderr]     Checking http-body-util v0.1.5
[INFO] [stderr]     Checking cpufeatures v0.2.17
[INFO] [stderr]     Checking fireemu-core-events v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-events)
[INFO] [stderr]     Checking siphasher v1.0.3
[INFO] [stderr]     Checking iana-time-zone v0.1.65
[INFO] [stderr]     Checking phf_shared v0.12.1
[INFO] [stderr]    Compiling chrono-tz v0.10.4
[INFO] [stderr]     Checking spin v0.9.9
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking chrono v0.4.45
[INFO] [stderr]     Checking phf v0.12.1
[INFO] [stderr]     Checking num-integer v0.1.47
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]     Checking zeroize v1.9.0
[INFO] [stderr]     Checking base64ct v1.8.3
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling num-bigint-dig v0.8.6
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]    Compiling rustversion v1.0.23
[INFO] [stderr]     Checking num-modular v0.6.5
[INFO] [stderr]    Compiling dashu-int v0.4.3
[INFO] [stderr]     Checking pem-rfc7468 v0.7.0
[INFO] [stderr]     Checking num-iter v0.1.46
[INFO] [stderr]     Checking dashu-base v0.4.3
[INFO] [stderr]     Checking static_assertions v1.1.0
[INFO] [stderr]    Compiling quint-connect v0.1.2
[INFO] [stderr]     Checking der v0.7.10
[INFO] [stderr]     Checking similar v2.7.0
[INFO] [stderr]     Checking colored v3.1.1
[INFO] [stderr]     Checking fireemu-core-export v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-export)
[INFO] [stderr]     Checking num-order v1.2.0
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking fireemu-export-publication v0.7.1 (/opt/rustwide/workdir/crates/fireemu-export-publication)
[INFO] [stderr]    Compiling include_dir_macros v0.7.4
[INFO] [stderr]     Checking fireemu-core-pubsub v0.7.1 (/opt/rustwide/workdir/crates/fireemu-core-pubsub)
[INFO] [stderr]    Compiling fireemu-adapter-ui v0.7.1 (/opt/rustwide/workdir/crates/fireemu-adapter-ui)
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]     Checking stable_deref_trait v1.2.1
[INFO] [stderr]     Checking aho-corasick v1.1.5
[INFO] [stderr]     Checking writeable v0.6.4
[INFO] [stderr]     Checking litemap v0.8.3
[INFO] [stderr]    Compiling icu_properties_data v2.3.0
[INFO] [stderr]     Checking utf8_iter v1.0.4
[INFO] [stderr]    Compiling icu_normalizer_data v2.3.0
[INFO] [stderr]     Checking include_dir v0.7.4
[INFO] [stderr]    Compiling ref-cast v1.0.27
[INFO] [stderr]     Checking num-bigint v0.4.8
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]     Checking fireemu-verification-property v0.7.1 (/opt/rustwide/workdir/verification/property)
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking fixedbitset v0.5.7
[INFO] [stderr]     Checking borrow-or-share v0.2.4
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking outref v0.5.2
[INFO] [stderr]     Checking uuid v1.26.0
[INFO] [stderr]     Checking vsimd v0.8.0
[INFO] [stderr]     Checking serde_path_to_error v0.1.20
[INFO] [stderr]     Checking petgraph v0.7.1
[INFO] [stderr]     Checking heck v0.5.0
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking signature v2.2.0
[INFO] [stderr]     Checking sha1 v0.10.7
[INFO] [stderr]     Checking multimap v0.10.1
[INFO] [stderr]     Checking spki v0.7.3
[INFO] [stderr]     Checking bytecount v0.6.9
[INFO] [stderr]     Checking num-cmp v0.1.0
[INFO] [stderr]     Checking pkcs8 v0.10.2
[INFO] [stderr]     Checking fireemu-verification-loom v0.7.1 (/opt/rustwide/workdir/verification/loom)
[INFO] [stderr]     Checking pkcs1 v0.7.5
[INFO] [stderr]     Checking fireemu-verification-kani v0.7.1 (/opt/rustwide/workdir/verification/kani)
[INFO] [stderr]     Checking uuid-simd v0.8.0
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking regex-automata v0.4.18
[INFO] [stderr]    Compiling darling_core v0.23.0
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking fraction v0.15.4
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling prost-derive v0.13.5
[INFO] [stderr]    Compiling pin-project-internal v1.1.13
[INFO] [stderr]    Compiling quint-connect-macros v0.1.2
[INFO] [stderr]     Checking fireemu-adapter-support v0.7.1 (/opt/rustwide/workdir/crates/fireemu-adapter-support)
[INFO] [stderr]     Checking compat-check v0.7.1 (/opt/rustwide/workdir/tools/compat-check)
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling tokio-macros v2.7.2
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling async-trait v0.1.92
[INFO] [stderr]    Compiling zerovec-derive v0.11.6
[INFO] [stderr]    Compiling displaydoc v0.2.7
[INFO] [stderr]    Compiling ref-cast-impl v1.0.27
[INFO] [stderr]     Checking tokio v1.53.1
[INFO] [stderr]     Checking zerofrom v0.1.8
[INFO] [stderr]     Checking pin-project v1.1.13
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]     Checking fancy-regex v0.14.0
[INFO] [stderr]     Checking yoke v0.8.3
[INFO] [stderr]     Checking prost v0.13.5
[INFO] [stderr]     Checking axum-core v0.5.6
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking zerovec v0.11.8
[INFO] [stderr]     Checking zerotrie v0.2.5
[INFO] [stderr]     Checking prost-types v0.13.5
[INFO] [stderr]    Compiling darling_macro v0.23.0
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]    Compiling darling v0.23.0
[INFO] [stderr]     Checking rand v0.9.5
[INFO] [stderr]    Compiling serde_with_macros v3.22.0
[INFO] [stderr]     Checking rand v0.8.8
[INFO] [stderr]     Checking tinystr v0.8.4
[INFO] [stderr]     Checking potential_utf v0.1.6
[INFO] [stderr]     Checking icu_collections v2.3.0
[INFO] [stderr]     Checking icu_locale_core v2.3.0
[INFO] [stderr]     Checking prost-build v0.13.5
[INFO] [stderr]     Checking serde_with v3.22.0
[INFO] [stderr]     Checking proptest v1.11.0
[INFO] [stderr]     Checking tonic-build v0.13.1
[INFO] [stderr]     Checking icu_provider v2.3.1
[INFO] [stderr]     Checking serde_urlencoded v0.7.1
[INFO] [stderr]     Checking fluent-uri v0.3.2
[INFO] [stderr]     Checking email_address v0.2.9
[INFO] [stderr]     Checking limit-catalog-gen v0.7.1 (/opt/rustwide/workdir/tools/limit-catalog-gen)
[INFO] [stderr]     Checking icu_properties v2.3.0
[INFO] [stderr]     Checking icu_normalizer v2.3.0
[INFO] [stderr]     Checking referencing v0.26.2
[INFO] [stderr]     Checking proto-gen v0.7.1 (/opt/rustwide/workdir/tools/proto-gen)
[INFO] [stderr]     Checking rsa v0.9.10
[INFO] [stderr]     Checking idna_adapter v1.2.2
[INFO] [stderr]     Checking idna v1.1.0
[INFO] [stderr]     Checking jsonschema v0.26.2
[INFO] [stderr]     Checking itf v0.4.0
[INFO] [stderr]     Checking tokio-util v0.7.19
[INFO] [stderr]     Checking fireemu-adapter-logging v0.7.1 (/opt/rustwide/workdir/crates/fireemu-adapter-logging)
[INFO] [stderr]     Checking config-schema-check v0.7.1 (/opt/rustwide/workdir/tools/config-schema-check)
[INFO] [stderr]     Checking h2 v0.4.19
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking tokio-stream v0.1.19
[INFO] [stderr]     Checking hyper v1.11.0
[INFO] [stderr]     Checking hyper-util v0.1.20
[INFO] [stderr]     Checking axum v0.8.9
[INFO] [stderr]     Checking hyper-timeout v0.5.2
[INFO] [stderr]     Checking fireemu-adapter-http v0.7.1 (/opt/rustwide/workdir/crates/fireemu-adapter-http)
[INFO] [stderr]     Checking tonic v0.13.1
[INFO] [stderr]     Checking fireemu-proto-firestore v0.7.1 (/opt/rustwide/workdir/crates/fireemu-proto-firestore)
[INFO] [stderr]     Checking fireemu-proto-pubsub v0.7.1 (/opt/rustwide/workdir/crates/fireemu-proto-pubsub)
[INFO] [stderr]     Checking fireemu-adapter-grpc v0.7.1 (/opt/rustwide/workdir/crates/fireemu-adapter-grpc)
[INFO] [stderr]     Checking fireemu-adapter-pubsub v0.7.1 (/opt/rustwide/workdir/crates/fireemu-adapter-pubsub)
[INFO] [stdout] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]    --> crates/fireemu-adapter-grpc/src/local.rs:946:32
[INFO] [stdout]     |
[INFO] [stdout] 946 |         let _ = retained_total.fetch_update(
[INFO] [stdout]     |                                ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]     |
[INFO] [stdout] 946 -         let _ = retained_total.fetch_update(
[INFO] [stdout] 946 +         let _ = retained_total.try_update(
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]    --> crates/fireemu-adapter-grpc/src/local.rs:963:37
[INFO] [stdout]     |
[INFO] [stdout] 963 |         let _ = self.retained_total.fetch_update(
[INFO] [stdout]     |                                     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]     |
[INFO] [stdout] 963 -         let _ = self.retained_total.fetch_update(
[INFO] [stdout] 963 +         let _ = self.retained_total.try_update(
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]    --> crates/fireemu-adapter-grpc/src/local.rs:946:32
[INFO] [stdout]     |
[INFO] [stdout] 946 |         let _ = retained_total.fetch_update(
[INFO] [stdout]     |                                ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]     |
[INFO] [stdout] 946 -         let _ = retained_total.fetch_update(
[INFO] [stdout] 946 +         let _ = retained_total.try_update(
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]    --> crates/fireemu-adapter-grpc/src/local.rs:963:37
[INFO] [stdout]     |
[INFO] [stdout] 963 |         let _ = self.retained_total.fetch_update(
[INFO] [stdout]     |                                     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]     |
[INFO] [stdout] 963 -         let _ = self.retained_total.fetch_update(
[INFO] [stdout] 963 +         let _ = self.retained_total.try_update(
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]    --> crates/fireemu-adapter-grpc/src/webchannel.rs:879:18
[INFO] [stdout]     |
[INFO] [stdout] 879 |                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |emitted| {
[INFO] [stdout]     |                  ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]     |
[INFO] [stdout] 879 -                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |emitted| {
[INFO] [stdout] 879 +                 .try_update(Ordering::Relaxed, Ordering::Relaxed, |emitted| {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]    --> crates/fireemu-adapter-grpc/src/webchannel.rs:879:18
[INFO] [stdout]     |
[INFO] [stdout] 879 |                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |emitted| {
[INFO] [stdout]     |                  ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]     |
[INFO] [stdout] 879 -                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |emitted| {
[INFO] [stdout] 879 +                 .try_update(Ordering::Relaxed, Ordering::Relaxed, |emitted| {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking fireemu-adapter-functions v0.7.1 (/opt/rustwide/workdir/crates/fireemu-adapter-functions)
[INFO] [stderr]     Checking fireemu-verification-quint v0.7.1 (/opt/rustwide/workdir/verification/quint)
[INFO] [stderr]     Checking fireemu v0.7.1 (/opt/rustwide/workdir/crates/fireemu)
[INFO] [stderr]     Checking traceability-check v0.7.1 (/opt/rustwide/workdir/tools/traceability-check)
[INFO] [stderr] warning: unused dependency `fireemu-core-types`
[INFO] [stderr]   --> crates/fireemu-core-limits/Cargo.toml:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | fireemu-core-types = { path = "../fireemu-core-types" }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `fireemu-core-types`
[INFO] [stderr] help: to still use for development builds, move to `dev-dependencies`
[INFO] [stderr] warning: `fireemu-core-limits` (manifest) generated 1 warning
[INFO] [stderr] warning: unused dependency `fireemu-core-events`
[INFO] [stderr]   --> verification/kani/Cargo.toml:15:1
[INFO] [stderr]    |
[INFO] [stderr] 15 | fireemu-core-events = { path = "../../crates/fireemu-core-events" }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `fireemu-core-events`
[INFO] [stderr] warning: unused dependency `fireemu-core-limits`
[INFO] [stderr]   --> verification/kani/Cargo.toml:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | fireemu-core-limits = { path = "../../crates/fireemu-core-limits" }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `fireemu-core-limits`
[INFO] [stderr] warning: unused dependency `fireemu-core-session`
[INFO] [stderr]   --> verification/kani/Cargo.toml:14:1
[INFO] [stderr]    |
[INFO] [stderr] 14 | fireemu-core-session = { path = "../../crates/fireemu-core-session" }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `fireemu-core-session`
[INFO] [stderr] warning: `fireemu-verification-kani` (manifest) generated 3 warnings
[INFO] [stderr] warning: unused dependency `fireemu-core-auth`
[INFO] [stderr]   --> verification/loom/Cargo.toml:15:1
[INFO] [stderr]    |
[INFO] [stderr] 15 | fireemu-core-auth = { path = "../../crates/fireemu-core-auth" }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `fireemu-core-auth`
[INFO] [stderr] warning: unused dependency `fireemu-core-events`
[INFO] [stderr]   --> verification/loom/Cargo.toml:14:1
[INFO] [stderr]    |
[INFO] [stderr] 14 | fireemu-core-events = { path = "../../crates/fireemu-core-events" }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `fireemu-core-events`
[INFO] [stderr] warning: unused dependency `fireemu-core-session`
[INFO] [stderr]   --> verification/loom/Cargo.toml:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | fireemu-core-session = { path = "../../crates/fireemu-core-session" }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `fireemu-core-session`
[INFO] [stderr] warning: `fireemu-verification-loom` (manifest) generated 3 warnings
[INFO] [stderr] warning: unused dependency `fireemu-core-export`
[INFO] [stderr]   --> verification/quint/Cargo.toml:17:1
[INFO] [stderr]    |
[INFO] [stderr] 17 | fireemu-core-export = { path = "../../crates/fireemu-core-export" }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `fireemu-core-export`
[INFO] [stderr] warning: `fireemu-verification-quint` (manifest) generated 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 50s
[INFO] running `Command { std: "docker" "inspect" "71c3596925a40f6c0631b17b668f6af1bdb755955c7dc4d1a8ab6f446415ef79", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "71c3596925a40f6c0631b17b668f6af1bdb755955c7dc4d1a8ab6f446415ef79", kill_on_drop: false }`
[INFO] [stdout] 71c3596925a40f6c0631b17b668f6af1bdb755955c7dc4d1a8ab6f446415ef79
