summaryrefslogtreecommitdiff
path: root/tiger-compiler/tests/testsuite/good/tested_function.tig
diff options
context:
space:
mode:
Diffstat (limited to 'tiger-compiler/tests/testsuite/good/tested_function.tig')
-rw-r--r--tiger-compiler/tests/testsuite/good/tested_function.tig18
1 files changed, 18 insertions, 0 deletions
diff --git a/tiger-compiler/tests/testsuite/good/tested_function.tig b/tiger-compiler/tests/testsuite/good/tested_function.tig
new file mode 100644
index 0000000..e5cd6c2
--- /dev/null
+++ b/tiger-compiler/tests/testsuite/good/tested_function.tig
@@ -0,0 +1,18 @@
+// add_5 should not be considered a unit test
+
+function add_5(x: int): int = x + 5
+
+function test_1() =
+ (
+ assert add_5(1) = 6
+ )
+
+function test_2() =
+ (
+ assert add_5(-1) = 4
+ )
+
+function test_3() =
+ (
+ assert add_5(0) = 5
+ )