From cd241b3f6fab587d967396ad44348e3131548ddf Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Thu, 3 Dec 2020 08:24:31 +0100 Subject: Add z3 div reg test --- test/test_all.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'test/test_all.py') 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"]]) -- cgit 1.4.1