fix: moved the testing contracts

ssvlabs · Feb 12, 2024 · ee2b891 · ee2b891
1 parent 547f4a7
commit ee2b891
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 7 deletions.
diff --git a/.echidna.test.js b/.echidna.test.js
@@ -12,13 +12,13 @@ const echidnaPath = '/usr/local/bin/echidna';
 console.log(echidnaPath);
 switch (contract) {
   case 'Operators':
-    exec(echidnaPath + ' --config echidna.yaml --contract Operators contracts/modules/Operators.sol');
+    exec(echidnaPath + ' --config echidna.yaml --contract Operators contracts/echidna/Operators.sol');
     break;
   case 'Clusters':
-    exec(echidnaPath + ' --config echidna.yaml --contract Clusters contracts/modules/Clusters.sol');
+    exec(echidnaPath + ' --config echidna.yaml --contract Clusters contracts/echidna/Clusters.sol');
     break;
   case 'DAO':
-    exec(echidnaPath + ' --config echidna.yaml --contract DAO contracts/modules/DAO.sol');
+    exec(echidnaPath + ' --config echidna.yaml --contract DAO contracts/echidna/DAO.sol');
     break;
   default:
     console.log(chalk.redBright('Invalid contract name. Use Operators, Clusters, or DAO.'));

diff --git a/contracts/modules/Clusters.sol → contracts/echidna/Clusters.sol b/contracts/modules/Clusters.sol → contracts/echidna/Clusters.sol
@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: GPL-3.0-or-later
 pragma solidity 0.8.18;
 
-import "./SSVClusters.sol";
+import "../modules/SSVClusters.sol";
 import "../libraries/ClusterLib.sol";
 
 contract Clusters is SSVClusters {

diff --git a/contracts/modules/DAO.sol → contracts/echidna/DAO.sol b/contracts/modules/DAO.sol → contracts/echidna/DAO.sol
@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: GPL-3.0-or-later
 pragma solidity 0.8.18;
 
-import "./SSVDAO.sol";
+import "../modules/SSVDAO.sol";
 
 contract DAO is SSVDAO {
     constructor() {

diff --git a/contracts/modules/Operators.sol → contracts/echidna/Operators.sol b/contracts/modules/Operators.sol → contracts/echidna/Operators.sol
@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: GPL-3.0-or-later
 pragma solidity 0.8.18;
 
-import "./SSVOperators.sol";
+import "../modules/SSVOperators.sol";
 import "../libraries/ProtocolLib.sol";
 
 contract Operators is SSVOperators {

diff --git a/crytic-export/combined_solc.json b/crytic-export/combined_solc.json