From a9f5846f63496a98ea0744b0664c8b46ccc6a1be Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Michel?= <francois.michel@uclouvain.be>
Date: Wed, 27 Feb 2019 12:57:05 +0100
Subject: [PATCH] update qbf-3: add gcc option for deterministic result

---
 Exercices/Programmes/prog-3.rst | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Exercices/Programmes/prog-3.rst b/Exercices/Programmes/prog-3.rst
index 5a66a98..dabde89 100644
--- a/Exercices/Programmes/prog-3.rst
+++ b/Exercices/Programmes/prog-3.rst
@@ -196,11 +196,17 @@ Questions de bilan final
 ------------------------
 
 #. Lisez attentivement le code suivant et essayez de deviner ce qui sera affiché
-   sur la sortie standard. Ensuite, compilez et exécutez le code. Avez-vous bien
+   sur la sortie standard. Ensuite, compilez le code en activant l'option 
+   ``-fno-stack-protector`` de `gcc(1)`_ et exécutez le code. Avez-vous bien
    deviné ? Comment expliquez-vous les lignes affichées par le programme ?
 
 	   .. code-block:: c
 
+		 		#include <stdlib.h>
+				#include <stdio.h>
+				#include <string.h>
+				#include <stdint.h>
+                                
 				int f() {
 				        uint32_t zero = 0;
 				        char a = 'a';
-- 
GitLab