| Online Eiffel Documentation

EiffelStudio

# Setting the assertion level

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

- Open the Project Settings dialog.
- In the Target, Assertionssection, select the assertions you want to check (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