increase LLVM unit test timeout a bit more

AliveToolkit · Jun 1, 2021 · 60b69e8 · 60b69e8
1 parent 2d92021
commit 60b69e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/opt-alive.sh.in b/scripts/opt-alive.sh.in
@@ -72,7 +72,7 @@ TV_SMT_TO=""
 TV_SMT_STATS=""
 if [[ @FOR_ALIVE2_TEST@ == 0 ]]; then
   TV_REPORT_DIR=-tv-report-dir=@CMAKE_BINARY_DIR@/logs
-  TIMEOUT="timeout 1500"
+  TIMEOUT="timeout 2000"
   TV_SMT_TO=-tv-smt-to=10000
   TV_SMT_STATS=-tv-smt-stats
 fi