Test that OPT r fails immediately if the recursion depth is already exceeded

Fixes #1034
2026-05-10 11:51:42 +00:00 · 2022-08-28 15:34:01 -04:00
parent 4363ffcad4
commit dca24a6d50
3 changed files with 22 additions and 0 deletions
@@ -0,0 +1,9 @@
+at depth 1
+at depth 2
+at depth 3
+at depth 4
+at depth 5
+at depth 6
+at depth 7
+at depth 8
+at depth 9