Function writeback_csr_read_only

crates/virtual-machine/tests/vm_writeback.rs:245–266

()

        csr: addr::MIE,
        operand: 0,
        old_val: initial_mie,
        next_pc: 0x8000_0004,
    };

    let next_pc = writeback(mem_result, &mut regs, &mut csrs).expect("writeback should succeed");

    // CSR should be unchanged
    assert_eq!(
        csrs.read(addr::MIE).expect("writeback should succeed"),
        initial_mie
    );
    assert_eq!(next_pc, 0x8000_0004);
}

#[test]
fn writeback_csr_read_only() {
    let mut regs = Registers::new();
    let mut csrs = CsrFile::new();

    let mem_result = MemResult::Csr {
        funct3: 1, // CSRRW
        rd: 5,
        rs1_uimm: 0,
        csr: addr::MHARTID, // Read-only
        operand: 42,