increase timeout

nyu-acsys · Nov 12, 2024 · a4c75ff · a4c75ff
1 parent 29d1a6a
commit a4c75ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.