diff options
Diffstat (limited to 'test/smt/gvector.unsat.sail')
| -rw-r--r-- | test/smt/gvector.unsat.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/smt/gvector.unsat.sail b/test/smt/gvector.unsat.sail index 23054765..af287608 100644 --- a/test/smt/gvector.unsat.sail +++ b/test/smt/gvector.unsat.sail @@ -2,7 +2,7 @@ default Order dec $include <prelude.sail> -register R : vector(32, dec, vector(32, dec, bit)) +register R : vector(32, dec, bitvector(32, dec)) type is_reg('n: Int) -> Bool = 0 <= 'n <= 31 @@ -12,4 +12,4 @@ function prop forall 'n, is_reg('n). (n: int('n)) -> bool = { R[i] = 0xDEAD_BEEF; }; R[n] == 0xDEAD_BEEF -}
\ No newline at end of file +} |