Fix tests

boogie-org · Aug 8, 2024 · 9d5ef3d · 9d5ef3d
1 parent 830ac55
commit 9d5ef3d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Test/civl/paxos/is.sh b/Test/civl/paxos/is.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-# RUN: %parallel-boogie Paxos.bpl PaxosActions.bpl PaxosImpl.bpl PaxosSeq.bpl > "%t"
+# RUN: %parallel-boogie Paxos.bpl PaxosActions.bpl PaxosImpl.bpl PaxosSeq.bpl /timeLimit:120 > "%t"
 # RUN: %diff "%s.expect" "%t"
 
 boogie $@ Paxos.bpl PaxosActions.bpl PaxosImpl.bpl PaxosSeq.bpl
diff --git a/Test/livevars/stack_overflow.bpl b/Test/livevars/stack_overflow.bpl
@@ -1,4 +1,4 @@
-// RUN: %parallel-boogie /errorTrace:0 "%s" > "%t"
+// RUN: %parallel-boogie /errorTrace:0 /timeLimit:120 "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
 // Stress test that we really don't need ot run multiple times