mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-08 15:52:26 +01:00
6d56e7eae2
Date:2010-01-11T17:56:21.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@389 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
16 lines
621 B
Plaintext
16 lines
621 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, 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|<br/>
|
|
[[ET: Design by Contract (tm), Assertions and Exceptions|Assertions in Eiffel]] }}
|
|
|
|
|
|
|
|
|