test/vectors.sail: failing constraint checking

  Type error: Type constraint mismatch: constraint arising from here
  requires 0 to be greater than or equal to 32

1 files changed, 7 insertions, 0 deletions

diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index de610a39..da5a525b 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -17,6 +17,9 @@ let (vector<0,3,inc,(register<(bit[10])>)>) gpr_small = [slice_check,slice_check
 function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1
 and decode x = match_success := x
 
+register (bit[32 : 63]) CR
+register (bit[5]) BA
+
 function bit main _ = {
 
   slice_check := v3;
@@ -71,6 +74,10 @@ function bit main _ = {
   i[0] := bitzero;
   i[2 .. 3] := [bitone, bitone];
 
+  (* constraints checking *)
+  BA := 12;
+  CR[32 + BA] := CR[32 + BA];
+
   (* slice access of literal *)
   v[0];
 }