Remove unnecessary lines

makerdao · Nov 17, 2023 · 51e9f60 · 51e9f60
1 parent 1c4538b
commit 51e9f60
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/certora/funnels/automation/StableSwapper.spec b/certora/funnels/automation/StableSwapper.spec
@@ -151,8 +151,6 @@ rule kiss_revert(address usr) {
     bool revert1 = e.msg.value > 0;
     bool revert2 = wardsSender != 1;
 
-    assert revert1 => lastReverted, "revert1 failed";
-    assert revert2 => lastReverted, "revert2 failed";
     assert lastReverted <=> revert1 || revert2, "Revert rules failed";
 }
 

diff --git a/certora/funnels/automation/VaultMinter.spec b/certora/funnels/automation/VaultMinter.spec
@@ -285,7 +285,6 @@ rule wipe() {
     mathint numBefore; mathint lot;
     numBefore, a, b, lot = config();
 
-    mathint wipeAmountBefore = wipeAmount;
     mathint wipeCounterBefore = wipeCounter;
 
     wipe(e);