diff options
Diffstat (limited to 'tiger-compiler/tests/testsuite/good')
8 files changed, 113 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 diff --git a/tiger-compiler/tests/testsuite/good/one_actual_test.tig b/tiger-compiler/tests/testsuite/good/one_actual_test.tig new file mode 100644 index 0000000..3a5c35e --- /dev/null +++ b/tiger-compiler/tests/testsuite/good/one_actual_test.tig @@ -0,0 +1,4 @@ +function test_1() = + ( + assert 1 = 1 + ) diff --git a/tiger-compiler/tests/testsuite/good/one_empty_test.tig b/tiger-compiler/tests/testsuite/good/one_empty_test.tig new file mode 100644 index 0000000..ba4170a --- /dev/null +++ b/tiger-compiler/tests/testsuite/good/one_empty_test.tig @@ -0,0 +1 @@ +function test_1() = () diff --git a/tiger-compiler/tests/testsuite/good/subtests.tig b/tiger-compiler/tests/testsuite/good/subtests.tig new file mode 100644 index 0000000..87ff369 --- /dev/null +++ b/tiger-compiler/tests/testsuite/good/subtests.tig @@ -0,0 +1,24 @@ +// test_proceed should not be considered unit tests + +function test_letexp() = + let + var a := 10 + var b := 20 + + function add(x: int, y: int): int = x + y + function sub(x: int, y: int): int = x - y + function mul(x: int, y: int): int = x * y + + function test_proceed() = + let + function test_result(actual: int, expected: int) = assert actual = expected + in + ( + test_result(add(a, b), 30); + test_result(sub(a, b), -10); + test_result(mul(a, b), 200) + ) + end + in + test_proceed() + end 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 + ) diff --git a/tiger-compiler/tests/testsuite/good/three_actual_tests.tig b/tiger-compiler/tests/testsuite/good/three_actual_tests.tig new file mode 100644 index 0000000..00bcd31 --- /dev/null +++ b/tiger-compiler/tests/testsuite/good/three_actual_tests.tig @@ -0,0 +1,14 @@ +function test_1() = + ( + assert 1 = 1 + ) + +function test_2() = + ( + assert 2 = 2 + ) + +function test_3() = + ( + assert 1 = 2 + ) diff --git a/tiger-compiler/tests/testsuite/good/three_actual_tests_natural.tig b/tiger-compiler/tests/testsuite/good/three_actual_tests_natural.tig new file mode 100644 index 0000000..ad41636 --- /dev/null +++ b/tiger-compiler/tests/testsuite/good/three_actual_tests_natural.tig @@ -0,0 +1,19 @@ +function test_1() = (3 = 3; () ) + +function test_2() = + let + var i := 1 + var j := 1 + in + j := j + 1; + i := i * j + end + +function test_3() = + let + var i := 1 + var j := 1 + in + j := j - 1; + i := i / j + end diff --git a/tiger-compiler/tests/testsuite/good/three_empty_tests.tig b/tiger-compiler/tests/testsuite/good/three_empty_tests.tig new file mode 100644 index 0000000..d12db1a --- /dev/null +++ b/tiger-compiler/tests/testsuite/good/three_empty_tests.tig @@ -0,0 +1,5 @@ +function test_1() = () + +function test_2() = () + +function test_3() = () |