From 38bb4099bd212d5fbc481b12070e6480dfb91d87 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 28 Sep 2022 19:36:36 +0200
Subject: [PATCH] [wookey] Fix bug in wookey that prevented proof
Was actually fixed upstream in commit [30a695e821ca30819](https://github.com/wookey-project/bootloader/commit/30a695e821ca308197d8039bd0975a165b03bb5e)
---
case_studies/wookey/loader/src/main.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/case_studies/wookey/loader/src/main.c b/case_studies/wookey/loader/src/main.c
index d788dee..8cfb7ff 100644
--- a/case_studies/wookey/loader/src/main.c
+++ b/case_studies/wookey/loader/src/main.c
@@ -685,7 +685,7 @@ static loader_request_t loader_exec_automaton_transition(const loader_request_t
{
loader_state_t state = loader_get_state();
loader_request_t nextreq = LOADER_REQ_ERROR;
- if (! loader_is_valid_transition(state, req)) {
+ if (! (loader_is_valid_transition(state, req) == sectrue)) {
loader_set_state(LOADER_ERROR);
goto end_transition;
}
--
GitLab