Online Eiffel Documentation
EiffelStudio

Assertion Options

This is where you can configure the assertion level for your project.

Condition dialog

Each precondition setting can be changed independently from each other.