diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-06-23 13:46:02 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-23 13:46:02 -0700 |
commit | 9b5680a2cb6efd75c7fd1f7784cda2b6e5b98bfd (patch) | |
tree | 5133c61860babe051b1b555e67b3e9bb095374fe /examples/api/CMakeLists.txt | |
parent | 0539b0342b46e9fb96467a23f703bf2317692bb2 (diff) |
New C++ API: Remove examples for old API. (#4650)
This removes obsolete examples for the old API in preparation of making
the old API private. Examples for the new API are renamed from
*-new.cpp to *.cpp.
Diffstat (limited to 'examples/api/CMakeLists.txt')
-rw-r--r-- | examples/api/CMakeLists.txt | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/examples/api/CMakeLists.txt b/examples/api/CMakeLists.txt index 3ced5681c..6421a3263 100644 --- a/examples/api/CMakeLists.txt +++ b/examples/api/CMakeLists.txt @@ -1,22 +1,13 @@ set(CVC4_EXAMPLES_API bitvectors - bitvectors-new bitvectors_and_arrays - bitvectors_and_arrays-new combination - combination-new datatypes - datatypes-new extract - extract-new helloworld - helloworld-new linear_arith - linear_arith-new sets - sets-new strings - strings-new sygus-fun sygus-grammar sygus-inv |