Function cube_demo_drives_framebuffer

tests/integration/kernel_integration.rs:602–640

()

    );

    // A large opaque-black region proves the FILL clear path ran.
    let px = vm.peek_framebuffer();
    let opaque_black = px
        .chunks_exact(4)
        .filter(|p| p[0] == 0 && p[1] == 0 && p[2] == 0 && p[3] == 255)
        .count();
    assert!(
        opaque_black > 10_000,
        "expected the clear to fill the framebuffer, got {opaque_black} black pixels"
    );
    // The device-side FILL must actually have run at least once in this budget.
    assert!(
        vm.framebuffer_fill_count() >= 1,
        "cube did not clear the framebuffer via the FILL register"
    );
}

// Bounded like the cube run, so assert on the device FILL clear plus at least
// one live cell rather than on exact cell positions.
#[test]
fn life_demo_drives_framebuffer() {
    let user = compile_hosted(user::LIFE);
    let (vm, outcome, uart) = boot_kernel(cached_kernel(), Some(&user), None, "", 20_000_000);

    assert!(!uart.contains("PANIC!"), "kernel panicked; uart={uart:?}");
    assert!(
        !uart.contains("unhandled exception"),
        "unhandled CPU exception; uart={uart:?}"
    );
    assert!(
        uart.contains("[ PROC ] pid 1 ready"),
        "life process was not spawned; uart={uart:?}"
    );
    assert!(
        uart.contains("life: running"),
        "life did not reach its render loop; uart={uart:?}"
    );
    assert!(
        matches!(outcome, StepOutcome::Continue),
        "life should run continuously, got {outcome:?}"
    );