diff options
| author | Kathy Gray | 2014-03-27 14:20:51 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-03-27 14:20:51 +0000 |
| commit | 70d8fd00c326f928bf0300b006b2c3a79d09cd10 (patch) | |
| tree | f781fee882027302bd3368ddd33e13826769b310 /src/test/vectors.sail | |
| parent | 9549b13972f5c3173bc7d11ea1b62b490f673166 (diff) | |
Check simple constraints (i.e. ones using only constants).
Changes syntax of tuple type from * to , so that nexps of the form 8 * 'n can be supported in the parser, which was apparently not true before.
Diffstat (limited to 'src/test/vectors.sail')
| -rw-r--r-- | src/test/vectors.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/test/vectors.sail b/src/test/vectors.sail index f1af224b..de610a39 100644 --- a/src/test/vectors.sail +++ b/src/test/vectors.sail @@ -1,6 +1,6 @@ -let (bit[32]) v = 0b101 +let (bit[3]) v = 0b101 let (bit[4]) v2 = [0,1,0,0] -register (bit[32]) i +register (bit[4]) i let (bit[10]) v3 = 0b0101010111 register (bit[10]) slice_check |