Make test class name consistent with the slides

epfl-lara · Jan 5, 2025 · c2cd3b1 · c2cd3b1
1 parent d8d9dbe
commit c2cd3b1
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/...marks/genc/valid/TailRecNoArguments.check → ...chmarks/genc/valid/TailRecCountDown.check b/...marks/genc/valid/TailRecNoArguments.check → ...chmarks/genc/valid/TailRecCountDown.check
diff --git a/...marks/genc/valid/TailRecNoArguments.scala → ...chmarks/genc/valid/TailRecCountDown.scala b/...marks/genc/valid/TailRecNoArguments.scala → ...chmarks/genc/valid/TailRecCountDown.scala
@@ -10,6 +10,6 @@ object TailRecNoArguments {
   @cCode.`export`
   def main(): Unit = {
     implicit val state = stainless.io.newState
-    StdOut.println(countDown(10)) // Expected: 0
+    StdOut.println(countDown(1000000)) // Expected: 0
   }
 }