check

• ET: Instructions
  Tags:
  • check
  • debug
  • loop
  • conditional
  • iteration
  • multi-branch
• Setting the assertion level
  Tags:
  • assertion
  • check
  • invariant
  • dbc