Add one more Unit return test

epfl-lara · Jan 4, 2025 · d8d9dbe · d8d9dbe
1 parent 7b9a07f
commit d8d9dbe
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/frontends/benchmarks/genc/valid/TailRecUnitIf.check b/frontends/benchmarks/genc/valid/TailRecUnitIf.check
diff --git a/frontends/benchmarks/genc/valid/TailRecUnitIf.scala b/frontends/benchmarks/genc/valid/TailRecUnitIf.scala
@@ -0,0 +1,15 @@
+import stainless.annotation._
+import stainless.lang._
+import stainless.io._
+
+object TailRecUnit {
+  def countDown(n: Int): Unit =
+    if (n == 0) return
+    else countDown(n - 1)
+
+  @cCode.`export`
+  def main(): Unit = {
+    implicit val state = stainless.io.newState
+    countDown(1000000)
+  }
+}