From 625ec77e1afec28d8b9ad848db5a0043d130fc1c Mon Sep 17 00:00:00 2001
From: Michal Podhradsky <mpodhradsky@galois.com>
Date: Thu, 6 Feb 2025 16:31:01 -0800
Subject: [PATCH] Fix frama-c proofs

---
 .github/workflows/proofs.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/proofs.yml b/.github/workflows/proofs.yml
index b0864cc..a93825a 100644
--- 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: