chore(ci): update certora cli to latest version

This commit updates the certora CLI to the latest version (7.10.1) in CI tasks.
status-im · Jan 13, 2025 · c661b9e · c661b9e
1 parent aacd7fd
commit c661b9e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -135,7 +135,7 @@ jobs:
         with: { java-version: "11", java-package: jre }
 
       - name: Install Certora CLI
-        run: pip3 install certora-cli==7.0.7
+        run: pip3 install certora-cli==7.22.2
 
       - name: Install Solidity
         run: |

diff --git a/certora/specs/CommunityTokenDeployer.spec b/certora/specs/CommunityTokenDeployer.spec
@@ -9,9 +9,6 @@ methods {
 
   function CommunityOwnerTokenRegistry.getEntry(address) external returns (address) envfree;
   function CommunityOwnerTokenRegistry.tokenDeployer() external returns (address) envfree;
-
-
-  function _.balanceOf(address _owner) external => DISPATCHER(true);
 }
 
 rule integrityOfDeploy {