From 0ba1c6a22cf1166e8a821b7ad5e48b99e3dfd3c7 Mon Sep 17 00:00:00 2001
From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
Date: Thu, 31 Aug 2023 11:18:39 -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 f989ae3..8b1165f 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" "10000"
+                              "--timeout" "5000"
                               "--weak"
                               "--verbose" "1"
                               "--r1cs"