1 files changed, 28 insertions, 0 deletions
diff --git a/tiger-compiler/tests/testsuite/good/every_single_case.tig b/tiger-compiler/tests/testsuite/good/every_single_case.tig
new file mode 100644
index 0000000..a2fd923
--- /dev/null
+++ b/tiger-compiler/tests/testsuite/good/every_single_case.tig
@@ -0,0 +1,28 @@
+function test_valid_1() = assert 1 = 1
+
+function test_valid_2() = assert 2 = 2
+
+function test_assertion_failure() = assert 2 = 1
+
+function test_runtime_failure() =
+  (
+    substring("abc", 5, 2);
+    ()
+  )
+
+function test_segmentation_fault() =
+  let
+    type rectype = {name : string, age : int}
+    var nobody: rectype := nil
+  in
+    nobody.age := nobody.age + 1
+  end
+
+function test_invalid_operation() =
+  let
+    var i := 1
+    var j := 2
+  in
+    j := j - 2;
+    i := i / j
+  end