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