diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-12-04 06:59:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-04 06:59:35 +0100 |
| commit | 34438feab8834e93deb57b51bd66a172be6e8135 (patch) | |
| tree | 3b6e03207deebdb6dc0ff3d2f9b31895d937049a /test/test_all.py | |
| parent | 72a8babc6ad2c13e49b12c0e79eeea61067ccc10 (diff) | |
| parent | 73b6bc5f622941cc382ddb1e4c099029dd9ec3c4 (diff) | |
| download | miasm-34438feab8834e93deb57b51bd66a172be6e8135.tar.gz miasm-34438feab8834e93deb57b51bd66a172be6e8135.zip | |
Merge pull request #1319 from serpilliere/fix_z3_div_add_simpl
Fix z3 div; add simpl
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 2670761b..c2391572 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -332,6 +332,10 @@ testset += RegressionTest(["simplifications.py", "--z3"], base_dir="expression", tags=[TAGS["z3"]]) +testset += RegressionTest(["z3_div.py"], + base_dir="expression", + tags=[TAGS["z3"]]) + ## ObjC/CHandler testset += RegressionTest(["test_chandler.py"], base_dir="expr_type", tags=[TAGS["cparser"]]) |