 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
• |
Assertions
take the form of logical expressions,
|
|
they
evaluate to either true or false.
|
|
|
• |
Examples
|
|
|
|
– |
Boolean
variable or constant
|
|
|
|
– |
An
expression followed by a relational operator
|
|
|
|
followed
by an expression.
|
|
|
|
– |
A
logical expression followed by a logical operator
|
|
|
|
followed
by a logical expression.
|
|