diff options
Diffstat (limited to 'test/regress/Makefile.tests')
-rw-r--r-- | test/regress/Makefile.tests | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index c15e3d045..0b9e415fa 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -1045,6 +1045,7 @@ REG1_TESTS = \ regress1/bv/bv-proof00.smt \ regress1/bv/bv2nat-ground.smt2 \ regress1/bv/bv2nat-simp-range-sat.smt2 \ + regress1/bv/bv2nat-types.smt2 \ regress1/bv/cmu-rdk-3.smt2 \ regress1/bv/decision-weight00.smt2 \ regress1/bv/divtest.smt2 \ |