diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2016-01-12 22:54:18 +0100 |
|---|---|---|
| committer | serpilliere <serpilliere@users.noreply.github.com> | 2016-01-12 22:54:18 +0100 |
| commit | 6461a40e5eaf4bf39aadfee29ac72fe9afac4f9e (patch) | |
| tree | 34f798fb066ba21370e00ff5549439be6225c0de /test/test_all.py | |
| parent | c7d3d40ba1489ceffc1949f721c85a5aba8005aa (diff) | |
| parent | 491034906747e44e48bd4d75104e95f0b2d0dbe8 (diff) | |
| download | miasm-6461a40e5eaf4bf39aadfee29ac72fe9afac4f9e.tar.gz miasm-6461a40e5eaf4bf39aadfee29ac72fe9afac4f9e.zip | |
Merge pull request #298 from mrphrazer/smt2_translator
SMT2 translator
Diffstat (limited to 'test/test_all.py')
| -rw-r--r-- | test/test_all.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/test_all.py b/test/test_all.py index e52123ea..bc019104 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -213,6 +213,8 @@ testset += RegressionTest(["analysis.py"], base_dir="ir", for fname in fnames]) 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", ]: |