From efa2df607713f5fae9d0836343d0be1c6599049c Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 31 Mar 2014 19:35:23 +0100
Subject: Fix constraint bug with +

---
 src/test/vectors.sail | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/test')

diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index da5a525b..910ca329 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -76,6 +76,7 @@ function bit main _ = {
 
   (* constraints checking *)
   BA := 12;
+  CR := 0b00000000000000000000000000000000;
   CR[32 + BA] := CR[32 + BA];
 
   (* slice access of literal *)
-- 
cgit v1.2.3