Daniel Larraz fd7e6d0620 cmake: Update targets to build and run API tests (#12127) ...

This PR adds new targets, `build-cppapitests` and `cppapitests`, for
building and running the C++ API tests, and uses `build-apitests` and
`apitests` for building and running the API tests across all languages
(C++, C, Python, etc.). It also adds a new target, `pyapitests`, for
running the Python API tests, and fixes the `capitests` target to run
the correct set of C API tests. In addition, it moves all issue-related
Python API tests to their own directory, as is already done for the C++
and C API tests.

2025-09-22 15:33:06 +00:00

..

issues

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

boilerplate.c

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

CMakeLists.txt

cmake: Update targets to build and run API tests (#12127)

2025-09-22 15:33:06 +00:00

ouroborous.c

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

reset_assertions.c

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

sep_log_api.c

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

smt2_compliance.c

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

two_solvers.c

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00