diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-03 08:24:31 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-03 08:24:31 +0100 |
| commit | cd241b3f6fab587d967396ad44348e3131548ddf (patch) | |
| tree | c3cfe93185f17d0e1c1fd9be78dfeecd81b6e8c4 /test/test_all.py | |
| parent | 601dd8d71fbd23aa797fb4f81f1e9a7e08d1e8b8 (diff) | |
| download | miasm-cd241b3f6fab587d967396ad44348e3131548ddf.tar.gz miasm-cd241b3f6fab587d967396ad44348e3131548ddf.zip | |
Add z3 div reg test
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"]]) |