[INFO] cloning repository https://github.com/VHolmHansen/bachelor-assurance
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/VHolmHansen/bachelor-assurance" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Fbachelor-assurance", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Fbachelor-assurance'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1bbea9c86d546512c65d72931fc498846693b4fd
[INFO] testing VHolmHansen/bachelor-assurance against 1.97.0-beta.6 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Fbachelor-assurance" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/VHolmHansen/bachelor-assurance
[INFO] finished tweaking git repo https://github.com/VHolmHansen/bachelor-assurance
[INFO] tweaked toml for git repo https://github.com/VHolmHansen/bachelor-assurance written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/VHolmHansen/bachelor-assurance on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/VHolmHansen/bachelor-assurance 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" "+1.97.0-beta.6" "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-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296
[INFO] running `Command { std: "docker" "start" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296", 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" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling hax-lib v0.3.6 (https://github.com/hacspec/hax#ad110bfa)
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling libcrux-platform v0.0.2-pre.2
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling libcrux v0.0.2-pre.2
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling cc v1.2.62
[INFO] [stderr]    Compiling libcrux-hacl v0.0.2-pre.2
[INFO] [stderr]    Compiling libjade-sys v0.0.2-pre.2
[INFO] [stderr]    Compiling hax-lib-macros v0.3.6 (https://github.com/hacspec/hax#ad110bfa)
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.6
[INFO] [stderr]    Compiling Bachelor-assurance v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `assume` and `loop_invariant`
[INFO] [stdout]  --> src/utils/math.rs:1:15
[INFO] [stdout]   |
[INFO] [stdout] 1 | use hax_lib::{assume, ensures, loop_invariant, requires, Int, ToInt};
[INFO] [stdout]   |               ^^^^^^           ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]  --> 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 32 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]  --> 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]    --> src/protocols/fs_vole.rs:325:19
[INFO] [stdout]     |
[INFO] [stdout] 325 |         #[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]    --> src/protocols/faest_sign.rs:111:15
[INFO] [stdout]     |
[INFO] [stdout] 111 |     #[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]    --> src/protocols/faest_sign.rs:127:15
[INFO] [stdout]     |
[INFO] [stdout] 127 |     #[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]    --> src/protocols/faest_sign.rs:133:15
[INFO] [stdout]     |
[INFO] [stdout] 133 |     #[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]   --> src/protocols/faest_verify.rs:37:15
[INFO] [stdout]    |
[INFO] [stdout] 37 |     #[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]   --> src/protocols/faest_verify.rs:52:15
[INFO] [stdout]    |
[INFO] [stdout] 52 |     #[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]    --> src/protocols/faest_verify.rs:255:11
[INFO] [stdout]     |
[INFO] [stdout] 255 |     #[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]    --> src/protocols/faest_verify.rs:258:15
[INFO] [stdout]     |
[INFO] [stdout] 258 |     #[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]  --> 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] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> src/utils/types.rs:317:46
[INFO] [stdout]     |
[INFO] [stdout] 317 |                 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]    --> src/utils/types.rs:319:46
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 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]    --> src/utils/types.rs:486:46
[INFO] [stdout]     |
[INFO] [stdout] 486 |                 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]    --> src/utils/types.rs:488:46
[INFO] [stdout]     |
[INFO] [stdout] 488 |                 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]   --> src/utils/preliminary_helper_methods.rs:98:43
[INFO] [stdout]    |
[INFO] [stdout] 98 | pub fn xor_with_bound(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]   --> src/protocols/fs_vole.rs:72:16
[INFO] [stdout]    |
[INFO] [stdout] 72 |             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: `elem`
[INFO] [stdout]   --> src/protocols/faest_key_exp_cstrnts.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         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]   --> src/protocols/faest_key_exp_cstrnts.rs:84:21
[INFO] [stdout]    |
[INFO] [stdout] 84 |                 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]    --> 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]    --> src/protocols/faest_key_exp_cstrnts.rs:317:71
[INFO] [stdout]     |
[INFO] [stdout] 317 | ..._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]    --> src/protocols/faest_key_exp_cstrnts.rs:412:75
[INFO] [stdout]     |
[INFO] [stdout] 412 | 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: value assigned to `idx` is never read
[INFO] [stdout]    --> src/protocols/faest_prove_and_verify.rs:149:19
[INFO] [stdout]     |
[INFO] [stdout] 149 |     let mut idx = 0;
[INFO] [stdout]     |                   ^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 163 |         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]   --> src/protocols/aes.rs:94:4
[INFO] [stdout]    |
[INFO] [stdout] 94 | 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] [stdout] warning: unused imports: `assume` and `loop_invariant`
[INFO] [stdout]  --> src/utils/math.rs:1:15
[INFO] [stdout]   |
[INFO] [stdout] 1 | use hax_lib::{assume, ensures, loop_invariant, requires, Int, ToInt};
[INFO] [stdout]   |               ^^^^^^           ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]  --> 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 32 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]  --> 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]    --> src/protocols/fs_vole.rs:325:19
[INFO] [stdout]     |
[INFO] [stdout] 325 |         #[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]    --> src/protocols/faest_sign.rs:111:15
[INFO] [stdout]     |
[INFO] [stdout] 111 |     #[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]    --> src/protocols/faest_sign.rs:127:15
[INFO] [stdout]     |
[INFO] [stdout] 127 |     #[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]    --> src/protocols/faest_sign.rs:133:15
[INFO] [stdout]     |
[INFO] [stdout] 133 |     #[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]   --> src/protocols/faest_verify.rs:37:15
[INFO] [stdout]    |
[INFO] [stdout] 37 |     #[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]   --> src/protocols/faest_verify.rs:52:15
[INFO] [stdout]    |
[INFO] [stdout] 52 |     #[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]    --> src/protocols/faest_verify.rs:255:11
[INFO] [stdout]     |
[INFO] [stdout] 255 |     #[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]    --> src/protocols/faest_verify.rs:258:15
[INFO] [stdout]     |
[INFO] [stdout] 258 |     #[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]  --> 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] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> src/utils/types.rs:317:46
[INFO] [stdout]     |
[INFO] [stdout] 317 |                 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]    --> src/utils/types.rs:319:46
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 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]    --> src/utils/types.rs:486:46
[INFO] [stdout]     |
[INFO] [stdout] 486 |                 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]    --> src/utils/types.rs:488:46
[INFO] [stdout]     |
[INFO] [stdout] 488 |                 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]   --> src/utils/preliminary_helper_methods.rs:98:43
[INFO] [stdout]    |
[INFO] [stdout] 98 | pub fn xor_with_bound(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]   --> src/protocols/fs_vole.rs:72:16
[INFO] [stdout]    |
[INFO] [stdout] 72 |             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: `elem`
[INFO] [stdout]   --> src/protocols/faest_key_exp_cstrnts.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         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]   --> src/protocols/faest_key_exp_cstrnts.rs:84:21
[INFO] [stdout]    |
[INFO] [stdout] 84 |                 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]    --> 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]    --> src/protocols/faest_key_exp_cstrnts.rs:317:71
[INFO] [stdout]     |
[INFO] [stdout] 317 | ..._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]    --> src/protocols/faest_key_exp_cstrnts.rs:412:75
[INFO] [stdout]     |
[INFO] [stdout] 412 | 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: value assigned to `idx` is never read
[INFO] [stdout]    --> src/protocols/faest_prove_and_verify.rs:149:19
[INFO] [stdout]     |
[INFO] [stdout] 149 |     let mut idx = 0;
[INFO] [stdout]     |                   ^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 163 |         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]   --> src/protocols/aes.rs:94:4
[INFO] [stdout]    |
[INFO] [stdout] 94 | 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]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 27s
[INFO] running `Command { std: "docker" "inspect" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] warning: unused imports: `assume` and `loop_invariant`
[INFO] [stdout]  --> src/utils/math.rs:1:15
[INFO] [stdout]   |
[INFO] [stdout] 1 | use hax_lib::{assume, ensures, loop_invariant, requires, Int, ToInt};
[INFO] [stdout]   |               ^^^^^^           ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]  --> 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 32 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]  --> 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]    --> src/protocols/fs_vole.rs:325:19
[INFO] [stdout]     |
[INFO] [stdout] 325 |         #[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]    --> src/protocols/faest_sign.rs:111:15
[INFO] [stdout]     |
[INFO] [stdout] 111 |     #[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]    --> src/protocols/faest_sign.rs:127:15
[INFO] [stdout]     |
[INFO] [stdout] 127 |     #[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]    --> src/protocols/faest_sign.rs:133:15
[INFO] [stdout]     |
[INFO] [stdout] 133 |     #[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]   --> src/protocols/faest_verify.rs:37:15
[INFO] [stdout]    |
[INFO] [stdout] 37 |     #[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]   --> src/protocols/faest_verify.rs:52:15
[INFO] [stdout]    |
[INFO] [stdout] 52 |     #[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]    --> src/protocols/faest_verify.rs:255:11
[INFO] [stdout]     |
[INFO] [stdout] 255 |     #[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]    --> src/protocols/faest_verify.rs:258:15
[INFO] [stdout]     |
[INFO] [stdout] 258 |     #[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]  --> 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] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> src/utils/types.rs:317:46
[INFO] [stdout]     |
[INFO] [stdout] 317 |                 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]    --> src/utils/types.rs:319:46
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 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]    --> src/utils/types.rs:486:46
[INFO] [stdout]     |
[INFO] [stdout] 486 |                 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]    --> src/utils/types.rs:488:46
[INFO] [stdout]     |
[INFO] [stdout] 488 |                 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]   --> src/utils/preliminary_helper_methods.rs:98:43
[INFO] [stdout]    |
[INFO] [stdout] 98 | pub fn xor_with_bound(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]   --> src/protocols/fs_vole.rs:72:16
[INFO] [stdout]    |
[INFO] [stdout] 72 |             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: `elem`
[INFO] [stdout]   --> src/protocols/faest_key_exp_cstrnts.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         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]   --> src/protocols/faest_key_exp_cstrnts.rs:84:21
[INFO] [stdout]    |
[INFO] [stdout] 84 |                 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]    --> 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]    --> src/protocols/faest_key_exp_cstrnts.rs:317:71
[INFO] [stdout]     |
[INFO] [stdout] 317 | ..._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]    --> src/protocols/faest_key_exp_cstrnts.rs:412:75
[INFO] [stdout]     |
[INFO] [stdout] 412 | 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] [stderr]    Compiling Bachelor-assurance v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: value assigned to `idx` is never read
[INFO] [stdout]    --> src/protocols/faest_prove_and_verify.rs:149:19
[INFO] [stdout]     |
[INFO] [stdout] 149 |     let mut idx = 0;
[INFO] [stdout]     |                   ^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 163 |         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]   --> src/protocols/aes.rs:94:4
[INFO] [stdout]    |
[INFO] [stdout] 94 | 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] [stdout] warning: unused import: `bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness`
[INFO] [stdout]  --> tests/faest_aes_enc_cstrnts_test.rs:3:9
[INFO] [stdout]   |
[INFO] [stdout] 3 |     use bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness;
[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 imports: `encrypt` and `key_expansion`
[INFO] [stdout]  --> tests/faest_aes_enc_cstrnts_test.rs:4:46
[INFO] [stdout]   |
[INFO] [stdout] 4 |     use bachelor_assurance::protocols::aes::{encrypt, key_expansion};
[INFO] [stdout]   |                                              ^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `faest_aes_exp_cstrnts_qDelta`, `faest_aes_exp_cstrnts_wv`, and `faest_aes_key_exp_fwd`
[INFO] [stdout]  --> tests/faest_aes_enc_cstrnts_test.rs:6:9
[INFO] [stdout]   |
[INFO] [stdout] 6 |         faest_aes_exp_cstrnts_qDelta, faest_aes_exp_cstrnts_wv,
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 7 |         faest_aes_key_exp_fwd,
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `faest_aes_enc_cstrnts_prover` and `faest_aes_enc_cstrnts_verifier`
[INFO] [stdout]   --> tests/faest_aes_enc_cstrnts_test.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 10 |         faest_aes_enc_cstrnts_prover, faest_aes_enc_cstrnts_verifier,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `bachelor_assurance::utils::galois_field::gf128_mul`
[INFO] [stdout]   --> tests/faest_aes_enc_cstrnts_test.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |     use bachelor_assurance::utils::galois_field::gf128_mul;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `byte_to_bits` and `words_to_blocks`
[INFO] [stdout]   --> tests/faest_aes_enc_cstrnts_test.rs:13:61
[INFO] [stdout]    |
[INFO] [stdout] 13 |     use bachelor_assurance::utils::helper_methods_cstrnts::{byte_to_bits, words_to_blocks};
[INFO] [stdout]    |                                                             ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `transform_byte_array_to_state` and `xor_arrays`
[INFO] [stdout]   --> tests/faest_aes_enc_cstrnts_test.rs:14:43
[INFO] [stdout]    |
[INFO] [stdout] 14 |     use bachelor_assurance::utils::math::{transform_byte_array_to_state, xor_arrays};
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `State`
[INFO] [stdout]   --> tests/faest_aes_enc_cstrnts_test.rs:15:44
[INFO] [stdout]    |
[INFO] [stdout] 15 |     use bachelor_assurance::utils::types::{State};
[INFO] [stdout]    |                                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `R`, `S_ke`, `l_enc`, `l_ke`, `lambda`, `nk`, and `s_enc`
[INFO] [stdout]   --> tests/faest_aes_enc_cstrnts_test.rs:16:48
[INFO] [stdout]    |
[INFO] [stdout] 16 |     use bachelor_assurance::utils::constants::{l_enc, l_ke, lambda, s_enc, S_ke,nk, R};
[INFO] [stdout]    |                                                ^^^^^  ^^^^  ^^^^^^  ^^^^^  ^^^^ ^^  ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]  --> tests/test_vectors_zk_hash.rs:4:9
[INFO] [stdout]   |
[INFO] [stdout] 4 |     use super::*;
[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: `delta_field`
[INFO] [stdout]   --> tests/helper_method_pv_test.rs:30:13
[INFO] [stdout]    |
[INFO] [stdout] 30 |         let delta_field = to_field::<128,128,1>(&chall_3)[0];
[INFO] [stdout]    |             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_delta_field`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `assume` and `loop_invariant`
[INFO] [stdout]  --> src/utils/math.rs:1:15
[INFO] [stdout]   |
[INFO] [stdout] 1 | use hax_lib::{assume, ensures, loop_invariant, requires, Int, ToInt};
[INFO] [stdout]   |               ^^^^^^           ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]  --> 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 32 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]  --> 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]    --> src/protocols/fs_vole.rs:325:19
[INFO] [stdout]     |
[INFO] [stdout] 325 |         #[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]    --> src/protocols/faest_sign.rs:111:15
[INFO] [stdout]     |
[INFO] [stdout] 111 |     #[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]    --> src/protocols/faest_sign.rs:127:15
[INFO] [stdout]     |
[INFO] [stdout] 127 |     #[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]    --> src/protocols/faest_sign.rs:133:15
[INFO] [stdout]     |
[INFO] [stdout] 133 |     #[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]   --> src/protocols/faest_verify.rs:37:15
[INFO] [stdout]    |
[INFO] [stdout] 37 |     #[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]   --> src/protocols/faest_verify.rs:52:15
[INFO] [stdout]    |
[INFO] [stdout] 52 |     #[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]    --> src/protocols/faest_verify.rs:255:11
[INFO] [stdout]     |
[INFO] [stdout] 255 |     #[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]    --> src/protocols/faest_verify.rs:258:15
[INFO] [stdout]     |
[INFO] [stdout] 258 |     #[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 imports: `assume` and `loop_invariant`
[INFO] [stdout]  --> src/utils/math.rs:1:15
[INFO] [stdout]   |
[INFO] [stdout] 1 | use hax_lib::{assume, ensures, loop_invariant, requires, Int, ToInt};
[INFO] [stdout]   |               ^^^^^^           ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]  --> 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 32 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]  --> 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]    --> src/protocols/fs_vole.rs:325:19
[INFO] [stdout]     |
[INFO] [stdout] 325 |         #[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]    --> src/protocols/faest_sign.rs:111:15
[INFO] [stdout]     |
[INFO] [stdout] 111 |     #[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]    --> src/protocols/faest_sign.rs:127:15
[INFO] [stdout]     |
[INFO] [stdout] 127 |     #[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]    --> src/protocols/faest_sign.rs:133:15
[INFO] [stdout]     |
[INFO] [stdout] 133 |     #[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]   --> src/protocols/faest_verify.rs:37:15
[INFO] [stdout]    |
[INFO] [stdout] 37 |     #[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]   --> src/protocols/faest_verify.rs:52:15
[INFO] [stdout]    |
[INFO] [stdout] 52 |     #[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]    --> src/protocols/faest_verify.rs:255:11
[INFO] [stdout]     |
[INFO] [stdout] 255 |     #[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]    --> src/protocols/faest_verify.rs:258:15
[INFO] [stdout]     |
[INFO] [stdout] 258 |     #[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 variable: `big_c`
[INFO] [stdout]   --> tests/test_vectors_vole.rs:22:32
[INFO] [stdout]    |
[INFO] [stdout] 22 |         let (hcom, all_decoms, big_c, u_0, big_v) = FAEST_VOLE_commit(ROOT_KEY, IV);
[INFO] [stdout]    |                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_big_c`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u_0`
[INFO] [stdout]   --> tests/test_vectors_vole.rs:22:39
[INFO] [stdout]    |
[INFO] [stdout] 22 |         let (hcom, all_decoms, big_c, u_0, big_v) = FAEST_VOLE_commit(ROOT_KEY, IV);
[INFO] [stdout]    |                                       ^^^ help: if this is intentional, prefix it with an underscore: `_u_0`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `big_v`
[INFO] [stdout]   --> tests/test_vectors_vole.rs:22:44
[INFO] [stdout]    |
[INFO] [stdout] 22 |         let (hcom, all_decoms, big_c, u_0, big_v) = FAEST_VOLE_commit(ROOT_KEY, IV);
[INFO] [stdout]    |                                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_big_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> tests/test_vectors_vole.rs:29:17
[INFO] [stdout]    |
[INFO] [stdout] 29 |             let b = if i < tau_0 {
[INFO] [stdout]    |                 ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `big_q`
[INFO] [stdout]   --> tests/test_vectors_vole.rs:41:24
[INFO] [stdout]    |
[INFO] [stdout] 41 |         let (hcom_rec, big_q) = FAEST_VOLE_reconstruct(CHALL, &pdecoms, IV);
[INFO] [stdout]    |                        ^^^^^ help: if this is intentional, prefix it with an underscore: `_big_q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `hcom`
[INFO] [stdout]   --> tests/test_vectors_vole.rs:56:14
[INFO] [stdout]    |
[INFO] [stdout] 56 |         let (hcom, all_decoms, big_c, u_0, big_v) = FAEST_VOLE_commit(ROOT_KEY, IV);
[INFO] [stdout]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_hcom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `delta`
[INFO] [stdout]   --> tests/test_vectors_vole.rs:82:17
[INFO] [stdout]    |
[INFO] [stdout] 82 |             let delta = if i < tau_0 {
[INFO] [stdout]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_delta`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `FAEST_VOLE_commit` and `chall_dec_k0`
[INFO] [stdout]  --> tests/test_vectors_vec_commit.rs:3:50
[INFO] [stdout]   |
[INFO] [stdout] 3 |     use bachelor_assurance::protocols::fs_vole::{chall_dec_k0, FAEST_VOLE_commit};
[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 imports: `tau_0` and `tau`
[INFO] [stdout]  --> tests/test_vectors_vec_commit.rs:4:58
[INFO] [stdout]   |
[INFO] [stdout] 4 |     use bachelor_assurance::utils::constants::{k_0, k_1, tau, tau_0};
[INFO] [stdout]   |                                                          ^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `sized_array_for_cop`
[INFO] [stdout]  --> tests/test_vectors_vec_commit.rs:8:66
[INFO] [stdout]   |
[INFO] [stdout] 8 |     use bachelor_assurance::utils::types::{sized_array_for_coms, sized_array_for_cop};
[INFO] [stdout]   |                                                                  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `faest_sig` should have an upper case name
[INFO] [stdout]   --> tests/test_vector_signature.rs:84:11
[INFO] [stdout]    |
[INFO] [stdout] 84 |     const faest_sig : [u8;5006] = [0xd4, 0x6e, 0xf2, 0x12, 0x27, 0x87, 0x83, 0x44, 0x33, 0x53, 0x0d, 0x3c, 0x25, 0x2b, 0x9d,
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 84 -     const faest_sig : [u8;5006] = [0xd4, 0x6e, 0xf2, 0x12, 0x27, 0x87, 0x83, 0x44, 0x33, 0x53, 0x0d, 0x3c, 0x25, 0x2b, 0x9d,
[INFO] [stdout] 84 +     const FAEST_SIG : [u8;5006] = [0xd4, 0x6e, 0xf2, 0x12, 0x27, 0x87, 0x83, 0x44, 0x33, 0x53, 0x0d, 0x3c, 0x25, 0x2b, 0x9d,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `encrypt` and `key_expansion`
[INFO] [stdout]  --> tests/faest_aes_enc_test.rs:2:46
[INFO] [stdout]   |
[INFO] [stdout] 2 |     use bachelor_assurance::protocols::aes::{encrypt, key_expansion};
[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 import: `bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness`
[INFO] [stdout]  --> tests/faest_aes_enc_test.rs:3:9
[INFO] [stdout]   |
[INFO] [stdout] 3 |     use bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `faest_aes_enc_bkwd` and `faest_aes_enc_fwd`
[INFO] [stdout]  --> tests/faest_aes_enc_test.rs:4:64
[INFO] [stdout]   |
[INFO] [stdout] 4 |     use bachelor_assurance::protocols::faest_key_enc_cstrnts::{faest_aes_enc_bkwd, faest_aes_enc_fwd};
[INFO] [stdout]   |                                                                ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `bachelor_assurance::utils::galois_field::gf128_mul`
[INFO] [stdout]  --> tests/faest_aes_enc_test.rs:5:9
[INFO] [stdout]   |
[INFO] [stdout] 5 |     use bachelor_assurance::utils::galois_field::gf128_mul;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `byte_to_bits` and `words_to_blocks`
[INFO] [stdout]  --> tests/faest_aes_enc_test.rs:6:61
[INFO] [stdout]   |
[INFO] [stdout] 6 |     use bachelor_assurance::utils::helper_methods_cstrnts::{byte_to_bits, words_to_blocks};
[INFO] [stdout]   |                                                             ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `bachelor_assurance::utils::math::transform_byte_array_to_state`
[INFO] [stdout]  --> tests/faest_aes_enc_test.rs:7:9
[INFO] [stdout]   |
[INFO] [stdout] 7 |     use bachelor_assurance::utils::math::transform_byte_array_to_state;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `State`
[INFO] [stdout]  --> tests/faest_aes_enc_test.rs:8:44
[INFO] [stdout]   |
[INFO] [stdout] 8 |     use bachelor_assurance::utils::types::{State};
[INFO] [stdout]   |                                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `s_enc`
[INFO] [stdout]  --> tests/faest_aes_enc_test.rs:9:48
[INFO] [stdout]   |
[INFO] [stdout] 9 |     use bachelor_assurance::utils::constants::{s_enc};
[INFO] [stdout]   |                                                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ret_value`
[INFO] [stdout]  --> 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] 
[INFO] [stdout] warning: unused import: `ret_value`
[INFO] [stdout]  --> 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] 
[INFO] [stdout] warning: unused imports: `FAEST_VOLE_commit`, `FAEST_VOLE_reconstruct`, and `convert_to_VOLE`
[INFO] [stdout]  --> tests/fs_vole_test.rs:4:50
[INFO] [stdout]   |
[INFO] [stdout] 4 |     use bachelor_assurance::protocols::fs_vole::{convert_to_VOLE, FAEST_VOLE_commit, FAEST_VOLE_reconstruct};
[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 import: `bachelor_assurance::utils::math::xor_arrays`
[INFO] [stdout]  --> tests/fs_vole_test.rs:5:9
[INFO] [stdout]   |
[INFO] [stdout] 5 |     use bachelor_assurance::utils::math::xor_arrays;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `k_0`, `k_1`, `tau_0`, and `tau`
[INFO] [stdout]  --> tests/fs_vole_test.rs:7:48
[INFO] [stdout]   |
[INFO] [stdout] 7 |     use bachelor_assurance::utils::constants::{k_0, k_1, tau, tau_0};
[INFO] [stdout]   |                                                ^^^  ^^^  ^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `vec_commit_k0`, `vec_open_k0`, and `vec_reconstruct_k0`
[INFO] [stdout]  --> tests/fs_vole_test.rs:8:52
[INFO] [stdout]   |
[INFO] [stdout] 8 |     use bachelor_assurance::utils::vector_commit::{vec_commit_k0, vec_open_k0, vec_reconstruct_k0};
[INFO] [stdout]   |                                                    ^^^^^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> src/utils/types.rs:317:46
[INFO] [stdout]     |
[INFO] [stdout] 317 |                 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]    --> src/utils/types.rs:319:46
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 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]    --> src/utils/types.rs:486:46
[INFO] [stdout]     |
[INFO] [stdout] 486 |                 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]    --> src/utils/types.rs:488:46
[INFO] [stdout]     |
[INFO] [stdout] 488 |                 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]    --> src/utils/types.rs:317:46
[INFO] [stdout]     |
[INFO] [stdout] 317 |                 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]    --> src/utils/types.rs:319:46
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 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]    --> src/utils/types.rs:486:46
[INFO] [stdout]     |
[INFO] [stdout] 486 |                 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]    --> src/utils/types.rs:488:46
[INFO] [stdout]     |
[INFO] [stdout] 488 |                 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]   --> src/utils/preliminary_helper_methods.rs:98:43
[INFO] [stdout]    |
[INFO] [stdout] 98 | pub fn xor_with_bound(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: unused variable: `bound`
[INFO] [stdout]   --> src/utils/preliminary_helper_methods.rs:98:43
[INFO] [stdout]    |
[INFO] [stdout] 98 | pub fn xor_with_bound(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]   --> src/protocols/fs_vole.rs:72:16
[INFO] [stdout]    |
[INFO] [stdout] 72 |             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 imports: `encrypt` and `key_expansion`
[INFO] [stdout]  --> tests/faest_aes_key_cstrnts_test.rs:3:46
[INFO] [stdout]   |
[INFO] [stdout] 3 |     use bachelor_assurance::protocols::aes::{encrypt, key_expansion};
[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 import: `bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness`
[INFO] [stdout]  --> tests/faest_aes_key_cstrnts_test.rs:4:9
[INFO] [stdout]   |
[INFO] [stdout] 4 |     use bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `faest_aes_exp_cstrnts_qDelta` and `faest_aes_exp_cstrnts_wv`
[INFO] [stdout]  --> tests/faest_aes_key_cstrnts_test.rs:5:64
[INFO] [stdout]   |
[INFO] [stdout] 5 |     use bachelor_assurance::protocols::faest_key_exp_cstrnts::{faest_aes_exp_cstrnts_qDelta, faest_aes_exp_cstrnts_wv};
[INFO] [stdout]   |                                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `bachelor_assurance::utils::galois_field::gf128_mul`
[INFO] [stdout]  --> tests/faest_aes_key_cstrnts_test.rs:6:9
[INFO] [stdout]   |
[INFO] [stdout] 6 |     use bachelor_assurance::utils::galois_field::gf128_mul;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `alpha_pow`, `byte_combine`, and `words_to_blocks`
[INFO] [stdout]  --> tests/faest_aes_key_cstrnts_test.rs:7:61
[INFO] [stdout]   |
[INFO] [stdout] 7 |     use bachelor_assurance::utils::helper_methods_cstrnts::{alpha_pow, byte_combine, words_to_blocks};
[INFO] [stdout]   |                                                             ^^^^^^^^^  ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `transform_byte_array_to_state` and `xor_arrays`
[INFO] [stdout]  --> tests/faest_aes_key_cstrnts_test.rs:8:43
[INFO] [stdout]   |
[INFO] [stdout] 8 |     use bachelor_assurance::utils::math::{transform_byte_array_to_state, xor_arrays};
[INFO] [stdout]   |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `R`, `S_ke`, `l_ke`, `lambda`, and `nk`
[INFO] [stdout]  --> tests/faest_aes_key_cstrnts_test.rs:9:48
[INFO] [stdout]   |
[INFO] [stdout] 9 |     use bachelor_assurance::utils::constants::{l_ke, lambda, S_ke, nk, R};
[INFO] [stdout]   |                                                ^^^^  ^^^^^^  ^^^^  ^^  ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> src/protocols/fs_vole.rs:72:16
[INFO] [stdout]    |
[INFO] [stdout] 72 |             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: `elem`
[INFO] [stdout]   --> src/protocols/faest_key_exp_cstrnts.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         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]   --> src/protocols/faest_key_exp_cstrnts.rs:84:21
[INFO] [stdout]    |
[INFO] [stdout] 84 |                 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]    --> 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: `elem`
[INFO] [stdout]   --> src/protocols/faest_key_exp_cstrnts.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         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]   --> src/protocols/faest_key_exp_cstrnts.rs:84:21
[INFO] [stdout]    |
[INFO] [stdout] 84 |                 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: unused variable: `mkey`
[INFO] [stdout]    --> src/protocols/faest_key_exp_cstrnts.rs:317:71
[INFO] [stdout]     |
[INFO] [stdout] 317 | ..._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]    --> src/protocols/faest_key_exp_cstrnts.rs:412:75
[INFO] [stdout]     |
[INFO] [stdout] 412 | 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: variable does not need to be mutable
[INFO] [stdout]    --> 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]    --> src/protocols/faest_key_exp_cstrnts.rs:317:71
[INFO] [stdout]     |
[INFO] [stdout] 317 | ..._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]    --> src/protocols/faest_key_exp_cstrnts.rs:412:75
[INFO] [stdout]     |
[INFO] [stdout] 412 | 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: value assigned to `idx` is never read
[INFO] [stdout]    --> src/protocols/faest_prove_and_verify.rs:149:19
[INFO] [stdout]     |
[INFO] [stdout] 149 |     let mut idx = 0;
[INFO] [stdout]     |                   ^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 163 |         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: unused imports: `assume` and `loop_invariant`
[INFO] [stdout]  --> src/utils/math.rs:1:15
[INFO] [stdout]   |
[INFO] [stdout] 1 | use hax_lib::{assume, ensures, loop_invariant, requires, Int, ToInt};
[INFO] [stdout]   |               ^^^^^^           ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]  --> 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 32 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]  --> 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]    --> src/protocols/fs_vole.rs:325:19
[INFO] [stdout]     |
[INFO] [stdout] 325 |         #[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]    --> src/protocols/faest_sign.rs:111:15
[INFO] [stdout]     |
[INFO] [stdout] 111 |     #[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]    --> src/protocols/faest_sign.rs:127:15
[INFO] [stdout]     |
[INFO] [stdout] 127 |     #[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]    --> src/protocols/faest_sign.rs:133:15
[INFO] [stdout]     |
[INFO] [stdout] 133 |     #[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]   --> src/protocols/faest_verify.rs:37:15
[INFO] [stdout]    |
[INFO] [stdout] 37 |     #[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]   --> src/protocols/faest_verify.rs:52:15
[INFO] [stdout]    |
[INFO] [stdout] 52 |     #[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]    --> src/protocols/faest_verify.rs:255:11
[INFO] [stdout]     |
[INFO] [stdout] 255 |     #[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]    --> src/protocols/faest_verify.rs:258:15
[INFO] [stdout]     |
[INFO] [stdout] 258 |     #[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]  --> 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] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> src/utils/types.rs:317:46
[INFO] [stdout]     |
[INFO] [stdout] 317 |                 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]    --> src/utils/types.rs:319:46
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 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]    --> src/utils/types.rs:486:46
[INFO] [stdout]     |
[INFO] [stdout] 486 |                 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]    --> src/utils/types.rs:488:46
[INFO] [stdout]     |
[INFO] [stdout] 488 |                 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]   --> src/utils/preliminary_helper_methods.rs:98:43
[INFO] [stdout]    |
[INFO] [stdout] 98 | pub fn xor_with_bound(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]   --> src/protocols/fs_vole.rs:72:16
[INFO] [stdout]    |
[INFO] [stdout] 72 |             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: `elem`
[INFO] [stdout]   --> src/protocols/faest_key_exp_cstrnts.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         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]   --> src/protocols/faest_key_exp_cstrnts.rs:84:21
[INFO] [stdout]    |
[INFO] [stdout] 84 |                 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]    --> 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]    --> src/protocols/faest_key_exp_cstrnts.rs:317:71
[INFO] [stdout]     |
[INFO] [stdout] 317 | ..._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]    --> src/protocols/faest_key_exp_cstrnts.rs:412:75
[INFO] [stdout]     |
[INFO] [stdout] 412 | 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: value assigned to `idx` is never read
[INFO] [stdout]    --> src/protocols/faest_prove_and_verify.rs:149:19
[INFO] [stdout]     |
[INFO] [stdout] 149 |     let mut idx = 0;
[INFO] [stdout]     |                   ^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 163 |         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]   --> src/protocols/aes.rs:94:4
[INFO] [stdout]    |
[INFO] [stdout] 94 | 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] [stdout] warning: function `s_box` is never used
[INFO] [stdout]   --> src/protocols/aes.rs:94:4
[INFO] [stdout]    |
[INFO] [stdout] 94 | 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] [stdout] warning: value assigned to `idx` is never read
[INFO] [stdout]    --> src/protocols/faest_prove_and_verify.rs:149:19
[INFO] [stdout]     |
[INFO] [stdout] 149 |     let mut idx = 0;
[INFO] [stdout]     |                   ^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 163 |         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]   --> src/protocols/aes.rs:94:4
[INFO] [stdout]    |
[INFO] [stdout] 94 | 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] [stdout] warning: unused imports: `encrypt` and `key_expansion`
[INFO] [stdout]  --> tests/faest_prover_verifier_test.rs:4:46
[INFO] [stdout]   |
[INFO] [stdout] 4 |     use bachelor_assurance::protocols::aes::{encrypt, key_expansion};
[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 import: `bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness`
[INFO] [stdout]  --> tests/faest_prover_verifier_test.rs:5:9
[INFO] [stdout]   |
[INFO] [stdout] 5 |     use bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `faest_aes_exp_cstrnts_qDelta` and `faest_aes_key_exp_fwd`
[INFO] [stdout]  --> tests/faest_prover_verifier_test.rs:6:64
[INFO] [stdout]   |
[INFO] [stdout] 6 |     use bachelor_assurance::protocols::faest_key_exp_cstrnts::{faest_aes_exp_cstrnts_qDelta, faest_aes_key_exp_fwd};
[INFO] [stdout]   |                                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `faest_aes_prove` and `faest_aes_verify`
[INFO] [stdout]  --> tests/faest_prover_verifier_test.rs:7:65
[INFO] [stdout]   |
[INFO] [stdout] 7 |     use bachelor_assurance::protocols::faest_prove_and_verify::{faest_aes_prove, faest_aes_verify};
[INFO] [stdout]   |                                                                 ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ell_bit_size`, `l_ke`, and `lambda`
[INFO] [stdout]  --> tests/faest_prover_verifier_test.rs:8:48
[INFO] [stdout]   |
[INFO] [stdout] 8 |     use bachelor_assurance::utils::constants::{ell_bit_size, l_ke, lambda};
[INFO] [stdout]   |                                                ^^^^^^^^^^^^  ^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `bachelor_assurance::utils::galois_field::gf128_mul`
[INFO] [stdout]  --> tests/faest_prover_verifier_test.rs:9:9
[INFO] [stdout]   |
[INFO] [stdout] 9 |     use bachelor_assurance::utils::galois_field::gf128_mul;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `bachelor_assurance::utils::helper_methods_cstrnts::byte_to_bits`
[INFO] [stdout]   --> tests/faest_prover_verifier_test.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 10 |     use bachelor_assurance::utils::helper_methods_cstrnts::byte_to_bits;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `to_field` and `zk_hash`
[INFO] [stdout]   --> tests/faest_prover_verifier_test.rs:11:66
[INFO] [stdout]    |
[INFO] [stdout] 11 |     use bachelor_assurance::utils::helper_methods_prove_verify::{to_field, zk_hash};
[INFO] [stdout]    |                                                                  ^^^^^^^^  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `transform_byte_array_to_state` and `xor_arrays`
[INFO] [stdout]   --> tests/faest_prover_verifier_test.rs:12:43
[INFO] [stdout]    |
[INFO] [stdout] 12 |     use bachelor_assurance::utils::math::{transform_byte_array_to_state, xor_arrays};
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `bachelor_assurance::utils::types::State`
[INFO] [stdout]   --> tests/faest_prover_verifier_test.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 |     use bachelor_assurance::utils::types::State;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expanded_key_flat`
[INFO] [stdout]   --> tests/faest_aes_key_tests.rs:33:13
[INFO] [stdout]    |
[INFO] [stdout] 33 |         let expanded_key_flat: Vec<u8>= expanded_key.into_iter().flat_map(|arr| arr).collect();
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expanded_key_flat`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `flatten_vole_columns` is never used
[INFO] [stdout]    --> tests/faest_aes_key_tests.rs:131:8
[INFO] [stdout]     |
[INFO] [stdout] 131 |     fn flatten_vole_columns(big_v: &Vec<Vec<[u8; ell]>>) -> Vec<Vec<u8>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `bachelor_assurance::utils::types::*`
[INFO] [stdout]  --> tests/gf_tests.rs:3:9
[INFO] [stdout]   |
[INFO] [stdout] 3 |     use bachelor_assurance::utils::types::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 3.22s
[INFO] running `Command { std: "docker" "inspect" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: unused imports: `assume` and `loop_invariant`
[INFO] [stderr]  --> src/utils/math.rs:1:15
[INFO] [stderr]   |
[INFO] [stderr] 1 | use hax_lib::{assume, ensures, loop_invariant, requires, Int, ToInt};
[INFO] [stderr]   |               ^^^^^^           ^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]  --> src/utils/libcrux_proxy.rs:1:11
[INFO] [stderr]   |
[INFO] [stderr] 1 | #[cfg(not(hax))]
[INFO] [stderr]   |           ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]   |
[INFO] [stderr]   = help: expected names are: `docsrs`, `feature`, and `test` and 32 more
[INFO] [stderr]   = help: consider using a Cargo feature instead
[INFO] [stderr]   = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]            [lints.rust]
[INFO] [stderr]            unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]   = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]   = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]  --> src/utils/libcrux_proxy.rs:4:7
[INFO] [stderr]   |
[INFO] [stderr] 4 | #[cfg(hax)]
[INFO] [stderr]   |       ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]   |
[INFO] [stderr]   = help: consider using a Cargo feature instead
[INFO] [stderr]   = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]            [lints.rust]
[INFO] [stderr]            unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]   = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]    --> src/protocols/fs_vole.rs:325:19
[INFO] [stderr]     |
[INFO] [stderr] 325 |         #[cfg(not(hax))]
[INFO] [stderr]     |                   ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]     |
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]    --> src/protocols/faest_sign.rs:111:15
[INFO] [stderr]     |
[INFO] [stderr] 111 |     #[cfg(not(hax))]
[INFO] [stderr]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]     |
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]    --> src/protocols/faest_sign.rs:127:15
[INFO] [stderr]     |
[INFO] [stderr] 127 |     #[cfg(not(hax))]
[INFO] [stderr]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]     |
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]    --> src/protocols/faest_sign.rs:133:15
[INFO] [stderr]     |
[INFO] [stderr] 133 |     #[cfg(not(hax))]
[INFO] [stderr]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]     |
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]   --> src/protocols/faest_verify.rs:37:15
[INFO] [stderr]    |
[INFO] [stderr] 37 |     #[cfg(not(hax))]
[INFO] [stderr]    |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]    |
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]   --> src/protocols/faest_verify.rs:52:15
[INFO] [stderr]    |
[INFO] [stderr] 52 |     #[cfg(not(hax))]
[INFO] [stderr]    |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]    |
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]    --> src/protocols/faest_verify.rs:255:11
[INFO] [stderr]     |
[INFO] [stderr] 255 |     #[cfg(hax)]
[INFO] [stderr]     |           ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]     |
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]    --> src/protocols/faest_verify.rs:258:15
[INFO] [stderr]     |
[INFO] [stderr] 258 |     #[cfg(not(hax))]
[INFO] [stderr]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stderr]     |
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `ret_value`
[INFO] [stderr]  --> src/protocols/faest_key_enc_cstrnts.rs:6:27
[INFO] [stderr]   |
[INFO] [stderr] 6 | use crate::utils::types::{ret_value, value_of_one_in_bytes, ByteElem, ByteOrBytesArray, ByteOrBytesElem, BytesArray, BytesElem, XorHe...
[INFO] [stderr]   |                           ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `res`
[INFO] [stderr]    --> src/utils/types.rs:317:46
[INFO] [stderr]     |
[INFO] [stderr] 317 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stderr]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `res`
[INFO] [stderr]    --> src/utils/types.rs:319:46
[INFO] [stderr]     |
[INFO] [stderr] 319 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stderr]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `res`
[INFO] [stderr]    --> src/utils/types.rs:486:46
[INFO] [stderr]     |
[INFO] [stderr] 486 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stderr]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `res`
[INFO] [stderr]    --> src/utils/types.rs:488:46
[INFO] [stderr]     |
[INFO] [stderr] 488 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stderr]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bound`
[INFO] [stderr]   --> src/utils/preliminary_helper_methods.rs:98:43
[INFO] [stderr]    |
[INFO] [stderr] 98 | pub fn xor_with_bound(x: usize, y: usize, bound: Log2Number) -> usize {
[INFO] [stderr]    |                                           ^^^^^ help: if this is intentional, prefix it with an underscore: `_bound`
[INFO] [stderr] 
[INFO] [stderr] warning: irrefutable `if let` pattern
[INFO] [stderr]   --> src/protocols/fs_vole.rs:72:16
[INFO] [stderr]    |
[INFO] [stderr] 72 |             if let (r1, r2) = (r[j][2*i], r[j][2*i+1]) {
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stderr]    = help: consider replacing the `if let` with a `let`
[INFO] [stderr]    = note: `#[warn(irrefutable_let_patterns)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `elem`
[INFO] [stderr]   --> src/protocols/faest_key_exp_cstrnts.rs:41:13
[INFO] [stderr]    |
[INFO] [stderr] 41 |         let elem = ByteOrBytesArray::get_at_index(&x, i);
[INFO] [stderr]    |             ^^^^ help: if this is intentional, prefix it with an underscore: `_elem`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `elem`
[INFO] [stderr]   --> src/protocols/faest_key_exp_cstrnts.rs:84:21
[INFO] [stderr]    |
[INFO] [stderr] 84 |                 let elem = ByteOrBytesArray::get_at_index(&x, iwd + i);
[INFO] [stderr]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_elem`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/protocols/faest_key_exp_cstrnts.rs:164:9
[INFO] [stderr]     |
[INFO] [stderr] 164 |     let mut rmvRcon = true;
[INFO] [stderr]     |         ----^^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `mkey`
[INFO] [stderr]    --> src/protocols/faest_key_exp_cstrnts.rs:317:71
[INFO] [stderr]     |
[INFO] [stderr] 317 | ..._ke], v : [[u8; 16]; l_ke], mkey : bool) -> ([[u8;16]; S_ke], [[u8;16]; S_ke], [u8; 1408], [[u8;16]; 1408] ) {
[INFO] [stderr]     |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `mkey`
[INFO] [stderr]    --> src/protocols/faest_key_exp_cstrnts.rs:412:75
[INFO] [stderr]     |
[INFO] [stderr] 412 | 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] [stderr]     |                                                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `idx` is never read
[INFO] [stderr]    --> src/protocols/faest_prove_and_verify.rs:149:19
[INFO] [stderr]     |
[INFO] [stderr] 149 |     let mut idx = 0;
[INFO] [stderr]     |                   ^ this value is reassigned later and never used
[INFO] [stderr] ...
[INFO] [stderr] 163 |         idx = i + S_ke;
[INFO] [stderr]     |         -------------- `idx` is overwritten here before the previous value is read
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `s_box` is never used
[INFO] [stderr]   --> src/protocols/aes.rs:94:4
[INFO] [stderr]    |
[INFO] [stderr] 94 | fn s_box(b: u8) -> u8{
[INFO] [stderr]    |    ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `Bachelor-assurance` (lib) generated 25 warnings (run `cargo fix --lib -p Bachelor-assurance` to apply 11 suggestions)
[INFO] [stderr] warning: unused import: `super::*`
[INFO] [stderr]  --> tests/test_vectors_zk_hash.rs:4:9
[INFO] [stderr]   |
[INFO] [stderr] 4 |     use super::*;
[INFO] [stderr]   |         ^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: constant `faest_sig` should have an upper case name
[INFO] [stderr]   --> tests/test_vector_signature.rs:84:11
[INFO] [stderr]    |
[INFO] [stderr] 84 |     const faest_sig : [u8;5006] = [0xd4, 0x6e, 0xf2, 0x12, 0x27, 0x87, 0x83, 0x44, 0x33, 0x53, 0x0d, 0x3c, 0x25, 0x2b, 0x9d,
[INFO] [stderr]    |           ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stderr] help: convert the identifier to upper case
[INFO] [stderr]    |
[INFO] [stderr] 84 -     const faest_sig : [u8;5006] = [0xd4, 0x6e, 0xf2, 0x12, 0x27, 0x87, 0x83, 0x44, 0x33, 0x53, 0x0d, 0x3c, 0x25, 0x2b, 0x9d,
[INFO] [stderr] 84 +     const FAEST_SIG : [u8;5006] = [0xd4, 0x6e, 0xf2, 0x12, 0x27, 0x87, 0x83, 0x44, 0x33, 0x53, 0x0d, 0x3c, 0x25, 0x2b, 0x9d,
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `FAEST_VOLE_commit` and `chall_dec_k0`
[INFO] [stderr]  --> tests/test_vectors_vec_commit.rs:3:50
[INFO] [stderr]   |
[INFO] [stderr] 3 |     use bachelor_assurance::protocols::fs_vole::{chall_dec_k0, FAEST_VOLE_commit};
[INFO] [stderr]   |                                                  ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `tau_0` and `tau`
[INFO] [stderr]  --> tests/test_vectors_vec_commit.rs:4:58
[INFO] [stderr]   |
[INFO] [stderr] 4 |     use bachelor_assurance::utils::constants::{k_0, k_1, tau, tau_0};
[INFO] [stderr]   |                                                          ^^^  ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `sized_array_for_cop`
[INFO] [stderr]  --> tests/test_vectors_vec_commit.rs:8:66
[INFO] [stderr]   |
[INFO] [stderr] 8 |     use bachelor_assurance::utils::types::{sized_array_for_coms, sized_array_for_cop};
[INFO] [stderr]   |                                                                  ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `encrypt` and `key_expansion`
[INFO] [stderr]  --> tests/faest_aes_key_cstrnts_test.rs:3:46
[INFO] [stderr]   |
[INFO] [stderr] 3 |     use bachelor_assurance::protocols::aes::{encrypt, key_expansion};
[INFO] [stderr]   |                                              ^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness`
[INFO] [stderr]  --> tests/faest_aes_key_cstrnts_test.rs:4:9
[INFO] [stderr]   |
[INFO] [stderr] 4 |     use bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `faest_aes_exp_cstrnts_qDelta` and `faest_aes_exp_cstrnts_wv`
[INFO] [stderr]  --> tests/faest_aes_key_cstrnts_test.rs:5:64
[INFO] [stderr]   |
[INFO] [stderr] 5 |     use bachelor_assurance::protocols::faest_key_exp_cstrnts::{faest_aes_exp_cstrnts_qDelta, faest_aes_exp_cstrnts_wv};
[INFO] [stderr]   |                                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::utils::galois_field::gf128_mul`
[INFO] [stderr]  --> tests/faest_aes_key_cstrnts_test.rs:6:9
[INFO] [stderr]   |
[INFO] [stderr] 6 |     use bachelor_assurance::utils::galois_field::gf128_mul;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `alpha_pow`, `byte_combine`, and `words_to_blocks`
[INFO] [stderr]  --> tests/faest_aes_key_cstrnts_test.rs:7:61
[INFO] [stderr]   |
[INFO] [stderr] 7 |     use bachelor_assurance::utils::helper_methods_cstrnts::{alpha_pow, byte_combine, words_to_blocks};
[INFO] [stderr]   |                                                             ^^^^^^^^^  ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `transform_byte_array_to_state` and `xor_arrays`
[INFO] [stderr]  --> tests/faest_aes_key_cstrnts_test.rs:8:43
[INFO] [stderr]   |
[INFO] [stderr] 8 |     use bachelor_assurance::utils::math::{transform_byte_array_to_state, xor_arrays};
[INFO] [stderr]   |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `R`, `S_ke`, `l_ke`, `lambda`, and `nk`
[INFO] [stderr]  --> tests/faest_aes_key_cstrnts_test.rs:9:48
[INFO] [stderr]   |
[INFO] [stderr] 9 |     use bachelor_assurance::utils::constants::{l_ke, lambda, S_ke, nk, R};
[INFO] [stderr]   |                                                ^^^^  ^^^^^^  ^^^^  ^^  ^
[INFO] [stderr] 
[INFO] [stderr] warning: `Bachelor-assurance` (test "test_vectors_zk_hash") generated 1 warning (run `cargo fix --test "test_vectors_zk_hash" -p Bachelor-assurance` to apply 1 suggestion)
[INFO] [stderr] warning: `Bachelor-assurance` (test "test_vector_signature") generated 1 warning (run `cargo fix --test "test_vector_signature" -p Bachelor-assurance` to apply 1 suggestion)
[INFO] [stderr] warning: `Bachelor-assurance` (test "test_vectors_vec_commit") generated 3 warnings (run `cargo fix --test "test_vectors_vec_commit" -p Bachelor-assurance` to apply 3 suggestions)
[INFO] [stderr] warning: `Bachelor-assurance` (bin "Bachelor-assurance") generated 25 warnings (25 duplicates)
[INFO] [stderr] warning: `Bachelor-assurance` (test "faest_aes_key_cstrnts_test") generated 7 warnings (run `cargo fix --test "faest_aes_key_cstrnts_test" -p Bachelor-assurance` to apply 7 suggestions)
[INFO] [stderr] warning: unused imports: `encrypt` and `key_expansion`
[INFO] [stderr]  --> tests/faest_prover_verifier_test.rs:4:46
[INFO] [stderr]   |
[INFO] [stderr] 4 |     use bachelor_assurance::protocols::aes::{encrypt, key_expansion};
[INFO] [stderr]   |                                              ^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness`
[INFO] [stderr]  --> tests/faest_prover_verifier_test.rs:5:9
[INFO] [stderr]   |
[INFO] [stderr] 5 |     use bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `faest_aes_exp_cstrnts_qDelta` and `faest_aes_key_exp_fwd`
[INFO] [stderr]  --> tests/faest_prover_verifier_test.rs:6:64
[INFO] [stderr]   |
[INFO] [stderr] 6 |     use bachelor_assurance::protocols::faest_key_exp_cstrnts::{faest_aes_exp_cstrnts_qDelta, faest_aes_key_exp_fwd};
[INFO] [stderr]   |                                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `faest_aes_prove` and `faest_aes_verify`
[INFO] [stderr]  --> tests/faest_prover_verifier_test.rs:7:65
[INFO] [stderr]   |
[INFO] [stderr] 7 |     use bachelor_assurance::protocols::faest_prove_and_verify::{faest_aes_prove, faest_aes_verify};
[INFO] [stderr]   |                                                                 ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `ell_bit_size`, `l_ke`, and `lambda`
[INFO] [stderr]  --> tests/faest_prover_verifier_test.rs:8:48
[INFO] [stderr]   |
[INFO] [stderr] 8 |     use bachelor_assurance::utils::constants::{ell_bit_size, l_ke, lambda};
[INFO] [stderr]   |                                                ^^^^^^^^^^^^  ^^^^  ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::utils::galois_field::gf128_mul`
[INFO] [stderr]  --> tests/faest_prover_verifier_test.rs:9:9
[INFO] [stderr]   |
[INFO] [stderr] 9 |     use bachelor_assurance::utils::galois_field::gf128_mul;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::utils::helper_methods_cstrnts::byte_to_bits`
[INFO] [stderr]   --> tests/faest_prover_verifier_test.rs:10:9
[INFO] [stderr]    |
[INFO] [stderr] 10 |     use bachelor_assurance::utils::helper_methods_cstrnts::byte_to_bits;
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `to_field` and `zk_hash`
[INFO] [stderr]   --> tests/faest_prover_verifier_test.rs:11:66
[INFO] [stderr]    |
[INFO] [stderr] 11 |     use bachelor_assurance::utils::helper_methods_prove_verify::{to_field, zk_hash};
[INFO] [stderr]    |                                                                  ^^^^^^^^  ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `transform_byte_array_to_state` and `xor_arrays`
[INFO] [stderr]   --> tests/faest_prover_verifier_test.rs:12:43
[INFO] [stderr]    |
[INFO] [stderr] 12 |     use bachelor_assurance::utils::math::{transform_byte_array_to_state, xor_arrays};
[INFO] [stderr]    |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::utils::types::State`
[INFO] [stderr]   --> tests/faest_prover_verifier_test.rs:13:9
[INFO] [stderr]    |
[INFO] [stderr] 13 |     use bachelor_assurance::utils::types::State;
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::utils::types::*`
[INFO] [stderr]  --> tests/gf_tests.rs:3:9
[INFO] [stderr]   |
[INFO] [stderr] 3 |     use bachelor_assurance::utils::types::*;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness`
[INFO] [stderr]  --> tests/faest_aes_enc_cstrnts_test.rs:3:9
[INFO] [stderr]   |
[INFO] [stderr] 3 |     use bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `encrypt` and `key_expansion`
[INFO] [stderr]  --> tests/faest_aes_enc_cstrnts_test.rs:4:46
[INFO] [stderr]   |
[INFO] [stderr] 4 |     use bachelor_assurance::protocols::aes::{encrypt, key_expansion};
[INFO] [stderr]   |                                              ^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `faest_aes_exp_cstrnts_qDelta`, `faest_aes_exp_cstrnts_wv`, and `faest_aes_key_exp_fwd`
[INFO] [stderr]  --> tests/faest_aes_enc_cstrnts_test.rs:6:9
[INFO] [stderr]   |
[INFO] [stderr] 6 |         faest_aes_exp_cstrnts_qDelta, faest_aes_exp_cstrnts_wv,
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 7 |         faest_aes_key_exp_fwd,
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `faest_aes_enc_cstrnts_prover` and `faest_aes_enc_cstrnts_verifier`
[INFO] [stderr]   --> tests/faest_aes_enc_cstrnts_test.rs:10:9
[INFO] [stderr]    |
[INFO] [stderr] 10 |         faest_aes_enc_cstrnts_prover, faest_aes_enc_cstrnts_verifier,
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::utils::galois_field::gf128_mul`
[INFO] [stderr]   --> tests/faest_aes_enc_cstrnts_test.rs:12:9
[INFO] [stderr]    |
[INFO] [stderr] 12 |     use bachelor_assurance::utils::galois_field::gf128_mul;
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `byte_to_bits` and `words_to_blocks`
[INFO] [stderr]   --> tests/faest_aes_enc_cstrnts_test.rs:13:61
[INFO] [stderr]    |
[INFO] [stderr] 13 |     use bachelor_assurance::utils::helper_methods_cstrnts::{byte_to_bits, words_to_blocks};
[INFO] [stderr]    |                                                             ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `transform_byte_array_to_state` and `xor_arrays`
[INFO] [stderr]   --> tests/faest_aes_enc_cstrnts_test.rs:14:43
[INFO] [stderr]    |
[INFO] [stderr] 14 |     use bachelor_assurance::utils::math::{transform_byte_array_to_state, xor_arrays};
[INFO] [stderr]    |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `State`
[INFO] [stderr]   --> tests/faest_aes_enc_cstrnts_test.rs:15:44
[INFO] [stderr]    |
[INFO] [stderr] 15 |     use bachelor_assurance::utils::types::{State};
[INFO] [stderr]    |                                            ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `R`, `S_ke`, `l_enc`, `l_ke`, `lambda`, `nk`, and `s_enc`
[INFO] [stderr]   --> tests/faest_aes_enc_cstrnts_test.rs:16:48
[INFO] [stderr]    |
[INFO] [stderr] 16 |     use bachelor_assurance::utils::constants::{l_enc, l_ke, lambda, s_enc, S_ke,nk, R};
[INFO] [stderr]    |                                                ^^^^^  ^^^^  ^^^^^^  ^^^^^  ^^^^ ^^  ^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `big_c`
[INFO] [stderr]   --> tests/test_vectors_vole.rs:22:32
[INFO] [stderr]    |
[INFO] [stderr] 22 |         let (hcom, all_decoms, big_c, u_0, big_v) = FAEST_VOLE_commit(ROOT_KEY, IV);
[INFO] [stderr]    |                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_big_c`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `u_0`
[INFO] [stderr]   --> tests/test_vectors_vole.rs:22:39
[INFO] [stderr]    |
[INFO] [stderr] 22 |         let (hcom, all_decoms, big_c, u_0, big_v) = FAEST_VOLE_commit(ROOT_KEY, IV);
[INFO] [stderr]    |                                       ^^^ help: if this is intentional, prefix it with an underscore: `_u_0`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `big_v`
[INFO] [stderr]   --> tests/test_vectors_vole.rs:22:44
[INFO] [stderr]    |
[INFO] [stderr] 22 |         let (hcom, all_decoms, big_c, u_0, big_v) = FAEST_VOLE_commit(ROOT_KEY, IV);
[INFO] [stderr]    |                                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_big_v`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `b`
[INFO] [stderr]   --> tests/test_vectors_vole.rs:29:17
[INFO] [stderr]    |
[INFO] [stderr] 29 |             let b = if i < tau_0 {
[INFO] [stderr]    |                 ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `big_q`
[INFO] [stderr]   --> tests/test_vectors_vole.rs:41:24
[INFO] [stderr]    |
[INFO] [stderr] 41 |         let (hcom_rec, big_q) = FAEST_VOLE_reconstruct(CHALL, &pdecoms, IV);
[INFO] [stderr]    |                        ^^^^^ help: if this is intentional, prefix it with an underscore: `_big_q`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `hcom`
[INFO] [stderr]   --> tests/test_vectors_vole.rs:56:14
[INFO] [stderr]    |
[INFO] [stderr] 56 |         let (hcom, all_decoms, big_c, u_0, big_v) = FAEST_VOLE_commit(ROOT_KEY, IV);
[INFO] [stderr]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_hcom`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `delta`
[INFO] [stderr]   --> tests/test_vectors_vole.rs:82:17
[INFO] [stdout] 
[INFO] [stderr]    |
[INFO] [stdout] running 0 tests
[INFO] [stderr] 82 |             let delta = if i < tau_0 {
[INFO] [stdout] 
[INFO] [stderr]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_delta`
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stderr] 
[INFO] [stdout] 
[INFO] [stderr] warning: unused variable: `expanded_key_flat`
[INFO] [stderr]   --> tests/faest_aes_key_tests.rs:33:13
[INFO] [stderr]    |
[INFO] [stderr] 33 |         let expanded_key_flat: Vec<u8>= expanded_key.into_iter().flat_map(|arr| arr).collect();
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expanded_key_flat`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `flatten_vole_columns` is never used
[INFO] [stderr]    --> tests/faest_aes_key_tests.rs:131:8
[INFO] [stderr]     |
[INFO] [stderr] 131 |     fn flatten_vole_columns(big_v: &Vec<Vec<[u8; ell]>>) -> Vec<Vec<u8>> {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `Bachelor-assurance` (test "faest_prover_verifier_test") generated 10 warnings (run `cargo fix --test "faest_prover_verifier_test" -p Bachelor-assurance` to apply 10 suggestions)
[INFO] [stdout] 
[INFO] [stderr] warning: `Bachelor-assurance` (bin "Bachelor-assurance" test) generated 25 warnings (25 duplicates)
[INFO] [stdout] running 0 tests
[INFO] [stderr] warning: `Bachelor-assurance` (test "gf_tests") generated 1 warning (run `cargo fix --test "gf_tests" -p Bachelor-assurance` to apply 1 suggestion)
[INFO] [stdout] 
[INFO] [stderr] warning: `Bachelor-assurance` (test "faest_aes_enc_cstrnts_test") generated 9 warnings (run `cargo fix --test "faest_aes_enc_cstrnts_test" -p Bachelor-assurance` to apply 9 suggestions)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stderr] warning: `Bachelor-assurance` (test "test_vectors_vole") generated 7 warnings (run `cargo fix --test "test_vectors_vole" -p Bachelor-assurance` to apply 7 suggestions)
[INFO] [stdout] 
[INFO] [stderr] warning: `Bachelor-assurance` (test "faest_aes_key_tests") generated 2 warnings (run `cargo fix --test "faest_aes_key_tests" -p Bachelor-assurance` to apply 1 suggestion)
[INFO] [stderr] warning: unused imports: `encrypt` and `key_expansion`
[INFO] [stderr]  --> tests/faest_aes_enc_test.rs:2:46
[INFO] [stderr]   |
[INFO] [stderr] 2 |     use bachelor_assurance::protocols::aes::{encrypt, key_expansion};
[INFO] [stderr]   |                                              ^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness`
[INFO] [stderr]  --> tests/faest_aes_enc_test.rs:3:9
[INFO] [stderr]   |
[INFO] [stderr] 3 |     use bachelor_assurance::protocols::faest_aes_extended_witness::faest_aes_extend_witness;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `faest_aes_enc_bkwd` and `faest_aes_enc_fwd`
[INFO] [stderr]  --> tests/faest_aes_enc_test.rs:4:64
[INFO] [stderr]   |
[INFO] [stderr] 4 |     use bachelor_assurance::protocols::faest_key_enc_cstrnts::{faest_aes_enc_bkwd, faest_aes_enc_fwd};
[INFO] [stderr]   |                                                                ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::utils::galois_field::gf128_mul`
[INFO] [stderr]  --> tests/faest_aes_enc_test.rs:5:9
[INFO] [stderr]   |
[INFO] [stderr] 5 |     use bachelor_assurance::utils::galois_field::gf128_mul;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `byte_to_bits` and `words_to_blocks`
[INFO] [stderr]  --> tests/faest_aes_enc_test.rs:6:61
[INFO] [stderr]   |
[INFO] [stderr] 6 |     use bachelor_assurance::utils::helper_methods_cstrnts::{byte_to_bits, words_to_blocks};
[INFO] [stderr]   |                                                             ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::utils::math::transform_byte_array_to_state`
[INFO] [stderr]  --> tests/faest_aes_enc_test.rs:7:9
[INFO] [stderr]   |
[INFO] [stderr] 7 |     use bachelor_assurance::utils::math::transform_byte_array_to_state;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `State`
[INFO] [stderr]  --> tests/faest_aes_enc_test.rs:8:44
[INFO] [stderr]   |
[INFO] [stderr] 8 |     use bachelor_assurance::utils::types::{State};
[INFO] [stderr]   |                                            ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `s_enc`
[INFO] [stderr]  --> tests/faest_aes_enc_test.rs:9:48
[INFO] [stderr]   |
[INFO] [stderr] 9 |     use bachelor_assurance::utils::constants::{s_enc};
[INFO] [stderr]   |                                                ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `delta_field`
[INFO] [stderr]   --> tests/helper_method_pv_test.rs:30:13
[INFO] [stderr]    |
[INFO] [stderr] 30 |         let delta_field = to_field::<128,128,1>(&chall_3)[0];
[INFO] [stderr]    |             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_delta_field`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `FAEST_VOLE_commit`, `FAEST_VOLE_reconstruct`, and `convert_to_VOLE`
[INFO] [stderr]  --> tests/fs_vole_test.rs:4:50
[INFO] [stderr]   |
[INFO] [stderr] 4 |     use bachelor_assurance::protocols::fs_vole::{convert_to_VOLE, FAEST_VOLE_commit, FAEST_VOLE_reconstruct};
[INFO] [stderr]   |                                                  ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `bachelor_assurance::utils::math::xor_arrays`
[INFO] [stderr]  --> tests/fs_vole_test.rs:5:9
[INFO] [stderr]   |
[INFO] [stderr] 5 |     use bachelor_assurance::utils::math::xor_arrays;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `k_0`, `k_1`, `tau_0`, and `tau`
[INFO] [stderr]  --> tests/fs_vole_test.rs:7:48
[INFO] [stderr]   |
[INFO] [stderr] 7 |     use bachelor_assurance::utils::constants::{k_0, k_1, tau, tau_0};
[INFO] [stderr]   |                                                ^^^  ^^^  ^^^  ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `vec_commit_k0`, `vec_open_k0`, and `vec_reconstruct_k0`
[INFO] [stderr]  --> tests/fs_vole_test.rs:8:52
[INFO] [stderr]   |
[INFO] [stderr] 8 |     use bachelor_assurance::utils::vector_commit::{vec_commit_k0, vec_open_k0, vec_reconstruct_k0};
[INFO] [stderr]   |                                                    ^^^^^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `Bachelor-assurance` (test "faest_aes_enc_test") generated 8 warnings (run `cargo fix --test "faest_aes_enc_test" -p Bachelor-assurance` to apply 8 suggestions)
[INFO] [stderr] warning: `Bachelor-assurance` (test "helper_method_pv_test") generated 1 warning (run `cargo fix --test "helper_method_pv_test" -p Bachelor-assurance` to apply 1 suggestion)
[INFO] [stderr] warning: `Bachelor-assurance` (test "fs_vole_test") generated 4 warnings (run `cargo fix --test "fs_vole_test" -p Bachelor-assurance` to apply 4 suggestions)
[INFO] [stderr] warning: `Bachelor-assurance` (lib test) generated 25 warnings (25 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.20s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/bachelor_assurance-5188ed8d5f6251b2)
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/Bachelor_assurance-637b4e9fbc6bd127)
[INFO] [stderr]      Running tests/aes_test.rs (/opt/rustwide/target/debug/deps/aes_test-a151ed56da895330)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/faest_aes_enc_cstrnts_test.rs (/opt/rustwide/target/debug/deps/faest_aes_enc_cstrnts_test-6364673e84a16e8b)
[INFO] [stdout] running 11 tests
[INFO] [stdout] test tests::test_add_round_key_two_props ... ok
[INFO] [stdout] test tests::test_encrypt ... ok
[INFO] [stdout] test tests::test_encrypt2 ... ok
[INFO] [stdout] test tests::test_encrypt4 ... ok
[INFO] [stdout] test tests::test_encrypt6_fips ... ok
[INFO] [stdout] test tests::test_encrypt3 ... ok
[INFO] [stdout] test tests::test_gf2_affine_transformation ... ok
[INFO] [stdout] test tests::test_encrypt5 ... ok
[INFO] [stdout] test tests::test_encrypt_debug ... ok
[INFO] [stdout] test tests::test_encrypt_round1_debug ... ok
[INFO] [stdout] test tests::test_key_expansion ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/faest_aes_enc_test.rs (/opt/rustwide/target/debug/deps/faest_aes_enc_test-2a8d8698379201da)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/faest_aes_key_cstrnts_test.rs (/opt/rustwide/target/debug/deps/faest_aes_key_cstrnts_test-517fc8ed8b439fae)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/faest_aes_key_tests.rs (/opt/rustwide/target/debug/deps/faest_aes_key_tests-25738918fae8335b)
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test tests::test_extend_witness ... ok
[INFO] [stdout] test tests::test_expfwd_and_expbkwd ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/faest_prover_verifier_test.rs (/opt/rustwide/target/debug/deps/faest_prover_verifier_test-26f8f991569b9b54)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/fs_vole_test.rs (/opt/rustwide/target/debug/deps/fs_vole_test-5de5c71e322cd26d)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/gf_tests.rs (/opt/rustwide/target/debug/deps/gf_tests-8c4338e8b35b0b05)
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test tests::test_gf128_mul_alpha_squared ... ok
[INFO] [stdout] test tests::test_gf128_mul_by_one ... ok
[INFO] [stdout] test tests::test_gf128_mul_associativity ... ok
[INFO] [stdout] test tests::test_gf128_mul_by_zero ... ok
[INFO] [stdout] test tests::test_gf28_inverse ... ok
[INFO] [stdout] test tests::test_gf128_mul_distributivity ... ok
[INFO] [stdout] test tests::test_gf128_mul_commutativity ... ok
[INFO] [stdout] test tests::test_gf128_mul_reduction ... ok
[INFO] [stdout] test tests::test_gf28_multiply ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/helper_method_pv_test.rs (/opt/rustwide/target/debug/deps/helper_method_pv_test-2ff57e667f7a91d8)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test tests::test_to_bits_to_field_inverse ... ok
[INFO] [stdout] test tests::zk_hash_test ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.21s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/helper_tests.rs (/opt/rustwide/target/debug/deps/helper_tests-1f299f10e79c0c09)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test tests::test_gf_mul ... ok
[INFO] [stdout] test tests::test_mu_and_h3 ... ok
[INFO] [stdout] test tests::test_h3 ... ok
[INFO] [stdout] test tests::test_gf64_mul ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/key_gen_test.rs (/opt/rustwide/target/debug/deps/key_gen_test-c6ac5d6bc06435ea)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test tests::test_key_gen ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.41s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/prg_test.rs (/opt/rustwide/target/debug/deps/prg_test-f56d259701b8fce0)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test tests::test_prg ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_prg stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_prg' (1121) panicked at tests/prg_test.rs:40:9:
[INFO] [stdout] assertion `left == right` failed
[INFO] [stdout]   left: [113, 69, 36, 181, 91, 235, 238, 13, 117, 1, 8, 178, 197, 37, 90, 156, 194, 70, 198, 30, 221, 248, 213, 227, 148, 171, 98, 30, 235, 96, 45, 91, 196, 150, 170, 38, 110, 98, 245, 89, 22, 206, 49, 171, 34, 64, 3, 87, 161, 197, 243, 246, 129, 52, 200, 227, 180, 171, 108, 173, 95, 66, 1, 124, 9, 200, 128, 2, 235, 34, 126, 46, 27, 181, 189, 46, 18, 12, 88, 212, 139, 14, 120, 175, 243, 111, 195, 155, 13, 199, 109, 200, 243, 52, 171, 61, 157, 72, 198, 78, 226, 235, 169, 155, 202, 163, 254, 52, 125, 70, 121, 114, 217, 73, 184, 207, 84, 197, 109, 226, 176, 86, 168, 206, 123, 126, 65, 136, 202, 18, 97, 144, 216, 234, 117, 194, 36, 154, 82, 251, 105, 151, 65, 33, 65, 114, 68, 242, 251, 86, 140, 70, 213, 110, 70, 233, 186, 247, 202, 36, 168, 111, 95, 43, 254, 221, 48, 228, 250, 25, 191, 29, 214, 71, 61, 105, 0, 220, 213, 149, 209, 161, 142, 102, 254, 37, 103, 51, 120, 191, 12, 50, 73, 50, 128, 94, 132, 14, 205, 173, 202, 182, 163, 154, 53, 46, 61, 4, 20, 179, 46, 235, 193, 171, 96, 20, 137, 209, 208, 97, 44, 103, 225, 55, 85, 129, 235, 8, 161, 67, 59, 139]
[INFO] [stdout]  right: [148, 196, 168, 245, 146, 210, 67, 28, 148, 98, 184, 129, 237, 23, 145, 219, 26, 145, 244, 130, 240, 224, 160, 119, 48, 173, 168, 217, 180, 144, 135, 251, 77, 85, 101, 194, 128, 223, 139, 86, 29, 152, 163, 4, 244, 167, 19, 231, 27, 161, 174, 55, 250, 197, 145, 45, 124, 125, 243, 19, 216, 18, 161, 161, 113, 88, 170, 164, 87, 131, 62, 77, 188, 134, 115, 121, 196, 68, 178, 230, 162, 112, 192, 69, 79, 6, 182, 118, 94, 6, 39, 35, 54, 120, 63, 137, 124, 53, 216, 47, 129, 231, 217, 193, 146, 149, 235, 220, 237, 15, 219, 25, 141, 196, 77, 87, 191, 164, 41, 109, 128, 218, 136, 39, 108, 228, 70, 164, 122, 238, 206, 20, 95, 88, 20, 44, 90, 254, 14, 197, 84, 199, 19, 172, 112, 124, 127, 55, 177, 246, 227, 108, 114, 139, 77, 164, 20, 166, 37, 191, 203, 17, 218, 83, 16, 173, 20, 208, 246, 249, 59, 126, 75, 90, 189, 208, 10, 216, 212, 111, 69, 200, 146, 44, 39, 48, 88, 7, 17, 75, 11, 214, 212, 204, 229, 86, 43, 10, 147, 52, 123, 135, 54, 202, 72, 150, 164, 107, 99, 102, 235, 188, 248, 247, 239, 80, 56, 21, 63, 89, 5, 149, 197, 111, 186, 59, 167, 95, 254, 248, 38, 247]
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6460a8fe5218 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x6460a8fe5218 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::trace_unsynchronized::<std[10d71ac2c42b111e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x6460a8fe5218 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x6460a8fe5218 - <<std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8fb95b77d25ab6c8]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x6460a8ff900a - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x6460a8ff900a - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x6460a8fe9a32 - std[10d71ac2c42b111e]::io::default_write_fmt::<alloc[a7ee25936407c584]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x6460a8fe9a32 - <alloc[a7ee25936407c584]::vec::Vec<u8> as std[10d71ac2c42b111e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x6460a8fc43d6 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x6460a8fc43d6 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x6460a8fdd769 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x6460a8f76ecc - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   12:     0x6460a8f76ecc - test[213991da798b1c03]::test_main_inner::<test[213991da798b1c03]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x6460a8fdd922 - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   14:     0x6460a8fdd922 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x6460a8fc4492 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x6460a8fb9699 - std[10d71ac2c42b111e]::sys::backtrace::__rust_end_short_backtrace::<std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x6460a8fc51ad - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x6460a8ff96fc - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x6460a8ff9613 - core[8fb95b77d25ab6c8]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:439:17
[INFO] [stdout]   20:     0x6460a8f68ebd - core[8fb95b77d25ab6c8]::panicking::assert_failed::<[u8; 232usize], [u8; 232usize]>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x6460a8f69c3e - prg_test[dbde9acc58b2f97f]::tests::test_prg
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/prg_test.rs:40:9
[INFO] [stdout]   22:     0x6460a8f69207 - prg_test[dbde9acc58b2f97f]::tests::test_prg::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/prg_test.rs:6:18
[INFO] [stdout]   23:     0x6460a8f69f06 - <prg_test[dbde9acc58b2f97f]::tests::test_prg::{closure#0} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x6460a8f69fab - <fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x6460a8f69fab - test[213991da798b1c03]::__rust_begin_short_backtrace::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x6460a8f77825 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x6460a8f77825 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x6460a8f77825 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x6460a8f77825 - std[10d71ac2c42b111e]::panicking::catch_unwind::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x6460a8f77825 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x6460a8f77825 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x6460a8f77825 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x6460a8f71134 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x6460a8f71134 - std[10d71ac2c42b111e]::sys::backtrace::__rust_begin_short_backtrace::<test[213991da798b1c03]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x6460a8f7a8a2 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x6460a8f7a8a2 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x6460a8f7a8a2 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x6460a8f7a8a2 - std[10d71ac2c42b111e]::panicking::catch_unwind::<(), core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x6460a8f7a8a2 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x6460a8f7a8a2 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x6460a8f7a8a2 - <std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x6460a8fe4b7f - <alloc[a7ee25936407c584]::boxed::Box<dyn core[8fb95b77d25ab6c8]::ops::function::FnOnce<(), Output = ()> + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2275:9
[INFO] [stdout]   43:     0x6460a8fe4b7f - <std[10d71ac2c42b111e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   44:     0x77db6948eaa4 - <unknown>
[INFO] [stdout]   45:     0x77db6951ba64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::test_prg
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test prg_test`
[INFO] running `Command { std: "docker" "inspect" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296", kill_on_drop: false }`
[INFO] [stdout] 55d3d05e18f613b50bf76cdbd325924733d885672451a129a91e381cf356b296
