From d24f49ae35e83a37bea0d24863452d7c4ccf179a Mon Sep 17 00:00:00 2001 From: Aurelien Francillon Date: Mon, 22 Apr 2024 01:16:48 +0200 Subject: [PATCH] add lit --- .github/workflows/run_tests.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml index 362109cf..9d9748ad 100644 --- 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