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.