From 6f14c1f28b4e2caed94138b369af2c0cc8911eb8 Mon Sep 17 00:00:00 2001
From: patrick <patrick@e2li.org>
Date: Wed, 21 Dec 2022 18:47:42 +0100
Subject: [PATCH] Version 0.21

---
 annexe/exA_1.rs | 5 +++++
 annexe/exA_2.rs | 5 +++++
 2 files changed, 10 insertions(+)
 create mode 100644 annexe/exA_1.rs
 create mode 100644 annexe/exA_2.rs

diff --git a/annexe/exA_1.rs b/annexe/exA_1.rs
new file mode 100644
index 0000000..952045d
--- /dev/null
+++ b/annexe/exA_1.rs
@@ -0,0 +1,5 @@
+fn main() {   
+let check : bool = true ; // suppose que c'est vrai
+	assert ! (check == true) ; // vérifier l'erreur
+	println ! ("{}", check) ;
+}
diff --git a/annexe/exA_2.rs b/annexe/exA_2.rs
new file mode 100644
index 0000000..26e986a
--- /dev/null
+++ b/annexe/exA_2.rs
@@ -0,0 +1,5 @@
+fn main() {   
+let check : bool = false ; // suppose que c'est faux
+assert ! (check == true) ; // vérifier l'erreur
+print ! ("{}", check) ;
+}