[INFO] cloning repository https://github.com/VHolmHansen/faest_compare_ref
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/VHolmHansen/faest_compare_ref" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Ffaest_compare_ref", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Ffaest_compare_ref'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] aebe3f60c73c6a20ddd800ba0d4fcbabe0a0d64a
[INFO] testing VHolmHansen/faest_compare_ref against 1.98.0-beta.1 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FVHolmHansen%2Ffaest_compare_ref" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/VHolmHansen/faest_compare_ref
[INFO] finished tweaking git repo https://github.com/VHolmHansen/faest_compare_ref
[INFO] tweaked toml for git repo https://github.com/VHolmHansen/faest_compare_ref written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/VHolmHansen/faest_compare_ref on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/VHolmHansen/faest_compare_ref already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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] 4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e
[INFO] running `Command { std: "docker" "start" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e", 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" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e", 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" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling typenum v1.20.0
[INFO] [stderr]    Compiling find-msvc-tools v0.1.9
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling hax-lib v0.3.6 (https://github.com/hacspec/hax#ad110bfa)
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling keccak v0.1.6
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling generic-array v1.4.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 rand_core v0.6.4
[INFO] [stderr]    Compiling libcrux v0.0.2-pre.2
[INFO] [stderr]    Compiling signature v2.2.0
[INFO] [stderr]    Compiling cc v1.2.62
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling inout v0.1.4
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha3 v0.10.9
[INFO] [stderr]    Compiling libjade-sys v0.0.2-pre.2
[INFO] [stderr]    Compiling libcrux-hacl v0.0.2-pre.2
[INFO] [stderr]    Compiling zeroize_derive v1.4.3
[INFO] [stderr]    Compiling hax-lib-macros v0.3.6 (https://github.com/hacspec/hax#ad110bfa)
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling zeroize v1.8.2
[INFO] [stderr]    Compiling rand v0.8.6
[INFO] [stderr]    Compiling cipher v0.4.4
[INFO] [stderr]    Compiling aes v0.8.4
[INFO] [stderr]    Compiling ctr v0.9.2
[INFO] [stderr]    Compiling faest v0.1.3 (/opt/rustwide/workdir/faest-rs)
[INFO] [stdout] warning: unused variable: `rho`
[INFO] [stdout]    --> faest-rs/src/faest.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout] 101 |     rho: &[u8],
[INFO] [stdout]     |     ^^^ help: if this is intentional, prefix it with an underscore: `_rho`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling Bachelor-assurance v0.1.0 (/opt/rustwide/workdir/bachelor-assurance)
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]  --> bachelor-assurance/src/utils/libcrux_proxy.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | #[cfg(not(hax))]
[INFO] [stdout]   |           ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]   |
[INFO] [stdout]   = help: expected names are: `docsrs`, `feature`, and `test` and 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]  --> bachelor-assurance/src/utils/libcrux_proxy.rs:4:7
[INFO] [stdout]   |
[INFO] [stdout] 4 | #[cfg(hax)]
[INFO] [stdout]   |       ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead
[INFO] [stdout]   = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]            [lints.rust]
[INFO] [stdout]            unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]   = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/fs_vole.rs:317:19
[INFO] [stdout]     |
[INFO] [stdout] 317 |         #[cfg(not(hax))]
[INFO] [stdout]     |                   ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_sign.rs:116:15
[INFO] [stdout]     |
[INFO] [stdout] 116 |     #[cfg(not(hax))]
[INFO] [stdout]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_sign.rs:134:15
[INFO] [stdout]     |
[INFO] [stdout] 134 |     #[cfg(not(hax))]
[INFO] [stdout]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_sign.rs:141:15
[INFO] [stdout]     |
[INFO] [stdout] 141 |     #[cfg(not(hax))]
[INFO] [stdout]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_verify.rs:32:15
[INFO] [stdout]    |
[INFO] [stdout] 32 |     #[cfg(not(hax))]
[INFO] [stdout]    |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_verify.rs:46:15
[INFO] [stdout]    |
[INFO] [stdout] 46 |     #[cfg(not(hax))]
[INFO] [stdout]    |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ret_value`
[INFO] [stdout]  --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:6:27
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::utils::types::{ret_value, value_of_one_in_bytes, ByteElem, ByteOrBytesArray, ByteOrBytesElem, BytesArray, BytesElem, XorHe...
[INFO] [stdout]   |                           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> bachelor-assurance/src/utils/types.rs:357:46
[INFO] [stdout]     |
[INFO] [stdout] 357 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> bachelor-assurance/src/utils/types.rs:359:46
[INFO] [stdout]     |
[INFO] [stdout] 359 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> bachelor-assurance/src/utils/types.rs:523:46
[INFO] [stdout]     |
[INFO] [stdout] 523 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> bachelor-assurance/src/utils/types.rs:525:46
[INFO] [stdout]     |
[INFO] [stdout] 525 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bound`
[INFO] [stdout]   --> bachelor-assurance/src/utils/preliminary_helper_methods.rs:98:38
[INFO] [stdout]    |
[INFO] [stdout] 98 | pub fn xor_usize(x: usize, y: usize, bound: Log2Number) -> usize {
[INFO] [stdout]    |                                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_bound`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> bachelor-assurance/src/protocols/fs_vole.rs:75:16
[INFO] [stdout]    |
[INFO] [stdout] 75 |             if let (r1, r2) = (r[j][2*i], r[j][2*i+1]) {
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]    = help: consider replacing the `if let` with a `let`
[INFO] [stdout]    = note: `#[warn(irrefutable_let_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mtag`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:19:88
[INFO] [stdout]    |
[INFO] [stdout] 19 | ... x: ByteOrBytesArray<SIZE>, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray<ret_size_exp_fwd> {
[INFO] [stdout]    |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_mtag`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mkey`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:19:101
[INFO] [stdout]    |
[INFO] [stdout] 19 | ...esArray<SIZE>, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray<ret_size_exp_fwd> {
[INFO] [stdout]    |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `elem`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:42:13
[INFO] [stdout]    |
[INFO] [stdout] 42 |         let elem = ByteOrBytesArray::get_at_index(&x, i);
[INFO] [stdout]    |             ^^^^ help: if this is intentional, prefix it with an underscore: `_elem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `elem`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:85:21
[INFO] [stdout]    |
[INFO] [stdout] 85 |                 let elem = ByteOrBytesArray::get_at_index(&x, iwd + i);
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_elem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:164:9
[INFO] [stdout]     |
[INFO] [stdout] 164 |     let mut rmvRcon = true;
[INFO] [stdout]     |         ----^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mkey`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:312:71
[INFO] [stdout]     |
[INFO] [stdout] 312 | ..._ke], v : [[u8; 16]; l_ke], mkey : bool) -> ([[u8;16]; S_ke], [[u8;16]; S_ke], [u8; 1408], [[u8;16]; 1408] ) {
[INFO] [stdout]     |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mkey`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:415:75
[INFO] [stdout]     |
[INFO] [stdout] 415 | pub fn faest_aes_exp_cstrnts_qDelta(Delta : [u8;16], q : [[u8;16]; l_ke], mkey : bool) -> ([[u8;16];S_ke], [[u8;16];1408]){
[INFO] [stdout]     |                                                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mkey`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:308:5
[INFO] [stdout]     |
[INFO] [stdout] 308 |     mkey : bool,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value_of_s_enc`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:324:9
[INFO] [stdout]     |
[INFO] [stdout] 324 |     let value_of_s_enc = s_enc; //TODO: somehow use consts in a hax-compatible way here, ideally
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_value_of_s_enc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `idx` is never read
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_prove_and_verify.rs:148:19
[INFO] [stdout]     |
[INFO] [stdout] 148 |     let mut idx = 0;
[INFO] [stdout]     |                   ^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 162 |         idx = i + S_ke;
[INFO] [stdout]     |         -------------- `idx` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `s_box` is never used
[INFO] [stdout]   --> bachelor-assurance/src/protocols/aes.rs:93:4
[INFO] [stdout]    |
[INFO] [stdout] 93 | fn s_box(b: u8) -> u8{
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling Faest_compare_ref v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 03s
[INFO] running `Command { std: "docker" "inspect" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e", 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" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]  --> bachelor-assurance/src/utils/libcrux_proxy.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | #[cfg(not(hax))]
[INFO] [stdout]   |           ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]   |
[INFO] [stdout]   = help: expected names are: `docsrs`, `feature`, and `test` and 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]  --> bachelor-assurance/src/utils/libcrux_proxy.rs:4:7
[INFO] [stdout]   |
[INFO] [stdout] 4 | #[cfg(hax)]
[INFO] [stdout]   |       ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead
[INFO] [stdout]   = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]            [lints.rust]
[INFO] [stdout]            unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]   = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/fs_vole.rs:317:19
[INFO] [stdout]     |
[INFO] [stdout] 317 |         #[cfg(not(hax))]
[INFO] [stdout]     |                   ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_sign.rs:116:15
[INFO] [stdout]     |
[INFO] [stdout] 116 |     #[cfg(not(hax))]
[INFO] [stdout]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_sign.rs:134:15
[INFO] [stdout]     |
[INFO] [stdout] 134 |     #[cfg(not(hax))]
[INFO] [stdout]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_sign.rs:141:15
[INFO] [stdout]     |
[INFO] [stdout] 141 |     #[cfg(not(hax))]
[INFO] [stdout]     |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_verify.rs:32:15
[INFO] [stdout]    |
[INFO] [stdout] 32 |     #[cfg(not(hax))]
[INFO] [stdout]    |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `hax`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_verify.rs:46:15
[INFO] [stdout]    |
[INFO] [stdout] 46 |     #[cfg(not(hax))]
[INFO] [stdout]    |               ^^^ help: found config with similar value: `feature = "hax"`
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(hax)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ret_value`
[INFO] [stdout]  --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:6:27
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::utils::types::{ret_value, value_of_one_in_bytes, ByteElem, ByteOrBytesArray, ByteOrBytesElem, BytesArray, BytesElem, XorHe...
[INFO] [stdout]   |                           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> bachelor-assurance/src/utils/types.rs:357:46
[INFO] [stdout]     |
[INFO] [stdout] 357 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> bachelor-assurance/src/utils/types.rs:359:46
[INFO] [stdout]     |
[INFO] [stdout] 359 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> bachelor-assurance/src/utils/types.rs:523:46
[INFO] [stdout]     |
[INFO] [stdout] 523 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> bachelor-assurance/src/utils/types.rs:525:46
[INFO] [stdout]     |
[INFO] [stdout] 525 |                 hax_lib::assert!(matches!(x, res)); res},
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bound`
[INFO] [stdout]   --> bachelor-assurance/src/utils/preliminary_helper_methods.rs:98:38
[INFO] [stdout]    |
[INFO] [stdout] 98 | pub fn xor_usize(x: usize, y: usize, bound: Log2Number) -> usize {
[INFO] [stdout]    |                                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_bound`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> bachelor-assurance/src/protocols/fs_vole.rs:75:16
[INFO] [stdout]    |
[INFO] [stdout] 75 |             if let (r1, r2) = (r[j][2*i], r[j][2*i+1]) {
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]    = help: consider replacing the `if let` with a `let`
[INFO] [stdout]    = note: `#[warn(irrefutable_let_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mtag`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:19:88
[INFO] [stdout]    |
[INFO] [stdout] 19 | ... x: ByteOrBytesArray<SIZE>, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray<ret_size_exp_fwd> {
[INFO] [stdout]    |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_mtag`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mkey`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:19:101
[INFO] [stdout]    |
[INFO] [stdout] 19 | ...esArray<SIZE>, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray<ret_size_exp_fwd> {
[INFO] [stdout]    |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `elem`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:42:13
[INFO] [stdout]    |
[INFO] [stdout] 42 |         let elem = ByteOrBytesArray::get_at_index(&x, i);
[INFO] [stdout]    |             ^^^^ help: if this is intentional, prefix it with an underscore: `_elem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `elem`
[INFO] [stdout]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:85:21
[INFO] [stdout]    |
[INFO] [stdout] 85 |                 let elem = ByteOrBytesArray::get_at_index(&x, iwd + i);
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_elem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:164:9
[INFO] [stdout]     |
[INFO] [stdout] 164 |     let mut rmvRcon = true;
[INFO] [stdout]     |         ----^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mkey`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:312:71
[INFO] [stdout]     |
[INFO] [stdout] 312 | ..._ke], v : [[u8; 16]; l_ke], mkey : bool) -> ([[u8;16]; S_ke], [[u8;16]; S_ke], [u8; 1408], [[u8;16]; 1408] ) {
[INFO] [stdout]     |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mkey`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:415:75
[INFO] [stdout]     |
[INFO] [stdout] 415 | pub fn faest_aes_exp_cstrnts_qDelta(Delta : [u8;16], q : [[u8;16]; l_ke], mkey : bool) -> ([[u8;16];S_ke], [[u8;16];1408]){
[INFO] [stdout]     |                                                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mkey`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:308:5
[INFO] [stdout]     |
[INFO] [stdout] 308 |     mkey : bool,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value_of_s_enc`
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:324:9
[INFO] [stdout]     |
[INFO] [stdout] 324 |     let value_of_s_enc = s_enc; //TODO: somehow use consts in a hax-compatible way here, ideally
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_value_of_s_enc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `idx` is never read
[INFO] [stdout]    --> bachelor-assurance/src/protocols/faest_prove_and_verify.rs:148:19
[INFO] [stdout]     |
[INFO] [stdout] 148 |     let mut idx = 0;
[INFO] [stdout]     |                   ^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 162 |         idx = i + S_ke;
[INFO] [stdout]     |         -------------- `idx` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `s_box` is never used
[INFO] [stdout]   --> bachelor-assurance/src/protocols/aes.rs:93:4
[INFO] [stdout]    |
[INFO] [stdout] 93 | fn s_box(b: u8) -> u8{
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rho`
[INFO] [stdout]    --> faest-rs/src/faest.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout] 101 |     rho: &[u8],
[INFO] [stdout]     |     ^^^ help: if this is intentional, prefix it with an underscore: `_rho`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling Faest_compare_ref v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `sk_ref`
[INFO] [stdout]   --> tests/test_timing.rs:42:17
[INFO] [stdout]    |
[INFO] [stdout] 42 |             let sk_ref: &[u8] = &sk;
[INFO] [stdout]    |                 ^^^^^^ help: if this is intentional, prefix it with an underscore: `_sk_ref`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sk_ref`
[INFO] [stdout]   --> tests/test_eq.rs:44:21
[INFO] [stdout]    |
[INFO] [stdout] 44 |                 let sk_ref: &[u8] = &sk;
[INFO] [stdout]    |                     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_sk_ref`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sk_ref`
[INFO] [stdout]    --> tests/test_eq.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                 let sk_ref: &[u8] = &sk;
[INFO] [stdout]     |                     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_sk_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vk`
[INFO] [stdout]    --> tests/test_eq.rs:173:21
[INFO] [stdout]     |
[INFO] [stdout] 173 |                 let vk = sk_ref_imp.verifying_key();
[INFO] [stdout]     |                     ^^ help: if this is intentional, prefix it with an underscore: `_vk`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.98s
[INFO] running `Command { std: "docker" "inspect" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e", 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" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: unexpected `cfg` condition name: `hax`
[INFO] [stderr]  --> bachelor-assurance/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]  --> bachelor-assurance/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]    --> bachelor-assurance/src/protocols/fs_vole.rs:317:19
[INFO] [stderr]     |
[INFO] [stderr] 317 |         #[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]    --> bachelor-assurance/src/protocols/faest_sign.rs:116:15
[INFO] [stderr]     |
[INFO] [stderr] 116 |     #[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]    --> bachelor-assurance/src/protocols/faest_sign.rs:134:15
[INFO] [stderr]     |
[INFO] [stderr] 134 |     #[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]    --> bachelor-assurance/src/protocols/faest_sign.rs:141:15
[INFO] [stderr]     |
[INFO] [stderr] 141 |     #[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]   --> bachelor-assurance/src/protocols/faest_verify.rs:32:15
[INFO] [stderr]    |
[INFO] [stderr] 32 |     #[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]   --> bachelor-assurance/src/protocols/faest_verify.rs:46:15
[INFO] [stderr]    |
[INFO] [stderr] 46 |     #[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]  --> bachelor-assurance/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]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `res`
[INFO] [stderr]    --> bachelor-assurance/src/utils/types.rs:357:46
[INFO] [stderr]     |
[INFO] [stderr] 357 |                 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]    --> bachelor-assurance/src/utils/types.rs:359:46
[INFO] [stderr]     |
[INFO] [stderr] 359 |                 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]    --> bachelor-assurance/src/utils/types.rs:523:46
[INFO] [stderr]     |
[INFO] [stderr] 523 |                 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]    --> bachelor-assurance/src/utils/types.rs:525:46
[INFO] [stderr]     |
[INFO] [stderr] 525 |                 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]   --> bachelor-assurance/src/utils/preliminary_helper_methods.rs:98:38
[INFO] [stderr]    |
[INFO] [stderr] 98 | pub fn xor_usize(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]   --> bachelor-assurance/src/protocols/fs_vole.rs:75:16
[INFO] [stderr]    |
[INFO] [stderr] 75 |             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: `mtag`
[INFO] [stderr]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:19:88
[INFO] [stderr]    |
[INFO] [stderr] 19 | ... x: ByteOrBytesArray<SIZE>, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray<ret_size_exp_fwd> {
[INFO] [stderr]    |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_mtag`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `mkey`
[INFO] [stderr]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:19:101
[INFO] [stderr]    |
[INFO] [stderr] 19 | ...esArray<SIZE>, mtag : bool, mkey : bool, _Delta : [u8;16]) -> ByteOrBytesArray<ret_size_exp_fwd> {
[INFO] [stderr]    |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `elem`
[INFO] [stderr]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:42:13
[INFO] [stderr]    |
[INFO] [stderr] 42 |         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]   --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:85:21
[INFO] [stderr]    |
[INFO] [stderr] 85 |                 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]    --> bachelor-assurance/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]    --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:312:71
[INFO] [stderr]     |
[INFO] [stderr] 312 | ..._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]    --> bachelor-assurance/src/protocols/faest_key_exp_cstrnts.rs:415:75
[INFO] [stderr]     |
[INFO] [stderr] 415 | pub fn faest_aes_exp_cstrnts_qDelta(Delta : [u8;16], q : [[u8;16]; l_ke], mkey : bool) -> ([[u8;16];S_ke], [[u8;16];1408]){
[INFO] [stderr]     |                                                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `mkey`
[INFO] [stderr]    --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:308:5
[INFO] [stderr]     |
[INFO] [stderr] 308 |     mkey : bool,
[INFO] [stderr]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_mkey`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `value_of_s_enc`
[INFO] [stderr]    --> bachelor-assurance/src/protocols/faest_key_enc_cstrnts.rs:324:9
[INFO] [stderr]     |
[INFO] [stderr] 324 |     let value_of_s_enc = s_enc; //TODO: somehow use consts in a hax-compatible way here, ideally
[INFO] [stderr]     |         ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_value_of_s_enc`
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `idx` is never read
[INFO] [stderr]    --> bachelor-assurance/src/protocols/faest_prove_and_verify.rs:148:19
[INFO] [stderr]     |
[INFO] [stderr] 148 |     let mut idx = 0;
[INFO] [stderr]     |                   ^ this value is reassigned later and never used
[INFO] [stderr] ...
[INFO] [stderr] 162 |         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]   --> bachelor-assurance/src/protocols/aes.rs:93:4
[INFO] [stderr]    |
[INFO] [stderr] 93 | 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 26 warnings (run `cargo fix --lib -p Bachelor-assurance` to apply 14 suggestions)
[INFO] [stderr] warning: unused variable: `rho`
[INFO] [stderr]    --> faest-rs/src/faest.rs:101:5
[INFO] [stderr]     |
[INFO] [stderr] 101 |     rho: &[u8],
[INFO] [stderr]     |     ^^^ help: if this is intentional, prefix it with an underscore: `_rho`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `faest` (lib) generated 1 warning (run `cargo fix --lib -p faest` to apply 1 suggestion)
[INFO] [stderr] warning: unused variable: `sk_ref`
[INFO] [stderr]   --> tests/test_eq.rs:44:21
[INFO] [stderr]    |
[INFO] [stderr] 44 |                 let sk_ref: &[u8] = &sk;
[INFO] [stderr]    |                     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_sk_ref`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sk_ref`
[INFO] [stderr]    --> tests/test_eq.rs:129:21
[INFO] [stderr]     |
[INFO] [stderr] 129 |                 let sk_ref: &[u8] = &sk;
[INFO] [stderr]     |                     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_sk_ref`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `vk`
[INFO] [stderr]    --> tests/test_eq.rs:173:21
[INFO] [stderr]     |
[INFO] [stderr] 173 |                 let vk = sk_ref_imp.verifying_key();
[INFO] [stderr]     |                     ^^ help: if this is intentional, prefix it with an underscore: `_vk`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sk_ref`
[INFO] [stderr]   --> tests/test_timing.rs:42:17
[INFO] [stderr]    |
[INFO] [stderr] 42 |             let sk_ref: &[u8] = &sk;
[INFO] [stderr]    |                 ^^^^^^ help: if this is intentional, prefix it with an underscore: `_sk_ref`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `Faest_compare_ref` (test "test_eq") generated 3 warnings (run `cargo fix --test "test_eq" -p Faest_compare_ref` to apply 3 suggestions)
[INFO] [stderr] warning: `Faest_compare_ref` (test "test_timing") generated 1 warning (run `cargo fix --test "test_timing" -p Faest_compare_ref` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/Faest_compare_ref-d70a3bce89c97a09)
[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/test_eq.rs (/opt/rustwide/target/debug/deps/test_eq-096bee2a5e6a12be)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test tests::test_eq_sign_with_our_key_gen has been running for over 60 seconds
[INFO] [stdout] test tests::test_eq_sign_with_our_key_gen_with_verify has been running for over 60 seconds
[INFO] [stdout] test tests::test_eq_sign_with_our_key_gen_with_verify_with_flipped_byte has been running for over 60 seconds
[INFO] [stdout] test tests::test_eq_sign_with_ref_key_gen has been running for over 60 seconds
[INFO] [stdout] test tests::test_eq_sign_with_ref_key_gen_with_verify has been running for over 60 seconds
[ERROR] error running command: no output for 300 seconds
[INFO] running `Command { std: "docker" "inspect" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e", kill_on_drop: false }`
[INFO] [stdout] 4c9307ceca33ca76595130021eeafcebbc58ccff266777b634975c0da511e43e
