diff options
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", |