Commit History

Autor SHA1 Mensaxe Data
  Michael George 46cb74f3cf held tokens should exist passing %!s(int64=3) %!d(string=hai) anos
  Thomas Adams 0deaee1217 Added unfinished invariant regarding user token sums and totalSupply %!s(int64=3) %!d(string=hai) anos
  Michael George 2fc3a5d4b8 implemented independence rule %!s(int64=3) %!d(string=hai) anos
  Michael George da0fdc1aa0 harness setup for ERC1155Supply %!s(int64=3) %!d(string=hai) anos