From ab1e64985bde809a60c4e3152ce50eba0d56efba Mon Sep 17 00:00:00 2001
From: Piotr Dyraga <piotr.dyraga@keep.network>
Date: Tue, 30 Nov 2021 12:08:59 +0100
Subject: [PATCH] Disabled slither warnings for try-catch

It looks that slither does not handle Solidity try-catch properly.
Issue reported: https://github.com/crytic/slither/issues/982
---
 solidity/random-beacon/contracts/libraries/DKG.sol | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/solidity/random-beacon/contracts/libraries/DKG.sol b/solidity/random-beacon/contracts/libraries/DKG.sol
index e11567cf59..78070dc0fa 100644
--- a/solidity/random-beacon/contracts/libraries/DKG.sol
+++ b/solidity/random-beacon/contracts/libraries/DKG.sol
@@ -401,8 +401,11 @@ library DKG {
             "result under challenge is different than the submitted one"
         );
 
+        // https://github.com/crytic/slither/issues/982
+        // slither-disable-next-line unused-return
         try
             self.dkgValidator.validate(result, self.seed, self.startBlock)
+        // slither-disable-next-line uninitialized-local,variable-scope
         returns (bool isValid, string memory errorMsg) {
             if (isValid) {
                 revert("unjustified challenge");