refactor: removed outdated disclaimer comment

makerdao · Oct 22, 2024 · 845da0a · 845da0a
1 parent e6aa067
commit 845da0a
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 3 deletions.
diff --git a/certora/DssVestMintable.spec b/certora/DssVestMintable.spec
@@ -76,7 +76,6 @@ rule rxdLessOrEqualTot(method f) filtered { f -> !f.isFallback } {
 }
 
 // Verify fallback always reverts
-// Important as we are filtering it out from invariants and some rules
 rule fallback_revert(method f) {
     env e;
 

diff --git a/certora/DssVestSuckable.spec b/certora/DssVestSuckable.spec
@@ -89,7 +89,6 @@ rule rxdLessOrEqualTot(method f)  {
 }
 
 // Verify fallback always reverts
-// Important as we are filtering it out from invariants and some rules
 rule fallback_revert(method f) {
     env e;
 

diff --git a/certora/DssVestTransferrable.spec b/certora/DssVestTransferrable.spec
@@ -75,7 +75,6 @@ rule rxdLessOrEqualTot(method f)  {
 }
 
 // Verify fallback always reverts
-// Important as we are filtering it out from invariants and some rules
 rule fallback_revert(method f) {
     env e;
-Original file line number
+Diff line change
@@ Expand Up @@
     }
     // Verify fallback always reverts
-    // Important as we are filtering it out from invariants and some rules
     rule fallback_revert(method f) {
         env e;
@@ Expand Down @@