diff options
| author | Brian Campbell | 2018-05-23 17:54:24 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-23 17:54:43 +0100 |
| commit | 7814d91f79d5873224668658c5b11a34affd42ad (patch) | |
| tree | 668b5ffa1620513ee53c4e661055b5a8f7c45371 /test/builtins/unsigned1.sail | |
| parent | 78950fc508dfba3526cb070547db9cfaa436931e (diff) | |
A couple of missing >= 0 constraints on vector handling functions
Diffstat (limited to 'test/builtins/unsigned1.sail')
| -rw-r--r-- | test/builtins/unsigned1.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/builtins/unsigned1.sail b/test/builtins/unsigned1.sail index 1a65a06c..ea103099 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, 'v >= 0. (vector('v, dec, bit), atom('len)) -> vector('len, dec, bit) +val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (vector('v, dec, bit), atom('len)) -> vector('len, dec, bit) function flip_mask(v, len) = len ^ v |