diff options
| author | Tim Blazytko <tim.blazytko@rub.de> | 2016-01-12 18:13:24 +0100 |
|---|---|---|
| committer | Tim Blazytko <tim.blazytko@rub.de> | 2016-01-12 18:15:34 +0100 |
| commit | 491034906747e44e48bd4d75104e95f0b2d0dbe8 (patch) | |
| tree | a8a34e1a31d77414473a04914fb121217ebc2a6d /test/test_all.py | |
| parent | 5a39b6a42b291052913717fb11b6796898f81475 (diff) | |
| download | miasm-491034906747e44e48bd4d75104e95f0b2d0dbe8.tar.gz miasm-491034906747e44e48bd4d75104e95f0b2d0dbe8.zip | |
smt2_translator: fixed regression test insertion, creds @serpilliere and @commial
Diffstat (limited to 'test/test_all.py')
| -rw-r--r-- | test/test_all.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/test_all.py b/test/test_all.py index 8b57bd23..939eecc3 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -202,7 +202,9 @@ testset += RegressionTest(["analysis.py"], base_dir="ir", ["simp_graph_%02d.dot" % test_nb, "graph_%02d.dot" % test_nb] for test_nb in xrange(1, 18)) for fname in fnames]) -testset += RegressionTest(["z3_ir.py", "smt2.py"], base_dir="ir/translators", +testset += RegressionTest(["z3_ir.py"], base_dir="ir/translators", + tags=[TAGS["z3"]]) +testset += RegressionTest(["smt2.py"], base_dir="ir/translators", tags=[TAGS["z3"]]) ## OS_DEP for script in ["win_api_x86_32.py", |