From 2eb3e063615a24cd93fb4b301b25c8a402520bf3 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 8 Jan 2014 15:50:45 +0100
Subject: Between Scylla and Charybdis

---
 src/test/run_tests.ml | 1 +
 src/test/vectors.sail | 5 +----
 2 files changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/test')

diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml
index df5598dc..30cd7071 100644
--- a/src/test/run_tests.ml
+++ b/src/test/run_tests.ml
@@ -4,6 +4,7 @@ let tests = [
   "test3", Test3.defs;
   "pattern", Pattern.defs;
   "vectors", Vectors.defs;
+  (*"power", Power.defs;*)
 ] ;;
 
 let run_all () = List.iter Run_interp.run tests ;;
diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index 95b8254e..54defa08 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -5,10 +5,7 @@ function unit main _ = {
 
   i := [bitzero, bitzero, bitone, bitzero];
   i := 0b101 ;
-  (* unbound identifier *)
   i[0] := bitzero;
-  (* unbound identifier *)
+  (* XXX Vector access of non-vector *)
   v[0];
-
-
 }
-- 
cgit v1.2.3