diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/vectors.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/vectors.sail b/src/test/vectors.sail index 79f3bf23..a861b65c 100644 --- a/src/test/vectors.sail +++ b/src/test/vectors.sail @@ -17,6 +17,7 @@ let (vector<0,3,inc,(register<(bit[10])>)>) gpr_small = [slice_check,slice_check let (bit[3]) indexed = [0=1,1=1,2=0] let (bit[50]) partial = [0 = 0, 5=1, 32=0; default = 0] +let (bit[50]) partial_unspec = [0=0, 4=0, 7=1, 49=1] function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1 and decode x = match_success := x |