Implementation

[Kieldro]

• use assert to check:
  • preconditions
  • postconditions
  • arguement validity
  • return-value validity
  • invariants

[Kieldro]

assert boolExpression [, expression]