From 9ce83021d7beb3b5f31c0e989759c12ca0d8d7ab Mon Sep 17 00:00:00 2001
From: Josselin Feist <josselin@trailofbits.com>
Date: Thu, 10 Oct 2024 11:48:21 +0200
Subject: [PATCH] Update gelato_unprotected_randomness.sol

---
 .../0.8.20/gelato_unprotected_randomness.sol                   | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/e2e/detectors/test_data/gelato-unprotected-randomness/0.8.20/gelato_unprotected_randomness.sol b/tests/e2e/detectors/test_data/gelato-unprotected-randomness/0.8.20/gelato_unprotected_randomness.sol
index 1a173f7d4..108859e9e 100644
--- a/tests/e2e/detectors/test_data/gelato-unprotected-randomness/0.8.20/gelato_unprotected_randomness.sol
+++ b/tests/e2e/detectors/test_data/gelato-unprotected-randomness/0.8.20/gelato_unprotected_randomness.sol
@@ -48,6 +48,7 @@ contract C is GelatoVRFConsumerBase {
         uint id = _requestRandomness(abi.encode(msg.sender));
     }
 
+    // This is currently a FP due to the limitation of function.is_protected
     function good2() public {
         require(authorized[msg.sender]);
         uint id = _requestRandomness(abi.encode(msg.sender));
@@ -58,4 +59,4 @@ contract C is GelatoVRFConsumerBase {
         uint id = _requestRandomness(abi.encode(msg.sender));
     }
 
-}
\ No newline at end of file
+}