From d5b122237af4d552e710b4816bc1b7d6e0b52b03 Mon Sep 17 00:00:00 2001 From: Tim Blazytko Date: Tue, 5 Jan 2016 16:15:53 +0100 Subject: smt2_translator: added regression tests --- test/test_all.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/test_all.py') diff --git a/test/test_all.py b/test/test_all.py index 71ea51a5..8b57bd23 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -202,7 +202,7 @@ testset += RegressionTest(["analysis.py"], base_dir="ir", ["simp_graph_%02d.dot" % test_nb, "graph_%02d.dot" % test_nb] for test_nb in xrange(1, 18)) for fname in fnames]) -testset += RegressionTest(["z3_ir.py"], base_dir="ir/translators", +testset += RegressionTest(["z3_ir.py", "smt2.py"], base_dir="ir/translators", tags=[TAGS["z3"]]) ## OS_DEP for script in ["win_api_x86_32.py", -- cgit 1.4.1 From 491034906747e44e48bd4d75104e95f0b2d0dbe8 Mon Sep 17 00:00:00 2001 From: Tim Blazytko Date: Tue, 12 Jan 2016 18:13:24 +0100 Subject: smt2_translator: fixed regression test insertion, creds @serpilliere and @commial --- test/test_all.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'test/test_all.py') diff --git a/test/test_all.py b/test/test_all.py index 8b57bd23..939eecc3 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -202,7 +202,9 @@ testset += RegressionTest(["analysis.py"], base_dir="ir", ["simp_graph_%02d.dot" % test_nb, "graph_%02d.dot" % test_nb] for test_nb in xrange(1, 18)) for fname in fnames]) -testset += RegressionTest(["z3_ir.py", "smt2.py"], base_dir="ir/translators", +testset += RegressionTest(["z3_ir.py"], base_dir="ir/translators", + tags=[TAGS["z3"]]) +testset += RegressionTest(["smt2.py"], base_dir="ir/translators", tags=[TAGS["z3"]]) ## OS_DEP for script in ["win_api_x86_32.py", -- cgit 1.4.1