[INFO] cloning repository https://github.com/seanchatmangpt/bcinr [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/seanchatmangpt/bcinr" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fseanchatmangpt%2Fbcinr", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fseanchatmangpt%2Fbcinr'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b76dcb377b297cb8826a5256b55f8b57a6b76462 [INFO] checking seanchatmangpt/bcinr against 98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3 for pr-160235-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fseanchatmangpt%2Fbcinr" "/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/seanchatmangpt/bcinr [INFO] finished tweaking git repo https://github.com/seanchatmangpt/bcinr [INFO] tweaked toml for git repo https://github.com/seanchatmangpt/bcinr written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/seanchatmangpt/bcinr on toolchain 98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/seanchatmangpt/bcinr 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" "+98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: binary `rust_audit` should have a kebab-case name [INFO] [stderr] | [INFO] [stderr] 1 | /workspace/builds/worker-1-tc1/source/target/.../rust_audit [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::non_kebab_case_bins` is set to `warn` by default [INFO] [stderr] help: to change the binary name to `rust-audit`, convert `package.name` [INFO] [stderr] --> tools/rust_audit/Cargo.toml:2:8 [INFO] [stderr] | [INFO] [stderr] 2 - name = "rust_audit" [INFO] [stderr] 2 + name = "rust-audit" [INFO] [stderr] | [INFO] [stderr] help: to change the binary name to `rust-audit`, specify `bin.name` [INFO] [stderr] --> tools/rust_audit/Cargo.toml:12:16 [INFO] [stderr] | [INFO] [stderr] 12 ~ [dependencies] [INFO] [stderr] 13 + [[bin]] [INFO] [stderr] 14 + name = "rust-audit" [INFO] [stderr] 15 + path = "src/main.rs" [INFO] [stderr] | [INFO] [stderr] warning: `rust_audit` (manifest) generated 1 warning [INFO] [stderr] warning: explicit `package.readme` can be inferred [INFO] [stderr] --> crates/encode_unicode_patch/Cargo.toml:21:1 [INFO] [stderr] | [INFO] [stderr] 21 | readme = "README.md" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::manual_readme` is set to `warn` by default [INFO] [stderr] help: consider removing `package.readme` [INFO] [stderr] warning: `encode_unicode` (manifest) generated 1 warning [INFO] [stderr] warning: explicit `package.readme` can be inferred [INFO] [stderr] --> crates/bcinr-powl/Cargo.toml:11:1 [INFO] [stderr] | [INFO] [stderr] 11 | readme = "README.md" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::manual_readme` is set to `warn` by default [INFO] [stderr] help: consider removing `package.readme` [INFO] [stderr] warning: binary `soundness_cli` should have a kebab-case name [INFO] [stderr] | [INFO] [stderr] 1 | /workspace/builds/worker-1-tc1/source/target/.../soundness_cli [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::non_kebab_case_bins` is set to `warn` by default [INFO] [stderr] help: to change the binary name to `soundness-cli`, convert the file stem [INFO] [stderr] | [INFO] [stderr] 1 - src/bin/soundness_cli.rs [INFO] [stderr] 1 + src/bin/soundness-cli.rs [INFO] [stderr] | [INFO] [stderr] warning: `bcinr-powl` (manifest) generated 2 warnings [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded wasm-bindgen v0.2.126 [INFO] [stderr] Downloaded wasm-bindgen-macro v0.2.126 [INFO] [stderr] Downloaded wasm-bindgen-shared v0.2.126 [INFO] [stderr] Downloaded wasm-bindgen-macro-support v0.2.126 [INFO] [stderr] Downloaded divan-macros v0.1.21 [INFO] [stderr] Downloaded condtype v1.3.0 [INFO] [stderr] Downloaded terminal_size v0.4.4 [INFO] [stderr] Downloaded tokio-macros v2.7.1 [INFO] [stderr] Downloaded is-terminal v0.4.17 [INFO] [stderr] Downloaded chicago-tdd-tools-proc-macros v26.7.1 [INFO] [stderr] Downloaded target-triple v1.0.1 [INFO] [stderr] Downloaded ciborium-ll v0.2.2 [INFO] [stderr] Downloaded serde_spanned v1.1.1 [INFO] [stderr] Downloaded plotters-svg v0.3.7 [INFO] [stderr] Downloaded dirs-next v2.0.0 [INFO] [stderr] Downloaded cast v0.3.0 [INFO] [stderr] Downloaded plotters-backend v0.3.7 [INFO] [stderr] Downloaded ciborium-io v0.2.2 [INFO] [stderr] Downloaded dirs-sys-next v0.1.2 [INFO] [stderr] Downloaded libredox v0.1.18 [INFO] [stderr] Downloaded quote v1.0.46 [INFO] [stderr] Downloaded anes v0.1.6 [INFO] [stderr] Downloaded clap v4.6.2 [INFO] [stderr] Downloaded toml_writer v1.1.2+spec-1.1.0 [INFO] [stderr] Downloaded oorandom v11.1.5 [INFO] [stderr] Downloaded prettytable-rs v0.10.0 [INFO] [stderr] Downloaded tinytemplate v1.2.1 [INFO] [stderr] Downloaded futures-executor v0.3.33 [INFO] [stderr] Downloaded criterion-plot v0.5.0 [INFO] [stderr] Downloaded ocel v0.1.5 [INFO] [stderr] Downloaded trybuild v1.0.118 [INFO] [stderr] Downloaded term v0.7.0 [INFO] [stderr] Downloaded serde_yaml v0.9.34+deprecated [INFO] [stderr] Downloaded futures v0.3.33 [INFO] [stderr] Downloaded toml v1.1.3+spec-1.1.0 [INFO] [stderr] Downloaded minreq v2.14.1 [INFO] [stderr] Downloaded prolog8 v26.7.1 [INFO] [stderr] Downloaded ciborium v0.2.2 [INFO] [stderr] Downloaded divan v0.1.21 [INFO] [stderr] Downloaded regex-lite v0.1.9 [INFO] [stderr] Downloaded unsafe-libyaml v0.2.11 [INFO] [stderr] Downloaded cc v1.3.0 [INFO] [stderr] Downloaded zerocopy-derive v0.8.54 [INFO] [stderr] Downloaded criterion v0.5.1 [INFO] [stderr] Downloaded openssl-sys v0.9.117 [INFO] [stderr] Downloaded js-sys v0.3.103 [INFO] [stderr] Downloaded plotters v0.3.7 [INFO] [stderr] Downloaded quick-xml v0.36.2 [INFO] [stderr] Downloaded zerocopy v0.8.54 [INFO] [stderr] Downloaded openssl v0.10.81 [INFO] [stderr] Downloaded web-sys v0.3.103 [INFO] [stderr] Downloaded wasm4pm-compat v26.6.29 [INFO] [stderr] Downloaded tokio v1.53.0 [INFO] [stderr] Downloaded chicago-tdd-tools v26.7.1 [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] 5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c [INFO] running `Command { std: "docker" "start" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", 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" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c" "/opt/rustwide/cargo-home/bin/cargo" "+98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", 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" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c" "/opt/rustwide/cargo-home/bin/cargo" "+98fd715edd3a0a5aa8f2041d7e20a3143b0fc0d3" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] warning: explicit `package.readme` can be inferred [INFO] [stderr] --> crates/bcinr-powl/Cargo.toml:11:1 [INFO] [stderr] | [INFO] [stderr] 11 | readme = "README.md" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::manual_readme` is set to `warn` by default [INFO] [stderr] help: consider removing `package.readme` [INFO] [stderr] warning: binary `soundness_cli` should have a kebab-case name [INFO] [stderr] | [INFO] [stderr] 1 | /opt/rustwide/target/.../soundness_cli [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::non_kebab_case_bins` is set to `warn` by default [INFO] [stderr] help: to change the binary name to `soundness-cli`, convert the file stem [INFO] [stderr] | [INFO] [stderr] 1 - src/bin/soundness_cli.rs [INFO] [stderr] 1 + src/bin/soundness-cli.rs [INFO] [stderr] | [INFO] [stderr] warning: `bcinr-powl` (manifest) generated 2 warnings [INFO] [stderr] warning: binary `rust_audit` should have a kebab-case name [INFO] [stderr] | [INFO] [stderr] 1 | /opt/rustwide/target/.../rust_audit [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::non_kebab_case_bins` is set to `warn` by default [INFO] [stderr] help: to change the binary name to `rust-audit`, convert `package.name` [INFO] [stderr] --> tools/rust_audit/Cargo.toml:2:8 [INFO] [stderr] | [INFO] [stderr] 2 - name = "rust_audit" [INFO] [stderr] 2 + name = "rust-audit" [INFO] [stderr] | [INFO] [stderr] help: to change the binary name to `rust-audit`, specify `bin.name` [INFO] [stderr] --> tools/rust_audit/Cargo.toml:12:16 [INFO] [stderr] | [INFO] [stderr] 12 ~ [dependencies] [INFO] [stderr] 13 + [[bin]] [INFO] [stderr] 14 + name = "rust-audit" [INFO] [stderr] 15 + path = "src/main.rs" [INFO] [stderr] | [INFO] [stderr] warning: `rust_audit` (manifest) generated 1 warning [INFO] [stderr] warning: explicit `package.readme` can be inferred [INFO] [stderr] --> crates/encode_unicode_patch/Cargo.toml:21:1 [INFO] [stderr] | [INFO] [stderr] 21 | readme = "README.md" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::manual_readme` is set to `warn` by default [INFO] [stderr] help: consider removing `package.readme` [INFO] [stderr] warning: `encode_unicode` (manifest) generated 1 warning [INFO] [stderr] Compiling quote v1.0.46 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling unicode-ident v1.0.24 [INFO] [stderr] Compiling libc v0.2.186 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling shlex v2.0.1 [INFO] [stderr] Checking memchr v2.8.3 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking foldhash v0.2.0 [INFO] [stderr] Checking equivalent v1.0.2 [INFO] [stderr] Checking bitflags v2.13.1 [INFO] [stderr] Checking itoa v1.0.18 [INFO] [stderr] Compiling zmij v1.0.23 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling serde_json v1.0.150 [INFO] [stderr] Compiling zerocopy v0.8.54 [INFO] [stderr] Compiling getrandom v0.4.3 [INFO] [stderr] Compiling autocfg v1.5.1 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Checking constant_time_eq v0.4.2 [INFO] [stderr] Checking arrayvec v0.7.8 [INFO] [stderr] Compiling cc v1.3.0 [INFO] [stderr] Checking cpufeatures v0.3.0 [INFO] [stderr] Checking log v0.4.33 [INFO] [stderr] Checking iana-time-zone v0.1.65 [INFO] [stderr] Compiling rustix v1.1.4 [INFO] [stderr] Checking linux-raw-sys v0.12.1 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking rustc-hash v2.1.3 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Checking pin-project-lite v0.2.17 [INFO] [stderr] Checking ryu v1.0.23 [INFO] [stderr] Checking regex-syntax v0.8.11 [INFO] [stderr] Checking typenum v1.20.1 [INFO] [stderr] Checking futures-core v0.3.33 [INFO] [stderr] Checking futures-sink v0.3.33 [INFO] [stderr] Checking hashbrown v0.17.1 [INFO] [stderr] Checking fastrand v2.4.1 [INFO] [stderr] Checking quick-xml v0.36.2 [INFO] [stderr] Checking futures-task v0.3.33 [INFO] [stderr] Checking futures-channel v0.3.33 [INFO] [stderr] Checking futures-io v0.3.33 [INFO] [stderr] Compiling crossbeam-utils v0.8.22 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking slab v0.4.12 [INFO] [stderr] Checking toml_write v0.1.2 [INFO] [stderr] Checking winnow v0.7.15 [INFO] [stderr] Checking bit-vec v0.8.0 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Compiling syn v2.0.119 [INFO] [stderr] Checking bit-set v0.8.0 [INFO] [stderr] Checking tracing-core v0.1.36 [INFO] [stderr] Checking unsafe-libyaml v0.2.11 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Compiling chicago-tdd-tools v26.7.1 [INFO] [stderr] Checking anstyle v1.0.14 [INFO] [stderr] Checking clap_lex v1.1.0 [INFO] [stderr] Checking regex-lite v0.1.9 [INFO] [stderr] Checking indexmap v2.14.0 [INFO] [stderr] Checking condtype v1.3.0 [INFO] [stderr] Checking bcinr-logic v26.7.28 (/opt/rustwide/workdir/crates/bcinr-logic) [INFO] [stderr] Checking winnow v1.0.4 [INFO] [stderr] Checking wait-timeout v0.2.1 [INFO] [stderr] Compiling target-triple v1.0.1 [INFO] [stderr] Checking rand_core v0.9.5 [INFO] [stderr] Checking toml_parser v1.1.2+spec-1.1.0 [INFO] [stderr] Checking toml_writer v1.1.2+spec-1.1.0 [INFO] [stderr] Compiling blake3 v1.8.5 [INFO] [stderr] Checking glob v0.3.3 [INFO] [stderr] Checking rand v0.9.5 [INFO] [stderr] Checking rand_xorshift v0.4.0 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling pkg-config v0.3.33 [INFO] [stderr] Checking fallible-iterator v0.3.0 [INFO] [stderr] Checking fallible-streaming-iterator v0.1.9 [INFO] [stderr] Checking foreign-types-shared v0.1.1 [INFO] [stderr] Compiling openssl v0.10.81 [INFO] [stderr] Checking foreign-types v0.3.2 [INFO] [stderr] Compiling native-tls v0.2.18 [INFO] [stderr] Checking openssl-probe v0.2.1 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking encode_unicode v1.0.1 (/opt/rustwide/workdir/crates/encode_unicode_patch) [INFO] [stderr] Checking dirs-sys-next v0.1.2 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Checking dirs-next v2.0.0 [INFO] [stderr] Checking csv-core v0.1.13 [INFO] [stderr] Checking aho-corasick v1.1.4 [INFO] [stderr] Checking is-terminal v0.4.17 [INFO] [stderr] Checking term v0.7.0 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Checking rust_audit v0.1.0 (/opt/rustwide/workdir/tools/rust_audit) [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling libsqlite3-sys v0.30.1 [INFO] [stderr] Compiling openssl-sys v0.9.117 [INFO] [stderr] Checking bcinr-mfw-ir v26.7.28 (/opt/rustwide/workdir/crates/bcinr-mfw-ir) [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking tempfile v3.27.0 [INFO] [stderr] Checking terminal_size v0.4.4 [INFO] [stderr] Checking clap_builder v4.6.2 [INFO] [stderr] Checking regex-automata v0.4.16 [INFO] [stderr] Checking rusty-fork v0.3.1 [INFO] [stderr] Checking uuid v1.24.0 [INFO] [stderr] Checking toml_datetime v1.1.1+spec-1.1.0 [INFO] [stderr] Checking serde_spanned v1.1.1 [INFO] [stderr] Checking csv v1.4.0 [INFO] [stderr] Checking toml v1.1.3+spec-1.1.0 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling futures-macro v0.3.33 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling tokio-macros v2.7.1 [INFO] [stderr] Compiling chicago-tdd-tools-proc-macros v26.7.1 [INFO] [stderr] Compiling divan-macros v0.1.21 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Checking prettytable-rs v0.10.0 [INFO] [stderr] Checking tokio v1.53.0 [INFO] [stderr] Checking futures-util v0.3.33 [INFO] [stderr] Checking clap v4.6.2 [INFO] [stderr] Checking divan v0.1.21 [INFO] [stderr] Checking tracing v0.1.44 [INFO] [stderr] Checking thiserror v2.0.18 [INFO] [stderr] Checking regex v1.13.1 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.7 [INFO] [stderr] Checking proptest v1.11.0 [INFO] [stderr] Checking bcinr-bench-auditor v26.7.25 (/opt/rustwide/workdir/tools/bcinr-bench-auditor) [INFO] [stderr] Checking bcinr-cheat-scanner v26.7.25 (/opt/rustwide/workdir/tools/bcinr-cheat-scanner) [INFO] [stderr] Checking bcinr-contract-gate v26.7.25 (/opt/rustwide/workdir/tools/bcinr-contract-gate) [INFO] [stderr] Checking hashlink v0.9.1 [INFO] [stderr] Checking chrono v0.4.45 [INFO] [stderr] Checking smallvec v1.15.2 [INFO] [stderr] Checking toml_datetime v0.6.11 [INFO] [stderr] Checking serde_spanned v0.6.9 [INFO] [stderr] Checking serde_yaml v0.9.34+deprecated [INFO] [stderr] Checking bcinr-cmca v26.7.28 (/opt/rustwide/workdir/crates/bcinr-cmca) [INFO] [stderr] Checking trybuild v1.0.118 [INFO] [stderr] Checking quick-xml v0.41.0 [INFO] [stderr] Checking bcinr-reporter v26.7.25 (/opt/rustwide/workdir/tools/bcinr-reporter) [INFO] [stderr] Checking ggen v0.1.0 (/opt/rustwide/workdir/tools/ggen) [INFO] [stderr] Checking toml_edit v0.22.27 [INFO] [stderr] Checking parking_lot_core v0.9.12 [INFO] [stderr] Checking prolog8 v26.7.1 [INFO] [stderr] Checking dashmap v6.2.1 [INFO] [stderr] Checking minreq v2.14.1 [INFO] [stderr] Checking futures-executor v0.3.33 [INFO] [stderr] Checking futures v0.3.33 [INFO] [stderr] Checking wasm4pm-compat v26.6.29 [INFO] [stderr] Checking toml v0.8.23 [INFO] [stderr] Checking rusqlite v0.32.1 [INFO] [stderr] Checking ocel v0.1.5 [INFO] [stderr] Checking bcinr-powl v26.7.28 (/opt/rustwide/workdir/crates/bcinr-powl) [INFO] [stderr] Checking bcinr-pddl v26.7.28 (/opt/rustwide/workdir/crates/bcinr-pddl) [INFO] [stdout] warning: `feature(generic_const_exprs)` is not supported with the next-generation trait solver [INFO] [stdout] --> crates/bcinr-powl/src/lib.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | #![feature(generic_const_exprs)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `-Znext-solver=globally` is currently enabled by default for testing [INFO] [stdout] = note: reverted the setting to `-Znext-solver=coherence` for this crate [INFO] [stdout] = note: the currently stable trait solver will be used for this crate [INFO] [stdout] = note: see issues #160895 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking bcinr-guarded v26.7.25 (/opt/rustwide/workdir/crates/bcinr-guarded) [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:26:15 [INFO] [stdout] | [INFO] [stdout] 26 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:26:31 [INFO] [stdout] | [INFO] [stdout] 26 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:26:53 [INFO] [stdout] | [INFO] [stdout] 26 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:26:73 [INFO] [stdout] | [INFO] [stdout] 26 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:27:22 [INFO] [stdout] | [INFO] [stdout] 27 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:35:26 [INFO] [stdout] | [INFO] [stdout] 35 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:35:41 [INFO] [stdout] | [INFO] [stdout] 35 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:36:5 [INFO] [stdout] | [INFO] [stdout] 36 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:37:9 [INFO] [stdout] | [INFO] [stdout] 37 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:38:9 [INFO] [stdout] | [INFO] [stdout] 38 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 39 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:40:9 [INFO] [stdout] | [INFO] [stdout] 40 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:43:9 [INFO] [stdout] | [INFO] [stdout] 43 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:36:21 [INFO] [stdout] | [INFO] [stdout] 36 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:37:31 [INFO] [stdout] | [INFO] [stdout] 37 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:38:29 [INFO] [stdout] | [INFO] [stdout] 38 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:39:26 [INFO] [stdout] | [INFO] [stdout] 39 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:40:25 [INFO] [stdout] | [INFO] [stdout] 40 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_sidechannel_crypto.rs:43:28 [INFO] [stdout] | [INFO] [stdout] 43 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:31:27 [INFO] [stdout] | [INFO] [stdout] 31 | allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:31:43 [INFO] [stdout] | [INFO] [stdout] 31 | allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:31:65 [INFO] [stdout] | [INFO] [stdout] 31 | allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | CertifiedLearning, EnvelopeReceipt, LensSelectionRefusal, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:32:24 [INFO] [stdout] | [INFO] [stdout] 32 | CertifiedLearning, EnvelopeReceipt, LensSelectionRefusal, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:32:63 [INFO] [stdout] | [INFO] [stdout] 32 | CertifiedLearning, EnvelopeReceipt, LensSelectionRefusal, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:162:26 [INFO] [stdout] | [INFO] [stdout] 162 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:162:41 [INFO] [stdout] | [INFO] [stdout] 162 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:163:5 [INFO] [stdout] | [INFO] [stdout] 163 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:164:9 [INFO] [stdout] | [INFO] [stdout] 164 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:165:9 [INFO] [stdout] | [INFO] [stdout] 165 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:166:9 [INFO] [stdout] | [INFO] [stdout] 166 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:167:9 [INFO] [stdout] | [INFO] [stdout] 167 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:170:9 [INFO] [stdout] | [INFO] [stdout] 170 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:163:21 [INFO] [stdout] | [INFO] [stdout] 163 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:164:31 [INFO] [stdout] | [INFO] [stdout] 164 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:165:29 [INFO] [stdout] | [INFO] [stdout] 165 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:166:26 [INFO] [stdout] | [INFO] [stdout] 166 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:167:25 [INFO] [stdout] | [INFO] [stdout] 167 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/single_lens_allocation.rs:170:28 [INFO] [stdout] | [INFO] [stdout] 170 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 27 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:27:31 [INFO] [stdout] | [INFO] [stdout] 27 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:27:53 [INFO] [stdout] | [INFO] [stdout] 27 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:27:73 [INFO] [stdout] | [INFO] [stdout] 27 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:28:22 [INFO] [stdout] | [INFO] [stdout] 28 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:36:41 [INFO] [stdout] | [INFO] [stdout] 36 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:38:9 [INFO] [stdout] | [INFO] [stdout] 38 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 39 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:40:9 [INFO] [stdout] | [INFO] [stdout] 40 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:44:9 [INFO] [stdout] | [INFO] [stdout] 44 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:37:21 [INFO] [stdout] | [INFO] [stdout] 37 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:38:31 [INFO] [stdout] | [INFO] [stdout] 38 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:39:29 [INFO] [stdout] | [INFO] [stdout] 39 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:40:26 [INFO] [stdout] | [INFO] [stdout] 40 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:41:25 [INFO] [stdout] | [INFO] [stdout] 41 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_radiation_hardened.rs:44:28 [INFO] [stdout] | [INFO] [stdout] 44 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:10:15 [INFO] [stdout] | [INFO] [stdout] 10 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:10:31 [INFO] [stdout] | [INFO] [stdout] 10 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:10:53 [INFO] [stdout] | [INFO] [stdout] 10 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:10:73 [INFO] [stdout] | [INFO] [stdout] 10 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | EnvelopeReceipt, OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:11:22 [INFO] [stdout] | [INFO] [stdout] 11 | EnvelopeReceipt, OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:18:26 [INFO] [stdout] | [INFO] [stdout] 18 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:18:41 [INFO] [stdout] | [INFO] [stdout] 18 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:383:16 [INFO] [stdout] | [INFO] [stdout] 383 | let p_ok = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:384:9 [INFO] [stdout] | [INFO] [stdout] 384 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:385:9 [INFO] [stdout] | [INFO] [stdout] 385 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:386:9 [INFO] [stdout] | [INFO] [stdout] 386 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:387:9 [INFO] [stdout] | [INFO] [stdout] 387 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:390:9 [INFO] [stdout] | [INFO] [stdout] 390 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:395:23 [INFO] [stdout] | [INFO] [stdout] 395 | let p_temp_high = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:396:9 [INFO] [stdout] | [INFO] [stdout] 396 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:397:9 [INFO] [stdout] | [INFO] [stdout] 397 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:398:9 [INFO] [stdout] | [INFO] [stdout] 398 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:399:9 [INFO] [stdout] | [INFO] [stdout] 399 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:402:9 [INFO] [stdout] | [INFO] [stdout] 402 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:407:22 [INFO] [stdout] | [INFO] [stdout] 407 | let p_dist_low = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:408:9 [INFO] [stdout] | [INFO] [stdout] 408 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:409:9 [INFO] [stdout] | [INFO] [stdout] 409 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:410:9 [INFO] [stdout] | [INFO] [stdout] 410 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:411:9 [INFO] [stdout] | [INFO] [stdout] 411 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:414:9 [INFO] [stdout] | [INFO] [stdout] 414 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:19:21 [INFO] [stdout] | [INFO] [stdout] 19 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:20:31 [INFO] [stdout] | [INFO] [stdout] 20 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:21:29 [INFO] [stdout] | [INFO] [stdout] 21 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:22:26 [INFO] [stdout] | [INFO] [stdout] 22 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:23:25 [INFO] [stdout] | [INFO] [stdout] 23 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:26:28 [INFO] [stdout] | [INFO] [stdout] 26 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:383:32 [INFO] [stdout] | [INFO] [stdout] 383 | let p_ok = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:384:31 [INFO] [stdout] | [INFO] [stdout] 384 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:385:29 [INFO] [stdout] | [INFO] [stdout] 385 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:386:26 [INFO] [stdout] | [INFO] [stdout] 386 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:387:25 [INFO] [stdout] | [INFO] [stdout] 387 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:390:28 [INFO] [stdout] | [INFO] [stdout] 390 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:395:39 [INFO] [stdout] | [INFO] [stdout] 395 | let p_temp_high = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:396:31 [INFO] [stdout] | [INFO] [stdout] 396 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:397:29 [INFO] [stdout] | [INFO] [stdout] 397 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:398:26 [INFO] [stdout] | [INFO] [stdout] 398 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:399:25 [INFO] [stdout] | [INFO] [stdout] 399 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:402:28 [INFO] [stdout] | [INFO] [stdout] 402 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:407:38 [INFO] [stdout] | [INFO] [stdout] 407 | let p_dist_low = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:408:31 [INFO] [stdout] | [INFO] [stdout] 408 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:409:29 [INFO] [stdout] | [INFO] [stdout] 409 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:410:26 [INFO] [stdout] | [INFO] [stdout] 410 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:411:25 [INFO] [stdout] | [INFO] [stdout] 411 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/case_studies.rs:414:28 [INFO] [stdout] | [INFO] [stdout] 414 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:30:37 [INFO] [stdout] | [INFO] [stdout] 30 | allocate, allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:30:53 [INFO] [stdout] | [INFO] [stdout] 30 | allocate, allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:30:75 [INFO] [stdout] | [INFO] [stdout] 30 | allocate, allocate_single_lens, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | CertifiedLearning, EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:31:24 [INFO] [stdout] | [INFO] [stdout] 31 | CertifiedLearning, EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:31:41 [INFO] [stdout] | [INFO] [stdout] 31 | CertifiedLearning, EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:42:26 [INFO] [stdout] | [INFO] [stdout] 42 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:42:41 [INFO] [stdout] | [INFO] [stdout] 42 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 43 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:44:9 [INFO] [stdout] | [INFO] [stdout] 44 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:45:9 [INFO] [stdout] | [INFO] [stdout] 45 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:50:9 [INFO] [stdout] | [INFO] [stdout] 50 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:270:13 [INFO] [stdout] | [INFO] [stdout] 270 | ) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:43:21 [INFO] [stdout] | [INFO] [stdout] 43 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:44:31 [INFO] [stdout] | [INFO] [stdout] 44 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:45:29 [INFO] [stdout] | [INFO] [stdout] 45 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:46:26 [INFO] [stdout] | [INFO] [stdout] 46 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:47:25 [INFO] [stdout] | [INFO] [stdout] 47 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/falsification_adversarial.rs:50:28 [INFO] [stdout] | [INFO] [stdout] 50 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/examples/basic_allocation.rs:26:15 [INFO] [stdout] | [INFO] [stdout] 26 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/examples/basic_allocation.rs:26:31 [INFO] [stdout] | [INFO] [stdout] 26 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/examples/basic_allocation.rs:26:53 [INFO] [stdout] | [INFO] [stdout] 26 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/examples/basic_allocation.rs:26:73 [INFO] [stdout] | [INFO] [stdout] 26 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/examples/basic_allocation.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | EnvelopeReceipt, OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/examples/basic_allocation.rs:27:22 [INFO] [stdout] | [INFO] [stdout] 27 | EnvelopeReceipt, OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:34:25 [INFO] [stdout] | [INFO] [stdout] 34 | allocate_in, power, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:34:41 [INFO] [stdout] | [INFO] [stdout] 34 | allocate_in, power, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:34:63 [INFO] [stdout] | [INFO] [stdout] 34 | allocate_in, power, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | CertifiedLearning, EnvelopeReceipt, FeasibleRegion, OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:35:24 [INFO] [stdout] | [INFO] [stdout] 35 | CertifiedLearning, EnvelopeReceipt, FeasibleRegion, OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:35:57 [INFO] [stdout] | [INFO] [stdout] 35 | CertifiedLearning, EnvelopeReceipt, FeasibleRegion, OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:225:17 [INFO] [stdout] | [INFO] [stdout] 225 | let proof = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:226:9 [INFO] [stdout] | [INFO] [stdout] 226 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:227:9 [INFO] [stdout] | [INFO] [stdout] 227 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:228:9 [INFO] [stdout] | [INFO] [stdout] 228 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:229:9 [INFO] [stdout] | [INFO] [stdout] 229 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:232:9 [INFO] [stdout] | [INFO] [stdout] 232 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:20:15 [INFO] [stdout] | [INFO] [stdout] 20 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:20:31 [INFO] [stdout] | [INFO] [stdout] 20 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:20:53 [INFO] [stdout] | [INFO] [stdout] 20 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:20:73 [INFO] [stdout] | [INFO] [stdout] 20 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | EnvelopeReceipt, OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:21:22 [INFO] [stdout] | [INFO] [stdout] 21 | EnvelopeReceipt, OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:59:55 [INFO] [stdout] | [INFO] [stdout] 59 | fn evaluate(artifact: &MeasurementArtifact) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:70:30 [INFO] [stdout] | [INFO] [stdout] 70 | fn material_certificate() -> CertificateReceipt { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:81:18 [INFO] [stdout] | [INFO] [stdout] 81 | certificate: CertificateReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:84:13 [INFO] [stdout] | [INFO] [stdout] 84 | ) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:84:28 [INFO] [stdout] | [INFO] [stdout] 84 | ) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:86:9 [INFO] [stdout] | [INFO] [stdout] 86 | AdmittedControlState::admit_control_state(state_digest), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:88:9 [INFO] [stdout] | [INFO] [stdout] 88 | EnvelopeReceipt::admit_envelope(envelope_digest), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:89:9 [INFO] [stdout] | [INFO] [stdout] 89 | OutcomeReceipt::admit_outcome(outcome_digest), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:151:9 [INFO] [stdout] | [INFO] [stdout] 151 | CertificateReceipt::admit_certificate(CONTROL_MODE_DIGEST), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:122:24 [INFO] [stdout] | [INFO] [stdout] 122 | proof: Option<&AdaptiveUpdate>, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:122:39 [INFO] [stdout] | [INFO] [stdout] 122 | proof: Option<&AdaptiveUpdate>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:85:21 [INFO] [stdout] | [INFO] [stdout] 85 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:86:31 [INFO] [stdout] | [INFO] [stdout] 86 | AdmittedControlState::admit_control_state(state_digest), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:88:26 [INFO] [stdout] | [INFO] [stdout] 88 | EnvelopeReceipt::admit_envelope(envelope_digest), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:89:25 [INFO] [stdout] | [INFO] [stdout] 89 | OutcomeReceipt::admit_outcome(outcome_digest), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:92:28 [INFO] [stdout] | [INFO] [stdout] 92 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/jtbd_certified_actuation_chicago.rs:151:29 [INFO] [stdout] | [INFO] [stdout] 151 | CertificateReceipt::admit_certificate(CONTROL_MODE_DIGEST), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:225:33 [INFO] [stdout] | [INFO] [stdout] 225 | let proof = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:226:31 [INFO] [stdout] | [INFO] [stdout] 226 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:227:29 [INFO] [stdout] | [INFO] [stdout] 227 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:228:26 [INFO] [stdout] | [INFO] [stdout] 228 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:229:25 [INFO] [stdout] | [INFO] [stdout] 229 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/runtime_semantic_classification.rs:232:28 [INFO] [stdout] | [INFO] [stdout] 232 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 27 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:27:31 [INFO] [stdout] | [INFO] [stdout] 27 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:27:53 [INFO] [stdout] | [INFO] [stdout] 27 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:27:73 [INFO] [stdout] | [INFO] [stdout] 27 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:28:22 [INFO] [stdout] | [INFO] [stdout] 28 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:36:41 [INFO] [stdout] | [INFO] [stdout] 36 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:38:9 [INFO] [stdout] | [INFO] [stdout] 38 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 39 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:40:9 [INFO] [stdout] | [INFO] [stdout] 40 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:44:9 [INFO] [stdout] | [INFO] [stdout] 44 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:37:21 [INFO] [stdout] | [INFO] [stdout] 37 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:38:31 [INFO] [stdout] | [INFO] [stdout] 38 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:39:29 [INFO] [stdout] | [INFO] [stdout] 39 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:40:26 [INFO] [stdout] | [INFO] [stdout] 40 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:41:25 [INFO] [stdout] | [INFO] [stdout] 41 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/dwell_time_hysteresis.rs:44:28 [INFO] [stdout] | [INFO] [stdout] 44 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:31:15 [INFO] [stdout] | [INFO] [stdout] 31 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:31:31 [INFO] [stdout] | [INFO] [stdout] 31 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:31:53 [INFO] [stdout] | [INFO] [stdout] 31 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:31:73 [INFO] [stdout] | [INFO] [stdout] 31 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:32:22 [INFO] [stdout] | [INFO] [stdout] 32 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:40:26 [INFO] [stdout] | [INFO] [stdout] 40 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:40:41 [INFO] [stdout] | [INFO] [stdout] 40 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:43:9 [INFO] [stdout] | [INFO] [stdout] 43 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:44:9 [INFO] [stdout] | [INFO] [stdout] 44 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:45:9 [INFO] [stdout] | [INFO] [stdout] 45 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:41:21 [INFO] [stdout] | [INFO] [stdout] 41 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:42:31 [INFO] [stdout] | [INFO] [stdout] 42 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:43:29 [INFO] [stdout] | [INFO] [stdout] 43 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:44:26 [INFO] [stdout] | [INFO] [stdout] 44 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:45:25 [INFO] [stdout] | [INFO] [stdout] 45 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_ml_fairness_audit.rs:48:28 [INFO] [stdout] | [INFO] [stdout] 48 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:24:15 [INFO] [stdout] | [INFO] [stdout] 24 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:24:31 [INFO] [stdout] | [INFO] [stdout] 24 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:24:53 [INFO] [stdout] | [INFO] [stdout] 24 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:24:73 [INFO] [stdout] | [INFO] [stdout] 24 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:25:22 [INFO] [stdout] | [INFO] [stdout] 25 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:33:26 [INFO] [stdout] | [INFO] [stdout] 33 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:33:41 [INFO] [stdout] | [INFO] [stdout] 33 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:35:9 [INFO] [stdout] | [INFO] [stdout] 35 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:36:9 [INFO] [stdout] | [INFO] [stdout] 36 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:37:9 [INFO] [stdout] | [INFO] [stdout] 37 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:38:9 [INFO] [stdout] | [INFO] [stdout] 38 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:34:21 [INFO] [stdout] | [INFO] [stdout] 34 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:35:31 [INFO] [stdout] | [INFO] [stdout] 35 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:36:29 [INFO] [stdout] | [INFO] [stdout] 36 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:37:26 [INFO] [stdout] | [INFO] [stdout] 37 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:38:25 [INFO] [stdout] | [INFO] [stdout] 38 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/usecase_trading_determinism.rs:41:28 [INFO] [stdout] | [INFO] [stdout] 41 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:3:28 [INFO] [stdout] | [INFO] [stdout] 3 | use bcinr_cmca::allocator::CertificateReceipt; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:45:13 [INFO] [stdout] | [INFO] [stdout] 45 | ) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:95:13 [INFO] [stdout] | [INFO] [stdout] 95 | ) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:145:13 [INFO] [stdout] | [INFO] [stdout] 145 | ) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:195:13 [INFO] [stdout] | [INFO] [stdout] 195 | ) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:233:15 [INFO] [stdout] | [INFO] [stdout] 233 | allocate, AdaptiveUpdate, AdmittedControlState, CertifiedLearning, EnvelopeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:233:31 [INFO] [stdout] | [INFO] [stdout] 233 | allocate, AdaptiveUpdate, AdmittedControlState, CertifiedLearning, EnvelopeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:233:53 [INFO] [stdout] | [INFO] [stdout] 233 | allocate, AdaptiveUpdate, AdmittedControlState, CertifiedLearning, EnvelopeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:233:72 [INFO] [stdout] | [INFO] [stdout] 233 | allocate, AdaptiveUpdate, AdmittedControlState, CertifiedLearning, EnvelopeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:234:5 [INFO] [stdout] | [INFO] [stdout] 234 | OutcomeReceipt, StabilityRefusal, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:241:26 [INFO] [stdout] | [INFO] [stdout] 241 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:241:41 [INFO] [stdout] | [INFO] [stdout] 241 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:242:5 [INFO] [stdout] | [INFO] [stdout] 242 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:243:9 [INFO] [stdout] | [INFO] [stdout] 243 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:244:9 [INFO] [stdout] | [INFO] [stdout] 244 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:245:9 [INFO] [stdout] | [INFO] [stdout] 245 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:246:9 [INFO] [stdout] | [INFO] [stdout] 246 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:249:9 [INFO] [stdout] | [INFO] [stdout] 249 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:242:21 [INFO] [stdout] | [INFO] [stdout] 242 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:243:31 [INFO] [stdout] | [INFO] [stdout] 243 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:244:29 [INFO] [stdout] | [INFO] [stdout] 244 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:245:26 [INFO] [stdout] | [INFO] [stdout] 245 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:246:25 [INFO] [stdout] | [INFO] [stdout] 246 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/hostile_mutants.rs:249:28 [INFO] [stdout] | [INFO] [stdout] 249 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/calibration.rs:9:28 [INFO] [stdout] | [INFO] [stdout] 9 | use bcinr_cmca::allocator::CertificateReceipt; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/calibration.rs:139:27 [INFO] [stdout] | [INFO] [stdout] 139 | assert_eq!(result, Ok(CertificateReceipt::admit_certificate(42))); // RECERTIFICATION_CANDIDATE [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/calibration.rs:139:47 [INFO] [stdout] | [INFO] [stdout] 139 | assert_eq!(result, Ok(CertificateReceipt::admit_certificate(42))); // RECERTIFICATION_CANDIDATE [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:35:15 [INFO] [stdout] | [INFO] [stdout] 35 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:35:31 [INFO] [stdout] | [INFO] [stdout] 35 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:35:53 [INFO] [stdout] | [INFO] [stdout] 35 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:35:73 [INFO] [stdout] | [INFO] [stdout] 35 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:36:5 [INFO] [stdout] | [INFO] [stdout] 36 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:36:22 [INFO] [stdout] | [INFO] [stdout] 36 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:98:17 [INFO] [stdout] | [INFO] [stdout] 98 | let proof = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:100:9 [INFO] [stdout] | [INFO] [stdout] 100 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:101:9 [INFO] [stdout] | [INFO] [stdout] 101 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:102:9 [INFO] [stdout] | [INFO] [stdout] 102 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:105:9 [INFO] [stdout] | [INFO] [stdout] 105 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:98:33 [INFO] [stdout] | [INFO] [stdout] 98 | let proof = AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:99:31 [INFO] [stdout] | [INFO] [stdout] 99 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:100:29 [INFO] [stdout] | [INFO] [stdout] 100 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:101:26 [INFO] [stdout] | [INFO] [stdout] 101 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:102:25 [INFO] [stdout] | [INFO] [stdout] 102 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/stability_profile_invariants.rs:105:28 [INFO] [stdout] | [INFO] [stdout] 105 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:13:15 [INFO] [stdout] | [INFO] [stdout] 13 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:13:31 [INFO] [stdout] | [INFO] [stdout] 13 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:13:53 [INFO] [stdout] | [INFO] [stdout] 13 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:13:73 [INFO] [stdout] | [INFO] [stdout] 13 | allocate, AdaptiveUpdate, AdmittedControlState, CertificateReceipt, CertifiedLearning, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:14:22 [INFO] [stdout] | [INFO] [stdout] 14 | EnvelopeReceipt, OutcomeReceipt, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:25:26 [INFO] [stdout] | [INFO] [stdout] 25 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:25:41 [INFO] [stdout] | [INFO] [stdout] 25 | fn get_proof() -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdaptiveUpdate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::AdmittedControlState`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertificateReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::EnvelopeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::OutcomeReceipt`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:30:9 [INFO] [stdout] | [INFO] [stdout] 30 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `bcinr_cmca::allocator::CertifiedLearning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:33:9 [INFO] [stdout] | [INFO] [stdout] 33 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdaptiveUpdate::::admit_adaptive_update`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:26:21 [INFO] [stdout] | [INFO] [stdout] 26 | AdaptiveUpdate::admit_adaptive_update( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::AdmittedControlState::admit_control_state`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:27:31 [INFO] [stdout] | [INFO] [stdout] 27 | AdmittedControlState::admit_control_state(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertificateReceipt::admit_certificate`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:28:29 [INFO] [stdout] | [INFO] [stdout] 28 | CertificateReceipt::admit_certificate(0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::EnvelopeReceipt::admit_envelope`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:29:26 [INFO] [stdout] | [INFO] [stdout] 29 | EnvelopeReceipt::admit_envelope(0), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::OutcomeReceipt::admit_outcome`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:30:25 [INFO] [stdout] | [INFO] [stdout] 30 | OutcomeReceipt::admit_outcome(0), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `bcinr_cmca::allocator::CertifiedLearning::admit_learning`: CMCA-102/CMCA-114: authority chain pending Hoare-logic verification, do not use in production code [INFO] [stdout] --> crates/bcinr-cmca/tests/differential.rs:33:28 [INFO] [stdout] | [INFO] [stdout] 33 | CertifiedLearning::admit_learning(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `feature(generic_const_exprs)` is not supported with the next-generation trait solver [INFO] [stdout] --> crates/bcinr-powl/src/lib.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | #![feature(generic_const_exprs)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `-Znext-solver=globally` is currently enabled by default for testing [INFO] [stdout] = note: reverted the setting to `-Znext-solver=coherence` for this crate [INFO] [stdout] = note: the currently stable trait solver will be used for this crate [INFO] [stdout] = note: see issues #160895 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: unused dependency `serde` [INFO] [stderr] --> tools/bcinr-reporter/Cargo.toml:13:1 [INFO] [stderr] | [INFO] [stderr] 13 | serde = { version = "1.0", features = ["derive"] } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `serde` [INFO] [stderr] warning: unused dependency `serde_json` [INFO] [stderr] --> tools/bcinr-reporter/Cargo.toml:14:1 [INFO] [stderr] | [INFO] [stderr] 14 | serde_json = "1.0" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `serde_json` [INFO] [stderr] warning: `bcinr-reporter` (manifest) generated 2 warnings [INFO] [stderr] warning: unused dependency `rand` [INFO] [stderr] --> tools/ggen/Cargo.toml:13:1 [INFO] [stderr] | [INFO] [stderr] 13 | rand = { version = "0.8", features = ["small_rng"] } [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `rand` [INFO] [stderr] warning: `ggen` (manifest) generated 1 warning [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 15s [INFO] running `Command { std: "docker" "inspect" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c", kill_on_drop: false }` [INFO] [stdout] 5efa7012cb1b374314280a760c0e9e1499abbcd7ebae69d1725343844c0c497c