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/regress1 | |
parent | 1ca4a5cc3697d5df15ed18c07531b349625866f8 (diff) |
cmake: Added regression tests and target make regress.
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, 0 insertions, 14 deletions
diff --git a/test/regress/regress1/CMakeLists.txt b/test/regress/regress1/CMakeLists.txt deleted file mode 100644 index 8742c4e41..000000000 --- a/test/regress/regress1/CMakeLists.txt +++ /dev/null @@ -1,14 +0,0 @@ -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 deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/aufbv/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/auflia/CMakeLists.txt b/test/regress/regress1/auflia/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/auflia/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/bv/CMakeLists.txt b/test/regress/regress1/bv/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/bv/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/datatypes/CMakeLists.txt b/test/regress/regress1/datatypes/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/datatypes/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/decision/CMakeLists.txt b/test/regress/regress1/decision/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/decision/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/fmf/CMakeLists.txt b/test/regress/regress1/fmf/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/fmf/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/lemmas/CMakeLists.txt b/test/regress/regress1/lemmas/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/lemmas/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/nl/CMakeLists.txt b/test/regress/regress1/nl/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/nl/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/quantifiers/CMakeLists.txt b/test/regress/regress1/quantifiers/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/quantifiers/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/rewriterules/CMakeLists.txt b/test/regress/regress1/rewriterules/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/rewriterules/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/sep/CMakeLists.txt b/test/regress/regress1/sep/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/sep/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/sets/CMakeLists.txt b/test/regress/regress1/sets/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/sets/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/strings/CMakeLists.txt b/test/regress/regress1/strings/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/strings/CMakeLists.txt +++ /dev/null diff --git a/test/regress/regress1/sygus/CMakeLists.txt b/test/regress/regress1/sygus/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 --- a/test/regress/regress1/sygus/CMakeLists.txt +++ /dev/null |