Add AccessControlDefaultAdminRules FV (#4180)

Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> Co-authored-by: Francisco <fg@frang.io>
2023-05-05 21:27:43 +02:00
parent 8b2ed0f570
commit dcba9f995f
6 changed files with 603 additions and 8 deletions
--- a/certora/specs.json
+++ b/certora/specs.json
@ -9,6 +9,11 @@
    "contract": "AccessControlHarness",
    "files": ["certora/harnesses/AccessControlHarness.sol"]
  },
+  {
+    "spec": "AccessControlDefaultAdminRules",
+    "contract": "AccessControlDefaultAdminRulesHarness",
+    "files": ["certora/harnesses/AccessControlDefaultAdminRulesHarness.sol"]
+  },
  {
    "spec": "DoubleEndedQueue",
    "contract": "DoubleEndedQueueHarness",