diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-17 18:25:27 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | db75dee2b0644e141fd076769b5f46275c61dff3 (patch) | |
tree | bb6b3673713525388594cce75e7c8dc1eb3174ee /test/regress/regress0 | |
parent | 1ca4a5cc3697d5df15ed18c07531b349625866f8 (diff) |
cmake: Added regression tests and target make regress.
Diffstat (limited to 'test/regress/regress0')
39 files changed, 0 insertions, 36 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) diff --git a/test/regress/regress0/arith/CMakeLists.txt b/test/regress/regress0/arith/CMakeLists.txt deleted file mode 100644 index 987f73ccd..000000000 --- a/test/regress/regress0/arith/CMakeLists.txt +++ /dev/null @@ -1 +0,0 @@ -add_subdirectory(integers) diff --git a/test/regress/regress0/arith/integers/CMakeLists.txt b/test/regress/regress0/arith/integers/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/arith/integers/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/arrays/CMakeLists.txt b/test/regress/regress0/arrays/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/arrays/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/aufbv/CMakeLists.txt b/test/regress/regress0/aufbv/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/aufbv/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/auflia/CMakeLists.txt b/test/regress/regress0/auflia/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/auflia/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/bv/CMakeLists.txt b/test/regress/regress0/bv/CMakeLists.txt deleted file mode 100644 index ad6d4787c..000000000 --- a/test/regress/regress0/bv/CMakeLists.txt +++ /dev/null @@ -1 +0,0 @@ -add_subdirectory(core) diff --git a/test/regress/regress0/bv/core/CMakeLists.txt b/test/regress/regress0/bv/core/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/bv/core/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/datatypes/CMakeLists.txt b/test/regress/regress0/datatypes/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/datatypes/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/decision/CMakeLists.txt b/test/regress/regress0/decision/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/decision/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/expect/CMakeLists.txt b/test/regress/regress0/expect/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/expect/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/fmf/CMakeLists.txt b/test/regress/regress0/fmf/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/fmf/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/lemmas/CMakeLists.txt b/test/regress/regress0/lemmas/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/lemmas/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/nl/CMakeLists.txt b/test/regress/regress0/nl/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/nl/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/parser/CMakeLists.txt b/test/regress/regress0/parser/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/parser/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/precedence/CMakeLists.txt b/test/regress/regress0/precedence/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/precedence/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/preprocess/CMakeLists.txt b/test/regress/regress0/preprocess/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/preprocess/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/push-pop/CMakeLists.txt b/test/regress/regress0/push-pop/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/push-pop/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/push-pop/arith/CMakeLists.txt b/test/regress/regress0/push-pop/arith/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/push-pop/arith/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/push-pop/boolean/CMakeLists.txt b/test/regress/regress0/push-pop/boolean/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/push-pop/boolean/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/quantifiers/CMakeLists.txt b/test/regress/regress0/quantifiers/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/quantifiers/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/rels/CMakeLists.txt b/test/regress/regress0/rels/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/rels/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/rewriterules/CMakeLists.txt b/test/regress/regress0/rewriterules/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/rewriterules/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/sep/CMakeLists.txt b/test/regress/regress0/sep/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/sep/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/sets/CMakeLists.txt b/test/regress/regress0/sets/CMakeLists.txt deleted file mode 100644 index 0ccc8352e..000000000 --- a/test/regress/regress0/sets/CMakeLists.txt +++ /dev/null @@ -1,6 +0,0 @@ -add_subdirectory(feb3) -add_subdirectory(jan24) -add_subdirectory(jan27) -add_subdirectory(jan28) -add_subdirectory(jan30) -add_subdirectory(mar2014) diff --git a/test/regress/regress0/sets/feb3/CMakeLists.txt b/test/regress/regress0/sets/feb3/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/sets/feb3/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/sets/jan24/CMakeLists.txt b/test/regress/regress0/sets/jan24/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/sets/jan24/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/sets/jan27/CMakeLists.txt b/test/regress/regress0/sets/jan27/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/sets/jan27/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/sets/jan28/CMakeLists.txt b/test/regress/regress0/sets/jan28/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/sets/jan28/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/sets/jan30/CMakeLists.txt b/test/regress/regress0/sets/jan30/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/sets/jan30/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/sets/mar2014/CMakeLists.txt b/test/regress/regress0/sets/mar2014/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/sets/mar2014/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/strings/CMakeLists.txt b/test/regress/regress0/strings/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/strings/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/sygus/CMakeLists.txt b/test/regress/regress0/sygus/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/sygus/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/tptp/Axioms/CMakeLists.txt b/test/regress/regress0/tptp/Axioms/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/tptp/Axioms/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/tptp/CMakeLists.txt b/test/regress/regress0/tptp/CMakeLists.txt deleted file mode 100644 index 77739f587..000000000 --- a/test/regress/regress0/tptp/CMakeLists.txt +++ /dev/null @@ -1 +0,0 @@ -add_subdirectory(Axioms) diff --git a/test/regress/regress0/uf/CMakeLists.txt b/test/regress/regress0/uf/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/uf/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/uflia/CMakeLists.txt b/test/regress/regress0/uflia/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/uflia/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/uflra/CMakeLists.txt b/test/regress/regress0/uflra/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/uflra/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress0/unconstrained/CMakeLists.txt b/test/regress/regress0/unconstrained/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress0/unconstrained/CMakeLists.txt +++ /dev/null |