getOwner harness

safe-global · May 16, 2023 · b41b02a · b41b02a
1 parent c8932d4
commit b41b02a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/certora/harnesses/SafeHarness.sol b/certora/harnesses/SafeHarness.sol
@@ -19,4 +19,8 @@ contract SafeHarness is Safe {
     function getModule(address module) public view returns (address) {
         return modules[module];
     }
+
+    function getOwner(address owner) public view returns (address) {
+        return owners[owner];
+    }
 }