.

Veridise · Aug 31, 2023 · ced5288 · ced5288
1 parent 0013e5c
commit ced5288
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/circomlib-test.rkt b/tests/circomlib-test.rkt
@@ -20,7 +20,7 @@
       (parameterize ([current-namespace (make-base-namespace)]
                      [current-command-line-arguments
                       (vector "--solver" "cvc5"
-                              "--timeout" "5000"
+                              "--timeout" "10000"
                               "--weak"
                               "--verbose" "1"
                               "--r1cs"