refactor(DssVestMintable): remove filtered clause from rule

makerdao · Oct 23, 2024 · 09a246d · 09a246d
1 parent 59f4e27
commit 09a246d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/DssVestMintable.spec b/certora/DssVestMintable.spec
@@ -59,7 +59,7 @@ invariant finGreaterOrEqualClf(uint256 _id) fin(_id) >= clf(_id);
 //     init_state axiom rxd(_id) == 0;
 // }
 
-rule rxdLessOrEqualTot(method f) filtered { f -> !f.isFallback } {
+rule rxdLessOrEqualTot(method f) {
     env e;
     uint256 _id;