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: 02/05/2023 7:57:05.000 AM