diff options
| author | Kathy Gray | 2014-06-26 14:44:50 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-06-26 14:44:50 +0100 |
| commit | c55929d04de367ebf84eac485199690d5daf0ed7 (patch) | |
| tree | 5a7482cb88cd634955156234084b53fe154836dc /src/test | |
| parent | 5f3c514985ac2391aa5fff44b44d433b555b18e5 (diff) | |
Adding better support for unspecified values in indexed vectors
Also begining to add support for nondeterministic blocks and cleaning up some of the Many warnings on pattern matches
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 |