From edad894f962a4aa07036d6435364b6919add8085 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 23 Jun 2014 15:57:26 +0100
Subject: Get indexed vectors, particularly with default values, working

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

(limited to 'src/test')

diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index 8940eaad..79f3bf23 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -11,9 +11,13 @@ function forall Type 'a . 'a id ( x ) = x
 
 register nat match_success
 register nat add_check
+register bit partial_check
 
 let (vector<0,3,inc,(register<(bit[10])>)>) gpr_small = [slice_check,slice_check,slice_check]
 
+let (bit[3]) indexed = [0=1,1=1,2=0]
+let (bit[50]) partial = [0 = 0, 5=1, 32=0; default = 0]
+
 function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1
 and decode x = match_success := x
 
@@ -37,6 +41,8 @@ function bit main _ = {
   result := gpr_small[1] + id(gpr_small[1]);
  
   add_check := gpr_small[2] + 3;
+  partial_check := partial[5];
+  partial_check := partial[49];
 
   i := [bitzero, bitzero, bitone, bitzero];
 
-- 
cgit v1.2.3