From 3e5b027ae14272cc028a22a0fa08406bfdcc6a7c Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 29 Jul 2025 13:02:31 +0000
Subject: [PATCH] Extend cbmc-incr-oneloop timeout with CMake

We were already using a 25-seconds timeout with Makefile-based testing,
and are seeing frequent timeouts in our macos-14 CI job (which uses
CMake). Extending the timeout to match the Makefile-based setup should
fix this.
---
 regression/cbmc-incr-oneloop/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regression/cbmc-incr-oneloop/CMakeLists.txt b/regression/cbmc-incr-oneloop/CMakeLists.txt
index 33d24bd6b3b..6370caf1fd0 100644
--- a/regression/cbmc-incr-oneloop/CMakeLists.txt
+++ b/regression/cbmc-incr-oneloop/CMakeLists.txt
@@ -1,3 +1,3 @@
 add_test_pl_tests(
-    "perl ../timeout.pl 8 $<TARGET_FILE:cbmc> --slice-formula"
+    "perl ../timeout.pl 25 $<TARGET_FILE:cbmc> --slice-formula"
 )