Fix frama-c proofs

GaloisInc · Feb 7, 2025 · 625ec77 · 625ec77
1 parent 53495b1
commit 625ec77
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/proofs.yml b/.github/workflows/proofs.yml
@@ -43,9 +43,12 @@ jobs:
           image: framac/frama-c:dev
           options: -v ${{ github.workspace }}:/work -w /work
           run: |
+            apt-get update && apt-get install -y z3
+            why3 config detect
             cd components/mission_protection_system/src
             mkdir -p /tmp/wp-session/script
             mkdir -p /tmp/wp-session/cache
+            frama-c --version
             make -f frama_c.mk proofs
 
   secure-boot-verify-cn: