From a465e23945527f231a0e2c5f8be9d89f40782b47 Mon Sep 17 00:00:00 2001
From: Yassine Ettayeb <yassine.ettayeb@student-cs.fr>
Date: Thu, 20 Mar 2025 22:37:51 +0100
Subject: [PATCH] cert_exp_33.c Frama

---
 config/cert_exp_33.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/config/cert_exp_33.c b/config/cert_exp_33.c
index c4fe87d..0a87e07 100644
--- a/config/cert_exp_33.c
+++ b/config/cert_exp_33.c
@@ -1,3 +1,5 @@
+#include <stddef.h> // définit NULL
+
 void set_flag(int number, int *sign_flag) {
   if (NULL == sign_flag) {
     return;
@@ -8,10 +10,12 @@ void set_flag(int number, int *sign_flag) {
   } else if (number < 0) {
     *sign_flag = -1;
   }
+  Frama_C_show_each_set_flag(number, *sign_flag);
 }
 
 int is_negative(int number) {
   int sign;
   set_flag(number, &sign);
+  Frama_C_show_each_is_negative(number, sign);
   return sign < 0;
 }
-- 
GitLab