From ddc9f7270b270dc12237f553bceae4a237490c7a Mon Sep 17 00:00:00 2001
From: Mathieu Soysal <43273304+MathieuSoysal@users.noreply.github.com>
Date: Tue, 5 Mar 2024 16:35:09 +0000
Subject: [PATCH] fix(prusti): Add #[trusted] attribute to play_game functions

---
 src/lib.rs  | 1 +
 src/main.rs | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index e8c4957..62c90e2 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -5,6 +5,7 @@ use prusti_contracts::*;
 
 const MAX_FIBONACCI: u32 = 2_971_215_073;
 
+#[trusted]
 pub fn play_game(n: u32) {
     println!("{}", fizz_buzz_fibonacci(n));
 }
diff --git a/src/main.rs b/src/main.rs
index 9804836..20ec39e 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,8 +1,11 @@
 #![feature(test)]
 extern crate test;
 
+use prusti_contracts::*;
+
 use template_exercisme::play_game;
 
+#[trusted]
 fn main() {
     let args: Vec<String> = std::env::args().collect();
     let i = args