5.4.2.23 Assert Statement

An <assert-statement> suspends execution if <boolean-expression> is evaluated to False.

 assert-statement = "Debug" "." "Assert" boolean-expression

Runtime Semantics.

  • All of <boolean-expression> is always evaluated. For example, even if the first part of an And expression evaluates False, the entire expression is evaluated.