diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2022-06-28 15:07:34 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-06-29 14:41:55 +0100 |
| commit | b8539333fdaf32b0f4911d6569ad56a0443190bb (patch) | |
| tree | a9a2895cf70d77436f4b18ea17348607633dd8d2 /.github | |
| parent | 71b0e70464ceb9105535b796feede63c5800252c (diff) | |
| download | klee-b8539333fdaf32b0f4911d6569ad56a0443190bb.tar.gz | |
Perform coverage analysis for z3 as well
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yaml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 78fbc8e3..0dfd0891 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -165,6 +165,19 @@ jobs: Coverage: runs-on: ubuntu-latest + strategy: + matrix: + name: [ + "STP", + "Z3", + ] + include: + - name: "STP" + env: + SOLVERS: STP + - name: "Z3" + env: + SOLVERS: Z3 env: ENABLE_OPTIMIZED: 0 COVERAGE: 1 @@ -172,6 +185,7 @@ jobs: - name: Checkout KLEE source code uses: actions/checkout@v2 - name: Build KLEE + env: ${{ matrix.env }} run: scripts/build/build.sh klee --docker --create-final-image - name: Run tests run: scripts/build/run-tests.sh --coverage --upload-coverage --run-docker --debug |