diff options
Diffstat (limited to 'test/smt/run_tests.py')
| -rwxr-xr-x | test/smt/run_tests.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/smt/run_tests.py b/test/smt/run_tests.py index 097c0672..fb5a0ebd 100755 --- a/test/smt/run_tests.py +++ b/test/smt/run_tests.py @@ -19,10 +19,11 @@ def test_smt(name, solver, sail_opts): tests = {} for filename in filenames: basename = os.path.splitext(os.path.basename(filename))[0] + basename = basename.replace('.', '_') tests[filename] = os.fork() if tests[filename] == 0: step('sail {} -smt {} -o {}'.format(sail_opts, filename, basename)) - step('{} {}.smt2 1> {}.out'.format(solver, basename, basename)) + step('{} {}_prop.smt2 1> {}.out'.format(solver, basename, basename)) if re.match('.+\.sat\.sail$', filename): step('grep -q ^sat$ {}.out'.format(basename)) else: |