From dd4a4a1749ed993f2ccc3e4bdec9ab2abdfcbc83 Mon Sep 17 00:00:00 2001
From: nisnislevi <nissan@certora.com>
Date: Thu, 16 Nov 2023 12:54:50 +0200
Subject: [PATCH] update report

---
 security/certora/tests/REPORT-power-strategy.txt | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/security/certora/tests/REPORT-power-strategy.txt b/security/certora/tests/REPORT-power-strategy.txt
index a3fbac5..a983343 100644
--- a/security/certora/tests/REPORT-power-strategy.txt
+++ b/security/certora/tests/REPORT-power-strategy.txt
@@ -10,7 +10,7 @@ Questions:
 
 Mutations:
 ---------
-1.  UNDETECTED (one rule got Time-Out)
+1.  UNDETECTED VVV
 Changed file: BaseVotingStrategy.sol ==> BaseVotingStrategy-1.sol
 The change: BaseVotingStrategy.sol:76:
    orig:
@@ -45,7 +45,6 @@ The change: GovernancePowerStrategy.sol::25:
    mutant:
         "IGovernancePowerDelegationToken.GovernancePowerType.PROPOSITION"
 
-Found by: powerlessCompliance
 
 
 4. UNDETECTED VVV
@@ -73,7 +72,11 @@ Suggestion for rule that can catch it:
 - Same as in #4.
 
 
-6. DETECTED by invalidTokenRefused
+6. DETECTED
+By:
+certora-review-mainnet.yml::verifyVotingStrategy_unittests.conf
+certora-review-mainnet.yml::verifyGovernancePowerStrategy.conf
+
 Changed file: BaseVotingStrategy.sol ==> BaseVotingStrategy-6.sol
 The Change: BaseVotingStrategy.sol::94:
     orig: