From 967be9e750221ab2ab783f95df79bb26d290a45e Mon Sep 17 00:00:00 2001 From: Martial Simon Date: Mon, 15 Sep 2025 01:07:58 +0200 Subject: add: added projects --- .../tests/testsuite/good/every_single_case.tig | 28 ++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 tiger-compiler/tests/testsuite/good/every_single_case.tig (limited to 'tiger-compiler/tests/testsuite/good/every_single_case.tig') 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 -- cgit v1.2.3