diff options
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 9a1e5d6dc..df553b8bd 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -250,6 +250,7 @@ set(regress_0_tests regress0/bv/core/slice-20.smt regress0/bv/divtest_2_5.smt2 regress0/bv/divtest_2_6.smt2 + regress0/bv/eager-inc-cadical.smt2 regress0/bv/eager-inc-cryptominisat.smt2 regress0/bv/eager-force-logic.smt2 regress0/bv/fuzz01.smt |