Both unit tests and manual verification.
Both unit tests and manual verification.