GitBross Inicio Explorar Axuda
Rexistro Iniciar sesión
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Árbore: 669a22e0ff
Ramas Etiquetas
openzeppelin-co...
/
certora
/
harnesses
/
ERC1155
Thomas Adams 7a2b502b9c Added harness for ERC1155Burnable %!s(int64=3) %!d(string=hai) anos
..
ERC1155BurnableHarness.sol 7a2b502b9c Added harness for ERC1155Burnable %!s(int64=3) %!d(string=hai) anos
ERC1155PausableHarness.sol aafb14461b made the spec run %!s(int64=3) %!d(string=hai) anos
ERC1155SupplyHarness.sol 46cb74f3cf held tokens should exist passing %!s(int64=3) %!d(string=hai) anos