diff options
Diffstat (limited to 'test/regress/regress0/CMakeLists.txt')
| -rw-r--r-- | test/regress/regress0/CMakeLists.txt | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/test/regress/regress0/CMakeLists.txt b/test/regress/regress0/CMakeLists.txt deleted file mode 100644 index 5b0bc398d..000000000 --- a/test/regress/regress0/CMakeLists.txt +++ /dev/null @@ -1,27 +0,0 @@ -add_subdirectory(arith) -add_subdirectory(arrays) -add_subdirectory(aufbv) -add_subdirectory(auflia) -add_subdirectory(bv) -add_subdirectory(datatypes) -add_subdirectory(decision) -add_subdirectory(expect) -add_subdirectory(fmf) -add_subdirectory(lemmas) -add_subdirectory(nl) -add_subdirectory(parser) -add_subdirectory(precedence) -add_subdirectory(preprocess) -add_subdirectory(push-pop) -add_subdirectory(quantifiers) -add_subdirectory(rels) -add_subdirectory(rewriterules) -add_subdirectory(sep) -add_subdirectory(sets) -add_subdirectory(strings) -add_subdirectory(sygus) -add_subdirectory(tptp) -add_subdirectory(uf) -add_subdirectory(uflia) -add_subdirectory(uflra) -add_subdirectory(unconstrained) |