add lit

eurecom-s3 · Apr 21, 2024 · d24f49a · d24f49a
1 parent 92cb869
commit d24f49a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml
@@ -32,7 +32,8 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y \
             llvm-${{ matrix.llvm_version }}-dev \
-            libz3-dev
+            libz3-dev \
+          pip3 install lit
       - name: Build SymCC with the QSYM backend
         run: |
           mkdir build
@@ -68,6 +69,7 @@ jobs:
           sudo apt-get install -y \
             llvm-${{ matrix.llvm_version }}-dev \
             libz3-dev \
+          pip3 install lit
       - name: Build SymCC with the QSYM backend
         run: |
           mkdir build