diff options
| author | Ajax <commial@gmail.com> | 2017-02-13 17:33:40 +0100 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2017-02-22 16:16:02 +0100 |
| commit | f9292fe7960cbdd6dbbd51b61966f3e43f3fff13 (patch) | |
| tree | cf33aac71557aa449d80d6d1ea68f435d35ff73b /test/test_all.py | |
| parent | 49b0cf4f3b6d5c27e39a1505e968e7960357b288 (diff) | |
| download | miasm-f9292fe7960cbdd6dbbd51b61966f3e43f3fff13.tar.gz miasm-f9292fe7960cbdd6dbbd51b61966f3e43f3fff13.zip | |
Add regression tests for expr_range, based on z3
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 41a62e25..706b3c16 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -240,6 +240,7 @@ for script in ["modint.py", "expression_helper.py", ]: testset += RegressionTest([script], base_dir="expression") + ## IR for script in ["symbexec.py", ]: @@ -272,6 +273,8 @@ testset += RegressionTest(["depgraph.py"], base_dir="analysis", (14, 1), (15, 1)) ]) testset += RegressionTest(["modularintervals.py"], base_dir="analysis") +testset += RegressionTest(["range.py"], base_dir="analysis", + tags=[TAGS["z3"]]) ## Degraph |