Online Eiffel Documentation
EiffelStudio

Setting the assertion level

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

See Also
Assertions in Eiffel