Setting the assertion level

To modify the assertion level in a generated binary (executable or library),

  • Open the Project Settings dialog.
  • In the Target --> Assertions section, set a value of "True" for the assertion types you want to have checked at runtime (among require, ensure, check, loop and class invariant).
  • Click OK.
  • You must recompile your project for the changes to take effect.

See Also:
Assertions in Eiffel

cached: 03/19/2024 12:34:26.000 AM