[INFO] cloning repository https://github.com/VHolmHansen/faest_compare_ref [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/VHolmHansen/faest_compare_ref" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Ffaest_compare_ref", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Ffaest_compare_ref'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] aebe3f60c73c6a20ddd800ba0d4fcbabe0a0d64a [INFO] checking VHolmHansen/faest_compare_ref against 34f4a807e2d84184fff4e42d4539092569b6fcd6 for pr-164081 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Ffaest_compare_ref" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/VHolmHansen/faest_compare_ref [INFO] finished tweaking git repo https://github.com/VHolmHansen/faest_compare_ref [INFO] tweaked toml for git repo https://github.com/VHolmHansen/faest_compare_ref written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/VHolmHansen/faest_compare_ref on toolchain 34f4a807e2d84184fff4e42d4539092569b6fcd6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+34f4a807e2d84184fff4e42d4539092569b6fcd6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/VHolmHansen/faest_compare_ref 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" "+34f4a807e2d84184fff4e42d4539092569b6fcd6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/hacspec/hax` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded generic-array v1.4.1 [INFO] [stderr] Downloaded libjade-sys v0.0.2-pre.2 [INFO] [stderr] Downloaded libcrux-platform v0.0.2-pre.2 [INFO] [stderr] Downloaded libcrux v0.0.2-pre.2 [INFO] [stderr] Downloaded libcrux-hacl v0.0.2-pre.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] af4a90ebb6d89b4a1ec4966a5e8af02b453787eae3cb8fcabbcd3a26f90cd69d [INFO] running `Command { std: "docker" "start" "af4a90ebb6d89b4a1ec4966a5e8af02b453787eae3cb8fcabbcd3a26f90cd69d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "af4a90ebb6d89b4a1ec4966a5e8af02b453787eae3cb8fcabbcd3a26f90cd69d", 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" "af4a90ebb6d89b4a1ec4966a5e8af02b453787eae3cb8fcabbcd3a26f90cd69d" "/opt/rustwide/cargo-home/bin/cargo" "+34f4a807e2d84184fff4e42d4539092569b6fcd6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "af4a90ebb6d89b4a1ec4966a5e8af02b453787eae3cb8fcabbcd3a26f90cd69d", 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" "af4a90ebb6d89b4a1ec4966a5e8af02b453787eae3cb8fcabbcd3a26f90cd69d" "/opt/rustwide/cargo-home/bin/cargo" "+34f4a807e2d84184fff4e42d4539092569b6fcd6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.186 [INFO] [stderr] Checking typenum v1.20.0 [INFO] [stderr] Compiling zerocopy v0.8.48 [INFO] [stderr] Compiling hax-lib v0.3.6 (https://github.com/hacspec/hax#ad110bfa) [INFO] [stderr] Checking keccak v0.1.6 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Checking libcrux-platform v0.0.2-pre.2 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking signature v2.2.0 [INFO] [stderr] Compiling jobserver v0.1.34 [INFO] [stderr] Compiling libcrux v0.0.2-pre.2 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking generic-array v1.4.1 [INFO] [stderr] Compiling cc v1.2.62 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking inout v0.1.4 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha3 v0.10.9 [INFO] [stderr] Compiling libcrux-hacl v0.0.2-pre.2 [INFO] [stderr] Compiling libjade-sys v0.0.2-pre.2 [INFO] [stderr] Compiling zeroize_derive v1.4.3 [INFO] [stderr] Compiling hax-lib-macros v0.3.6 (https://github.com/hacspec/hax#ad110bfa) [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking cipher v0.4.4 [INFO] [stderr] Checking ctr v0.9.2 [INFO] [stderr] Checking aes v0.8.4 [INFO] [stderr] Checking faest v0.1.3 (/opt/rustwide/workdir/faest-rs) [INFO] [stdout] warning: overflow evaluating the requirement `&mut generic_array::GenericArray, B0>, B0>, B0>, B0>> well-formed` [INFO] [stdout] --> faest-rs/src/faest.rs:50:5 [INFO] [stdout] | [INFO] [stdout] 50 | fn hash_r_iv(r: &mut [u8], iv: &mut IV, key: &[u8], mu: &[u8], rho: &[u8]) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: which requires `UInt, B0>, B0>, B0>, B0>: generic_array::ArrayLength` [INFO] [stdout] = note: which requires `UInt, B0>, B0>, B0>, B0>: generic_array::IsWithinUsizeBound` [INFO] [stdout] = note: which requires ` as Shl, B0>, B0>, B0>, B0>, B0>, B0>>>::Output == _` [INFO] [stdout] = note: which requires `, B0> as Shl, B1>, B1>, B1>, B1>, B1>>>::Output == _` [INFO] [stdout] = note: and so on... [INFO] [stdout] = help: consider adding a manual `impl` of auto traits like `Send` for intermediate types, if auto traits are involved [INFO] [stdout] = help: or consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`faest`) [INFO] [stdout] = note: this lint is attached to the whole crate and can't be disabled on a per-function basis [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #159228 [INFO] [stdout] = note: `#[warn(recursion_depth_exceeding_limit)]` (part of `#[warn(future_incompatible)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.6 [INFO] [stdout] warning: unused variable: `rho` [INFO] [stdout] --> faest-rs/src/faest.rs:101:5 [INFO] [stdout] | [INFO] [stdout] 101 | rho: &[u8], [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_rho` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking Bachelor-assurance v0.1.0 (/opt/rustwide/workdir/bachelor-assurance) [INFO] [stdout] warning: unexpected `cfg` condition name: `hax` [INFO] [stdout] --> bachelor-assurance/src/utils/libcrux_proxy.rs:1:11 [INFO] [stdout] | [INFO] [stdout] 1 | #[cfg(not(hax))] [INFO] [stdout] | ^^^ help: found config with similar value: `feature = "hax"` [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 34 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `hax` [INFO] [stdout] --> bachelor-assurance/src/utils/libcrux_proxy.rs:4:7 [INFO] [stdout] | [INFO] [stdout] 4 | #[cfg(hax)] [INFO] [stdout] | ^^^ help: found config with similar value: `feature = "hax"` [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `hax` [INFO] [stdout] --> bachelor-assurance/src/protocols/fs_vole.rs:317:19 [INFO] [stdout] | [INFO] [stdout] 317 | #[cfg(not(hax))] [INFO] [stdout] | ^^^ help: found config with similar value: `feature = "hax"` [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:261:13 [INFO] [stdout] | [INFO] [stdout] 261 | hax_lib::assert!(ByteOrBytesArray::same_variant(&x_tilde, &y_tilde)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `assert` [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default [INFO] [stdout] = note: this warning originates in the macro `hax_lib::assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `hax` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_sign.rs:116:15 [INFO] [stdout] | [INFO] [stdout] 116 | #[cfg(not(hax))] [INFO] [stdout] | ^^^ help: found config with similar value: `feature = "hax"` [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `hax` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_sign.rs:134:15 [INFO] [stdout] | [INFO] [stdout] 134 | #[cfg(not(hax))] [INFO] [stdout] | ^^^ help: found config with similar value: `feature = "hax"` [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `hax` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_sign.rs:141:15 [INFO] [stdout] | [INFO] [stdout] 141 | #[cfg(not(hax))] [INFO] [stdout] | ^^^ help: found config with similar value: `feature = "hax"` [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `hax` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_verify.rs:32:15 [INFO] [stdout] | [INFO] [stdout] 32 | #[cfg(not(hax))] [INFO] [stdout] | ^^^ help: found config with similar value: `feature = "hax"` [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `hax` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_verify.rs:46:15 [INFO] [stdout] | [INFO] [stdout] 46 | #[cfg(not(hax))] [INFO] [stdout] | ^^^ help: found config with similar value: `feature = "hax"` [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ret_value` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:6:27 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::utils::types::{ret_value, value_of_one_in_bytes, ByteElem, ByteOrBytesArray, ByteOrBytesElem, BytesArray, BytesElem, XorHe... [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `res` [INFO] [stdout] --> bachelor-assurance/src/utils/types.rs:357:46 [INFO] [stdout] | [INFO] [stdout] 357 | hax_lib::assert!(matches!(x, res)); res}, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `res` [INFO] [stdout] --> bachelor-assurance/src/utils/types.rs:359:46 [INFO] [stdout] | [INFO] [stdout] 359 | hax_lib::assert!(matches!(x, res)); res}, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `res` [INFO] [stdout] --> bachelor-assurance/src/utils/types.rs:523:46 [INFO] [stdout] | [INFO] [stdout] 523 | hax_lib::assert!(matches!(x, res)); res}, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `res` [INFO] [stdout] --> bachelor-assurance/src/utils/types.rs:525:46 [INFO] [stdout] | [INFO] [stdout] 525 | hax_lib::assert!(matches!(x, res)); res}, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound` [INFO] [stdout] --> bachelor-assurance/src/utils/preliminary_helper_methods.rs:98:38 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn xor_usize(x: usize, y: usize, bound: Log2Number) -> usize { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_bound` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: irrefutable `if let` pattern [INFO] [stdout] --> bachelor-assurance/src/protocols/fs_vole.rs:75:16 [INFO] [stdout] | [INFO] [stdout] 75 | if let (r1, r2) = (r[j][2*i], r[j][2*i+1]) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this pattern will always match, so the `if let` is useless [INFO] [stdout] = help: consider replacing the `if let` with a `let` [INFO] [stdout] = note: `#[warn(irrefutable_let_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mtag` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:19:88 [INFO] [stdout] | [INFO] [stdout] 19 | ... x: ByteOrBytesArray, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mtag` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mkey` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:19:101 [INFO] [stdout] | [INFO] [stdout] 19 | ...esArray, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `elem` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 42 | let elem = ByteOrBytesArray::get_at_index(&x, i); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_elem` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `elem` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:85:21 [INFO] [stdout] | [INFO] [stdout] 85 | let elem = ByteOrBytesArray::get_at_index(&x, iwd + i); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_elem` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:164:9 [INFO] [stdout] | [INFO] [stdout] 164 | let mut rmvRcon = true; [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mkey` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:312:71 [INFO] [stdout] | [INFO] [stdout] 312 | ..._ke], v : [[u8; 16]; l_ke], mkey : bool) -> ([[u8;16]; S_ke], [[u8;16]; S_ke], [u8; 1408], [[u8;16]; 1408] ) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mkey` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:415:75 [INFO] [stdout] | [INFO] [stdout] 415 | pub fn faest_aes_exp_cstrnts_qDelta(Delta : [u8;16], q : [[u8;16]; l_ke], mkey : bool) -> ([[u8;16];S_ke], [[u8;16];1408]){ [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mkey` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:308:5 [INFO] [stdout] | [INFO] [stdout] 308 | mkey : bool, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value_of_s_enc` [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:324:9 [INFO] [stdout] | [INFO] [stdout] 324 | let value_of_s_enc = s_enc; //TODO: somehow use consts in a hax-compatible way here, ideally [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_value_of_s_enc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `idx` is never read [INFO] [stdout] --> bachelor-assurance/src/protocols/faest_prove_and_verify.rs:148:19 [INFO] [stdout] | [INFO] [stdout] 148 | let mut idx = 0; [INFO] [stdout] | ^ this value is reassigned later and never used [INFO] [stdout] ... [INFO] [stdout] 162 | idx = i + S_ke; [INFO] [stdout] | -------------- `idx` is overwritten here before the previous value is read [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `s_box` is never used [INFO] [stdout] --> bachelor-assurance/src/protocols/aes.rs:93:4 [INFO] [stdout] | [INFO] [stdout] 93 | fn s_box(b: u8) -> u8{ [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking Faest_compare_ref v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `sk_ref` [INFO] [stdout] --> tests/test_timing.rs:42:17 [INFO] [stdout] | [INFO] [stdout] 42 | let sk_ref: &[u8] = &sk; [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_sk_ref` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: overflow evaluating the requirement `FAEST128sSigningKey: MetaSized` [INFO] [stdout] --> tests/test_eq.rs:20:34 [INFO] [stdout] | [INFO] [stdout] 20 | let sk_ref_imp = SK::generate(rand::thread_rng()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: which requires `, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0> as generic_array::ArrayLength>::ArrayType == _` [INFO] [stdout] = note: which requires `, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0> as generic_array::ArrayLength>::ArrayType == _` [INFO] [stdout] = note: which requires `, typenum::bit::B0>, typenum::bit::B0> as generic_array::ArrayLength>::ArrayType == _` [INFO] [stdout] = note: which requires `, typenum::bit::B0> as generic_array::ArrayLength>::ArrayType == _` [INFO] [stdout] = note: which requires ` as generic_array::ArrayLength>::ArrayType == _` [INFO] [stdout] = note: which requires `typenum::uint::UInt: generic_array::IsWithinUsizeBound` [INFO] [stdout] = note: which requires ` as Shl, B0>, B0>, B0>, B0>, B0>, B0>>>::Output == _` [INFO] [stdout] = note: which requires `, typenum::bit::B0> as Shl, B1>, B1>, B1>, B1>, B1>>>::Output == _` [INFO] [stdout] = note: and so on... [INFO] [stdout] = help: consider adding a manual `impl` of auto traits like `Send` for intermediate types, if auto traits are involved [INFO] [stdout] = help: or consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`test_eq`) [INFO] [stdout] = note: this lint is attached to the whole crate and can't be disabled on a per-function basis [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #159228 [INFO] [stdout] = note: `#[warn(recursion_depth_exceeding_limit)]` (part of `#[warn(future_incompatible)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk_ref` [INFO] [stdout] --> tests/test_eq.rs:44:21 [INFO] [stdout] | [INFO] [stdout] 44 | let sk_ref: &[u8] = &sk; [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_sk_ref` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk_ref` [INFO] [stdout] --> tests/test_eq.rs:129:21 [INFO] [stdout] | [INFO] [stdout] 129 | let sk_ref: &[u8] = &sk; [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_sk_ref` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vk` [INFO] [stdout] --> tests/test_eq.rs:173:21 [INFO] [stdout] | [INFO] [stdout] 173 | let vk = sk_ref_imp.verifying_key(); [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_vk` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: unused dependency `Bachelor-assurance` [INFO] [stderr] --> Cargo.toml:4:15 [INFO] [stderr] | [INFO] [stderr] 4 | [dependencies.Bachelor-assurance] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `Bachelor-assurance` [INFO] [stderr] help: to still use for development builds, move to `dev-dependencies` [INFO] [stderr] warning: unused dependency `faest` [INFO] [stderr] --> Cargo.toml:7:15 [INFO] [stderr] | [INFO] [stderr] 7 | [dependencies.faest] [INFO] [stderr] | ^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: consider removing the dependency on `faest` [INFO] [stderr] help: to still use for development builds, move to `dev-dependencies` [INFO] [stderr] warning: `Faest_compare_ref` (manifest) generated 2 warnings [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 57.38s [INFO] running `Command { std: "docker" "inspect" "af4a90ebb6d89b4a1ec4966a5e8af02b453787eae3cb8fcabbcd3a26f90cd69d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "af4a90ebb6d89b4a1ec4966a5e8af02b453787eae3cb8fcabbcd3a26f90cd69d", kill_on_drop: false }` [INFO] [stdout] af4a90ebb6d89b4a1ec4966a5e8af02b453787eae3cb8fcabbcd3a26f90cd69d