Update gelato_unprotected_randomness.sol

crytic · Oct 10, 2024 · 9ce8302 · 9ce8302
1 parent 138b626
commit 9ce8302
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...etectors/test_data/gelato-unprotected-randomness/0.8.20/gelato_unprotected_randomness.sol b/...etectors/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));
     }
 
-}
+}