Merge pull request #8701 from tautschnig/extend-timeout

tautschnig · web-flow · commit 22d25d1e9dca · 2025-07-29T17:43:33.000+02:00
Extend cbmc-incr-oneloop timeout with CMake
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`	`)`