From b57c1ed7ff2001746181a2134aaf8d0d8f422e1d Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Fri, 9 Aug 2024 11:03:18 +0200
Subject: [PATCH] Increase timeout of KeyboardClass test

---
 Test/havoc0/KeyboardClassFindMorePorts.bpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Test/havoc0/KeyboardClassFindMorePorts.bpl b/Test/havoc0/KeyboardClassFindMorePorts.bpl
index a5ed4e785..31577360f 100644
--- a/Test/havoc0/KeyboardClassFindMorePorts.bpl
+++ b/Test/havoc0/KeyboardClassFindMorePorts.bpl
@@ -1,4 +1,4 @@
-// RUN: %parallel-boogie "%s" > "%t"
+// RUN: %parallel-boogie "%s" /timeLimit:90 > "%t"
 // RUN: %diff success.expect "%t"
 type byte, name;
 function OneByteToInt(byte) returns (int);