From a4a5c1248c7a467ea9d1f8dfa77bc187803ae374 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Mon, 31 Mar 2014 17:44:41 +0100
Subject: 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
---
 src/test/vectors.sail | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src')

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];
 }
-- 
cgit v1.2.3