diff options
Diffstat (limited to 'tiger-compiler/tests/assert/good')
11 files changed, 43 insertions, 0 deletions
diff --git a/tiger-compiler/tests/assert/good/assert-1.tig b/tiger-compiler/tests/assert/good/assert-1.tig new file mode 100644 index 0000000..1580ecf --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-1.tig @@ -0,0 +1 @@ +assert 1 diff --git a/tiger-compiler/tests/assert/good/assert-call.tig b/tiger-compiler/tests/assert/good/assert-call.tig new file mode 100644 index 0000000..86586fc --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-call.tig @@ -0,0 +1,5 @@ +let + function return_5(): int = 5 + in + assert return_5() = 5 +end diff --git a/tiger-compiler/tests/assert/good/assert-escaped.tig b/tiger-compiler/tests/assert/good/assert-escaped.tig new file mode 100644 index 0000000..cd64444 --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-escaped.tig @@ -0,0 +1,6 @@ +let + var x := 10 + function assert_eq_x(k : int) = assert k = x + in + assert_eq_x(10) +end diff --git a/tiger-compiler/tests/assert/good/assert-false.tig b/tiger-compiler/tests/assert/good/assert-false.tig new file mode 100644 index 0000000..8f24362 --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-false.tig @@ -0,0 +1 @@ +assert 1 = 0
\ No newline at end of file diff --git a/tiger-compiler/tests/assert/good/assert-let.tig b/tiger-compiler/tests/assert/good/assert-let.tig new file mode 100644 index 0000000..316dcfc --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-let.tig @@ -0,0 +1,7 @@ +// very cursed but technically correct xd + +assert let + var value := 5 + in + value +end = 5 diff --git a/tiger-compiler/tests/assert/good/assert-seq-let.tig b/tiger-compiler/tests/assert/good/assert-seq-let.tig new file mode 100644 index 0000000..0baaa0a --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-seq-let.tig @@ -0,0 +1,5 @@ +assert (let + var value := 5 + in + value + end) = 0 diff --git a/tiger-compiler/tests/assert/good/assert-seq_ints.tig b/tiger-compiler/tests/assert/good/assert-seq_ints.tig new file mode 100644 index 0000000..2e1db67 --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-seq_ints.tig @@ -0,0 +1 @@ +assert (1; 2; 3; 4; 5) = 5 diff --git a/tiger-compiler/tests/assert/good/assert-strcmp.tig b/tiger-compiler/tests/assert/good/assert-strcmp.tig new file mode 100644 index 0000000..e13dc6f --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-strcmp.tig @@ -0,0 +1 @@ +assert strcmp("abc", "abc") = 0 diff --git a/tiger-compiler/tests/assert/good/assert-true.tig b/tiger-compiler/tests/assert/good/assert-true.tig new file mode 100644 index 0000000..be57802 --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-true.tig @@ -0,0 +1 @@ +assert 1 = 1
\ No newline at end of file diff --git a/tiger-compiler/tests/assert/good/assert-var.tig b/tiger-compiler/tests/assert/good/assert-var.tig new file mode 100644 index 0000000..9812ddf --- /dev/null +++ b/tiger-compiler/tests/assert/good/assert-var.tig @@ -0,0 +1,5 @@ +let + var value := 10 + in + assert value = 10 +end diff --git a/tiger-compiler/tests/assert/good/simple_unit_test.tig b/tiger-compiler/tests/assert/good/simple_unit_test.tig new file mode 100644 index 0000000..288898c --- /dev/null +++ b/tiger-compiler/tests/assert/good/simple_unit_test.tig @@ -0,0 +1,10 @@ +let + function test_return_10() = + let + function get_x(x : int): int = x + in + assert get_x(10) = 10 + end + in + test_return_10() +end |