summaryrefslogtreecommitdiff
path: root/tiger-compiler/tests/testsuite/good/tested_function.tig
diff options
context:
space:
mode:
authorMartial Simon <msimon_fr@hotmail.com>2025-09-15 01:07:58 +0200
committerMartial Simon <msimon_fr@hotmail.com>2025-09-15 01:07:58 +0200
commit967be9e750221ab2ab783f95df79bb26d290a45e (patch)
tree6802900a5e975f9f68b169f0f503f040056d6952 /tiger-compiler/tests/testsuite/good/tested_function.tig
add: added projectsHEADmain
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
+ )