From a4c75ff1f2ba620d288e22019b055cd6798062cf Mon Sep 17 00:00:00 2001
From: Thomas Wies <wies@cs.nyu.edu>
Date: Tue, 12 Nov 2024 02:45:06 -0500
Subject: [PATCH] increase timeout

---
 test/concurrent/templates/flows_ra.t | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/concurrent/templates/flows_ra.t b/test/concurrent/templates/flows_ra.t
index 745a554..055f155 100644
--- a/test/concurrent/templates/flows_ra.t
+++ b/test/concurrent/templates/flows_ra.t
@@ -1,2 +1,2 @@
-  $ dune exec -- raven --shh ./flows_ra.rav
+  $ dune exec -- raven --shh ./flows_ra.rav --smt-timeout 20000
   Verification successful.