From 75c62960608706d13332a38f3386119a6c431890 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 28 Sep 2022 18:21:50 +0200
Subject: [PATCH] [wookey] skip proof flash_mass_erase, whose code is not
 handled by WP

---
 case_studies/wookey/loader/GNUmakefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/case_studies/wookey/loader/GNUmakefile b/case_studies/wookey/loader/GNUmakefile
index 937c27b..2e625fe 100644
--- a/case_studies/wookey/loader/GNUmakefile
+++ b/case_studies/wookey/loader/GNUmakefile
@@ -75,7 +75,13 @@ $(MAIN_TARGET).parse: $(SRCS)
 # use path.mk if you want to change the default here
 CORES ?= 1
 WP_CUSTOM ?=
-WP_FLAGS= -wp-par $(CORES) -wp-timeout 20 -wp-no-warn-memory-model -wp-cache update $(WP_CUSTOM)
+WP_FLAGS=\
+ -wp-par $(CORES) \
+ -wp-timeout 20 \
+ -wp-no-warn-memory-model \
+ -wp-cache update \
+ -wp-skip-fct flash_mass_erase \
+ $(WP_CUSTOM)
 
 META_FLAGS= #-meta-keep-proof-files
 
-- 
GitLab