From 9f9bb26c58f386dbcce92655e3159a7665dd9eb0 Mon Sep 17 00:00:00 2001 From: ajreynol Date: Wed, 26 Oct 2016 17:10:28 -0500 Subject: Enable bv2nat regressions --- test/regress/regress0/bv/Makefile.am | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'test/regress/regress0/bv/Makefile.am') diff --git a/test/regress/regress0/bv/Makefile.am b/test/regress/regress0/bv/Makefile.am index 0b99024eb..f65fbf9a9 100644 --- a/test/regress/regress0/bv/Makefile.am +++ b/test/regress/regress0/bv/Makefile.am @@ -93,7 +93,10 @@ SMT_TESTS = \ calc2_sec2_shifter_mult_bmc15.atlas.delta01.smt \ smtcompbug.smt \ unsound1.smt2 \ - unsound1-reduced.smt2 + unsound1-reduced.smt2 \ + bv2nat-ground.smt2 \ + bv2nat-ground-c.smt2 \ + cmu-rdk-3.smt2 # Regression tests for SMT2 inputs SMT2_TESTS = divtest.smt2 -- cgit v1.2.3