diff options
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index f2d017e02..8773c3583 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2374,7 +2374,6 @@ set(regress_2_tests regress2/ho/SYO362^5.p regress2/hole7.cvc regress2/hole8.cvc - regress2/hole10.cvc regress2/instance_1444.smtv1.smt2 regress2/issue3687-check-models.smt2 regress2/issue4707-bv-to-bool-large.smt2 @@ -2474,6 +2473,7 @@ set(regress_3_tests regress3/friedman_n4_i5.smtv1.smt2 regress3/friedman_n6_i4.smtv1.smt2 regress3/hole9.cvc + regress3/hole10.cvc regress3/incorrect1.smtv1.smt2 regress3/interpol2.smt2 regress3/inv_gen_n_c11.sy |