fix: updated echidna test

ssvlabs · Mar 18, 2024 · 8e632ba · 8e632ba
1 parent 8dfb5d7
commit 8e632ba
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 21 deletions.
diff --git a/.echidna.test.js b/.echidna.test.js
@@ -8,7 +8,7 @@ async function getBrewPrefixPath() {
     console.log(`Homebrew prefix path: ${stdout.trim()}`);
     fuzzTestByEchidna(stdout.trim());
   } catch (error) {
-    console.error(`Error: ${error}`);
+    console.error(`Please install brew and echidna.`);
   }
 }
 

diff --git a/contracts/echidna/Clusters.sol b/contracts/echidna/Clusters.sol
@@ -94,26 +94,26 @@ contract Clusters is SSVClusters {
         }
     }
 
-    // function check_bulkRegisterValidator(uint256 amount) public {
-    //     bytes[] memory publicKey = new bytes[](4);
-    //     bytes[] memory sharesData = new bytes[](4);
-    //     for (uint256 i; i < publicKey.length; i++) {
-    //         publicKey[i] = EchidnaLib.generatePublicKey(sault++);
-    //     }
-    //     Cluster memory cluster;
-    //     cluster.active = true;
-
-    //     uint256 minLiquidationCollateral = SSVStorageProtocol.load().minimumLiquidationCollateral.expand();
-    //     require(amount > minLiquidationCollateral, "InsufficientBalance");
-
-    //     try this.bulkRegisterValidator(publicKey, opIds, sharesData, amount, cluster) {
-    //         for (uint256 i; i < publicKey.length; i++) {
-    //             publicKeys.push(publicKey[i]);
-    //         }
-    //     } catch {
-    //         assert(false);
-    //     }
-    // }
+    function check_bulkRegisterValidator(uint256 amount) public {
+        bytes[] memory publicKey = new bytes[](4);
+        bytes[] memory sharesData = new bytes[](4);
+        for (uint256 i; i < publicKey.length; i++) {
+            publicKey[i] = EchidnaLib.generatePublicKey(sault++);
+        }
+        Cluster memory cluster;
+        cluster.active = true;
+
+        uint256 minLiquidationCollateral = SSVStorageProtocol.load().minimumLiquidationCollateral.expand();
+        require(amount > minLiquidationCollateral, "InsufficientBalance");
+
+        try this.bulkRegisterValidator(publicKey, opIds, sharesData, amount, cluster) {
+            for (uint256 i; i < publicKey.length; i++) {
+                publicKeys.push(publicKey[i]);
+            }
+        } catch {
+            assert(false);
+        }
+    }
 
     function check_validRegisteredOperators() public {
         assert(opIds.length == MAX_OPERATORS_LENGTH);