tests: reduce timeout to 20s as test suite is too slow..
MODIFY
tests/lit/lit/formats/alive2test.py
tests/lit/lit/formats/alive2test.py
@@ -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)

tests: reduce timeout to 20s as test suite is too slow..