Bigger timeout

epfl-lara · Jan 16, 2025 · 42c3529 · 42c3529
1 parent d690c12
commit 42c3529
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lexers/regex/verifiedlexer/stainless.conf b/lexers/regex/verifiedlexer/stainless.conf
@@ -3,7 +3,7 @@
 
 vc-cache            = true
 # debug               = ["verification", "smt"]
-timeout             = 40
+timeout             = 80
 check-models        = false
 print-ids           = false
 print-types         = false