Run Clang in testing CI (#112)

Author: ZippeyKeys12

.github/workflows/spec-testing.yml

@@ -15,12 +15,12 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  build:
+  gcc:
     strategy:
       matrix:
-        # version: [4.12.0, 4.14.1]
         version: [4.14.1]
 
+    name: Testing with GCC
 
     runs-on: ubuntu-22.04
 
@@ -94,3 +94,91 @@ jobs:
         eval $(opam env --switch=${{ matrix.version }})
         cd tests; ./run-cn-seq-test-gen.sh
 
+  clang:
+    strategy:
+      matrix:
+        version: [4.14.1]
+
+    name: Testing with Clang
+
+    runs-on: ubuntu-22.04
+
+    steps:
+
+    - name: Checkout CN
+      uses: actions/checkout@v4
+
+    - name: System dependencies (ubuntu)
+      run: |
+        sudo apt-get install build-essential libgmp-dev z3 opam cmake lcov
+        wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key|sudo apt-key add -
+        sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-19 main"
+        sudo add-apt-repository "deb-src http://apt.llvm.org/jammy/ llvm-toolchain-jammy-19 main"
+        sudo apt-get update
+        sudo apt-get install clang-19
+
+    - name: Restore OPAM cache
+      id: cache-opam-restore
+      uses: actions/cache/restore@v4
+      with:
+        path: ~/.opam
+        key: ${{ matrix.version }}
+
+    - name: Setup OPAM
+      if: steps.cache-opam-restore.outputs.cache-hit != 'true'
+      run: |
+        opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }}
+        eval $(opam env --switch=${{ matrix.version }})
+        opam repo add --yes --this-switch coq-released https://coq.inria.fr/opam/released
+        opam install --deps-only --yes ./cn.opam
+
+    - name: Save OPAM cache
+      uses: actions/cache/save@v4
+      if: steps.cache-opam-restore.outputs.cache-hit != 'true'
+      with:
+        path: ~/.opam
+        key: ${{ matrix.version }}
+
+    - name: Install CN
+      run: |
+        alias cc=clang-19
+        opam switch ${{ matrix.version }}
+        eval $(opam env --switch=${{ matrix.version }})
+        opam pin --yes --no-action add cn .
+        opam install --yes cn
+
+    - name: Run CN-runtime CI tests (Cerberus)
+      run: |
+        alias cc=clang-19
+        opam switch ${{ matrix.version }}
+        eval $(opam env --switch=${{ matrix.version }})
+        cd tests; ./run-cn-exec.sh
+
+    - name: Checkout cn-tutorial
+      uses: actions/checkout@v4
+      with:
+        repository: rems-project/cn-tutorial
+        path: cn-tutorial
+        ref: cn-runtime-testing # FIXME: remove once the branch is merged 
+
+    - name: Run CN-runtime CI tests (CN tutorial)
+      run: |
+        alias cc=clang-19
+        opam switch ${{ matrix.version }}
+        eval $(opam env --switch=${{ matrix.version }})
+        cd cn-tutorial; ./runtime-test.sh 
+        cd ..
+
+    - name: Run CN-Test-Gen CI tests
+      run: |
+        alias cc=clang-19
+        opam switch ${{ matrix.version }}
+        eval $(opam env --switch=${{ matrix.version }})
+        cd tests; ./run-cn-test-gen.sh
+
+    - name: Run CN-Seq-Test-Gen CI tests
+      run: |
+        alias cc=clang-19
+        opam switch ${{ matrix.version }}
+        eval $(opam env --switch=${{ matrix.version }})
+        cd tests; ./run-cn-seq-test-gen.sh