Mastering Blockchain Programming with Solidity

Using assert(), require(), and revert() properly

In Solidity, three functions are provided by the language to check for the invariant, validations, and to fail the transaction. These functions are as follows:

• assert(): The assert() function should be used when you want to check for invariants in the code. When any invariant is incorrect, the code execution stops, transaction fails, and contract state changes are reverted. This function should only be used for invariant checking. It should not be used for input validation or pre-condition checking.
• require(): The require() function should be used when you want to validate the arguments provided to the function. It is also used to check for the valid conditions and variable values to be in ...