diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2022-06-30 00:51:20 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-02-28 08:57:16 +0000 |
| commit | d3e8cd3c842b3ff8de31a52733378300fb3cef5a (patch) | |
| tree | e6dcf3b8ba21a6bf0659fb5ccc6282b9ba080a49 | |
| parent | 04a42c95943ae0a6c514b133a720bd94fc54b054 (diff) | |
| download | klee-d3e8cd3c842b3ff8de31a52733378300fb3cef5a.tar.gz | |
Have the STP coverage build also provide Z3, so that the crosscheck solver can also be tested
| -rw-r--r-- | .github/workflows/build.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 307dd8f2..9588b204 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -162,7 +162,7 @@ jobs: include: - name: "STP" env: - SOLVERS: STP + SOLVERS: STP:Z3 - name: "Z3" env: SOLVERS: Z3 |