From f9292fe7960cbdd6dbbd51b61966f3e43f3fff13 Mon Sep 17 00:00:00 2001 From: Ajax Date: Mon, 13 Feb 2017 17:33:40 +0100 Subject: Add regression tests for expr_range, based on z3 --- test/test_all.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'test/test_all.py') 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 -- cgit 1.4.1