From 04418cc75db6483aaedab72b9ab26c824155d6c7 Mon Sep 17 00:00:00 2001 From: Partho Bhattacharya Date: Thu, 27 Mar 2025 03:06:58 -0400 Subject: [PATCH] added testing suite for binary and unary operations typechecking --- test-s1 | 0 test-s2 | 0 tests/sprint3/test/sp3_boolean_binary_op_typecheck.alpha | 6 ++++++ tests/sprint3/test/sp3_boolean_unary_op_typecheck.alpha | 5 +++++ tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha | 9 +++++++++ tests/sprint3/test/sp3_integer_unary_op_typecheck.alpha | 6 ++++++ 6 files changed, 26 insertions(+) create mode 100644 test-s1 create mode 100644 test-s2 create mode 100644 tests/sprint3/test/sp3_boolean_binary_op_typecheck.alpha create mode 100644 tests/sprint3/test/sp3_boolean_unary_op_typecheck.alpha create mode 100644 tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha create mode 100644 tests/sprint3/test/sp3_integer_unary_op_typecheck.alpha diff --git a/test-s1 b/test-s1 new file mode 100644 index 0000000..e69de29 diff --git a/test-s2 b/test-s2 new file mode 100644 index 0000000..e69de29 diff --git a/tests/sprint3/test/sp3_boolean_binary_op_typecheck.alpha b/tests/sprint3/test/sp3_boolean_binary_op_typecheck.alpha new file mode 100644 index 0000000..5952129 --- /dev/null +++ b/tests/sprint3/test/sp3_boolean_binary_op_typecheck.alpha @@ -0,0 +1,6 @@ +entry(arg) := { + [integer:x; address: arr; address: arr2; Boolean : b2; Boolean : b1] + b2 := 3 < x; + b1 := arr = 2; + b1 := 6<7 & arr2=7; +} diff --git a/tests/sprint3/test/sp3_boolean_unary_op_typecheck.alpha b/tests/sprint3/test/sp3_boolean_unary_op_typecheck.alpha new file mode 100644 index 0000000..12db768 --- /dev/null +++ b/tests/sprint3/test/sp3_boolean_unary_op_typecheck.alpha @@ -0,0 +1,5 @@ +entry(arg) := { + [integer:x; address: arr; address: arr2; Boolean : b2; Boolean : b1] + b2 := !(3 < 2); + b1 := !5; +} diff --git a/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha b/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha new file mode 100644 index 0000000..5b13147 --- /dev/null +++ b/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha @@ -0,0 +1,9 @@ +entry(arg) := { + [integer:x; address: arr; address: arr2; Boolean : b2; Boolean : b1; character : a] + x := 3 + 2 * 8; + x := 3 - 2 / 8; + x := a * 2 % 8; + b2 := 3 * 2 % 8; + x := 3 % 2 * 8; + x := 3 + arr - 8; +} diff --git a/tests/sprint3/test/sp3_integer_unary_op_typecheck.alpha b/tests/sprint3/test/sp3_integer_unary_op_typecheck.alpha new file mode 100644 index 0000000..31e01a7 --- /dev/null +++ b/tests/sprint3/test/sp3_integer_unary_op_typecheck.alpha @@ -0,0 +1,6 @@ +entry(arg) := { + [integer:x; address: arr; address: arr2; Boolean : b2; Boolean : b1] + x := -8; + x := -b1; + b2 := -x; +}