cmake: Added regression tests and target make regress.

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