diff options
Diffstat (limited to 'test/smt/run_tests.py')
| -rwxr-xr-x | test/smt/run_tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/smt/run_tests.py b/test/smt/run_tests.py index fb5a0ebd..c9cadec3 100755 --- a/test/smt/run_tests.py +++ b/test/smt/run_tests.py @@ -23,7 +23,7 @@ def test_smt(name, solver, sail_opts): tests[filename] = os.fork() if tests[filename] == 0: step('sail {} -smt {} -o {}'.format(sail_opts, filename, basename)) - step('{} {}_prop.smt2 1> {}.out'.format(solver, basename, basename)) + step('timeout 20s {} {}_prop.smt2 1> {}.out'.format(solver, basename, basename)) if re.match('.+\.sat\.sail$', filename): step('grep -q ^sat$ {}.out'.format(basename)) else: |