Add first operationnal tests for vectors

2 files changed, 15 insertions, 0 deletions

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];
+
+
+}