mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-08 15:52:26 +01:00
2ee31ab9c7
Date:2008-09-17T13:53:28.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@3 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
15 lines
580 B
Plaintext
15 lines
580 B
Plaintext
[[Property:title|Setting the assertion level]]
|
|
[[Property:weight|2]]
|
|
To modify the assertion level in a generated binary (executable or library),
|
|
* Open the [[Assertion Options|Project Settings]] dialog.
|
|
* In the '''Target, Assertions'''section, select the assertions you want to check (among require, ensure, check, loop and class invariant).
|
|
* Click '''OK'''.
|
|
* You must [[Generating executables|recompile]] your project for the changes to take effect.
|
|
|
|
{{seealso| '''See Also''' <br/>
|
|
[[8 Design by Contract (tm), Assertions and Exceptions|Assertions in Eiffel]] }}
|
|
|
|
|
|
|
|
|