From 4022e5c95210631e4aceb08eaf9d9071aa5aefc4 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.001@gmail.com>
Date: Tue, 15 Sep 2026 08:16:43 +0800
Subject: Set up a git repo

---
 tests/functional/short_circuit.sy | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tests/functional/short_circuit.sy

(limited to 'tests/functional/short_circuit.sy')

diff --git a/tests/functional/short_circuit.sy b/tests/functional/short_circuit.sy
new file mode 100644
index 0000000..a1f9b6a
--- /dev/null
+++ b/tests/functional/short_circuit.sy
@@ -0,0 +1,13 @@
+int f() {
+  putint(0);
+  return 0;
+}
+
+int g() {
+  putint(1);
+  return 1;
+}
+
+int main () {
+  return (f() && g()) || (!f() && g());
+}
-- 
cgit v1.2.3