message: tests: reduce timeout to 20s as test suite is too slow..
diff: @@ -73,13 +73,13 @@ class Alive2Test(TestFormat):
  alive_tv_1 = test.endswith('.srctgt.ll')
  if alive_tv_1:
  - cmd = ['./alive-tv', '-smt-to=30000']
  + cmd = ['./alive-tv', '-smt-to=20000']
  if not os.path.isfile('alive-tv'):
  return lit.Test.UNSUPPORTED, ''
  alive_tv_2 = test.endswith('.src.ll')
  if alive_tv_2:
  - cmd = ['./alive-tv', '-smt-to=30000']
  + cmd = ['./alive-tv', '-smt-to=20000']
  if not os.path.isfile('alive-tv'):
  return lit.Test.UNSUPPORTED, ''
  @@ -93,7 +93,7 @@ class Alive2Test(TestFormat):
  return lit.Test.UNSUPPORTED, ''
  if not alive_tv_1 and not alive_tv_2 and not clang_tv:
  - cmd = ['./alive', '-smt-to:30000']
  + cmd = ['./alive', '-smt-to:20000']
  input = readFile(test)
  