running 1 test
test os_boot_contract_header_negative ... FAILED

failures:

failures:
    os_boot_contract_header_negative

test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 8 filtered out; finished in 0.00s

   Compiling turkos-bootinfo v0.0.1 (<project>/reports/os-implementation/K606-K609-dHreLg/mutant-skip-declared-size/bootinfo)
   Compiling turkos-os-boot-header v0.0.1 (<project>/reports/os-implementation/K606-K609-dHreLg/mutant-skip-declared-size/os-boot-header)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.30s
     Running tests/boot_header.rs (reports/os-implementation/K606-K609-dHreLg/mutant-skip-declared-size/target/debug/build/turkos-os-boot-header/2310245e2cdf8c86/out/boot_header-2310245e2cdf8c86)

thread 'os_boot_contract_header_negative' (39827352) panicked at tests/boot_header.rs:96:5:
assertion `left == right` failed
  left: Ok(V1Prefix { version: 1, declared_bytes: 71 })
 right: Err(Size)
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
error: test failed, to rerun pass `--test boot_header`