From 307f5de155fd11bbd0006bbe518fde0213fa2d9c Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 11 Mar 2014 16:46:49 +0000
Subject: Exhibit bug in interpreter in vector test

---
 src/test/vectors.sail | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/test')

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