An assertion is a statement, which aborts a program when it evaluates to false. Assert is typically used for debugging and situations which should never happen.