From c21598a432f6a96845d5e3adaa6de21217ef78fe Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 7 Jan 2014 19:38:35 +0100
Subject: Add first operationnal tests for vectors

---
 src/test/run_tests.ml |  1 +
 src/test/vectors.sail | 14 ++++++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 src/test/vectors.sail

(limited to 'src')

diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml
index f1956b1e..a86e3d1c 100644
--- a/src/test/run_tests.ml
+++ b/src/test/run_tests.ml
@@ -2,6 +2,7 @@ let tests = [
   "test1", Test1.defs;
   "test2", Test2.defs;
   "test3", Test3.defs;
+  "vectors", Vectors.defs;
 ] ;;
 
 let run_all () = List.iter Run_interp.run tests ;;
diff --git a/src/test/vectors.sail b/src/test/vectors.sail
new file mode 100644
index 00000000..95b8254e
--- /dev/null
+++ b/src/test/vectors.sail
@@ -0,0 +1,14 @@
+let (bit[32]) v = 0b101
+register (bit[32]) i
+
+function unit main _ = {
+
+  i := [bitzero, bitzero, bitone, bitzero];
+  i := 0b101 ;
+  (* unbound identifier *)
+  i[0] := bitzero;
+  (* unbound identifier *)
+  v[0];
+
+
+}
-- 
cgit v1.2.3