fix: certotra syntax

aave · Nov 4, 2024 · 93b0f93 · 93b0f93
1 parent 4cbf33a
commit 93b0f93
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/certora/specs/ccip.spec b/certora/specs/ccip.spec
@@ -85,7 +85,7 @@ rule only_lockOrBurn_can_increase_currentBridged(env e) {
 
   assert 
     curr_bridge_after > curr_bridge_before =>
-    f.selector==sig:lockOrBurn((bytes calldata,uint64,address,uint256,address)).selector;
+    f.selector==sig:lockOrBurn(Pool.LockOrBurnInV1).selector;
 }
 
 
@@ -102,7 +102,7 @@ rule only_releaseOrMint_can_decrease_currentBridged(env e) {
 
   assert 
     curr_bridge_after < curr_bridge_before =>
-    f.selector==sig:releaseOrMint((bytes calldata,uint64,address,uint256,address,bytes calldata,bytes calldata,bytes calldata)).selector;
+    f.selector==sig:releaseOrMint(Pool.ReleaseOrMintInV1).selector;
 }