diff options
Diffstat (limited to 'test/regress/regress1')
| -rw-r--r-- | test/regress/regress1/CMakeLists.txt | 14 | ||||
| -rw-r--r-- | test/regress/regress1/aufbv/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/auflia/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/bv/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/datatypes/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/decision/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/fmf/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/lemmas/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/nl/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/quantifiers/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/rewriterules/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/sep/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/sets/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/strings/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | test/regress/regress1/sygus/CMakeLists.txt | 0 |
15 files changed, 14 insertions, 0 deletions
diff --git a/test/regress/regress1/CMakeLists.txt b/test/regress/regress1/CMakeLists.txt new file mode 100644 index 000000000..8742c4e41 --- /dev/null +++ b/test/regress/regress1/CMakeLists.txt @@ -0,0 +1,14 @@ +add_subdirectory(aufbv) +add_subdirectory(auflia) +add_subdirectory(bv) +add_subdirectory(datatypes) +add_subdirectory(decision) +add_subdirectory(fmf) +add_subdirectory(lemmas) +add_subdirectory(nl) +add_subdirectory(quantifiers) +add_subdirectory(rewriterules) +add_subdirectory(sep) +add_subdirectory(sets) +add_subdirectory(strings) +add_subdirectory(sygus) diff --git a/test/regress/regress1/aufbv/CMakeLists.txt b/test/regress/regress1/aufbv/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/aufbv/CMakeLists.txt diff --git a/test/regress/regress1/auflia/CMakeLists.txt b/test/regress/regress1/auflia/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/auflia/CMakeLists.txt diff --git a/test/regress/regress1/bv/CMakeLists.txt b/test/regress/regress1/bv/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/bv/CMakeLists.txt diff --git a/test/regress/regress1/datatypes/CMakeLists.txt b/test/regress/regress1/datatypes/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/datatypes/CMakeLists.txt diff --git a/test/regress/regress1/decision/CMakeLists.txt b/test/regress/regress1/decision/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/decision/CMakeLists.txt diff --git a/test/regress/regress1/fmf/CMakeLists.txt b/test/regress/regress1/fmf/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/fmf/CMakeLists.txt diff --git a/test/regress/regress1/lemmas/CMakeLists.txt b/test/regress/regress1/lemmas/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/lemmas/CMakeLists.txt diff --git a/test/regress/regress1/nl/CMakeLists.txt b/test/regress/regress1/nl/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/nl/CMakeLists.txt diff --git a/test/regress/regress1/quantifiers/CMakeLists.txt b/test/regress/regress1/quantifiers/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/quantifiers/CMakeLists.txt diff --git a/test/regress/regress1/rewriterules/CMakeLists.txt b/test/regress/regress1/rewriterules/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/rewriterules/CMakeLists.txt diff --git a/test/regress/regress1/sep/CMakeLists.txt b/test/regress/regress1/sep/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/sep/CMakeLists.txt diff --git a/test/regress/regress1/sets/CMakeLists.txt b/test/regress/regress1/sets/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/sets/CMakeLists.txt diff --git a/test/regress/regress1/strings/CMakeLists.txt b/test/regress/regress1/strings/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/strings/CMakeLists.txt diff --git a/test/regress/regress1/sygus/CMakeLists.txt b/test/regress/regress1/sygus/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/test/regress/regress1/sygus/CMakeLists.txt |