Skip to content

Verify transfer lib more thoroughly #342

@QGarchery

Description

@QGarchery

I also wonder if we want some small unit tests, like:

  • safeTransfer and safeTransferFrom revert if balance not enough.
  • safeTransferFrom reverts if not authorized.
  • safeTransfer does not revert if balance is enough.

Originally posted by @jhoenicke in #321 (review)

Metadata

Metadata

Assignees

Labels

verifModifies the formal verification

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions