List the invariants of TokenNetwork contract #203
Description
This issue keeps track of listing the invariants of TokenNetwork contract.
One way to review contracts is to see if all interface functions observe the invariants.
{{ message }}
This issue keeps track of listing the invariants of TokenNetwork contract.
One way to review contracts is to see if all interface functions observe the invariants.