about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2022-03-25 23:16:45 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2022-03-30 12:18:59 +0100
commit0d747ccf52025ac0d0d9067fbda33fb61a8d9843 (patch)
treedffc6f6123610127dca823db662f6ef8a16079ef
parent29649c341bdfcf660780833ee2c27abb6bf23eb0 (diff)
downloadklee-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
-rw-r--r--.github/workflows/build.yaml6
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: