Add clang for C++ CI

plasma-umass · Sep 27, 2023 · 2a50244 · 2a50244
1 parent e61a66a
commit 2a50244
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/regression-generate.yml b/.github/workflows/regression-generate.yml
@@ -22,7 +22,8 @@ jobs:
     - name: Install dependencies
       run: |
         sudo apt update
-        sudo apt install -y gcc-9 gcc-10 gcc-11 gcc-12
+        sudo apt install -y gcc-12
+        curl -sSf https://apt.llvm.org/llvm.sh | sudo bash -s -- 17 all
 
     - name: Install CWhy
       run: |

diff --git a/tests/regression.py b/tests/regression.py
@@ -9,7 +9,7 @@
         "path": "c++",
         "extension": ".cpp",
         "compilers": {
-            "ubuntu": [["g++-12"]],
+            "ubuntu": [["g++-12"], ["clang++-17"]],
             "macos": [["clang++", "-std=c++20"]],
         },
     }