From c55929d04de367ebf84eac485199690d5daf0ed7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 26 Jun 2014 14:44:50 +0100
Subject: Adding better support for unspecified values in indexed vectors Also
 begining to add support for nondeterministic blocks and cleaning up some of
 the Many warnings on pattern matches

---
 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 79f3bf23..a861b65c 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -17,6 +17,7 @@ let (vector<0,3,inc,(register<(bit[10])>)>) gpr_small = [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]
+let (bit[50]) partial_unspec = [0=0, 4=0, 7=1, 49=1]
 
 function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1
 and decode x = match_success := x
-- 
cgit v1.2.3