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.
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.