From 7582bed6349cd05d7237168a39d5dad99ede7e38 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 26 Feb 2014 18:15:15 +0000
Subject: Get interpreter working using types, no added functionality yet

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

(limited to 'src/test')

diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index 70cc5973..482ef902 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -2,6 +2,9 @@ let (bit[32]) v = 0b101
 let (bit[4]) v2 = [0,1,0,0]
 register (bit[32]) i
 
+let (bit[10]) v3 = 0b0101010111
+register (bit[5]) slice_check
+
 register nat match_success
 
 function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1
@@ -9,6 +12,10 @@ and decode x = match_success := x
 
 function bit main _ = {
 
+  slice_check := v3;
+  slice_check := v3[1..10];
+  slice_check := v3[5..10];
+
   i := [bitzero, bitzero, bitone, bitzero];
 
   (* literal match *)
-- 
cgit v1.2.3