diff options
Diffstat (limited to 'test/regress/regress0')
39 files changed, 36 insertions, 0 deletions
diff --git a/test/regress/regress0/CMakeLists.txt b/test/regress/regress0/CMakeLists.txt new file mode 100644 index 000000000..5b0bc398d --- /dev/null +++ b/test/regress/regress0/CMakeLists.txt @@ -0,0 +1,27 @@ +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 new file mode 100644 index 000000000..987f73ccd --- /dev/null +++ b/test/regress/regress0/arith/CMakeLists.txt @@ -0,0 +1 @@ +add_subdirectory(integers) diff --git a/test/regress/regress0/arith/integers/CMakeLists.txt b/test/regress/regress0/arith/integers/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/arith/integers/CMakeLists.txt diff --git a/test/regress/regress0/arrays/CMakeLists.txt b/test/regress/regress0/arrays/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/arrays/CMakeLists.txt diff --git a/test/regress/regress0/aufbv/CMakeLists.txt b/test/regress/regress0/aufbv/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/aufbv/CMakeLists.txt diff --git a/test/regress/regress0/auflia/CMakeLists.txt b/test/regress/regress0/auflia/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/auflia/CMakeLists.txt diff --git a/test/regress/regress0/bv/CMakeLists.txt b/test/regress/regress0/bv/CMakeLists.txt new file mode 100644 index 000000000..ad6d4787c --- /dev/null +++ b/test/regress/regress0/bv/CMakeLists.txt @@ -0,0 +1 @@ +add_subdirectory(core) diff --git a/test/regress/regress0/bv/core/CMakeLists.txt b/test/regress/regress0/bv/core/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/bv/core/CMakeLists.txt diff --git a/test/regress/regress0/datatypes/CMakeLists.txt b/test/regress/regress0/datatypes/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/datatypes/CMakeLists.txt diff --git a/test/regress/regress0/decision/CMakeLists.txt b/test/regress/regress0/decision/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/decision/CMakeLists.txt diff --git a/test/regress/regress0/expect/CMakeLists.txt b/test/regress/regress0/expect/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/expect/CMakeLists.txt diff --git a/test/regress/regress0/fmf/CMakeLists.txt b/test/regress/regress0/fmf/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/fmf/CMakeLists.txt diff --git a/test/regress/regress0/lemmas/CMakeLists.txt b/test/regress/regress0/lemmas/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/lemmas/CMakeLists.txt diff --git a/test/regress/regress0/nl/CMakeLists.txt b/test/regress/regress0/nl/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/nl/CMakeLists.txt diff --git a/test/regress/regress0/parser/CMakeLists.txt b/test/regress/regress0/parser/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/parser/CMakeLists.txt diff --git a/test/regress/regress0/precedence/CMakeLists.txt b/test/regress/regress0/precedence/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/precedence/CMakeLists.txt diff --git a/test/regress/regress0/preprocess/CMakeLists.txt b/test/regress/regress0/preprocess/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/preprocess/CMakeLists.txt diff --git a/test/regress/regress0/push-pop/CMakeLists.txt b/test/regress/regress0/push-pop/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/push-pop/CMakeLists.txt diff --git a/test/regress/regress0/push-pop/arith/CMakeLists.txt b/test/regress/regress0/push-pop/arith/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/push-pop/arith/CMakeLists.txt diff --git a/test/regress/regress0/push-pop/boolean/CMakeLists.txt b/test/regress/regress0/push-pop/boolean/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/push-pop/boolean/CMakeLists.txt diff --git a/test/regress/regress0/quantifiers/CMakeLists.txt b/test/regress/regress0/quantifiers/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/quantifiers/CMakeLists.txt diff --git a/test/regress/regress0/rels/CMakeLists.txt b/test/regress/regress0/rels/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/rels/CMakeLists.txt diff --git a/test/regress/regress0/rewriterules/CMakeLists.txt b/test/regress/regress0/rewriterules/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/rewriterules/CMakeLists.txt diff --git a/test/regress/regress0/sep/CMakeLists.txt b/test/regress/regress0/sep/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/sep/CMakeLists.txt diff --git a/test/regress/regress0/sets/CMakeLists.txt b/test/regress/regress0/sets/CMakeLists.txt new file mode 100644 index 000000000..0ccc8352e --- /dev/null +++ b/test/regress/regress0/sets/CMakeLists.txt @@ -0,0 +1,6 @@ +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 new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/sets/feb3/CMakeLists.txt diff --git a/test/regress/regress0/sets/jan24/CMakeLists.txt b/test/regress/regress0/sets/jan24/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/sets/jan24/CMakeLists.txt diff --git a/test/regress/regress0/sets/jan27/CMakeLists.txt b/test/regress/regress0/sets/jan27/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/sets/jan27/CMakeLists.txt diff --git a/test/regress/regress0/sets/jan28/CMakeLists.txt b/test/regress/regress0/sets/jan28/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/sets/jan28/CMakeLists.txt diff --git a/test/regress/regress0/sets/jan30/CMakeLists.txt b/test/regress/regress0/sets/jan30/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/sets/jan30/CMakeLists.txt diff --git a/test/regress/regress0/sets/mar2014/CMakeLists.txt b/test/regress/regress0/sets/mar2014/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/sets/mar2014/CMakeLists.txt diff --git a/test/regress/regress0/strings/CMakeLists.txt b/test/regress/regress0/strings/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/strings/CMakeLists.txt diff --git a/test/regress/regress0/sygus/CMakeLists.txt b/test/regress/regress0/sygus/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/sygus/CMakeLists.txt diff --git a/test/regress/regress0/tptp/Axioms/CMakeLists.txt b/test/regress/regress0/tptp/Axioms/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/tptp/Axioms/CMakeLists.txt diff --git a/test/regress/regress0/tptp/CMakeLists.txt b/test/regress/regress0/tptp/CMakeLists.txt new file mode 100644 index 000000000..77739f587 --- /dev/null +++ b/test/regress/regress0/tptp/CMakeLists.txt @@ -0,0 +1 @@ +add_subdirectory(Axioms) diff --git a/test/regress/regress0/uf/CMakeLists.txt b/test/regress/regress0/uf/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/uf/CMakeLists.txt diff --git a/test/regress/regress0/uflia/CMakeLists.txt b/test/regress/regress0/uflia/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/uflia/CMakeLists.txt diff --git a/test/regress/regress0/uflra/CMakeLists.txt b/test/regress/regress0/uflra/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/uflra/CMakeLists.txt diff --git a/test/regress/regress0/unconstrained/CMakeLists.txt b/test/regress/regress0/unconstrained/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress0/unconstrained/CMakeLists.txt |