convert tests to files

1 files changed, 12 insertions, 0 deletions

diff --git a/progs/tests/auto/factorial.sy b/progs/tests/auto/factorial.sy
new file mode 100644
index 0000000..770bc33
--- /dev/null
+++ b/progs/tests/auto/factorial.sy
@@ -0,0 +1,12 @@
+factorial :: fn n: int -> int {
+    if n <= 1 {
+        ret 1
+    }
+    ret n * factorial(n - 1)
+}
+
+start :: fn {
+    factorial(5) <=> 120
+    factorial(6) <=> 720
+    factorial(12) <=> 479001600
+}