Extend cbmc-incr-oneloop timeout with CMake

tautschnig · tautschnig · commit 3e5b027ae142 · 2025-07-29T13:02:31.000Z
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.
diff --git 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"
 )

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`add_test_pl_tests(`
`2`		`- "perl ../timeout.pl 8 $<TARGET_FILE:cbmc> --slice-formula"`
	`2`	`+ "perl ../timeout.pl 25 $<TARGET_FILE:cbmc> --slice-formula"`
`3`	`3`	`)`