Assertions

• Assert (x != 0)

• a simple macro similar to an if statement

• useful in development, debugging, and testing

• read as "abort if condition not met"

Notes: