Function: withdraw()

Withdraws all tokens for sender.

Branches and code coverage (including function calls)

Intended branches

• Locked balance is set to zero for msg.sender.

  Test Coverage

• Withdrawn tokens are transferred to msg.sender.

  Test Coverage

• Uses newly checkpointed state.

  Test Coverage

Negative behavior

• Revert if no lock is associated with msg.sender.

  Negative test

• Revert if the lock has not expired.

  Negative test

• Revert if the token transfer fails.

  Negative test