diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2017-02-22 16:40:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-22 16:40:43 +0100 |
| commit | 464519ca327b331c6fcc8c31408145f1192f1399 (patch) | |
| tree | 8aebcfe67057d57af0208608edc6a88c3a85dd3d /test/test_all.py | |
| parent | 688d21da608c32da84e093316ab32a4fa7fc51c8 (diff) | |
| parent | f9292fe7960cbdd6dbbd51b61966f3e43f3fff13 (diff) | |
| download | miasm-464519ca327b331c6fcc8c31408145f1192f1399.tar.gz miasm-464519ca327b331c6fcc8c31408145f1192f1399.zip | |
Merge pull request #496 from commial/feature/expr_range
Feature/expr range
Diffstat (limited to 'test/test_all.py')
| -rwxr-xr-x | test/test_all.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/test_all.py b/test/test_all.py index 86d40bcb..0c9a0c08 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -241,6 +241,7 @@ for script in ["modint.py", "expression_helper.py", ]: testset += RegressionTest([script], base_dir="expression") + ## IR for script in ["symbexec.py", ]: @@ -272,6 +273,9 @@ testset += RegressionTest(["depgraph.py"], base_dir="analysis", (12, 1), (13, 1), (14, 1), (15, 1)) ]) +testset += RegressionTest(["modularintervals.py"], base_dir="analysis") +testset += RegressionTest(["range.py"], base_dir="analysis", + tags=[TAGS["z3"]]) ## Degraph |