diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/smt/store_load_scattered.sat.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/smt/store_load_scattered.sat.sail b/test/smt/store_load_scattered.sat.sail index d556295f..c039e87c 100644 --- a/test/smt/store_load_scattered.sat.sail +++ b/test/smt/store_load_scattered.sat.sail @@ -6,7 +6,7 @@ $include "test/arch.sail" scattered union ast -val execute : ast -> bool +val execute : ast -> bool effect {rmem, rreg, wmv, wreg} union clause ast = LOAD : (bits(2), bits(2)) |