[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 dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8 for pr-133502-26
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Ffaest_compare_ref" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-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-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/VHolmHansen/faest_compare_ref on toolchain dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "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" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "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 wasm-bindgen-macro-support v0.2.121
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.121
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.121
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.121
[INFO] [stderr]   Downloaded generic-array v1.4.1
[INFO] [stderr]   Downloaded libcrux-platform v0.0.2-pre.2
[INFO] [stderr]   Downloaded getrandom v0.4.2
[INFO] [stderr]   Downloaded bitflags v2.11.1
[INFO] [stderr]   Downloaded uuid v1.23.1
[INFO] [stderr]   Downloaded js-sys v0.3.98
[INFO] [stderr]   Downloaded libjade-sys v0.0.2-pre.2
[INFO] [stderr]   Downloaded cc v1.2.62
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.48
[INFO] [stderr]   Downloaded typenum v1.20.0
[INFO] [stderr]   Downloaded libcrux v0.0.2-pre.2
[INFO] [stderr]   Downloaded zerocopy v0.8.48
[INFO] [stderr]   Downloaded libcrux-hacl v0.0.2-pre.2
[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:1fa6594d87c8fa7b311925a7a77a16f539833322d9dfba4ce891f211db2f90b1" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 1f1f2311964ff88d27e167e51c1d270d03ebd6acf1cc1530bdcc433957d1bd14
[INFO] running `Command { std: "docker" "start" "1f1f2311964ff88d27e167e51c1d270d03ebd6acf1cc1530bdcc433957d1bd14", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1f1f2311964ff88d27e167e51c1d270d03ebd6acf1cc1530bdcc433957d1bd14", 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" "1f1f2311964ff88d27e167e51c1d270d03ebd6acf1cc1530bdcc433957d1bd14" "/opt/rustwide/cargo-home/bin/cargo" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1f1f2311964ff88d27e167e51c1d270d03ebd6acf1cc1530bdcc433957d1bd14", 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" "1f1f2311964ff88d27e167e51c1d270d03ebd6acf1cc1530bdcc433957d1bd14" "/opt/rustwide/cargo-home/bin/cargo" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking typenum v1.20.0
[INFO] [stderr]    Compiling find-msvc-tools v0.1.9
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling hax-lib v0.3.6 (https://github.com/hacspec/hax#ad110bfa)
[INFO] [stderr]     Checking libcrux-platform v0.0.2-pre.2
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking keccak v0.1.6
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking signature v2.2.0
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking generic-array v1.4.1
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling libcrux v0.0.2-pre.2
[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 ppv-lite86 v0.2.21
[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 rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.6
[INFO] [stderr]     Checking faest v0.1.3 (/opt/rustwide/workdir/faest-rs)
[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 33 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_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] [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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 44s
[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 2`
[INFO] running `Command { std: "docker" "inspect" "1f1f2311964ff88d27e167e51c1d270d03ebd6acf1cc1530bdcc433957d1bd14", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1f1f2311964ff88d27e167e51c1d270d03ebd6acf1cc1530bdcc433957d1bd14", kill_on_drop: false }`
[INFO] [stdout] 1f1f2311964ff88d27e167e51c1d270d03ebd6acf1cc1530bdcc433957d1bd14
