[INFO] cloning repository https://github.com/agkdc1/QEDSTACK
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/agkdc1/QEDSTACK" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fagkdc1%2FQEDSTACK", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fagkdc1%2FQEDSTACK'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c261508fde3853fa81198e51e7d2fa3926c9d1e3
[INFO] testing agkdc1/QEDSTACK against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fagkdc1%2FQEDSTACK" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/agkdc1/QEDSTACK
[INFO] finished tweaking git repo https://github.com/agkdc1/QEDSTACK
[INFO] tweaked toml for git repo https://github.com/agkdc1/QEDSTACK written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/agkdc1/QEDSTACK on toolchain ec6f9a5b4413f74386267ef8efc93712c2ce6db6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/agkdc1/QEDSTACK 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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded embedded-hal v1.0.0
[INFO] [stderr]   Downloaded hash32 v0.3.1
[INFO] [stderr]   Downloaded riscv v0.16.0
[INFO] [stderr]   Downloaded riscv-types v0.1.0
[INFO] [stderr]   Downloaded heapless v0.8.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3df371df48c3a1d61f25db0b95a09dc42ab79c1d151ea4f2552fe1883a0707d1
[INFO] running `Command { std: "docker" "start" "-a" "3df371df48c3a1d61f25db0b95a09dc42ab79c1d151ea4f2552fe1883a0707d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3df371df48c3a1d61f25db0b95a09dc42ab79c1d151ea4f2552fe1883a0707d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3df371df48c3a1d61f25db0b95a09dc42ab79c1d151ea4f2552fe1883a0707d1", kill_on_drop: false }`
[INFO] [stdout] 3df371df48c3a1d61f25db0b95a09dc42ab79c1d151ea4f2552fe1883a0707d1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ff7209390addcd9f7bf9e45c7d0a6ca545339e84e03bce20a0b278d144fe1d9f
[INFO] running `Command { std: "docker" "start" "-a" "ff7209390addcd9f7bf9e45c7d0a6ca545339e84e03bce20a0b278d144fe1d9f", kill_on_drop: false }`
[INFO] [stderr]    Compiling virtio-contracts v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/contracts)
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling virtio-sync v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_sync)
[INFO] [stderr]    Compiling virtio-types v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_types)
[INFO] [stderr]    Compiling heapless v0.8.0
[INFO] [stderr]    Compiling vcell v0.1.3
[INFO] [stderr]    Compiling virtio-panic-safety v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_panic_safety)
[INFO] [stderr]    Compiling hash32 v0.3.1
[INFO] [stderr]    Compiling kernel-qemu-virt-boot v0.1.0 (/opt/rustwide/workdir/microkernel/kernel/qemu_virt_boot)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/contracts/src/lib.rs:12:7
[INFO] [stdout]    |
[INFO] [stdout] 12 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/contracts/src/lib.rs:512:5
[INFO] [stdout]     |
[INFO] [stdout] 512 | /     pub const unsafe fn new_unchecked(
[INFO] [stdout] 513 | |         ptr: NonNull<u8>,
[INFO] [stdout] 514 | |         window: PhysicalDmaWindow,
[INFO] [stdout] 515 | |         layout: Layout,
[INFO] [stdout] ...   |
[INFO] [stdout] 524 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/contracts/src/lib.rs:608:1
[INFO] [stdout]     |
[INFO] [stdout] 608 | / pub unsafe trait KernelDmaAllocator {
[INFO] [stdout] 609 | |     /// Allocates DMA-safe memory for a VirtIO driver.
[INFO] [stdout] 610 | |     fn allocate_dma(
[INFO] [stdout] 611 | |         &mut self,
[INFO] [stdout] ...   |
[INFO] [stdout] 628 | |     );
[INFO] [stdout] 629 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/contracts/src/lib.rs:624:5
[INFO] [stdout]     |
[INFO] [stdout] 624 | /     unsafe fn deallocate_dma(
[INFO] [stdout] 625 | |         &mut self,
[INFO] [stdout] 626 | |         allocation: KernelDmaAllocation,
[INFO] [stdout] 627 | |         proof: DmaDeallocationProof,
[INFO] [stdout] 628 | |     );
[INFO] [stdout]     | |______^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]     --> microkernel/virtio/contracts/src/lib.rs:1040:5
[INFO] [stdout]      |
[INFO] [stdout] 1040 | /     pub const unsafe fn new_unchecked(
[INFO] [stdout] 1041 | |         dma: AddressRange<DmaAddr>,
[INFO] [stdout] 1042 | |         direction: DmaDirection,
[INFO] [stdout] 1043 | |         device_written_len: usize,
[INFO] [stdout] ...    |
[INFO] [stdout] 1050 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]     --> microkernel/virtio/contracts/src/lib.rs:1082:5
[INFO] [stdout]      |
[INFO] [stdout] 1082 | /     pub const unsafe fn new_unchecked(generation: u64) -> Self {
[INFO] [stdout] 1083 | |         Self { generation }
[INFO] [stdout] 1084 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> microkernel/virtio/virtio_sync/src/lib.rs:6:7
[INFO] [stdout]   |
[INFO] [stdout] 6 | #[cfg(kani)]
[INFO] [stdout]   |       ^^^^
[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(kani)'] }
[INFO] [stdout]   = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_types/src/lib.rs:11:7
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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] [stderr]    Compiling virtio-dma v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_dma)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_dma/src/lib.rs:11:7
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:415:7
[INFO] [stdout]     |
[INFO] [stdout] 415 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:226:5
[INFO] [stdout]     |
[INFO] [stdout] 226 | /     pub unsafe fn from_raw_parts(
[INFO] [stdout] 227 | |         ptr: NonNull<u8>,
[INFO] [stdout] 228 | |         dma: DmaAddr,
[INFO] [stdout] 229 | |         len: NonZeroUsize,
[INFO] [stdout] ...   |
[INFO] [stdout] 245 | |         })
[INFO] [stdout] 246 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:255:5
[INFO] [stdout]     |
[INFO] [stdout] 255 | /     pub unsafe fn from_translated<T: DmaTranslator>(
[INFO] [stdout] 256 | |         ptr: NonNull<u8>,
[INFO] [stdout] 257 | |         len: NonZeroUsize,
[INFO] [stdout] 258 | |         align: NonZeroUsize,
[INFO] [stdout] ...   |
[INFO] [stdout] 279 | |         })
[INFO] [stdout] 280 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:285:9
[INFO] [stdout]     |
[INFO] [stdout] 285 |         unsafe { core::slice::from_raw_parts(self.ptr.as_ptr(), self.len.get()) }
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:291:9
[INFO] [stdout]     |
[INFO] [stdout] 291 |         unsafe { core::slice::from_raw_parts_mut(self.ptr.as_ptr(), self.len.get()) }
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:361:1
[INFO] [stdout]     |
[INFO] [stdout] 361 | / pub unsafe trait DmaAllocator {
[INFO] [stdout] 362 | |     /// Allocates a CPU-owned DMA-safe region.
[INFO] [stdout] 363 | |     fn allocate(
[INFO] [stdout] 364 | |         &mut self,
[INFO] [stdout] ...   |
[INFO] [stdout] 376 | |     unsafe fn deallocate(&mut self, region: DmaRegion<CpuOwned>);
[INFO] [stdout] 377 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:376:5
[INFO] [stdout]     |
[INFO] [stdout] 376 |     unsafe fn deallocate(&mut self, region: DmaRegion<CpuOwned>);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling virtqueue-core v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtqueue_core)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtqueue_core/src/lib.rs:13:7
[INFO] [stdout]    |
[INFO] [stdout] 13 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtqueue_core/src/lib.rs:565:7
[INFO] [stdout]     |
[INFO] [stdout] 565 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtqueue_core/src/lib.rs:222:9
[INFO] [stdout]     |
[INFO] [stdout] 222 | /         unsafe {
[INFO] [stdout] 223 | |             DmaCompletionToken::new_unchecked(
[INFO] [stdout] 224 | |                 self.grant.dma(),
[INFO] [stdout] 225 | |                 self.grant.direction(),
[INFO] [stdout] ...   |
[INFO] [stdout] 228 | |         }
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling virtio-net v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_net)
[INFO] [stderr]    Compiling virtio-mmio v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_mmio)
[INFO] [stderr]    Compiling virtio-rng v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_rng)
[INFO] [stderr]    Compiling virtio-console v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_console)
[INFO] [stderr]    Compiling virtio-block v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_block)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_block/src/lib.rs:14:7
[INFO] [stdout]    |
[INFO] [stdout] 14 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_net/src/lib.rs:22:7
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_block/src/lib.rs:889:7
[INFO] [stdout]     |
[INFO] [stdout] 889 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_block/src/lib.rs:883:5
[INFO] [stdout]     |
[INFO] [stdout] 883 |     unsafe { DmaCompletionToken::new_unchecked(dma, direction, device_written_len) }
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_net/src/lib.rs:905:7
[INFO] [stdout]     |
[INFO] [stdout] 905 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_net/src/lib.rs:899:5
[INFO] [stdout]     |
[INFO] [stdout] 899 |     unsafe { DmaCompletionToken::new_unchecked(dma, direction, device_written_len) }
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_rng/src/lib.rs:17:7
[INFO] [stdout]    |
[INFO] [stdout] 17 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_rng/src/lib.rs:396:7
[INFO] [stdout]     |
[INFO] [stdout] 396 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_mmio/src/lib.rs:12:7
[INFO] [stdout]    |
[INFO] [stdout] 12 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:581:7
[INFO] [stdout]     |
[INFO] [stdout] 581 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: declaration of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:239:1
[INFO] [stdout]     |
[INFO] [stdout] 239 | / pub unsafe trait MmioRegisterIo {
[INFO] [stdout] 240 | |     /// Reads a 32-bit MMIO register.
[INFO] [stdout] 241 | |     fn read32(&self, offset: usize) -> u32;
[INFO] [stdout] ...   |
[INFO] [stdout] 244 | |     fn write32(&mut self, offset: usize, value: u32);
[INFO] [stdout] 245 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:261:5
[INFO] [stdout]     |
[INFO] [stdout] 261 | /     pub const unsafe fn new(base: NonNull<u8>) -> Self {
[INFO] [stdout] 262 | |         Self { base }
[INFO] [stdout] 263 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:268:1
[INFO] [stdout]     |
[INFO] [stdout] 268 | / unsafe impl MmioRegisterIo for MmioPointer {
[INFO] [stdout] 269 | |     fn read32(&self, offset: usize) -> u32 {
[INFO] [stdout] 270 | |         let ptr = self.base.as_ptr().wrapping_add(offset).cast::<u32>();
[INFO] [stdout] ...   |
[INFO] [stdout] 280 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:272:9
[INFO] [stdout]     |
[INFO] [stdout] 272 |         unsafe { core::ptr::read_volatile(ptr) }
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:278:9
[INFO] [stdout]     |
[INFO] [stdout] 278 |         unsafe { core::ptr::write_volatile(ptr, value) };
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:519:21
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let token = unsafe { DeviceResetToken::new_unchecked(self.reset_generation) };
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_console/src/lib.rs:22:7
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_console/src/lib.rs:768:7
[INFO] [stdout]     |
[INFO] [stdout] 768 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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] [stderr]    Compiling kernel v0.1.0 (/opt/rustwide/workdir/microkernel/kernel)
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling kernel_epoch_safety_evidence v0.1.0 (/opt/rustwide/workdir/kernel-in-dsl/validation/generated/kernel_epoch_safety)
[INFO] [stderr]    Compiling kani_rust_safety_harnesses v0.1.0 (/opt/rustwide/workdir/microkernel/kani-harnesses)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.70s
[INFO] running `Command { std: "docker" "inspect" "ff7209390addcd9f7bf9e45c7d0a6ca545339e84e03bce20a0b278d144fe1d9f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ff7209390addcd9f7bf9e45c7d0a6ca545339e84e03bce20a0b278d144fe1d9f", kill_on_drop: false }`
[INFO] [stdout] ff7209390addcd9f7bf9e45c7d0a6ca545339e84e03bce20a0b278d144fe1d9f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7383b0837e48e0088fe32ed4ce0160ccc24cdeae4f677017cc6ccf8b56636010
[INFO] running `Command { std: "docker" "start" "-a" "7383b0837e48e0088fe32ed4ce0160ccc24cdeae4f677017cc6ccf8b56636010", kill_on_drop: false }`
[INFO] [stderr]    Compiling virtio-dma v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_dma)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/contracts/src/lib.rs:12:7
[INFO] [stdout]    |
[INFO] [stdout] 12 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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] [stderr]    Compiling virtio-sync v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_sync)
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/contracts/src/lib.rs:512:5
[INFO] [stdout]     |
[INFO] [stdout] 512 | /     pub const unsafe fn new_unchecked(
[INFO] [stdout] 513 | |         ptr: NonNull<u8>,
[INFO] [stdout] 514 | |         window: PhysicalDmaWindow,
[INFO] [stdout] 515 | |         layout: Layout,
[INFO] [stdout] ...   |
[INFO] [stdout] 524 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/contracts/src/lib.rs:608:1
[INFO] [stdout]     |
[INFO] [stdout] 608 | / pub unsafe trait KernelDmaAllocator {
[INFO] [stdout] 609 | |     /// Allocates DMA-safe memory for a VirtIO driver.
[INFO] [stdout] 610 | |     fn allocate_dma(
[INFO] [stdout] 611 | |         &mut self,
[INFO] [stdout] ...   |
[INFO] [stdout] 628 | |     );
[INFO] [stdout] 629 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/contracts/src/lib.rs:624:5
[INFO] [stdout]     |
[INFO] [stdout] 624 | /     unsafe fn deallocate_dma(
[INFO] [stdout] 625 | |         &mut self,
[INFO] [stdout] 626 | |         allocation: KernelDmaAllocation,
[INFO] [stdout] 627 | |         proof: DmaDeallocationProof,
[INFO] [stdout] 628 | |     );
[INFO] [stdout]     | |______^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]     --> microkernel/virtio/contracts/src/lib.rs:1040:5
[INFO] [stdout]      |
[INFO] [stdout] 1040 | /     pub const unsafe fn new_unchecked(
[INFO] [stdout] 1041 | |         dma: AddressRange<DmaAddr>,
[INFO] [stdout] 1042 | |         direction: DmaDirection,
[INFO] [stdout] 1043 | |         device_written_len: usize,
[INFO] [stdout] ...    |
[INFO] [stdout] 1050 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]     --> microkernel/virtio/contracts/src/lib.rs:1082:5
[INFO] [stdout]      |
[INFO] [stdout] 1082 | /     pub const unsafe fn new_unchecked(generation: u64) -> Self {
[INFO] [stdout] 1083 | |         Self { generation }
[INFO] [stdout] 1084 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_dma/src/lib.rs:11:7
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:415:7
[INFO] [stdout]     |
[INFO] [stdout] 415 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:226:5
[INFO] [stdout]     |
[INFO] [stdout] 226 | /     pub unsafe fn from_raw_parts(
[INFO] [stdout] 227 | |         ptr: NonNull<u8>,
[INFO] [stdout] 228 | |         dma: DmaAddr,
[INFO] [stdout] 229 | |         len: NonZeroUsize,
[INFO] [stdout] ...   |
[INFO] [stdout] 245 | |         })
[INFO] [stdout] 246 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:255:5
[INFO] [stdout]     |
[INFO] [stdout] 255 | /     pub unsafe fn from_translated<T: DmaTranslator>(
[INFO] [stdout] 256 | |         ptr: NonNull<u8>,
[INFO] [stdout] 257 | |         len: NonZeroUsize,
[INFO] [stdout] 258 | |         align: NonZeroUsize,
[INFO] [stdout] ...   |
[INFO] [stdout] 279 | |         })
[INFO] [stdout] 280 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:285:9
[INFO] [stdout]     |
[INFO] [stdout] 285 |         unsafe { core::slice::from_raw_parts(self.ptr.as_ptr(), self.len.get()) }
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:291:9
[INFO] [stdout]     |
[INFO] [stdout] 291 |         unsafe { core::slice::from_raw_parts_mut(self.ptr.as_ptr(), self.len.get()) }
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:361:1
[INFO] [stdout]     |
[INFO] [stdout] 361 | / pub unsafe trait DmaAllocator {
[INFO] [stdout] 362 | |     /// Allocates a CPU-owned DMA-safe region.
[INFO] [stdout] 363 | |     fn allocate(
[INFO] [stdout] 364 | |         &mut self,
[INFO] [stdout] ...   |
[INFO] [stdout] 376 | |     unsafe fn deallocate(&mut self, region: DmaRegion<CpuOwned>);
[INFO] [stdout] 377 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:376:5
[INFO] [stdout]     |
[INFO] [stdout] 376 |     unsafe fn deallocate(&mut self, region: DmaRegion<CpuOwned>);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> microkernel/virtio/virtio_sync/src/lib.rs:6:7
[INFO] [stdout]   |
[INFO] [stdout] 6 | #[cfg(kani)]
[INFO] [stdout]   |       ^^^^
[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(kani)'] }
[INFO] [stdout]   = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_types/src/lib.rs:11:7
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtqueue_core/src/lib.rs:13:7
[INFO] [stdout]    |
[INFO] [stdout] 13 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtqueue_core/src/lib.rs:565:7
[INFO] [stdout]     |
[INFO] [stdout] 565 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtqueue_core/src/lib.rs:222:9
[INFO] [stdout]     |
[INFO] [stdout] 222 | /         unsafe {
[INFO] [stdout] 223 | |             DmaCompletionToken::new_unchecked(
[INFO] [stdout] 224 | |                 self.grant.dma(),
[INFO] [stdout] 225 | |                 self.grant.direction(),
[INFO] [stdout] ...   |
[INFO] [stdout] 228 | |         }
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling virtqueue-core v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtqueue_core)
[INFO] [stderr]    Compiling virtio-types v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_types)
[INFO] [stderr]    Compiling virtio-contracts v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/contracts)
[INFO] [stderr]    Compiling virtio-mmio v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_mmio)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_rng/src/lib.rs:17:7
[INFO] [stdout]    |
[INFO] [stdout] 17 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_rng/src/lib.rs:396:7
[INFO] [stdout]     |
[INFO] [stdout] 396 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_block/src/lib.rs:14:7
[INFO] [stdout]    |
[INFO] [stdout] 14 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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] [stderr]    Compiling virtio-rng v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_rng)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_block/src/lib.rs:889:7
[INFO] [stdout]     |
[INFO] [stdout] 889 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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] [stderr]    Compiling virtio-console v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_console)
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_block/src/lib.rs:883:5
[INFO] [stdout]     |
[INFO] [stdout] 883 |     unsafe { DmaCompletionToken::new_unchecked(dma, direction, device_written_len) }
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling kernel v0.1.0 (/opt/rustwide/workdir/microkernel/kernel)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_console/src/lib.rs:22:7
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_console/src/lib.rs:768:7
[INFO] [stdout]     |
[INFO] [stdout] 768 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_net/src/lib.rs:22:7
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_net/src/lib.rs:905:7
[INFO] [stdout]     |
[INFO] [stdout] 905 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_net/src/lib.rs:899:5
[INFO] [stdout]     |
[INFO] [stdout] 899 |     unsafe { DmaCompletionToken::new_unchecked(dma, direction, device_written_len) }
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_mmio/src/lib.rs:12:7
[INFO] [stdout]    |
[INFO] [stdout] 12 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:581:7
[INFO] [stdout]     |
[INFO] [stdout] 581 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: declaration of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:239:1
[INFO] [stdout]     |
[INFO] [stdout] 239 | / pub unsafe trait MmioRegisterIo {
[INFO] [stdout] 240 | |     /// Reads a 32-bit MMIO register.
[INFO] [stdout] 241 | |     fn read32(&self, offset: usize) -> u32;
[INFO] [stdout] ...   |
[INFO] [stdout] 244 | |     fn write32(&mut self, offset: usize, value: u32);
[INFO] [stdout] 245 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:261:5
[INFO] [stdout]     |
[INFO] [stdout] 261 | /     pub const unsafe fn new(base: NonNull<u8>) -> Self {
[INFO] [stdout] 262 | |         Self { base }
[INFO] [stdout] 263 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:268:1
[INFO] [stdout]     |
[INFO] [stdout] 268 | / unsafe impl MmioRegisterIo for MmioPointer {
[INFO] [stdout] 269 | |     fn read32(&self, offset: usize) -> u32 {
[INFO] [stdout] 270 | |         let ptr = self.base.as_ptr().wrapping_add(offset).cast::<u32>();
[INFO] [stdout] ...   |
[INFO] [stdout] 280 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:272:9
[INFO] [stdout]     |
[INFO] [stdout] 272 |         unsafe { core::ptr::read_volatile(ptr) }
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:278:9
[INFO] [stdout]     |
[INFO] [stdout] 278 |         unsafe { core::ptr::write_volatile(ptr, value) };
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:519:21
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let token = unsafe { DeviceResetToken::new_unchecked(self.reset_generation) };
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling kernel-qemu-virt-boot v0.1.0 (/opt/rustwide/workdir/microkernel/kernel/qemu_virt_boot)
[INFO] [stderr]    Compiling kani_rust_safety_harnesses v0.1.0 (/opt/rustwide/workdir/microkernel/kani-harnesses)
[INFO] [stderr]    Compiling virtio-block v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_block)
[INFO] [stderr]    Compiling kernel_epoch_safety_evidence v0.1.0 (/opt/rustwide/workdir/kernel-in-dsl/validation/generated/kernel_epoch_safety)
[INFO] [stderr]    Compiling virtio-net v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_net)
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]   --> microkernel/virtio/virtio_rng/tests/rng.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | /     unsafe {
[INFO] [stdout] 22 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout] 23 | |             ptr,
[INFO] [stdout] 24 | |             DmaAddr::new(ptr.as_ptr() as u64),
[INFO] [stdout] ...  |
[INFO] [stdout] 30 | |         .unwrap()
[INFO] [stdout] 31 | |     }
[INFO] [stdout]    | |_____^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_rng/tests/rng.rs:203:17
[INFO] [stdout]     |
[INFO] [stdout] 203 |     let stale = unsafe { DeviceResetToken::new_unchecked(2) };
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_rng/tests/rng.rs:211:17
[INFO] [stdout]     |
[INFO] [stdout] 211 |     let reset = unsafe { DeviceResetToken::new_unchecked(3) };
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_mmio/src/lib.rs:12:7
[INFO] [stdout]    |
[INFO] [stdout] 12 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:581:7
[INFO] [stdout]     |
[INFO] [stdout] 581 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: declaration of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:239:1
[INFO] [stdout]     |
[INFO] [stdout] 239 | / pub unsafe trait MmioRegisterIo {
[INFO] [stdout] 240 | |     /// Reads a 32-bit MMIO register.
[INFO] [stdout] 241 | |     fn read32(&self, offset: usize) -> u32;
[INFO] [stdout] ...   |
[INFO] [stdout] 244 | |     fn write32(&mut self, offset: usize, value: u32);
[INFO] [stdout] 245 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:261:5
[INFO] [stdout]     |
[INFO] [stdout] 261 | /     pub const unsafe fn new(base: NonNull<u8>) -> Self {
[INFO] [stdout] 262 | |         Self { base }
[INFO] [stdout] 263 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:268:1
[INFO] [stdout]     |
[INFO] [stdout] 268 | / unsafe impl MmioRegisterIo for MmioPointer {
[INFO] [stdout] 269 | |     fn read32(&self, offset: usize) -> u32 {
[INFO] [stdout] 270 | |         let ptr = self.base.as_ptr().wrapping_add(offset).cast::<u32>();
[INFO] [stdout] ...   |
[INFO] [stdout] 280 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:272:9
[INFO] [stdout]     |
[INFO] [stdout] 272 |         unsafe { core::ptr::read_volatile(ptr) }
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:278:9
[INFO] [stdout]     |
[INFO] [stdout] 278 |         unsafe { core::ptr::write_volatile(ptr, value) };
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:519:21
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let token = unsafe { DeviceResetToken::new_unchecked(self.reset_generation) };
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_mmio/src/lib.rs:634:5
[INFO] [stdout]     |
[INFO] [stdout] 634 | /     unsafe impl MmioRegisterIo for ModelIo {
[INFO] [stdout] 635 | |         fn read32(&self, offset: usize) -> u32 {
[INFO] [stdout] 636 | |             match offset {
[INFO] [stdout] 637 | |                 REG_DEVICE_FEATURES => self.device_features[self.device_features_sel],
[INFO] [stdout] ...   |
[INFO] [stdout] 650 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_dma/src/lib.rs:11:7
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:415:7
[INFO] [stdout]     |
[INFO] [stdout] 415 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:226:5
[INFO] [stdout]     |
[INFO] [stdout] 226 | /     pub unsafe fn from_raw_parts(
[INFO] [stdout] 227 | |         ptr: NonNull<u8>,
[INFO] [stdout] 228 | |         dma: DmaAddr,
[INFO] [stdout] 229 | |         len: NonZeroUsize,
[INFO] [stdout] ...   |
[INFO] [stdout] 245 | |         })
[INFO] [stdout] 246 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:255:5
[INFO] [stdout]     |
[INFO] [stdout] 255 | /     pub unsafe fn from_translated<T: DmaTranslator>(
[INFO] [stdout] 256 | |         ptr: NonNull<u8>,
[INFO] [stdout] 257 | |         len: NonZeroUsize,
[INFO] [stdout] 258 | |         align: NonZeroUsize,
[INFO] [stdout] ...   |
[INFO] [stdout] 279 | |         })
[INFO] [stdout] 280 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:285:9
[INFO] [stdout]     |
[INFO] [stdout] 285 |         unsafe { core::slice::from_raw_parts(self.ptr.as_ptr(), self.len.get()) }
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:291:9
[INFO] [stdout]     |
[INFO] [stdout] 291 |         unsafe { core::slice::from_raw_parts_mut(self.ptr.as_ptr(), self.len.get()) }
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:361:1
[INFO] [stdout]     |
[INFO] [stdout] 361 | / pub unsafe trait DmaAllocator {
[INFO] [stdout] 362 | |     /// Allocates a CPU-owned DMA-safe region.
[INFO] [stdout] 363 | |     fn allocate(
[INFO] [stdout] 364 | |         &mut self,
[INFO] [stdout] ...   |
[INFO] [stdout] 376 | |     unsafe fn deallocate(&mut self, region: DmaRegion<CpuOwned>);
[INFO] [stdout] 377 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/src/lib.rs:376:5
[INFO] [stdout]     |
[INFO] [stdout] 376 |     unsafe fn deallocate(&mut self, region: DmaRegion<CpuOwned>);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtqueue_core/src/lib.rs:13:7
[INFO] [stdout]    |
[INFO] [stdout] 13 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]   --> microkernel/virtio/virtio_dma/tests/ownership.rs:40:22
[INFO] [stdout]    |
[INFO] [stdout] 40 |       let mut region = unsafe {
[INFO] [stdout]    |  ______________________^
[INFO] [stdout] 41 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout] 42 | |             ptr,
[INFO] [stdout] 43 | |             DmaAddr::new(0x1000),
[INFO] [stdout] ...  |
[INFO] [stdout] 49 | |         .unwrap()
[INFO] [stdout] 50 | |     };
[INFO] [stdout]    | |_____^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]   --> microkernel/virtio/virtio_dma/tests/ownership.rs:68:18
[INFO] [stdout]    |
[INFO] [stdout] 68 |       let region = unsafe {
[INFO] [stdout]    |  __________________^
[INFO] [stdout] 69 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout] 70 | |             ptr,
[INFO] [stdout] 71 | |             DmaAddr::new(0x2000),
[INFO] [stdout] ...  |
[INFO] [stdout] 77 | |         .unwrap()
[INFO] [stdout] 78 | |     };
[INFO] [stdout]    | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]   --> microkernel/virtio/virtio_dma/tests/ownership.rs:80:17
[INFO] [stdout]    |
[INFO] [stdout] 80 |       let token = unsafe {
[INFO] [stdout]    |  _________________^
[INFO] [stdout] 81 | |         DmaCompletionToken::new_unchecked(grant.dma(), DmaDirection::FromDevice, len.get())
[INFO] [stdout] 82 | |     };
[INFO] [stdout]    | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:95:18
[INFO] [stdout]     |
[INFO] [stdout]  95 |       let region = unsafe {
[INFO] [stdout]     |  __________________^
[INFO] [stdout]  96 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout]  97 | |             ptr,
[INFO] [stdout]  98 | |             DmaAddr::new(0x3000),
[INFO] [stdout] ...   |
[INFO] [stdout] 104 | |         .unwrap()
[INFO] [stdout] 105 | |     };
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtqueue_core/src/lib.rs:565:7
[INFO] [stdout]     |
[INFO] [stdout] 565 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtqueue_core/src/lib.rs:222:9
[INFO] [stdout]     |
[INFO] [stdout] 222 | /         unsafe {
[INFO] [stdout] 223 | |             DmaCompletionToken::new_unchecked(
[INFO] [stdout] 224 | |                 self.grant.dma(),
[INFO] [stdout] 225 | |                 self.grant.direction(),
[INFO] [stdout] ...   |
[INFO] [stdout] 228 | |         }
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:108:21
[INFO] [stdout]     |
[INFO] [stdout] 108 |       let bad_range = unsafe {
[INFO] [stdout]     |  _____________________^
[INFO] [stdout] 109 | |         DmaCompletionToken::new_unchecked(
[INFO] [stdout] 110 | |             AddressRange::new(DmaAddr::new(0x3010), len),
[INFO] [stdout] 111 | |             DmaDirection::FromDevice,
[INFO] [stdout] ...   |
[INFO] [stdout] 114 | |     };
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:119:9
[INFO] [stdout]     |
[INFO] [stdout] 119 |         unsafe { DmaCompletionToken::new_unchecked(grant.dma(), DmaDirection::ToDevice, 0) };
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:123:20
[INFO] [stdout]     |
[INFO] [stdout] 123 |       let too_long = unsafe {
[INFO] [stdout]     |  ____________________^
[INFO] [stdout] 124 | |         DmaCompletionToken::new_unchecked(grant.dma(), DmaDirection::FromDevice, len.get() + 1)
[INFO] [stdout] 125 | |     };
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:136:18
[INFO] [stdout]     |
[INFO] [stdout] 136 |       let region = unsafe {
[INFO] [stdout]     |  __________________^
[INFO] [stdout] 137 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout] 138 | |             ptr,
[INFO] [stdout] 139 | |             DmaAddr::new(0x4000),
[INFO] [stdout] ...   |
[INFO] [stdout] 145 | |         .unwrap()
[INFO] [stdout] 146 | |     };
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:149:17
[INFO] [stdout]     |
[INFO] [stdout] 149 |     let stale = unsafe { DeviceResetToken::new_unchecked(8) };
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:153:17
[INFO] [stdout]     |
[INFO] [stdout] 153 |     let reset = unsafe { DeviceResetToken::new_unchecked(9) };
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:169:18
[INFO] [stdout]     |
[INFO] [stdout] 169 |       let region = unsafe {
[INFO] [stdout]     |  __________________^
[INFO] [stdout] 170 | |         DmaRegion::<CpuOwned>::from_translated(
[INFO] [stdout] 171 | |             ptr,
[INFO] [stdout] 172 | |             len,
[INFO] [stdout] ...   |
[INFO] [stdout] 177 | |         .unwrap()
[INFO] [stdout] 178 | |     };
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:194:15
[INFO] [stdout]     |
[INFO] [stdout] 194 |       let err = unsafe {
[INFO] [stdout]     |  _______________^
[INFO] [stdout] 195 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout] 196 | |             ptr,
[INFO] [stdout] 197 | |             DmaAddr::new(0x1001),
[INFO] [stdout] ...   |
[INFO] [stdout] 203 | |         .unwrap_err()
[INFO] [stdout] 204 | |     };
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> microkernel/virtio/virtio_sync/src/lib.rs:6:7
[INFO] [stdout]   |
[INFO] [stdout] 6 | #[cfg(kani)]
[INFO] [stdout]   |       ^^^^
[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(kani)'] }
[INFO] [stdout]   = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]   --> microkernel/virtio/virtio_net/tests/net.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 | /     unsafe {
[INFO] [stdout] 24 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout] 25 | |             ptr,
[INFO] [stdout] 26 | |             DmaAddr::new(ptr.as_ptr() as u64),
[INFO] [stdout] ...  |
[INFO] [stdout] 32 | |         .unwrap()
[INFO] [stdout] 33 | |     }
[INFO] [stdout]    | |_____^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]   --> microkernel/virtio/virtio_block/tests/block.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | /     unsafe {
[INFO] [stdout] 22 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout] 23 | |             ptr,
[INFO] [stdout] 24 | |             DmaAddr::new(ptr.as_ptr() as u64),
[INFO] [stdout] ...  |
[INFO] [stdout] 30 | |         .unwrap()
[INFO] [stdout] 31 | |     }
[INFO] [stdout]    | |_____^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]   --> microkernel/virtio/virtio_block/tests/block.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 | /     unsafe {
[INFO] [stdout] 55 | |         core::ptr::write_volatile(status.0.as_mut_ptr(), value);
[INFO] [stdout] 56 | |     }
[INFO] [stdout]    | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]   --> microkernel/virtio/virtio_console/tests/console.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 | /     unsafe {
[INFO] [stdout] 24 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout] 25 | |             ptr,
[INFO] [stdout] 26 | |             DmaAddr::new(ptr.as_ptr() as u64),
[INFO] [stdout] ...  |
[INFO] [stdout] 32 | |         .unwrap()
[INFO] [stdout] 33 | |     }
[INFO] [stdout]    | |_____^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/contracts/src/lib.rs:12:7
[INFO] [stdout]    |
[INFO] [stdout] 12 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: implementation of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/contracts/src/lib.rs:512:5
[INFO] [stdout]     |
[INFO] [stdout] 512 | /     pub const unsafe fn new_unchecked(
[INFO] [stdout] 513 | |         ptr: NonNull<u8>,
[INFO] [stdout] 514 | |         window: PhysicalDmaWindow,
[INFO] [stdout] 515 | |         layout: Layout,
[INFO] [stdout] ...   |
[INFO] [stdout] 524 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` trait
[INFO] [stdout]    --> microkernel/virtio/contracts/src/lib.rs:608:1
[INFO] [stdout]     |
[INFO] [stdout] 608 | / pub unsafe trait KernelDmaAllocator {
[INFO] [stdout] 609 | |     /// Allocates DMA-safe memory for a VirtIO driver.
[INFO] [stdout] 610 | |     fn allocate_dma(
[INFO] [stdout] 611 | |         &mut self,
[INFO] [stdout] ...   |
[INFO] [stdout] 628 | |     );
[INFO] [stdout] 629 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: declaration of an `unsafe` method
[INFO] [stdout]    --> microkernel/virtio/contracts/src/lib.rs:624:5
[INFO] [stdout]     |
[INFO] [stdout] 624 | /     unsafe fn deallocate_dma(
[INFO] [stdout] 625 | |         &mut self,
[INFO] [stdout] 626 | |         allocation: KernelDmaAllocation,
[INFO] [stdout] 627 | |         proof: DmaDeallocationProof,
[INFO] [stdout] 628 | |     );
[INFO] [stdout]     | |______^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]     --> microkernel/virtio/contracts/src/lib.rs:1040:5
[INFO] [stdout]      |
[INFO] [stdout] 1040 | /     pub const unsafe fn new_unchecked(
[INFO] [stdout] 1041 | |         dma: AddressRange<DmaAddr>,
[INFO] [stdout] 1042 | |         direction: DmaDirection,
[INFO] [stdout] 1043 | |         device_written_len: usize,
[INFO] [stdout] ...    |
[INFO] [stdout] 1050 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implementation of an `unsafe` method
[INFO] [stdout]     --> microkernel/virtio/contracts/src/lib.rs:1082:5
[INFO] [stdout]      |
[INFO] [stdout] 1082 | /     pub const unsafe fn new_unchecked(generation: u64) -> Self {
[INFO] [stdout] 1083 | |         Self { generation }
[INFO] [stdout] 1084 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_types/src/lib.rs:11:7
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]     --> microkernel/virtio/contracts/src/lib.rs:1249:21
[INFO] [stdout]      |
[INFO] [stdout] 1249 |         let token = unsafe { DmaCompletionToken::new_unchecked(dma, DmaDirection::FromDevice, 8) };
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]     --> microkernel/virtio/contracts/src/lib.rs:1259:21
[INFO] [stdout]      |
[INFO] [stdout] 1259 |         let token = unsafe { DeviceResetToken::new_unchecked(17) };
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling virtio-panic-safety v0.1.0 (/opt/rustwide/workdir/microkernel/virtio/virtio_panic_safety)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_block/src/lib.rs:14:7
[INFO] [stdout]    |
[INFO] [stdout] 14 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_block/src/lib.rs:889:7
[INFO] [stdout]     |
[INFO] [stdout] 889 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_block/src/lib.rs:883:5
[INFO] [stdout]     |
[INFO] [stdout] 883 |     unsafe { DmaCompletionToken::new_unchecked(dma, direction, device_written_len) }
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of an `unsafe` block
[INFO] [stdout]   --> microkernel/virtio/virtqueue_core/tests/split_queue.rs:18:18
[INFO] [stdout]    |
[INFO] [stdout] 18 |       let region = unsafe {
[INFO] [stdout]    |  __________________^
[INFO] [stdout] 19 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stdout] 20 | |             ptr,
[INFO] [stdout] 21 | |             DmaAddr::new(addr),
[INFO] [stdout] ...  |
[INFO] [stdout] 27 | |         .unwrap()
[INFO] [stdout] 28 | |     };
[INFO] [stdout]    | |_____^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_console/src/lib.rs:22:7
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_console/src/lib.rs:768:7
[INFO] [stdout]     |
[INFO] [stdout] 768 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_net/src/lib.rs:22:7
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_net/src/lib.rs:905:7
[INFO] [stdout]     |
[INFO] [stdout] 905 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stdout]    --> microkernel/virtio/virtio_net/src/lib.rs:899:5
[INFO] [stdout]     |
[INFO] [stdout] 899 |     unsafe { DmaCompletionToken::new_unchecked(dma, direction, device_written_len) }
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> microkernel/virtio/virtio_rng/src/lib.rs:17:7
[INFO] [stdout]    |
[INFO] [stdout] 17 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stdout]    --> microkernel/virtio/virtio_rng/src/lib.rs:396:7
[INFO] [stdout]     |
[INFO] [stdout] 396 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 11.65s
[INFO] running `Command { std: "docker" "inspect" "7383b0837e48e0088fe32ed4ce0160ccc24cdeae4f677017cc6ccf8b56636010", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7383b0837e48e0088fe32ed4ce0160ccc24cdeae4f677017cc6ccf8b56636010", kill_on_drop: false }`
[INFO] [stdout] 7383b0837e48e0088fe32ed4ce0160ccc24cdeae4f677017cc6ccf8b56636010
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 572736c98236d681b3764a57f4f854527c8f3c038c6e0971a2819d2661dbfbcc
[INFO] running `Command { std: "docker" "start" "-a" "572736c98236d681b3764a57f4f854527c8f3c038c6e0971a2819d2661dbfbcc", kill_on_drop: false }`
[INFO] [stderr] warning: unexpected `cfg` condition name: `kani`
[INFO] [stderr]   --> microkernel/virtio/contracts/src/lib.rs:12:7
[INFO] [stderr]    |
[INFO] [stderr] 12 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^
[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(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: implementation of an `unsafe` method
[INFO] [stderr]    --> microkernel/virtio/contracts/src/lib.rs:512:5
[INFO] [stderr]     |
[INFO] [stderr] 512 | /     pub const unsafe fn new_unchecked(
[INFO] [stderr] 513 | |         ptr: NonNull<u8>,
[INFO] [stderr] 514 | |         window: PhysicalDmaWindow,
[INFO] [stderr] 515 | |         layout: Layout,
[INFO] [stderr] ...   |
[INFO] [stderr] 524 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr]     |
[INFO] [stderr]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: declaration of an `unsafe` trait
[INFO] [stderr]    --> microkernel/virtio/contracts/src/lib.rs:608:1
[INFO] [stderr]     |
[INFO] [stderr] 608 | / pub unsafe trait KernelDmaAllocator {
[INFO] [stderr] 609 | |     /// Allocates DMA-safe memory for a VirtIO driver.
[INFO] [stderr] 610 | |     fn allocate_dma(
[INFO] [stderr] 611 | |         &mut self,
[INFO] [stderr] ...   |
[INFO] [stderr] 628 | |     );
[INFO] [stderr] 629 | | }
[INFO] [stderr]     | |_^
[INFO] [stderr] 
[INFO] [stderr] warning: declaration of an `unsafe` method
[INFO] [stderr]    --> microkernel/virtio/contracts/src/lib.rs:624:5
[INFO] [stderr]     |
[INFO] [stderr] 624 | /     unsafe fn deallocate_dma(
[INFO] [stderr] 625 | |         &mut self,
[INFO] [stderr] 626 | |         allocation: KernelDmaAllocation,
[INFO] [stderr] 627 | |         proof: DmaDeallocationProof,
[INFO] [stderr] 628 | |     );
[INFO] [stderr]     | |______^
[INFO] [stderr] 
[INFO] [stderr] warning: implementation of an `unsafe` method
[INFO] [stderr]     --> microkernel/virtio/contracts/src/lib.rs:1040:5
[INFO] [stderr]      |
[INFO] [stderr] 1040 | /     pub const unsafe fn new_unchecked(
[INFO] [stderr] 1041 | |         dma: AddressRange<DmaAddr>,
[INFO] [stderr] 1042 | |         direction: DmaDirection,
[INFO] [stderr] 1043 | |         device_written_len: usize,
[INFO] [stderr] ...    |
[INFO] [stderr] 1050 | |     }
[INFO] [stderr]      | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: implementation of an `unsafe` method
[INFO] [stderr]     --> microkernel/virtio/contracts/src/lib.rs:1082:5
[INFO] [stderr]      |
[INFO] [stderr] 1082 | /     pub const unsafe fn new_unchecked(generation: u64) -> Self {
[INFO] [stderr] 1083 | |         Self { generation }
[INFO] [stderr] 1084 | |     }
[INFO] [stderr]      | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: `virtio-contracts` (lib) generated 6 warnings
[INFO] [stderr] warning: unexpected `cfg` condition name: `kani`
[INFO] [stderr]   --> microkernel/virtio/virtio_dma/src/lib.rs:11:7
[INFO] [stderr]    |
[INFO] [stderr] 11 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/src/lib.rs:415:7
[INFO] [stderr]     |
[INFO] [stderr] 415 | #[cfg(kani)]
[INFO] [stderr]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: implementation of an `unsafe` method
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/src/lib.rs:226:5
[INFO] [stderr]     |
[INFO] [stderr] 226 | /     pub unsafe fn from_raw_parts(
[INFO] [stderr] 227 | |         ptr: NonNull<u8>,
[INFO] [stderr] 228 | |         dma: DmaAddr,
[INFO] [stderr] 229 | |         len: NonZeroUsize,
[INFO] [stderr] ...   |
[INFO] [stderr] 245 | |         })
[INFO] [stderr] 246 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr]     |
[INFO] [stderr]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: implementation of an `unsafe` method
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/src/lib.rs:255:5
[INFO] [stderr]     |
[INFO] [stderr] 255 | /     pub unsafe fn from_translated<T: DmaTranslator>(
[INFO] [stderr] 256 | |         ptr: NonNull<u8>,
[INFO] [stderr] 257 | |         len: NonZeroUsize,
[INFO] [stderr] 258 | |         align: NonZeroUsize,
[INFO] [stderr] ...   |
[INFO] [stderr] 279 | |         })
[INFO] [stderr] 280 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/src/lib.rs:285:9
[INFO] [stderr]     |
[INFO] [stderr] 285 |         unsafe { core::slice::from_raw_parts(self.ptr.as_ptr(), self.len.get()) }
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/src/lib.rs:291:9
[INFO] [stderr]     |
[INFO] [stderr] 291 |         unsafe { core::slice::from_raw_parts_mut(self.ptr.as_ptr(), self.len.get()) }
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: declaration of an `unsafe` trait
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/src/lib.rs:361:1
[INFO] [stderr]     |
[INFO] [stderr] 361 | / pub unsafe trait DmaAllocator {
[INFO] [stderr] 362 | |     /// Allocates a CPU-owned DMA-safe region.
[INFO] [stderr] 363 | |     fn allocate(
[INFO] [stderr] 364 | |         &mut self,
[INFO] [stderr] ...   |
[INFO] [stderr] 376 | |     unsafe fn deallocate(&mut self, region: DmaRegion<CpuOwned>);
[INFO] [stderr] 377 | | }
[INFO] [stderr]     | |_^
[INFO] [stderr] 
[INFO] [stderr] warning: declaration of an `unsafe` method
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/src/lib.rs:376:5
[INFO] [stderr]     |
[INFO] [stderr] 376 |     unsafe fn deallocate(&mut self, region: DmaRegion<CpuOwned>);
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `kani`
[INFO] [stderr]   --> microkernel/virtio/virtio_types/src/lib.rs:11:7
[INFO] [stderr]    |
[INFO] [stderr] 11 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^
[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(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]  --> microkernel/virtio/virtio_sync/src/lib.rs:6:7
[INFO] [stderr]   |
[INFO] [stderr] 6 | #[cfg(kani)]
[INFO] [stderr]   |       ^^^^
[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(kani)'] }
[INFO] [stderr]   = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stderr]     --> microkernel/virtio/contracts/src/lib.rs:1249:21
[INFO] [stderr]      |
[INFO] [stderr] 1249 |         let token = unsafe { DmaCompletionToken::new_unchecked(dma, DmaDirection::FromDevice, 8) };
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]     --> microkernel/virtio/contracts/src/lib.rs:1259:21
[INFO] [stderr]      |
[INFO] [stderr] 1259 |         let token = unsafe { DeviceResetToken::new_unchecked(17) };
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `virtio-dma` (lib) generated 8 warnings
[INFO] [stderr] warning: `virtio-types` (lib) generated 1 warning
[INFO] [stderr] warning: `virtio-sync` (lib) generated 1 warning
[INFO] [stderr] warning: `virtio-dma` (lib test) generated 8 warnings (8 duplicates)
[INFO] [stderr] warning: `virtio-contracts` (lib test) generated 8 warnings (6 duplicates)
[INFO] [stderr] warning: unexpected `cfg` condition name: `kani`
[INFO] [stderr]   --> microkernel/virtio/virtqueue_core/src/lib.rs:13:7
[INFO] [stderr]    |
[INFO] [stderr] 13 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]    --> microkernel/virtio/virtqueue_core/src/lib.rs:565:7
[INFO] [stderr]     |
[INFO] [stderr] 565 | #[cfg(kani)]
[INFO] [stderr]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtqueue_core/src/lib.rs:222:9
[INFO] [stderr]     |
[INFO] [stderr] 222 | /         unsafe {
[INFO] [stderr] 223 | |             DmaCompletionToken::new_unchecked(
[INFO] [stderr] 224 | |                 self.grant.dma(),
[INFO] [stderr] 225 | |                 self.grant.direction(),
[INFO] [stderr] ...   |
[INFO] [stderr] 228 | |         }
[INFO] [stderr]     | |_________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]   --> microkernel/virtio/virtio_dma/tests/ownership.rs:40:22
[INFO] [stderr]    |
[INFO] [stderr] 40 |       let mut region = unsafe {
[INFO] [stderr]    |  ______________________^
[INFO] [stderr] 41 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr] 42 | |             ptr,
[INFO] [stderr] 43 | |             DmaAddr::new(0x1000),
[INFO] [stderr] ...  |
[INFO] [stderr] 49 | |         .unwrap()
[INFO] [stderr] 50 | |     };
[INFO] [stderr]    | |_____^
[INFO] [stderr]    |
[INFO] [stderr]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]   --> microkernel/virtio/virtio_dma/tests/ownership.rs:68:18
[INFO] [stderr]    |
[INFO] [stderr] 68 |       let region = unsafe {
[INFO] [stderr]    |  __________________^
[INFO] [stderr] 69 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr] 70 | |             ptr,
[INFO] [stderr] 71 | |             DmaAddr::new(0x2000),
[INFO] [stderr] ...  |
[INFO] [stderr] 77 | |         .unwrap()
[INFO] [stderr] 78 | |     };
[INFO] [stderr]    | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]   --> microkernel/virtio/virtio_dma/tests/ownership.rs:80:17
[INFO] [stderr]    |
[INFO] [stderr] 80 |       let token = unsafe {
[INFO] [stderr]    |  _________________^
[INFO] [stderr] 81 | |         DmaCompletionToken::new_unchecked(grant.dma(), DmaDirection::FromDevice, len.get())
[INFO] [stderr] 82 | |     };
[INFO] [stderr]    | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:95:18
[INFO] [stderr]     |
[INFO] [stderr]  95 |       let region = unsafe {
[INFO] [stderr]     |  __________________^
[INFO] [stderr]  96 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr]  97 | |             ptr,
[INFO] [stderr]  98 | |             DmaAddr::new(0x3000),
[INFO] [stderr] ...   |
[INFO] [stderr] 104 | |         .unwrap()
[INFO] [stderr] 105 | |     };
[INFO] [stderr]     | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:108:21
[INFO] [stderr]     |
[INFO] [stderr] 108 |       let bad_range = unsafe {
[INFO] [stderr]     |  _____________________^
[INFO] [stderr] 109 | |         DmaCompletionToken::new_unchecked(
[INFO] [stderr] 110 | |             AddressRange::new(DmaAddr::new(0x3010), len),
[INFO] [stderr] 111 | |             DmaDirection::FromDevice,
[INFO] [stderr] ...   |
[INFO] [stderr] 114 | |     };
[INFO] [stderr]     | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:119:9
[INFO] [stderr]     |
[INFO] [stderr] 119 |         unsafe { DmaCompletionToken::new_unchecked(grant.dma(), DmaDirection::ToDevice, 0) };
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:123:20
[INFO] [stderr]     |
[INFO] [stderr] 123 |       let too_long = unsafe {
[INFO] [stderr]     |  ____________________^
[INFO] [stderr] 124 | |         DmaCompletionToken::new_unchecked(grant.dma(), DmaDirection::FromDevice, len.get() + 1)
[INFO] [stderr] 125 | |     };
[INFO] [stderr]     | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:136:18
[INFO] [stderr]     |
[INFO] [stderr] 136 |       let region = unsafe {
[INFO] [stderr]     |  __________________^
[INFO] [stderr] 137 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr] 138 | |             ptr,
[INFO] [stderr] 139 | |             DmaAddr::new(0x4000),
[INFO] [stderr] ...   |
[INFO] [stderr] 145 | |         .unwrap()
[INFO] [stderr] 146 | |     };
[INFO] [stderr]     | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:149:17
[INFO] [stderr]     |
[INFO] [stderr] 149 |     let stale = unsafe { DeviceResetToken::new_unchecked(8) };
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:153:17
[INFO] [stderr]     |
[INFO] [stderr] 153 |     let reset = unsafe { DeviceResetToken::new_unchecked(9) };
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:169:18
[INFO] [stderr]     |
[INFO] [stderr] 169 |       let region = unsafe {
[INFO] [stderr]     |  __________________^
[INFO] [stderr] 170 | |         DmaRegion::<CpuOwned>::from_translated(
[INFO] [stderr] 171 | |             ptr,
[INFO] [stderr] 172 | |             len,
[INFO] [stderr] ...   |
[INFO] [stderr] 177 | |         .unwrap()
[INFO] [stderr] 178 | |     };
[INFO] [stderr]     | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_dma/tests/ownership.rs:194:15
[INFO] [stderr]     |
[INFO] [stderr] 194 |       let err = unsafe {
[INFO] [stderr]     |  _______________^
[INFO] [stderr] 195 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr] 196 | |             ptr,
[INFO] [stderr] 197 | |             DmaAddr::new(0x1001),
[INFO] [stderr] ...   |
[INFO] [stderr] 203 | |         .unwrap_err()
[INFO] [stderr] 204 | |     };
[INFO] [stderr]     | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: `virtqueue-core` (lib) generated 3 warnings
[INFO] [stderr] warning: `virtqueue-core` (lib test) generated 3 warnings (3 duplicates)
[INFO] [stderr] warning: `virtio-dma` (test "ownership") generated 12 warnings
[INFO] [stderr] warning: `virtio-sync` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr] warning: `virtio-types` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr] warning: unexpected `cfg` condition name: `kani`
[INFO] [stderr]   --> microkernel/virtio/virtio_block/src/lib.rs:14:7
[INFO] [stderr]    |
[INFO] [stderr] 14 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]    --> microkernel/virtio/virtio_block/src/lib.rs:889:7
[INFO] [stderr]     |
[INFO] [stderr] 889 | #[cfg(kani)]
[INFO] [stderr]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_block/src/lib.rs:883:5
[INFO] [stderr]     |
[INFO] [stderr] 883 |     unsafe { DmaCompletionToken::new_unchecked(dma, direction, device_written_len) }
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `kani`
[INFO] [stderr]   --> microkernel/virtio/virtio_console/src/lib.rs:22:7
[INFO] [stderr]    |
[INFO] [stderr] 22 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^
[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(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]    --> microkernel/virtio/virtio_console/src/lib.rs:768:7
[INFO] [stderr]     |
[INFO] [stderr] 768 | #[cfg(kani)]
[INFO] [stderr]     |       ^^^^
[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(kani)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]   --> microkernel/virtio/virtio_net/src/lib.rs:22:7
[INFO] [stderr]    |
[INFO] [stderr] 22 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]    --> microkernel/virtio/virtio_net/src/lib.rs:905:7
[INFO] [stderr]     |
[INFO] [stderr] 905 | #[cfg(kani)]
[INFO] [stderr]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_net/src/lib.rs:899:5
[INFO] [stderr]     |
[INFO] [stderr] 899 |     unsafe { DmaCompletionToken::new_unchecked(dma, direction, device_written_len) }
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `kani`
[INFO] [stderr]   --> microkernel/virtio/virtio_rng/src/lib.rs:17:7
[INFO] [stderr]    |
[INFO] [stderr] 17 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]    --> microkernel/virtio/virtio_rng/src/lib.rs:396:7
[INFO] [stderr]     |
[INFO] [stderr] 396 | #[cfg(kani)]
[INFO] [stderr]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]   --> microkernel/virtio/virtio_mmio/src/lib.rs:12:7
[INFO] [stderr]    |
[INFO] [stderr] 12 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: `kani`
[INFO] [stderr]    --> microkernel/virtio/virtio_mmio/src/lib.rs:581:7
[INFO] [stderr]     |
[INFO] [stderr] 581 | #[cfg(kani)]
[INFO] [stderr]     |       ^^^^ help: found config with similar value: `feature = "kani"`
[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(kani)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` 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: declaration of an `unsafe` trait
[INFO] [stderr]    --> microkernel/virtio/virtio_mmio/src/lib.rs:239:1
[INFO] [stderr]     |
[INFO] [stderr] 239 | / pub unsafe trait MmioRegisterIo {
[INFO] [stderr] 240 | |     /// Reads a 32-bit MMIO register.
[INFO] [stderr] 241 | |     fn read32(&self, offset: usize) -> u32;
[INFO] [stderr] ...   |
[INFO] [stderr] 244 | |     fn write32(&mut self, offset: usize, value: u32);
[INFO] [stderr] 245 | | }
[INFO] [stderr]     | |_^
[INFO] [stderr]     |
[INFO] [stderr]     = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: implementation of an `unsafe` method
[INFO] [stderr]    --> microkernel/virtio/virtio_mmio/src/lib.rs:261:5
[INFO] [stderr]     |
[INFO] [stderr] 261 | /     pub const unsafe fn new(base: NonNull<u8>) -> Self {
[INFO] [stderr] 262 | |         Self { base }
[INFO] [stderr] 263 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: implementation of an `unsafe` trait
[INFO] [stderr]    --> microkernel/virtio/virtio_mmio/src/lib.rs:268:1
[INFO] [stderr]     |
[INFO] [stderr] 268 | / unsafe impl MmioRegisterIo for MmioPointer {
[INFO] [stderr] 269 | |     fn read32(&self, offset: usize) -> u32 {
[INFO] [stderr] 270 | |         let ptr = self.base.as_ptr().wrapping_add(offset).cast::<u32>();
[INFO] [stderr] ...   |
[INFO] [stderr] 280 | | }
[INFO] [stderr]     | |_^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_mmio/src/lib.rs:272:9
[INFO] [stderr]     |
[INFO] [stderr] 272 |         unsafe { core::ptr::read_volatile(ptr) }
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_mmio/src/lib.rs:278:9
[INFO] [stderr]     |
[INFO] [stderr] 278 |         unsafe { core::ptr::write_volatile(ptr, value) };
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_mmio/src/lib.rs:519:21
[INFO] [stderr]     |
[INFO] [stderr] 519 |         let token = unsafe { DeviceResetToken::new_unchecked(self.reset_generation) };
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: implementation of an `unsafe` trait
[INFO] [stderr]    --> microkernel/virtio/virtio_mmio/src/lib.rs:634:5
[INFO] [stderr]     |
[INFO] [stdout] 
[INFO] [stderr] 634 | /     unsafe impl MmioRegisterIo for ModelIo {
[INFO] [stdout] running 24 tests
[INFO] [stderr] 635 | |         fn read32(&self, offset: usize) -> u32 {
[INFO] [stderr] 636 | |             match offset {
[INFO] [stderr] 637 | |                 REG_DEVICE_FEATURES => self.device_features[self.device_features_sel],
[INFO] [stderr] ...   |
[INFO] [stderr] 650 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]   --> microkernel/virtio/virtqueue_core/tests/split_queue.rs:18:18
[INFO] [stderr]    |
[INFO] [stderr] 18 |       let region = unsafe {
[INFO] [stderr]    |  __________________^
[INFO] [stderr] 19 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr] 20 | |             ptr,
[INFO] [stderr] 21 | |             DmaAddr::new(addr),
[INFO] [stderr] ...  |
[INFO] [stderr] 27 | |         .unwrap()
[INFO] [stderr] 28 | |     };
[INFO] [stderr]    | |_____^
[INFO] [stderr]    |
[INFO] [stderr]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: `virtio-block` (lib) generated 3 warnings
[INFO] [stderr] warning: `virtio-console` (lib) generated 2 warnings
[INFO] [stderr] warning: `virtio-net` (lib) generated 3 warnings
[INFO] [stderr] warning: `virtio-rng` (lib) generated 2 warnings
[INFO] [stderr] warning: `virtio-mmio` (lib) generated 8 warnings
[INFO] [stderr] warning: `virtio-mmio` (lib test) generated 9 warnings (8 duplicates)
[INFO] [stderr] warning: `virtio-block` (lib test) generated 3 warnings (3 duplicates)
[INFO] [stderr] warning: `virtqueue-core` (test "split_queue") generated 1 warning
[INFO] [stderr] warning: `virtio-rng` (lib test) generated 2 warnings (2 duplicates)
[INFO] [stderr] warning: `virtio-net` (lib test) generated 3 warnings (3 duplicates)
[INFO] [stderr] warning: `virtio-console` (lib test) generated 2 warnings (2 duplicates)
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]   --> microkernel/virtio/virtio_rng/tests/rng.rs:21:5
[INFO] [stderr]    |
[INFO] [stderr] 21 | /     unsafe {
[INFO] [stderr] 22 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr] 23 | |             ptr,
[INFO] [stderr] 24 | |             DmaAddr::new(ptr.as_ptr() as u64),
[INFO] [stderr] ...  |
[INFO] [stderr] 30 | |         .unwrap()
[INFO] [stderr] 31 | |     }
[INFO] [stderr]    | |_____^
[INFO] [stderr]    |
[INFO] [stderr]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_rng/tests/rng.rs:203:17
[INFO] [stderr]     |
[INFO] [stderr] 203 |     let stale = unsafe { DeviceResetToken::new_unchecked(2) };
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]    --> microkernel/virtio/virtio_rng/tests/rng.rs:211:17
[INFO] [stderr]     |
[INFO] [stderr] 211 |     let reset = unsafe { DeviceResetToken::new_unchecked(3) };
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]   --> microkernel/virtio/virtio_block/tests/block.rs:21:5
[INFO] [stderr]    |
[INFO] [stderr] 21 | /     unsafe {
[INFO] [stderr] 22 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr] 23 | |             ptr,
[INFO] [stderr] 24 | |             DmaAddr::new(ptr.as_ptr() as u64),
[INFO] [stderr] ...  |
[INFO] [stderr] 30 | |         .unwrap()
[INFO] [stderr] 31 | |     }
[INFO] [stderr]    | |_____^
[INFO] [stderr]    |
[INFO] [stderr]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]   --> microkernel/virtio/virtio_block/tests/block.rs:54:5
[INFO] [stderr]    |
[INFO] [stderr] 54 | /     unsafe {
[INFO] [stderr] 55 | |         core::ptr::write_volatile(status.0.as_mut_ptr(), value);
[INFO] [stderr] 56 | |     }
[INFO] [stderr]    | |_____^
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]   --> microkernel/virtio/virtio_net/tests/net.rs:23:5
[INFO] [stderr]    |
[INFO] [stderr] 23 | /     unsafe {
[INFO] [stderr] 24 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr] 25 | |             ptr,
[INFO] [stderr] 26 | |             DmaAddr::new(ptr.as_ptr() as u64),
[INFO] [stderr] ...  |
[INFO] [stderr] 32 | |         .unwrap()
[INFO] [stderr] 33 | |     }
[INFO] [stderr]    | |_____^
[INFO] [stderr]    |
[INFO] [stderr]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: usage of an `unsafe` block
[INFO] [stderr]   --> microkernel/virtio/virtio_console/tests/console.rs:23:5
[INFO] [stderr]    |
[INFO] [stderr] 23 | /     unsafe {
[INFO] [stderr] 24 | |         DmaRegion::<CpuOwned>::from_raw_parts(
[INFO] [stderr] 25 | |             ptr,
[INFO] [stderr] 26 | |             DmaAddr::new(ptr.as_ptr() as u64),
[INFO] [stderr] ...  |
[INFO] [stderr] 32 | |         .unwrap()
[INFO] [stderr] 33 | |     }
[INFO] [stderr]    | |_____^
[INFO] [stderr]    |
[INFO] [stderr]    = note: requested on the command line with `-W unsafe-code`
[INFO] [stderr] 
[INFO] [stderr] warning: `virtio-rng` (test "rng") generated 3 warnings
[INFO] [stderr] warning: `virtio-block` (test "block") generated 2 warnings
[INFO] [stderr] warning: `virtio-net` (test "net") generated 1 warning
[INFO] [stderr] warning: `virtio-console` (test "console") generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.12s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kani_rust_safety_harnesses-fcceba9510c1d21a)
[INFO] [stdout] test tests::bounds_checks_cover_cspace_and_slowpath_addresses ... ok
[INFO] [stdout] test tests::epoch_overflow_fails_stop_without_wrap ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kernel-5df43ecf5c67e78b)
[INFO] [stdout] test tests::direct_ipc_state_machine_reaches_running_receiver_only_on_success ... ok
[INFO] [stdout] test tests::fixed_ipc_lookup_accepts_only_fixed_precondition_slots ... ok
[INFO] [stdout] test tests::harness_manifest_covers_required_obligations ... ok
[INFO] [stdout] test tests::mva10_fault_reply_capability_obligations_hold ... ok
[INFO] [stdout] test tests::mva11_notification_waitqueue_obligations_hold ... ok
[INFO] [stdout] test tests::mva3_mmu_grant_page_installs_exact_concrete_entry ... ok
[INFO] [stdout] test tests::mva3_mmu_grant_page_rejects_duplicate_unauthorized_and_capacity_failure ... ok
[INFO] [stdout] test tests::mva2_grant_page_bounds_and_duplicates_are_checked ... ok
[INFO] [stdout] test tests::mva4_sv39_rejects_alignment_duplicate_and_cross_ward_errors ... ok
[INFO] [stdout] test tests::mva4_sv39_grant_pte_preserves_bits_and_rights ... ok
[INFO] [stdout] test tests::mva2_grant_page_requires_grant_and_subset_rights ... ok
[INFO] [stdout] test tests::mva5_sv39_walk_install_preserves_bounded_model_invariants ... ok
[INFO] [stdout] test tests::mva5_sv39_walk_rejects_duplicate_invalid_intermediate_and_unauthorized_cross_ward ... ok
[INFO] [stdout] test tests::mva7_user_entry_and_scheduler_obligations_hold ... ok
[INFO] [stdout] test tests::ticket_model_matches_fail_stop_contract_edges ... ok
[INFO] [stdout] test tests::uncontended_kgl_sequence_issues_acquires_and_releases ... ok
[INFO] [stdout] test tests::mva5_sv39_walk_preserves_requested_rights_in_leaf_pte ... ok
[INFO] [stdout] test tests::mva8_ipc_endpoint_transfer_obligations_hold ... ok
[INFO] [stdout] test tests::mva6_activation_flush_and_authority_obligations_hold ... ok
[INFO] [stdout] test tests::mva6_satp_bitfield_model_constructs_and_rejects_invalid_inputs ... ok
[INFO] [stdout] test tests::mva9_cap_revocation_propagation_obligations_hold ... ok
[INFO] [stdout] test tests::mva12_ready_queue_bkl_obligations_hold ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 300 tests
[INFO] [stdout] test arch::riscv64::backend::tests::host_backend_tracks_privileged_instruction_calls ... ok
[INFO] [stdout] test arch::riscv64::contracts_riscv_fence::tests::sealed_tokens_bind_to_expected_orderings ... ok
[INFO] [stdout] test arch::riscv64::contracts_riscv_csr::tests::privileged_addresses_match_spec_layout ... ok
[INFO] [stdout] test arch::riscv64::l1_trap_shim::tests::decodes_saved_exception_frame ... ok
[INFO] [stdout] test arch::riscv64::l1_trap_shim::tests::frame_alignment_matches_trap_stack_contract ... ok
[INFO] [stdout] test arch::riscv64::l1_trap_shim::tests::frame_offsets_match_assembly_contract ... ok
[INFO] [stdout] test arch::riscv64::l1_trap_shim::tests::installs_direct_vector_and_scratch_pointer ... ok
[INFO] [stdout] test arch::riscv64::backend::tests::host_backend_tracks_csr_mutations ... ok
[INFO] [stdout] test arch::riscv64::l1_trap_shim::tests::rust_entry_dispatches_only_after_hart_local_kgl_context ... ok
[INFO] [stdout] test arch::riscv64::l1_trap_shim::tests::rust_entry_fails_closed_without_hart_local_context ... ok
[INFO] [stdout] test arch::riscv64::l2_backend::imp::tests::read_only_csrs_remain_addressable_without_panics ... ok
[INFO] [stdout] test arch::riscv64::l2_backend::imp::tests::synchronization_operations_are_recorded_safely ... ok
[INFO] [stdout] test arch::riscv64::l2_mmio::tests::host_mmio_accesses_round_trip_values ... ok
[INFO] [stdout] test arch::riscv64::l2_backend::imp::tests::typed_csrs_drive_stable_storage_slots ... ok
[INFO] [stdout] test arch::riscv64::l2_risc_v_hal_core::backend::imp::tests::synchronization_operations_are_recorded_safely ... ok
[INFO] [stdout] test arch::riscv64::l2_risc_v_hal_core::backend::imp::tests::typed_csrs_drive_stable_storage_slots ... ok
[INFO] [stdout] test arch::riscv64::l2_risc_v_hal_core::mmio::tests::host_mmio_accesses_round_trip_values ... ok
[INFO] [stdout] test arch::riscv64::l2_risc_v_hal_core::backend::imp::tests::read_only_csrs_remain_addressable_without_panics ... ok
[INFO] [stdout] test arch::riscv64::l2_risc_v_hal_core::privileged::tests::privileged_helpers_drive_expected_csrs ... ok
[INFO] [stdout] test arch::riscv64::l2_risc_v_hal_core::privileged::tests::privileged_snapshot_is_consistent ... ok
[INFO] [stdout] test arch::riscv64::l2_risc_v_hal_core::privileged::tests::supervisor_interrupt_state_tracks_only_sstatus_sie ... ok
[INFO] [stdout] test arch::riscv64::privileged::tests::privileged_helpers_drive_expected_csrs ... ok
[INFO] [stdout] test arch::riscv64::mmio::tests::host_mmio_accesses_round_trip_values ... ok
[INFO] [stdout] test arch::riscv64::privileged::tests::privileged_snapshot_is_consistent ... ok
[INFO] [stdout] test arch::riscv64::risc_v_hal_csr_interface::backend::tests::host_backend_tracks_csr_mutations ... ok
[INFO] [stdout] test arch::riscv64::privileged::tests::supervisor_interrupt_state_tracks_only_sstatus_sie ... ok
[INFO] [stdout] test arch::riscv64::risc_v_hal_csr_interface::backend::tests::host_backend_tracks_privileged_instruction_calls ... ok
[INFO] [stdout] test arch::riscv64::risc_v_hal_csr_interface::mmio::tests::host_mmio_accesses_round_trip_values ... ok
[INFO] [stdout] test boot::boot_tcb_contract::tests::full_boot_handoff_returns_canonical_milestones ... ok
[INFO] [stdout] test boot::boot_tcb_contract::tests::assembly_source_keeps_trusted_surface_small ... ok
[INFO] [stdout] test boot::boot_tcb_contract::tests::linker_layout_accepts_canonical_boot_image ... ok
[INFO] [stdout] test boot::boot_tcb_contract::tests::rejects_interrupt_enabled_machine_state ... ok
[INFO] [stdout] test boot::boot_tcb_contract::tests::linker_script_declares_required_boot_symbols ... ok
[INFO] [stdout] test boot::boot_tcb_contract::tests::rejects_secondary_hart_at_rust_boundary ... ok
[INFO] [stdout] test boot::bring_up_failure_matrix::tests::constructor_and_paging_failures_map_deterministically ... ok
[INFO] [stdout] test boot::boot_tcb_contract::tests::rejects_stack_pointer_that_cannot_hold_handoff ... ok
[INFO] [stdout] test boot::bring_up_failure_matrix::tests::reporter_rejects_constructor_failure_before_constructor_start ... ok
[INFO] [stdout] test boot::bring_up_failure_matrix::tests::verifier_accepts_known_failure_code_after_required_prefix ... ok
[INFO] [stdout] test boot::bring_up_failure_matrix::tests::reporter_emits_canonical_success_transcript ... ok
[INFO] [stdout] test boot::bring_up_failure_matrix::tests::boot_failure_maps_to_assembly_machine_state_code ... ok
[INFO] [stdout] test boot::contracts_boot::tests::boot_handoff_layout_matches_expected_offsets ... ok
[INFO] [stdout] test boot::bring_up_failure_matrix::tests::verifier_rejects_success_without_bring_up_success_milestone ... ok
[INFO] [stdout] test boot::contracts_boot::tests::milestone_trace_accepts_canonical_sequence ... ok
[INFO] [stdout] test boot::contracts_bring_up::tests::canonical_sequence_codes_are_unique_and_ordered ... ok
[INFO] [stdout] test boot::contracts_boot::tests::milestone_trace_rejects_out_of_order_steps ... ok
[INFO] [stdout] test boot::contracts_bring_up::tests::failure_code_round_trips ... ok
[INFO] [stdout] test boot::contracts_bring_up::tests::failure_matrix_codes_are_unique ... ok
[INFO] [stdout] test boot::contracts_qemu_evidence::tests::sifive_terminal_status_round_trips ... ok
[INFO] [stdout] test boot::contracts_user_entry::tests::mva7_accepts_matching_activated_observed_flush_context ... ok
[INFO] [stdout] test boot::contracts_user_entry::tests::mva7_rejects_before_flush_and_cross_ward_entry ... ok
[INFO] [stdout] test boot::contracts_qemu_evidence::tests::custom_milestone_code_round_trips ... ok
[INFO] [stdout] test boot::contracts_user_entry::tests::mva7_rejects_invalid_pc_sp_kernel_target_and_status ... ok
[INFO] [stdout] test boot::first_user_entry::tests::appends_user_mappings_into_layout ... ok
[INFO] [stdout] test boot::first_user_entry::tests::prepares_and_executes_demo_user_binary ... ok
[INFO] [stdout] test boot::qemu_evidence_channel::channel::tests::channel_emits_machine_parseable_milestones ... ok
[INFO] [stdout] test boot::qemu_evidence_channel::channel::tests::sifive_terminal_device_writes_deterministic_raw_values ... ok
[INFO] [stdout] test boot::qemu_evidence_channel::verify::tests::verifier_accepts_reset_rust_entry_and_success ... ok
[INFO] [stdout] test boot::qemu_evidence_channel::verify::tests::verifier_rejects_missing_rust_entry ... ok
[INFO] [stdout] test boot::qemu_evidence_channel::channel::tests::uart_initialization_programs_virt_console ... ok
[INFO] [stdout] test boot::first_user_entry::tests::qemu_boot_source_hardens_address_materialization_and_uart_return_flow ... ok
[INFO] [stdout] test boot::qemu_verify::tests::verifier_rejects_missing_rust_entry ... ok
[INFO] [stdout] test cap::address_space_activation::tests::mva6_grant_install_requires_flush_before_mapping_use ... ok
[INFO] [stdout] test cap::address_space_activation::tests::mva6_satp_bitfields_are_bounded_and_decodable ... ok
[INFO] [stdout] test cap::address_space_activation::tests::mva6_satp_rejects_invalid_mode_asid_ppn_and_alignment ... ok
[INFO] [stdout] test cap::address_space_activation::tests::mva6_cross_ward_activation_without_authority_is_rejected ... ok
[INFO] [stdout] test boot::first_user_entry::tests::rejects_unexpected_trap_payload ... ok
[INFO] [stdout] test cap::address_space_activation::tests::mva6_switch_requires_flush_before_user_entry ... ok
[INFO] [stdout] test boot::first_user_entry::tests::reporter_emits_user_entry_sequence ... ok
[INFO] [stdout] test boot::first_user_entry::tests::reporter_emits_user_entry_failure ... ok
[INFO] [stdout] test cap::bounded_cspace_layout::tests::ipc_lookup_rejects_thread_bound_to_another_cspace ... ok
[INFO] [stdout] test cap::bounded_cspace_layout::tests::layout_rejects_general_slot_overlap_with_fastpath_window ... ok
[INFO] [stdout] test cap::bounded_cspace_layout::tests::root_cnode_layout_is_cacheline_aligned ... ok
[INFO] [stdout] test cap::bounded_cspace_layout::tests::traversal_depth_is_bounded_until_recursive_walk_exists ... ok
[INFO] [stdout] test cap::bounded_cspace_layout::tests::static_descriptor_ingestion_and_fastpath_validation_succeed ... ok
[INFO] [stdout] test cap::bounded_cspace_layout::tests::fixed_slot_numbering_is_stable_and_dense ... ok
[INFO] [stdout] test cap::global_epoch_saturation::tests::terminal_epoch_advance_is_valid_but_expires_prior_capabilities ... ok
[INFO] [stdout] test cap::bounded_cspace_layout::tests::general_traversal_is_explicit_and_separate_from_fastpath_lookup ... ok
[INFO] [stdout] test cap::global_epoch_saturation::tests::overflow_attempt_halts_without_rolling_epoch_forward ... ok
[INFO] [stdout] test cap::bounded_cspace_layout::tests::ipc_lookup_is_positional_and_o1_after_precondition ... ok
[INFO] [stdout] test boot::qemu_channel::tests::sifive_terminal_device_writes_deterministic_raw_values ... ok
[INFO] [stdout] test boot::qemu_channel::tests::uart_initialization_programs_virt_console ... ok
[INFO] [stdout] test cap::address_space_activation::tests::mva9_address_space_switch_rejects_revoked_and_stale_capability ... ok
[INFO] [stdout] test cap::global_epoch_saturation::tests::warning_window_alerts_before_overflow_attempt ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::install_grant_mapping_adds_exact_requested_entry ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::install_grant_mapping_rejects_cross_ward_without_authority ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::install_grant_mapping_rejects_duplicate_target_slot_without_mutation ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::install_grant_mapping_reports_capacity ... ok
[INFO] [stdout] test boot::contracts_qemu_evidence::tests::evidence_lines_round_trip ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::install_grant_mapping_with_sv39_rejects_cross_ward_without_authority ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::install_grant_mapping_with_sv39_rejects_duplicate_without_mutation ... ok
[INFO] [stdout] test boot::qemu_channel::tests::channel_emits_machine_parseable_milestones ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::mva5_sv39_walk_install_success_preserves_permissions ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::mva5_sv39_walk_rejects_cross_ward_without_authority ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::mva5_sv39_walk_rejects_duplicate_without_mutation ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::mva5_sv39_walk_rejects_out_of_range_table_reference ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::sv39_grant_pte_rejects_reserved_bits ... ok
[INFO] [stdout] test boot::contracts_qemu_evidence::tests::invalid_prefix_is_rejected ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::mva5_sv39_vpn_extraction_requires_alignment_and_bounds_indexes ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::install_grant_mapping_enforces_source_rights_subset ... ok
[INFO] [stdout] test cap::page_grant::tests::grant_page_installs_requested_subset_mapping ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::mva5_sv39_walk_reports_capacity_exhaustion ... ok
[INFO] [stdout] test cap::page_grant::tests::mva9_grant_page_rejects_revoked_and_stale_capabilities ... ok
[INFO] [stdout] test boot::qemu_verify::tests::verifier_accepts_reset_rust_entry_and_success ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::epoch_advance_blocks_further_mutations_until_completion ... ok
[INFO] [stdout] test cap::page_grant::tests::subset_relation_is_pointwise ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::epoch_advancement_expires_slowpath_capabilities ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::epoch_overflow_halts_runtime_before_any_wrap_can_revalidate_capabilities ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::sv39_grant_pte_rejects_write_without_read ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::mva9_derivation_depth_bound_prevents_unbounded_traversal ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::epoch_snapshot_and_slowpath_check_share_same_ordering_observation ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::sv39_grant_pte_round_trips_ppn_and_flags ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::mva5_sv39_walk_rejects_invalid_intermediate_entry ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::sv39_grant_pte_preserves_requested_right_subset ... ok
[INFO] [stdout] test cap::page_grant::tests::grant_page_rejects_duplicate_mapping_without_mutation ... ok
[INFO] [stdout] test cap::page_grant::tests::grant_page_rejects_right_escalation_without_mutation ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::epoch_advancement_prunes_stale_revocation_log_entries ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::revocation_completion_is_idempotent_after_drain ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::mva9_parent_revocation_invalidates_bounded_child ... ok
[INFO] [stdout] test cap::mmu_grant_table::tests::sv39_grant_pte_rejects_unaligned_virtual_address ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::mva9_double_revocation_is_idempotent_and_keeps_child_revoked ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::slowpath_resolution_accepts_live_capability_in_current_epoch ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::warning_window_emits_alert_before_fail_stop_halt ... ok
[INFO] [stdout] test ipc::contracts_ipc_fastpath::tests::rejects_message_sizes_beyond_fastpath_register_budget ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::ipc_send_rejected_without_send_write_right ... ok
[INFO] [stdout] test ipc::contracts_ipc_fastpath::tests::writes_message_words_back_to_argument_registers ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::mva10_fault_payload_register_bounds_preserved ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::fault_delivery_uses_bounded_reply_endpoint_or_fails_closed ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::message_register_count_bound_preserved ... ok
[INFO] [stdout] test ipc::contracts_ipc_fastpath::tests::extracts_message_words_from_argument_registers ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::mva10_reply_cannot_cross_ward_without_authority ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::cross_ward_transfer_rejected_without_endpoint_authority ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::mva10_reply_capability_is_one_shot ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::mva10_stale_revoked_reply_capability_rejected ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::mva9_propagated_receiver_endpoint_revocation_rejects_transfer ... ok
[INFO] [stdout] test cap::revocation_and_epoch_safety::tests::revocation_hook_and_log_reject_revoked_capabilities ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::receive_rejected_without_receive_read_right ... ok
[INFO] [stdout] test ipc::fastpath_direct_switch::tests::rejects_receiver_with_mismatched_endpoint_slot ... ok
[INFO] [stdout] test ipc::fastpath_direct_switch::tests::rejects_unarmed_endpoint_receiver ... ok
[INFO] [stdout] test ipc::invocation_slowpath::tests::bounded_capability_walk_resolves_nested_endpoint_capability ... ok
[INFO] [stdout] test ipc::fastpath_direct_switch::tests::rejects_sender_that_is_not_running ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::stale_revoked_endpoint_capability_rejected ... ok
[INFO] [stdout] test ipc::invocation_slowpath::tests::decodes_environment_call_into_invocation_handoff ... ok
[INFO] [stdout] test ipc::endpoint_transfer::tests::mva9_propagated_sender_endpoint_revocation_rejects_transfer ... ok
[INFO] [stdout] test ipc::fastpath_direct_switch::tests::direct_switch_hands_message_to_waiting_receiver ... ok
[INFO] [stdout] test ipc::fastpath_direct_switch::tests::preserves_waiting_receiver_after_message_validation_failure ... ok
[INFO] [stdout] test ipc::fastpath_direct_switch::tests::rejects_message_sizes_above_register_fastpath_budget ... ok
[INFO] [stdout] test ipc::invocation_slowpath::tests::call_slowpath_delivers_to_waiting_receiver_and_installs_reply_capability ... ok
[INFO] [stdout] test ipc::invocation_slowpath::tests::receive_slowpath_selects_highest_priority_sender_and_preserves_fifo_for_ties ... ok
[INFO] [stdout] test ipc::invocation_slowpath::tests::capability_walk_rejects_cycles ... ok
[INFO] [stdout] test ipc::invocation_slowpath::tests::rejects_donation_request_larger_than_sender_budget ... ok
[INFO] [stdout] test ipc::invocation_slowpath::tests::send_slowpath_queues_sender_when_no_waiting_receiver_exists ... ok
[INFO] [stdout] test ipc::notification::tests::notification_cross_ward_delivery_rejected_without_authority ... ok
[INFO] [stdout] test ipc::notification::tests::notification_receive_consumes_pending_signal ... ok
[INFO] [stdout] test ipc::notification::tests::notification_revoked_stale_capability_rejected ... ok
[INFO] [stdout] test ipc::notification::tests::notification_signal_wakes_waiter_same_ward ... ok
[INFO] [stdout] test ipc::notification::tests::notification_wait_queue_capacity_is_bounded ... ok
[INFO] [stdout] test ipc::fastpath_direct_switch::tests::rejects_priority_drop_that_would_need_scheduler_fallback ... ok
[INFO] [stdout] test mem::real_paging_bring_up::tests::activation_sequences_stvec_before_satp ... ok
[INFO] [stdout] test mem::root_page_table_bringup::tests::rejects_thread_entry_outside_kernel_text ... ok
[INFO] [stdout] test mem::rust_kernel_constructor::tests::constructor_materializes_boot_image_and_fastpath_bindings ... ok
[INFO] [stdout] test mem::real_paging_bring_up::tests::rejects_mappings_backed_by_non_memory_objects ... ok
[INFO] [stdout] test mem::rust_kernel_constructor::tests::constructor_rejects_fixed_slot_target_mismatch ... ok
[INFO] [stdout] test mem::real_paging_bring_up::tests::rejects_root_vspace_mismatch ... ok
[INFO] [stdout] test mem::rust_kernel_constructor::tests::constructor_rejects_retype_budget_overrun ... ok
[INFO] [stdout] test mem::real_paging_bring_up::tests::rejects_write_execute_kernel_mapping ... ok
[INFO] [stdout] test mem::rust_kernel_constructor::tests::constructor_rejects_thread_bound_outside_root_cspace ... ok
[INFO] [stdout] test mem::tcb_context_core::tests::direct_receive_handoff_records_partner_and_reply_slot ... ok
[INFO] [stdout] test mem::tcb_context_core::tests::scheduler_tick_exhaustion_forces_fallback ... ok
[INFO] [stdout] test mem::root_page_table_bringup::tests::activation_programs_scratch_satp_and_trap_vector_in_order ... ok
[INFO] [stdout] test mem::rust_kernel_constructor::tests::constructor_uses_declared_initial_thread_instead_of_input_order ... ok
[INFO] [stdout] test mem::real_paging_bring_up::tests::satp_encodes_layout_asid ... ok
[INFO] [stdout] test mem::tcb_context_core::tests::send_requires_ipc_fastpath_slot ... ok
[INFO] [stdout] test mem::rust_kernel_constructor::tests::constructor_fails_closed_when_object_capacity_is_undersized ... ok
[INFO] [stdout] test mem::tcb_context_core::tests::trap_save_updates_snapshot_and_counter ... ok
[INFO] [stdout] test mem::tcb_context_core::tests::tcb_initializes_trap_return_context ... ok
[INFO] [stdout] test mem::root_page_table_bringup::tests::constructs_sv39_page_tables_for_boot_layout ... ok
[INFO] [stdout] test mem::root_page_table_bringup::tests::rejects_duplicate_activation ... ok
[INFO] [stdout] test mem::real_paging_bring_up::tests::constructs_sv39_from_constructor_owned_objects ... ok
[INFO] [stdout] test mem::rust_kernel_constructor::tests::constructor_fails_closed_when_retype_window_capacity_is_undersized ... ok
[INFO] [stdout] test mem::root_page_table_bringup::tests::rejects_overlapping_regions ... ok
[INFO] [stdout] test microkernel_contracts::boot::tests::milestone_trace_rejects_out_of_order_steps ... ok
[INFO] [stdout] test microkernel_contracts::bring_up::tests::canonical_sequence_codes_are_unique_and_ordered ... ok
[INFO] [stdout] test microkernel_contracts::bring_up::tests::failure_code_round_trips ... ok
[INFO] [stdout] test microkernel_contracts::bring_up::tests::failure_matrix_codes_are_unique ... ok
[INFO] [stdout] test microkernel_contracts::deferred_ipi_safe_points::tests::kgl_held_checkpoint_can_process_global_ipi_work ... ok
[INFO] [stdout] test microkernel_contracts::deferred_ipi_safe_points::tests::rejects_owner_polling_as_kgl_waiter ... ok
[INFO] [stdout] test microkernel_contracts::deferred_ipi_safe_points::tests::kgl_spin_loop_processes_only_local_ipi_work ... ok
[INFO] [stdout] test microkernel_contracts::fence::tests::fence_tokens_bind_to_approved_kinds ... ok
[INFO] [stdout] test microkernel_contracts::hart_local::tests::out_of_range_hart_is_rejected ... ok
[INFO] [stdout] test microkernel_contracts::csr::tests::known_addresses_match_privileged_spec_layout ... ok
[INFO] [stdout] test microkernel_contracts::hart_local::tests::record_validation_checks_magic_and_identity ... ok
[INFO] [stdout] test microkernel_contracts::hart_local::tests::layout_is_stable_for_assembly_accessors ... ok
[INFO] [stdout] test microkernel_contracts::boot::tests::boot_handoff_layout_matches_expected_offsets ... ok
[INFO] [stdout] test microkernel_contracts::hart_local::tests::stack_assignment_is_per_hart_and_descends_from_top ... ok
[INFO] [stdout] test microkernel_contracts::kernel_global_lock::tests::acquire_requires_interrupts_masked ... ok
[INFO] [stdout] test microkernel_contracts::kernel_global_lock::tests::release_requires_current_owner_and_ticket ... ok
[INFO] [stdout] test microkernel_contracts::boot::tests::milestone_trace_accepts_canonical_sequence ... ok
[INFO] [stdout] test microkernel_contracts::qemu_evidence::tests::custom_milestone_code_round_trips ... ok
[INFO] [stdout] test microkernel_contracts::qemu_evidence::tests::evidence_lines_round_trip ... ok
[INFO] [stdout] test microkernel_contracts::riscv_csr::tests::privileged_addresses_match_spec_layout ... ok
[INFO] [stdout] test microkernel_contracts::qemu_evidence::tests::invalid_prefix_is_rejected ... ok
[INFO] [stdout] test microkernel_contracts::qemu_evidence::tests::sifive_terminal_status_round_trips ... ok
[INFO] [stdout] test microkernel_contracts::ipc_fastpath::tests::extracts_message_words_from_argument_registers ... ok
[INFO] [stdout] test microkernel_contracts::riscv_fence::tests::sealed_tokens_bind_to_expected_orderings ... ok
[INFO] [stdout] test microkernel_contracts::ipc_fastpath::tests::writes_message_words_back_to_argument_registers ... ok
[INFO] [stdout] test microkernel_contracts::kernel_global_lock::tests::snapshot_layout_is_word_sized_and_stable ... ok
[INFO] [stdout] test ipc::notification::tests::notification_revocation_cancels_matching_waiter ... ok
[INFO] [stdout] test microkernel_contracts::ipc_fastpath::tests::rejects_message_sizes_beyond_fastpath_register_budget ... ok
[INFO] [stdout] test microkernel_contracts::scheduler_smp_baseline::tests::transition_makes_idle_state_explicit ... ok
[INFO] [stdout] test microkernel_contracts::sequential_proof_lift::tests::hart_local_assumption_requires_current_record ... ok
[INFO] [stdout] test microkernel_contracts::sequential_proof_lift::tests::ipc_scheduler_queue_obligation_is_valid_under_kgl ... ok
[INFO] [stdout] test microkernel_contracts::spinloop_tlb_shootdown_safe_point::tests::pre_kgl_restrictions_reject_kernel_mutation_paths ... ok
[INFO] [stdout] test microkernel_contracts::sequential_proof_lift::tests::kgl_ownership_rejects_non_owner ... ok
[INFO] [stdout] test microkernel_contracts::spinloop_tlb_shootdown_safe_point::tests::safe_point_requires_waiting_not_owner_state ... ok
[INFO] [stdout] test microkernel_contracts::sequential_proof_lift::tests::kgl_ownership_replaces_in_kernel_assumption ... ok
[INFO] [stdout] test microkernel_contracts::scheduler_smp_baseline::tests::kgl_wait_spin_is_only_for_non_owner_waiting_hart ... ok
[INFO] [stdout] test microkernel_contracts::scheduler_smp_baseline::tests::entry_claim_requires_kgl_owner_and_serving_ticket ... ok
[INFO] [stdout] test mem::tcb_context_core::tests::waiting_receiver_reports_endpoint_specific_blocked_state ... ok
[INFO] [stdout] test microkernel_contracts::spinloop_tlb_shootdown_safe_point::tests::tlb_shootdown_bit_requires_local_fence_and_ack ... ok
[INFO] [stdout] test microkernel_contracts::trap::tests::decodes_machine_exception_codes ... ok
[INFO] [stdout] test microkernel_contracts::user_entry::tests::mva7_rejects_invalid_pc_sp_kernel_target_and_status ... ok
[INFO] [stdout] test microkernel_contracts::trap::tests::decodes_machine_interrupt_codes ... ok
[INFO] [stdout] test microkernel_contracts::trap::tests::disposition_bits_are_stable ... ok
[INFO] [stdout] test microkernel_contracts::trap::tests::frame_layout_is_contiguous_and_stack_aligned ... ok
[INFO] [stdout] test microkernel_contracts::trap_kgl_integration::tests::validates_handoff_when_frame_and_scratch_match ... ok
[INFO] [stdout] test microkernel_contracts::user_entry::tests::mva7_accepts_matching_activated_observed_flush_context ... ok
[INFO] [stdout] test microkernel_contracts::user_entry::tests::mva7_rejects_before_flush_and_cross_ward_entry ... ok
[INFO] [stdout] test microkernel_contracts::trap::tests::trap_entry_encoding_round_trips ... ok
[INFO] [stdout] test microkernel_contracts::trap_kgl_integration::tests::rejects_mismatched_scratch ... ok
[INFO] [stdout] test microkernel_contracts::trap_kgl_integration::tests::frame_size_tracks_machine_trap_frame_contract ... ok
[INFO] [stdout] test mem::rust_kernel_constructor::tests::default_heapless_capacities_cover_reference_boot_fixture ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::boot_scheduler_primes_kernel_entry_with_initial_thread ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::direct_transfer_rejects_expired_endpoint_capability ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::boot_claim_reports_ready_initial_thread ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva10_scheduler_reply_handoff_cannot_bypass_mva7_preconditions ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva10_scheduler_reply_handoff_rejects_reply_before_user_entry ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva11_notification_handoff_accepts_after_mva7_preconditions ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva11_notification_handoff_cannot_bypass_mva7_user_entry ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::direct_transfer_requires_running_sender_and_waiting_receiver ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva11_notification_handoff_does_not_consume_reply_capability ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva7_scheduler_accepts_matching_activated_observed_flush_context ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva8_ipc_scheduler_handoff_accepts_matching_ward_active_address_space ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva8_ipc_scheduler_handoff_cannot_bypass_missing_observed_flush ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva7_scheduler_transfer_cannot_bypass_activation_preconditions ... ok
[INFO] [stdout] test sched::ready_queue_bkl::tests::cross_ward_notification_wakeup_without_authority_is_rejected ... ok
[INFO] [stdout] test sched::ready_queue_bkl::tests::bounded_capacity_is_enforced ... ok
[INFO] [stdout] test sched::ready_queue_bkl::tests::dequeue_under_bkl_removes_oldest_entry ... ok
[INFO] [stdout] test sched::ready_queue_bkl::tests::notification_wakeup_enqueues_only_delivered_same_ward_waiter ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva8_ipc_scheduler_handoff_rejects_endpoint_before_user_entry_gate ... ok
[INFO] [stdout] test proof::sequential_proof_lift::tests::coq_proof_checks_when_coqc_is_installed ... ok
[INFO] [stdout] test sched::ready_queue_bkl::tests::enqueue_under_bkl_mutates_depth_and_preserves_identity ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva9_scheduler_handoff_cannot_bypass_propagated_endpoint_revocation ... ok
[INFO] [stdout] test sched::ready_queue_bkl::tests::enqueue_without_bkl_fails_closed ... ok
[INFO] [stdout] test sched::ready_queue_bkl::tests::ready_queue_mutation_does_not_bypass_reply_fault_preconditions ... ok
[INFO] [stdout] test sched::minimal_scheduler_transfer::tests::mva11_notification_handoff_rejects_wrong_notification_before_user_entry ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::boot_thread_scheduling_arms_first_kernel_entry ... ok
[INFO] [stdout] test sched::ready_queue_bkl::tests::ready_queue_mutation_does_not_bypass_user_entry_preconditions ... ok
[INFO] [stdout] test sched::ready_queue_bkl::tests::revoked_stale_capability_blocks_notification_to_ready_mutation ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::activation_rejects_unexpected_thread_identity ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::blocked_current_is_removed_from_return_path ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::lower_priority_wakeup_keeps_current_running ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::runnable_queue_orders_by_priority_then_fifo ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::smp_kernel_entry_requires_current_hart_to_hold_kgl ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::runnable_queue_resets_sequence_after_drain ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::smp_empty_runqueue_reports_explicit_hart_idle ... ok
[INFO] [stdout] test smp::deferred_ipi::tests::evidence_covers_spin_loop_and_kgl_checkpoint_rules ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::waking_higher_priority_thread_preempts_current ... ok
[INFO] [stdout] test sched::scheduler_fallback_core::tests::timeslice_expiry_replenishes_and_requeues_current_thread ... ok
[INFO] [stdout] test smp::deferred_ipi::tests::idle_safe_point_rejects_polling_while_current_hart_holds_kgl_without_losing_bits ... ok
[INFO] [stdout] test smp::deferred_ipi::tests::kgl_held_checkpoint_claims_remaining_global_work ... ok
[INFO] [stdout] test smp::deferred_ipi::tests::return_to_thread_processes_local_work_and_keeps_global_work_deferred ... ok
[INFO] [stdout] test smp::deferred_ipi::tests::restore_merges_with_bits_delivered_after_safe_point_drain ... ok
[INFO] [stdout] test smp::tlb_shootdown::tests::spinloop_safe_point_drains_tlb_shootdown_and_acknowledges ... ok
[INFO] [stdout] test smp::deferred_ipi::tests::spin_loop_claims_only_local_work_and_preserves_kgl_work ... ok
[INFO] [stdout] test smp::hart_local::tests::install_programs_sscratch_to_hart_local_record ... ok
[INFO] [stdout] test trap::contracts_trap::tests::decodes_machine_exception_codes ... ok
[INFO] [stdout] test smp::deferred_ipi::tests::unknown_pending_bits_are_restored_for_later_fail_stop_handling ... ok
[INFO] [stdout] test smp::hart_local::tests::refresh_reinstalls_existing_hart_pointer ... ok
[INFO] [stdout] test smp::hart_local::tests::accessor_accepts_saved_scratch_value ... ok
[INFO] [stdout] test trap::contracts_trap::tests::decodes_machine_interrupt_codes ... ok
[INFO] [stdout] test proof::sequential_proof_lift::tests::booted_evidence_requires_current_hart_to_hold_kgl ... ok
[INFO] [stdout] test smp::hart_local::tests::accessor_rejects_non_hart_local_scratch ... ok
[INFO] [stdout] test smp::hart_local::tests::deferred_ipi_bits_are_atomic_and_drained_at_safe_point ... ok
[INFO] [stdout] test trap::contracts_trap::tests::frame_layout_is_contiguous_and_stack_aligned ... ok
[INFO] [stdout] test trap::contracts_trap::tests::disposition_bits_are_stable ... ok
[INFO] [stdout] test trap::rust_trap_dispatch::tests::diagnostic_record_encodes_fixed_word_count ... ok
[INFO] [stdout] test trap::contracts_trap::tests::trap_entry_encoding_round_trips ... ok
[INFO] [stdout] test trap::rust_trap_dispatch::tests::diagnostics_ring_preserves_only_bounded_tail ... ok
[INFO] [stdout] test trap::rust_trap_dispatch::tests::dispatches_breakpoint_when_policy_allows_it ... ok
[INFO] [stdout] test trap::rust_trap_dispatch::tests::dispatches_environment_call_and_advances_program_counter ... ok
[INFO] [stdout] test trap::rust_trap_dispatch::tests::fails_closed_on_direct_mode_slot_mismatch ... ok
[INFO] [stdout] test trap::rust_trap_dispatch::tests::vectored_interrupt_requires_matching_slot ... ok
[INFO] [stdout] test proof::sequential_proof_lift::tests::ipc_fastpath_queue_preservation_excludes_dynamic_append_and_remove_apis ... ok
[INFO] [stdout] test trap::rust_trap_dispatch::tests::fails_closed_on_disabled_machine_environment_call ... ok
[INFO] [stdout] test trap::rust_trap_dispatch::tests::dispatches_machine_timer_interrupt_without_advancing_pc ... ok
[INFO] [stdout] test proof::sequential_proof_lift::tests::static_evidence_lifts_all_sequential_entries_under_kgl ... ok
[INFO] [stdout] test boot::first_user_entry::tests::expected_success_fixture_is_canonical_transcript ... FAILED
[INFO] [stdout] test boot::first_user_entry::tests::qemu_docker_script_references_existing_workspace_manifests ... FAILED
[INFO] [stdout] test sched::scheduler_fallback_core::tests::runnable_queue_sequence_overflow_is_fail_stop - should panic ... ok
[INFO] [stderr] error: test failed, to rerun pass `-p kernel --lib`
[INFO] [stdout] test mem::real_paging_bring_up::tests::constructs_sv48_with_extra_branch_level ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- boot::first_user_entry::tests::expected_success_fixture_is_canonical_transcript stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'boot::first_user_entry::tests::expected_success_fixture_is_canonical_transcript' (98) panicked at microkernel/kernel/src/boot/first_user_entry.rs:829:27:
[INFO] [stdout] expected success fixture should read: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x599e8a7d319a - std[29689e6404d28ef9]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x599e8a7d319a - std[29689e6404d28ef9]::backtrace_rs::backtrace::trace_unsynchronized::<std[29689e6404d28ef9]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x599e8a7d319a - std[29689e6404d28ef9]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x599e8a7d319a - <<std[29689e6404d28ef9]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[e929cb53b82a81ca]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x599e8a7e751a - <core[e929cb53b82a81ca]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x599e8a7e751a - core[e929cb53b82a81ca]::fmt::write
[INFO] [stdout]    6:     0x599e8a7d79f2 - std[29689e6404d28ef9]::io::default_write_fmt::<alloc[9d7caffeb3b5d2c6]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/io/mod.rs:621:11
[INFO] [stdout]    7:     0x599e8a7d79f2 - <alloc[9d7caffeb3b5d2c6]::vec::Vec<u8> as std[29689e6404d28ef9]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/io/mod.rs:1976:13
[INFO] [stdout]    8:     0x599e8a7b191f - <std[29689e6404d28ef9]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x599e8a7b191f - std[29689e6404d28ef9]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x599e8a7cb299 - std[29689e6404d28ef9]::panicking::default_hook
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x599e8a76702c - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn for<'a, 'b> core[e929cb53b82a81ca]::ops::function::Fn<(&'a std[29689e6404d28ef9]::panic::PanicHookInfo<'b>,), Output = ()> + core[e929cb53b82a81ca]::marker::Send + core[e929cb53b82a81ca]::marker::Sync> as core[e929cb53b82a81ca]::ops::function::Fn<(&std[29689e6404d28ef9]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   12:     0x599e8a76702c - test[a24b3028667022f7]::test_main_inner::<test[a24b3028667022f7]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x599e8a7cb452 - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn for<'a, 'b> core[e929cb53b82a81ca]::ops::function::Fn<(&'a std[29689e6404d28ef9]::panic::PanicHookInfo<'b>,), Output = ()> + core[e929cb53b82a81ca]::marker::Send + core[e929cb53b82a81ca]::marker::Sync> as core[e929cb53b82a81ca]::ops::function::Fn<(&std[29689e6404d28ef9]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   14:     0x599e8a7cb452 - std[29689e6404d28ef9]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x599e8a7b19d8 - std[29689e6404d28ef9]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x599e8a7a6a99 - std[29689e6404d28ef9]::sys::backtrace::__rust_end_short_backtrace::<std[29689e6404d28ef9]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x599e8a7b26ed - __rustc[3aed6af316653e63]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x599e8a7e7cdc - core[e929cb53b82a81ca]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x599e8a74fde1 - kernel[8318a648058f8b25]::boot::first_user_entry::tests::expected_success_fixture_is_canonical_transcript
[INFO] [stdout]                                at /opt/rustwide/workdir/microkernel/kernel/src/boot/first_user_entry.rs:829:27
[INFO] [stdout]   20:     0x599e8a747597 - kernel[8318a648058f8b25]::boot::first_user_entry::tests::expected_success_fixture_is_canonical_transcript::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/microkernel/kernel/src/boot/first_user_entry.rs:824:58
[INFO] [stdout]   21:     0x599e8a694436 - <kernel[8318a648058f8b25]::boot::first_user_entry::tests::expected_success_fixture_is_canonical_transcript::{closure#0} as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x599e8a75a30b - <fn() -> core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x599e8a75a30b - test[a24b3028667022f7]::__rust_begin_short_backtrace::<core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>, fn() -> core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:724:18
[INFO] [stdout]   24:     0x599e8a767afb - test[a24b3028667022f7]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:747:74
[INFO] [stdout]   25:     0x599e8a767afb - <core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x599e8a767afb - std[29689e6404d28ef9]::panicking::catch_unwind::do_call::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>, core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x599e8a767afb - std[29689e6404d28ef9]::panicking::catch_unwind::<core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>, core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x599e8a767afb - std[29689e6404d28ef9]::panic::catch_unwind::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>, core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x599e8a767afb - test[a24b3028667022f7]::run_test_in_process
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:747:27
[INFO] [stdout]   30:     0x599e8a767afb - test[a24b3028667022f7]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:668:43
[INFO] [stdout]   31:     0x599e8a761214 - test[a24b3028667022f7]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:698:41
[INFO] [stdout]   32:     0x599e8a761214 - std[29689e6404d28ef9]::sys::backtrace::__rust_begin_short_backtrace::<test[a24b3028667022f7]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x599e8a76a702 - std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked::<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   34:     0x599e8a76a702 - <core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x599e8a76a702 - std[29689e6404d28ef9]::panicking::catch_unwind::do_call::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x599e8a76a702 - std[29689e6404d28ef9]::panicking::catch_unwind::<(), core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x599e8a76a702 - std[29689e6404d28ef9]::panic::catch_unwind::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x599e8a76a702 - std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked::<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   39:     0x599e8a76a702 - <std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1} as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x599e8a7d274f - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn core[e929cb53b82a81ca]::ops::function::FnOnce<(), Output = ()> + core[e929cb53b82a81ca]::marker::Send> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2271:9
[INFO] [stdout]   41:     0x599e8a7d274f - <std[29689e6404d28ef9]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   42:     0x7c3ae77b4aa4 - <unknown>
[INFO] [stdout]   43:     0x7c3ae7841a64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- boot::first_user_entry::tests::qemu_docker_script_references_existing_workspace_manifests stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'boot::first_user_entry::tests::qemu_docker_script_references_existing_workspace_manifests' (101) panicked at microkernel/kernel/src/boot/first_user_entry.rs:760:27:
[INFO] [stdout] qemu docker script should read: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x599e8a7d319a - std[29689e6404d28ef9]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x599e8a7d319a - std[29689e6404d28ef9]::backtrace_rs::backtrace::trace_unsynchronized::<std[29689e6404d28ef9]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x599e8a7d319a - std[29689e6404d28ef9]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x599e8a7d319a - <<std[29689e6404d28ef9]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[e929cb53b82a81ca]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x599e8a7e751a - <core[e929cb53b82a81ca]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x599e8a7e751a - core[e929cb53b82a81ca]::fmt::write
[INFO] [stdout]    6:     0x599e8a7d79f2 - std[29689e6404d28ef9]::io::default_write_fmt::<alloc[9d7caffeb3b5d2c6]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/io/mod.rs:621:11
[INFO] [stdout]    7:     0x599e8a7d79f2 - <alloc[9d7caffeb3b5d2c6]::vec::Vec<u8> as std[29689e6404d28ef9]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/io/mod.rs:1976:13
[INFO] [stdout]    8:     0x599e8a7b191f - <std[29689e6404d28ef9]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x599e8a7b191f - std[29689e6404d28ef9]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x599e8a7cb299 - std[29689e6404d28ef9]::panicking::default_hook
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x599e8a76702c - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn for<'a, 'b> core[e929cb53b82a81ca]::ops::function::Fn<(&'a std[29689e6404d28ef9]::panic::PanicHookInfo<'b>,), Output = ()> + core[e929cb53b82a81ca]::marker::Send + core[e929cb53b82a81ca]::marker::Sync> as core[e929cb53b82a81ca]::ops::function::Fn<(&std[29689e6404d28ef9]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   12:     0x599e8a76702c - test[a24b3028667022f7]::test_main_inner::<test[a24b3028667022f7]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x599e8a7cb452 - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn for<'a, 'b> core[e929cb53b82a81ca]::ops::function::Fn<(&'a std[29689e6404d28ef9]::panic::PanicHookInfo<'b>,), Output = ()> + core[e929cb53b82a81ca]::marker::Send + core[e929cb53b82a81ca]::marker::Sync> as core[e929cb53b82a81ca]::ops::function::Fn<(&std[29689e6404d28ef9]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   14:     0x599e8a7cb452 - std[29689e6404d28ef9]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x599e8a7b19d8 - std[29689e6404d28ef9]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x599e8a7a6a99 - std[29689e6404d28ef9]::sys::backtrace::__rust_end_short_backtrace::<std[29689e6404d28ef9]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x599e8a7b26ed - __rustc[3aed6af316653e63]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x599e8a7e7cdc - core[e929cb53b82a81ca]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x599e8a7505c3 - kernel[8318a648058f8b25]::boot::first_user_entry::tests::qemu_docker_script_references_existing_workspace_manifests
[INFO] [stdout]                                at /opt/rustwide/workdir/microkernel/kernel/src/boot/first_user_entry.rs:760:27
[INFO] [stdout]   20:     0x599e8a7475c7 - kernel[8318a648058f8b25]::boot::first_user_entry::tests::qemu_docker_script_references_existing_workspace_manifests::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/microkernel/kernel/src/boot/first_user_entry.rs:752:68
[INFO] [stdout]   21:     0x599e8a694476 - <kernel[8318a648058f8b25]::boot::first_user_entry::tests::qemu_docker_script_references_existing_workspace_manifests::{closure#0} as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x599e8a75a30b - <fn() -> core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x599e8a75a30b - test[a24b3028667022f7]::__rust_begin_short_backtrace::<core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>, fn() -> core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:724:18
[INFO] [stdout]   24:     0x599e8a767afb - test[a24b3028667022f7]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:747:74
[INFO] [stdout]   25:     0x599e8a767afb - <core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x599e8a767afb - std[29689e6404d28ef9]::panicking::catch_unwind::do_call::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>, core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x599e8a767afb - std[29689e6404d28ef9]::panicking::catch_unwind::<core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>, core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x599e8a767afb - std[29689e6404d28ef9]::panic::catch_unwind::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>, core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x599e8a767afb - test[a24b3028667022f7]::run_test_in_process
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:747:27
[INFO] [stdout]   30:     0x599e8a767afb - test[a24b3028667022f7]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:668:43
[INFO] [stdout]   31:     0x599e8a761214 - test[a24b3028667022f7]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:698:41
[INFO] [stdout]   32:     0x599e8a761214 - std[29689e6404d28ef9]::sys::backtrace::__rust_begin_short_backtrace::<test[a24b3028667022f7]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x599e8a76a702 - std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked::<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   34:     0x599e8a76a702 - <core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x599e8a76a702 - std[29689e6404d28ef9]::panicking::catch_unwind::do_call::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x599e8a76a702 - std[29689e6404d28ef9]::panicking::catch_unwind::<(), core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x599e8a76a702 - std[29689e6404d28ef9]::panic::catch_unwind::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x599e8a76a702 - std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked::<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   39:     0x599e8a76a702 - <std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1} as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x599e8a7d274f - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn core[e929cb53b82a81ca]::ops::function::FnOnce<(), Output = ()> + core[e929cb53b82a81ca]::marker::Send> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2271:9
[INFO] [stdout]   41:     0x599e8a7d274f - <std[29689e6404d28ef9]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   42:     0x7c3ae77b4aa4 - <unknown>
[INFO] [stdout]   43:     0x7c3ae7841a64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     boot::first_user_entry::tests::expected_success_fixture_is_canonical_transcript
[INFO] [stdout]     boot::first_user_entry::tests::qemu_docker_script_references_existing_workspace_manifests
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 298 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "572736c98236d681b3764a57f4f854527c8f3c038c6e0971a2819d2661dbfbcc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "572736c98236d681b3764a57f4f854527c8f3c038c6e0971a2819d2661dbfbcc", kill_on_drop: false }`
[INFO] [stdout] 572736c98236d681b3764a57f4f854527c8f3c038c6e0971a2819d2661dbfbcc
