diff options
| author | Alasdair Armstrong | 2019-07-31 15:47:20 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-07-31 15:47:20 +0100 |
| commit | 98cced7ef3cf89333e0e09d4ebf9ca3262b4e947 (patch) | |
| tree | 82ba05b60923b1a729fc0cccd97679a6d5edd36a | |
| parent | 9a6a3d12a6c32c2c4a331f5084af982b1ca77b1e (diff) | |
Fix failing SMT 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)) |