Revision - 4376b9b - RISC-V: WARL checks mstatus / sstatus

Revision 4376b9b2d6347e9c623b4afcd08440872ea62639 authored by Felix Puscasu on 25 January 2024, 16:31:31 UTC, committed by Marge Bot on 02 February 2024, 16:09:40 UTC

RISC-V: WARL checks mstatus / sstatus

1 parent 5bf5f67

Files
Changes

Permalinks

update_setint_01.tzt

code { UPDATE } ;
input { Stack_elt int 5 ; Stack_elt bool False ; Stack_elt (set int) { 1 ; 3 ; 5 ; 7 } } ;
output { Stack_elt (set int) { 1 ; 3 ; 7 } }

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...