We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f166bfb commit a3770f3Copy full SHA for a3770f3
src/smvlang/parser.y
@@ -14,7 +14,7 @@
14
15
#include "smv_y.tab.h"
16
17
-#define YYMAXDEPTH 200000
+#define YYMAXDEPTH 2000000
18
#define YYSTYPE_IS_TRIVIAL 1
19
20
/*------------------------------------------------------------------------*/
0 commit comments