diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2022-03-25 23:16:45 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-30 12:18:59 +0100 |
| commit | 0d747ccf52025ac0d0d9067fbda33fb61a8d9843 (patch) | |
| tree | dffc6f6123610127dca823db662f6ef8a16079ef /.github | |
| parent | 29649c341bdfcf660780833ee2c27abb6bf23eb0 (diff) | |
| download | klee-0d747ccf52025ac0d0d9067fbda33fb61a8d9843.tar.gz | |
Update GitHub Actions build.yaml
* Set SANITIZER_LLVM_VERSION for sanitizers * Remove unnecessary SANITIZER_BUILD * Set LLVM 6 to LLVM_VERSION 6.0 to follow old schema
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yaml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index cc3945bb..ea21f1ee 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -21,7 +21,6 @@ env: METASMT_VERSION: qf_abv MINISAT_VERSION: "master" REQUIRES_RTTI: 0 - SANITIZER_BUILD: SOLVERS: STP:Z3 STP_VERSION: 2.3.3 TCMALLOC_VERSION: 2.7 @@ -80,24 +79,27 @@ jobs: LLVM_VERSION: 7 - name: "LLVM 6" env: - LLVM_VERSION: 6 + LLVM_VERSION: "6.0" # Sanitizer builds. Do unoptimized build otherwise the optimizer might remove problematic code - name: "ASan" env: SANITIZER_BUILD: address ENABLE_OPTIMIZED: 0 USE_TCMALLOC: 0 + SANITIZER_LLVM_VERSION: 11 - name: "UBSan" env: SANITIZER_BUILD: undefined ENABLE_OPTIMIZED: 0 USE_TCMALLOC: 0 + SANITIZER_LLVM_VERSION: 11 - name: "MSan" env: SANITIZER_BUILD: memory ENABLE_OPTIMIZED: 0 USE_TCMALLOC: 0 SOLVERS: STP + SANITIZER_LLVM_VERSION: 11 # Test just using Z3 only - name: "Z3 only" env: |