diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-11-24 14:02:05 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-24 22:02:05 +0000 |
| commit | 7c784424b5ca43d5c35c8ac21b87c2b8ab584b2d (patch) | |
| tree | 9ce3789dac1efd806d6ea7734082c48edfed0410 /.github/workflows/ci.yml | |
| parent | 6b370211944a4520876798e4072597092a1a6236 (diff) | |
Always enable API black box unit tests (#7696)
Currently, when assertions are disabled, we do not enable any unit
tests. However, we have decided that it would be beneficial to do black
box unit testing of the API even when building cvc5 without assertions,
because the API is user facing. This commit makes the following changes:
- Always enables API black box unit tests
- Adds a test to check whether a buggy version of Clang is being used,
which prevents the use of `-fno-access-control` for white box tests
- Fixes a spooky variable name in a Python unit test
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f28309652..723752eb8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -19,7 +19,7 @@ jobs: - name: macos:production os: macos-11 - config: production --auto-download --all-bindings --editline + config: production --auto-download --python-bindings --editline cache-key: production python-bindings: true check-examples: true |