Remove old test directory in src/test

1 files changed, 0 insertions, 37 deletions

diff --git a/src/test/pattern.sail b/src/test/pattern.sail
deleted file mode 100644
index 97e5a0ef..00000000
--- a/src/test/pattern.sail
+++ /dev/null
@@ -1,37 +0,0 @@
-
-register nat n 
-register nat x
-register nat y
-
-typedef wordsize = forall Nat 'n, 'n IN {8,16,32}. [|'n|]
-(* let forall Nat 'n. (wordsize<'n>) word = 8 *)
-
-function nat main () = {
-
-  (* works - x and y are set to 42 *)
-  n := 1;
-  y :=
-  (switch n {
-    case 0 -> { x := 21; x }
-    case 1 -> { x := 42; x } 
-    case z -> { x := 99; x }
-  }); 
-
-  switch word {
-    case 8 -> { x:= 32; }
-    case 16 -> { x:= 64; }
-    case 32 -> { x:= 128; }
-  };
-
-  switch 0b010101 {
-    case (0b01:(bit[1]) _:0b101) -> n:= 42
-    case _ -> n:=0
-  };
-
-  n := 3;
-  switch n {
-    case 0 -> { 21 }
-    case 1 -> { 42 } 
-    case x -> { 99 }
-  };
-}