From db75dee2b0644e141fd076769b5f46275c61dff3 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Fri, 17 Aug 2018 18:25:27 -0700 Subject: cmake: Added regression tests and target make regress. --- test/regress/regress0/CMakeLists.txt | 27 ---------------------- test/regress/regress0/arith/CMakeLists.txt | 1 - .../regress/regress0/arith/integers/CMakeLists.txt | 0 test/regress/regress0/arrays/CMakeLists.txt | 0 test/regress/regress0/aufbv/CMakeLists.txt | 0 test/regress/regress0/auflia/CMakeLists.txt | 0 test/regress/regress0/bv/CMakeLists.txt | 1 - test/regress/regress0/bv/core/CMakeLists.txt | 0 test/regress/regress0/datatypes/CMakeLists.txt | 0 test/regress/regress0/decision/CMakeLists.txt | 0 test/regress/regress0/expect/CMakeLists.txt | 0 test/regress/regress0/fmf/CMakeLists.txt | 0 test/regress/regress0/lemmas/CMakeLists.txt | 0 test/regress/regress0/nl/CMakeLists.txt | 0 test/regress/regress0/parser/CMakeLists.txt | 0 test/regress/regress0/precedence/CMakeLists.txt | 0 test/regress/regress0/preprocess/CMakeLists.txt | 0 test/regress/regress0/push-pop/CMakeLists.txt | 0 .../regress/regress0/push-pop/arith/CMakeLists.txt | 0 .../regress0/push-pop/boolean/CMakeLists.txt | 0 test/regress/regress0/quantifiers/CMakeLists.txt | 0 test/regress/regress0/rels/CMakeLists.txt | 0 test/regress/regress0/rewriterules/CMakeLists.txt | 0 test/regress/regress0/sep/CMakeLists.txt | 0 test/regress/regress0/sets/CMakeLists.txt | 6 ----- test/regress/regress0/sets/feb3/CMakeLists.txt | 0 test/regress/regress0/sets/jan24/CMakeLists.txt | 0 test/regress/regress0/sets/jan27/CMakeLists.txt | 0 test/regress/regress0/sets/jan28/CMakeLists.txt | 0 test/regress/regress0/sets/jan30/CMakeLists.txt | 0 test/regress/regress0/sets/mar2014/CMakeLists.txt | 0 test/regress/regress0/strings/CMakeLists.txt | 0 test/regress/regress0/sygus/CMakeLists.txt | 0 test/regress/regress0/tptp/Axioms/CMakeLists.txt | 0 test/regress/regress0/tptp/CMakeLists.txt | 1 - test/regress/regress0/uf/CMakeLists.txt | 0 test/regress/regress0/uflia/CMakeLists.txt | 0 test/regress/regress0/uflra/CMakeLists.txt | 0 test/regress/regress0/unconstrained/CMakeLists.txt | 0 39 files changed, 36 deletions(-) delete mode 100644 test/regress/regress0/CMakeLists.txt delete mode 100644 test/regress/regress0/arith/CMakeLists.txt delete mode 100644 test/regress/regress0/arith/integers/CMakeLists.txt delete mode 100644 test/regress/regress0/arrays/CMakeLists.txt delete mode 100644 test/regress/regress0/aufbv/CMakeLists.txt delete mode 100644 test/regress/regress0/auflia/CMakeLists.txt delete mode 100644 test/regress/regress0/bv/CMakeLists.txt delete mode 100644 test/regress/regress0/bv/core/CMakeLists.txt delete mode 100644 test/regress/regress0/datatypes/CMakeLists.txt delete mode 100644 test/regress/regress0/decision/CMakeLists.txt delete mode 100644 test/regress/regress0/expect/CMakeLists.txt delete mode 100644 test/regress/regress0/fmf/CMakeLists.txt delete mode 100644 test/regress/regress0/lemmas/CMakeLists.txt delete mode 100644 test/regress/regress0/nl/CMakeLists.txt delete mode 100644 test/regress/regress0/parser/CMakeLists.txt delete mode 100644 test/regress/regress0/precedence/CMakeLists.txt delete mode 100644 test/regress/regress0/preprocess/CMakeLists.txt delete mode 100644 test/regress/regress0/push-pop/CMakeLists.txt delete mode 100644 test/regress/regress0/push-pop/arith/CMakeLists.txt delete mode 100644 test/regress/regress0/push-pop/boolean/CMakeLists.txt delete mode 100644 test/regress/regress0/quantifiers/CMakeLists.txt delete mode 100644 test/regress/regress0/rels/CMakeLists.txt delete mode 100644 test/regress/regress0/rewriterules/CMakeLists.txt delete mode 100644 test/regress/regress0/sep/CMakeLists.txt delete mode 100644 test/regress/regress0/sets/CMakeLists.txt delete mode 100644 test/regress/regress0/sets/feb3/CMakeLists.txt delete mode 100644 test/regress/regress0/sets/jan24/CMakeLists.txt delete mode 100644 test/regress/regress0/sets/jan27/CMakeLists.txt delete mode 100644 test/regress/regress0/sets/jan28/CMakeLists.txt delete mode 100644 test/regress/regress0/sets/jan30/CMakeLists.txt delete mode 100644 test/regress/regress0/sets/mar2014/CMakeLists.txt delete mode 100644 test/regress/regress0/strings/CMakeLists.txt delete mode 100644 test/regress/regress0/sygus/CMakeLists.txt delete mode 100644 test/regress/regress0/tptp/Axioms/CMakeLists.txt delete mode 100644 test/regress/regress0/tptp/CMakeLists.txt delete mode 100644 test/regress/regress0/uf/CMakeLists.txt delete mode 100644 test/regress/regress0/uflia/CMakeLists.txt delete mode 100644 test/regress/regress0/uflra/CMakeLists.txt delete mode 100644 test/regress/regress0/unconstrained/CMakeLists.txt (limited to 'test/regress/regress0') 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 diff --git a/test/regress/regress0/arrays/CMakeLists.txt b/test/regress/regress0/arrays/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/aufbv/CMakeLists.txt b/test/regress/regress0/aufbv/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/auflia/CMakeLists.txt b/test/regress/regress0/auflia/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 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 diff --git a/test/regress/regress0/datatypes/CMakeLists.txt b/test/regress/regress0/datatypes/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/decision/CMakeLists.txt b/test/regress/regress0/decision/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/expect/CMakeLists.txt b/test/regress/regress0/expect/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/fmf/CMakeLists.txt b/test/regress/regress0/fmf/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/lemmas/CMakeLists.txt b/test/regress/regress0/lemmas/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/nl/CMakeLists.txt b/test/regress/regress0/nl/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/parser/CMakeLists.txt b/test/regress/regress0/parser/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/precedence/CMakeLists.txt b/test/regress/regress0/precedence/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/preprocess/CMakeLists.txt b/test/regress/regress0/preprocess/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 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 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 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 diff --git a/test/regress/regress0/quantifiers/CMakeLists.txt b/test/regress/regress0/quantifiers/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/rels/CMakeLists.txt b/test/regress/regress0/rels/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/rewriterules/CMakeLists.txt b/test/regress/regress0/rewriterules/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/sep/CMakeLists.txt b/test/regress/regress0/sep/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 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 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 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 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 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 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 diff --git a/test/regress/regress0/strings/CMakeLists.txt b/test/regress/regress0/strings/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/sygus/CMakeLists.txt b/test/regress/regress0/sygus/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 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 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 diff --git a/test/regress/regress0/uflia/CMakeLists.txt b/test/regress/regress0/uflia/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/uflra/CMakeLists.txt b/test/regress/regress0/uflra/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/test/regress/regress0/unconstrained/CMakeLists.txt b/test/regress/regress0/unconstrained/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 -- cgit v1.2.3