GitBross Inicio Explorar Axuda
Rexistro Iniciar sesión
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Rama: audit/2023-03
Ramas Etiquetas
openzeppelin-co...
/
certora
/
specs
/
methods
/
IOwnable.spec

IOwnable.spec 105 B
Permalink Histórico Raw

12345 
  1. methods {
    2. 

  2.     owner() returns (address) envfree
    3. 

  3.     transferOwnership(address)
    4. 

  4.     renounceOwnership()
    5. 

  5. }
    6.