From 4f20821aaf6535ab7f074f104c0479ca9f320ce9 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Fri, 17 Feb 2023 17:02:17 -0800
Subject: boundedrecursion.pcdt test file

---
 examples/boundedrecursion.pcdt | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 examples/boundedrecursion.pcdt

(limited to 'examples')

diff --git a/examples/boundedrecursion.pcdt b/examples/boundedrecursion.pcdt
new file mode 100644
index 0000000..980ac36
--- /dev/null
+++ b/examples/boundedrecursion.pcdt
@@ -0,0 +1,9 @@
+store(1000; maxSize;)
+store(
+  (
+    print(arg0())
+    if(not(eq(arg0() maxSize())) incFunc(sum(1; arg0())))
+  )
+  incFunc;
+)
+incFunc(0;)
-- 
cgit v1.3.1