increase recursion limit further

bbyalcinkaya · bbyalcinkaya · commit 1b3750ccfdfd · 2026-01-22T13:04:42.000+03:00
diff --git a/src/skribe/utils.py b/src/skribe/utils.py
@@ -33,7 +33,7 @@
     from pyk.kore.syntax import EVar, Pattern
     from pyk.ktool.kompile import KompileBackend
 
-RECURSION_LIMIT: Final = 16000
+RECURSION_LIMIT: Final = 20000
 
 EXIT_CODE_PYK_HOOK: Final = 2
 
