diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/vectors.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/test/vectors.sail b/src/test/vectors.sail index 353444e5..e13644b4 100644 --- a/src/test/vectors.sail +++ b/src/test/vectors.sail @@ -4,6 +4,7 @@ register (bit[32]) i let (bit[10]) v3 = 0b0101010111 register (bit[10]) slice_check +register (bit[10]) slice_check_copy register nat match_success @@ -19,7 +20,7 @@ function bit main _ = { slice_check := v3[5..10]; gpr_small[1] := v3; - slice_check := gpr_small[1]; + slice_check_copy := gpr_small[1]; i := [bitzero, bitzero, bitone, bitzero]; |