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

af3a030c-2970-2e07-7bd4-9e9333a8a8c3