diff options
| author | Alasdair | 2019-07-16 22:12:42 +0100 |
|---|---|---|
| committer | Alasdair | 2019-07-16 22:12:42 +0100 |
| commit | 92f50f2564834fcbeda250337c3acce571f7d6f0 (patch) | |
| tree | 46056b1bbe8a960413c3f068a8d13ef4aff31f9f /test | |
| parent | d40c8a94f4ab62421394c2c46f27cdf1454b9d26 (diff) | |
Fix all remaining tests for this branch
Diffstat (limited to 'test')
| -rw-r--r-- | test/builtins/unsigned1.sail | 2 | ||||
| -rw-r--r-- | test/builtins/unsigned3.sail | 2 | ||||
| -rw-r--r-- | test/builtins/unsigned7.sail | 2 | ||||
| -rw-r--r-- | test/builtins/unsigned8.sail | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/test/builtins/unsigned1.sail b/test/builtins/unsigned1.sail index 15403598..8ef872c3 100644 --- a/test/builtins/unsigned1.sail +++ b/test/builtins/unsigned1.sail @@ -3,7 +3,7 @@ default Order dec $include <exception_basic.sail> $include <vector_dec.sail> -val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (vector('v, dec, bit), atom('len)) -> vector('len, dec, bit) +val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (bitvector('v, dec), atom('len)) -> bitvector('len, dec) function flip_mask(v, len) = len ^ v diff --git a/test/builtins/unsigned3.sail b/test/builtins/unsigned3.sail index e318dfdd..73bfb31d 100644 --- a/test/builtins/unsigned3.sail +++ b/test/builtins/unsigned3.sail @@ -3,7 +3,7 @@ default Order dec $include <exception_basic.sail> $include <vector_dec.sail> -val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (vector('v, dec, bit), atom('len)) -> vector('len, dec, bit) +val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (bitvector('v, dec), atom('len)) -> bitvector('len, dec) function flip_mask(v, len) = len ^ v diff --git a/test/builtins/unsigned7.sail b/test/builtins/unsigned7.sail index 466c1701..fac71139 100644 --- a/test/builtins/unsigned7.sail +++ b/test/builtins/unsigned7.sail @@ -3,7 +3,7 @@ default Order dec $include <exception_basic.sail> $include <vector_dec.sail> -val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (vector('v, dec, bit), atom('len)) -> vector('len, dec, bit) +val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (bitvector('v, dec), atom('len)) -> bitvector('len, dec) function flip_mask(v, len) = len ^ v diff --git a/test/builtins/unsigned8.sail b/test/builtins/unsigned8.sail index 58302622..3bd9da82 100644 --- a/test/builtins/unsigned8.sail +++ b/test/builtins/unsigned8.sail @@ -3,7 +3,7 @@ default Order dec $include <exception_basic.sail> $include <vector_dec.sail> -val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (vector('v, dec, bit), atom('len)) -> vector('len, dec, bit) +val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (bitvector('v, dec), atom('len)) -> bitvector('len, dec) function flip_mask(v, len) = len ^ v |