diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2018-02-14 15:13:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-14 15:13:20 +0100 |
| commit | 9dd075f09e4f31ec7fe12e50709d9e58c65ed5f4 (patch) | |
| tree | 65d6c4f1c613822d0441bd296cc4c7e7f1136522 /test/test_all.py | |
| parent | dcfadb31685d428618b88f19fcc96dd70cecfc8f (diff) | |
| parent | 0f55f0779555c38cd907143527d4ddbf26c18157 (diff) | |
| download | miasm-9dd075f09e4f31ec7fe12e50709d9e58c65ed5f4.tar.gz miasm-9dd075f09e4f31ec7fe12e50709d9e58c65ed5f4.zip | |
Merge pull request #679 from commial/refactor-expr-comp
Refactor expr simplifications tests
Diffstat (limited to 'test/test_all.py')
| -rwxr-xr-x | test/test_all.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/test_all.py b/test/test_all.py index 04aca62e..6aa2a97e 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -249,6 +249,9 @@ for script in ["modint.py", "expr_cmp.py", ]: testset += RegressionTest([script], base_dir="expression") +testset += RegressionTest(["simplifications.py", "--z3"], + base_dir="expression", + tags=[TAGS["z3"]]) ## ObjC/CHandler testset += RegressionTest(["test_chandler.py"], base_dir="expr_type", |