Increased timeout limit for QF_RDL test

tudo-aqua · Jan 8, 2025 · 4e5acd4 · 4e5acd4
1 parent 4ac8e21
commit 4e5acd4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/konstraints-z3/src/test/kotlin/tools/aqua/konstraints/Z3Tests.kt b/konstraints-z3/src/test/kotlin/tools/aqua/konstraints/Z3Tests.kt
@@ -90,7 +90,7 @@ class Z3Tests {
 
   @ParameterizedTest
   @MethodSource("getQFRDLFile")
-  @Timeout(value = 20, unit = TimeUnit.SECONDS, threadMode = Timeout.ThreadMode.SEPARATE_THREAD)
+  @Timeout(value = 30, unit = TimeUnit.SECONDS, threadMode = Timeout.ThreadMode.SEPARATE_THREAD)
   fun QF_RDL(file: File) = solve(file)
 
   fun getQFRDLFile(): Stream<Arguments> = loadResource("/QF_RDL/scheduling/")