From 9d5ef3dcd37e24c87f8eafc6e41ce9cc1e52fcbb Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Thu, 8 Aug 2024 16:45:24 +0200
Subject: [PATCH] Fix tests

---
 Test/civl/paxos/is.sh            | 2 +-
 Test/livevars/stack_overflow.bpl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Test/civl/paxos/is.sh b/Test/civl/paxos/is.sh
index bc50a3345..cfa524668 100755
--- 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
index ca509a99d..a9103e0a3 100644
--- 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