mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-07 15:22:31 +01:00
5c23b7c968
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2152 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
16 lines
667 B
Plaintext
16 lines
667 B
Plaintext
[[Property:title|Setting the assertion level]]
|
|
[[Property:weight|2]]
|
|
[[Property:uuid|af3a030c-2970-2e07-7bd4-9e9333a8a8c3]]
|
|
To modify the assertion level in a generated binary (executable or library),
|
|
* Open the [[Assertion Options|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 [[Generating executables|recompile]] your project for the changes to take effect.
|
|
|
|
{{seealso|<br/>
|
|
[[ET: Design by Contract (tm), Assertions and Exceptions|Assertions in Eiffel]] }}
|
|
|
|
|
|
|
|
|