[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 5c543b0b8c73c7b72bc8284ced4fb22ead15734d for pr-160186
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Ffaest_compare_ref" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-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-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/VHolmHansen/faest_compare_ref on toolchain 5c543b0b8c73c7b72bc8284ced4fb22ead15734d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5c543b0b8c73c7b72bc8284ced4fb22ead15734d" "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" "+5c543b0b8c73c7b72bc8284ced4fb22ead15734d" "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 libcrux-platform v0.0.2-pre.2
[INFO] [stderr]   Downloaded libcrux v0.0.2-pre.2
[INFO] [stderr]   Downloaded libjade-sys 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-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 9bb59b22317c25e5aaee1a774bdfef419eb10c03fad2647f34874ff67d3bf1a4
[INFO] running `Command { std: "docker" "start" "9bb59b22317c25e5aaee1a774bdfef419eb10c03fad2647f34874ff67d3bf1a4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9bb59b22317c25e5aaee1a774bdfef419eb10c03fad2647f34874ff67d3bf1a4", 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" "9bb59b22317c25e5aaee1a774bdfef419eb10c03fad2647f34874ff67d3bf1a4" "/opt/rustwide/cargo-home/bin/cargo" "+5c543b0b8c73c7b72bc8284ced4fb22ead15734d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9bb59b22317c25e5aaee1a774bdfef419eb10c03fad2647f34874ff67d3bf1a4", 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" "9bb59b22317c25e5aaee1a774bdfef419eb10c03fad2647f34874ff67d3bf1a4" "/opt/rustwide/cargo-home/bin/cargo" "+5c543b0b8c73c7b72bc8284ced4fb22ead15734d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking typenum v1.20.0
[INFO] [stderr]    Compiling libcrux-platform v0.0.2-pre.2
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling hax-lib v0.3.6 (https://github.com/hacspec/hax#ad110bfa)
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking keccak v0.1.6
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking signature v2.2.0
[INFO] [stderr]     Checking rand v0.8.6
[INFO] [stderr]    Compiling libcrux v0.0.2-pre.2
[INFO] [stderr]    Compiling cc v1.2.62
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]    Compiling libjade-sys v0.0.2-pre.2
[INFO] [stderr]    Compiling libcrux-hacl v0.0.2-pre.2
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking generic-array v1.4.1
[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 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 aes v0.8.4
[INFO] [stderr]     Checking ctr v0.9.2
[INFO] [stderr]     Checking faest v0.1.3 (/opt/rustwide/workdir/faest-rs)
[INFO] [stdout] warning: overflow evaluating the requirement `&mut generic_array::GenericArray<u8, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, 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<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>: generic_array::ArrayLength`
[INFO] [stdout]    = note: which requires `UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>: generic_array::IsWithinUsizeBound`
[INFO] [stdout]    = note: which requires `<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>>>::Output == _`
[INFO] [stdout]    = note: which requires `<UInt<UInt<UTerm, B1>, B0> as Shl<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, 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 <https://github.com/rust-lang/rust/issues/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: `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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://github.com/rust-lang/rust/issues/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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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<SIZE>, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray<ret_size_exp_fwd> {
[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<SIZE>, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray<ret_size_exp_fwd> {
[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::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0> as generic_array::ArrayLength>::ArrayType<u8> == _`
[INFO] [stdout]    = note: which requires `<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0> as generic_array::ArrayLength>::ArrayType<u8> == _`
[INFO] [stdout]    = note: which requires `<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0> as generic_array::ArrayLength>::ArrayType<u8> == _`
[INFO] [stdout]    = note: which requires `<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0> as generic_array::ArrayLength>::ArrayType<u8> == _`
[INFO] [stdout]    = note: which requires `<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1> as generic_array::ArrayLength>::ArrayType<u8> == _`
[INFO] [stdout]    = note: which requires `typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>: generic_array::IsWithinUsizeBound`
[INFO] [stdout]    = note: which requires `<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1> as Shl<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>>>::Output == _`
[INFO] [stdout]    = note: which requires `<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0> as Shl<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<UTerm, B1>, 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 <https://github.com/rust-lang/rust/issues/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 49.41s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: Bachelor-assurance v0.1.0 (/opt/rustwide/workdir/bachelor-assurance)
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 5`
[INFO] running `Command { std: "docker" "inspect" "9bb59b22317c25e5aaee1a774bdfef419eb10c03fad2647f34874ff67d3bf1a4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9bb59b22317c25e5aaee1a774bdfef419eb10c03fad2647f34874ff67d3bf1a4", kill_on_drop: false }`
[INFO] [stdout] 9bb59b22317c25e5aaee1a774bdfef419eb10c03fad2647f34874ff67d3bf1a4
