From 0d747ccf52025ac0d0d9067fbda33fb61a8d9843 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Fri, 25 Mar 2022 23:16:45 +0000 Subject: 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 --- .github/workflows/build.yaml | 6 ++++-- 1 file 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: -- cgit 1.4.1