Increase timeout for jbmc symex-driven-lazy-loading tests

tautschnig · kiro-agent · tautschnig · commit e4df7edffe8a · 2026-03-06T11:35:44.000Z
These two test suites regularly exceed the default 1200-second timeout
on macOS CI runners. Set a 2700-second (45-minute) timeout for
jbmc-symex-driven-lazy-loading-CORE and
jbmc-strings-symex-driven-lazy-loading-CORE.

Co-authored-by: Kiro &lt;kiro-agent@users.noreply.github.com&gt;
diff --git a/jbmc/regression/jbmc-strings/CMakeLists.txt b/jbmc/regression/jbmc-strings/CMakeLists.txt
@@ -8,3 +8,4 @@ add_test_pl_profile(
   "-C;-X;symex-driven-lazy-loading-expected-failure;-s;symex-driven-loading"
   "CORE"
   )
+set_tests_properties("jbmc-strings-symex-driven-lazy-loading-CORE" PROPERTIES TIMEOUT 2700)
diff --git a/jbmc/regression/jbmc/CMakeLists.txt b/jbmc/regression/jbmc/CMakeLists.txt
@@ -17,3 +17,4 @@ else()
             "CORE"
     )
 endif()
+set_tests_properties("jbmc-symex-driven-lazy-loading-CORE" PROPERTIES TIMEOUT 2700)

Original file line number	Diff line number	Diff line change
`@@ -8,3 +8,4 @@ add_test_pl_profile(`
`8`	`8`	`"-C;-X;symex-driven-lazy-loading-expected-failure;-s;symex-driven-loading"`
`9`	`9`	`"CORE"`
`10`	`10`	`)`
	`11`	`+set_tests_properties("jbmc-strings-symex-driven-lazy-loading-CORE" PROPERTIES TIMEOUT 2700)`
Original file line number	Diff line number	Diff line change
`@@ -17,3 +17,4 @@ else()`
`17`	`17`	`"CORE"`
`18`	`18`	`)`
`19`	`19`	`endif()`
	`20`	`+set_tests_properties("jbmc-symex-driven-lazy-loading-CORE" PROPERTIES TIMEOUT 2700)`