From ced5288f03f7af2da6d33e6f8b9abd8dfe535c2b Mon Sep 17 00:00:00 2001
From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
Date: Thu, 31 Aug 2023 14:15:03 -0700
Subject: [PATCH] .

---
 tests/circomlib-test.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/circomlib-test.rkt b/tests/circomlib-test.rkt
index 8b1165f..f989ae3 100644
--- 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"