diff options
| author | Kathy Gray | 2014-03-20 17:43:22 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-03-20 17:45:57 +0000 |
| commit | 147a734518bbebe34845e1b93fb1042e9915980f (patch) | |
| tree | 93adb7025961dca0b1eab57dfddf3d18be8c8c45 /src/test/vectors.sail | |
| parent | 7ffcf38ab6a26f2bd00d94b99ae8b062c6e37f9c (diff) | |
small test changes
Diffstat (limited to 'src/test/vectors.sail')
| -rw-r--r-- | src/test/vectors.sail | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/test/vectors.sail b/src/test/vectors.sail index 94132d25..f1af224b 100644 --- a/src/test/vectors.sail +++ b/src/test/vectors.sail @@ -10,6 +10,7 @@ register nat result function forall Type 'a . 'a id ( x ) = x register nat match_success +register nat add_check let (vector<0,3,inc,(register<(bit[10])>)>) gpr_small = [slice_check,slice_check,slice_check] @@ -31,6 +32,8 @@ function bit main _ = { (* id function call - prevents the correct cast currently *) result := gpr_small[1] + id(gpr_small[1]); + add_check := gpr_small[2] + 3; + i := [bitzero, bitzero, bitone, bitzero]; (* literal match *) |