message: increase LLVM unit test timeout a bit more
diff: @@ -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
  