Minor change + comment

makerdao · Oct 11, 2024 · 994e68b · 994e68b
1 parent 48e7a8e
commit 994e68b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/certora/VoteDelegate.spec b/certora/VoteDelegate.spec
@@ -34,7 +34,7 @@ methods {
 }
 
 // Verify that each storage layout is only modified in the corresponding functions
-rule storageAffected(method f) filtered { f -> !f.isView } {
+rule storageAffected(method f) {
     env e;
 
     address anyAddr;
@@ -223,6 +223,7 @@ rule voteYays(address[] yays) {
 rule voteYays_revert(address[] yays) {
     env e;
 
+    // Temporary workaround until tool fixes this issue:
     require(forall uint256 i. (
         i >= yays.length || to_mathint(yays[i]) < 2^160
     ));