mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 23:32:42 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update wikipage Eiffel compatibility options. (Signed-off-by:alexk).

Browse Source 
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1545 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2016-04-06 13:20:55 +00:00
parent cdcccfc9a9
commit 0dd79ca928
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/command-line/Eiffel-compatibility-options.wiki
View File

@@ -81,7 +81,7 @@ The table below shows project settings that, depending upon their values, can af
|-
| Transitional
| Checking against all void-safety validity rules using some potentially unsafe CAPs, assuming that all assertions are satisfied, and ignoring some complex cases like passing incompletely initialized Current from a creation procedure or creating agents when Current is not completely initialized.
| [[Release Notes for EiffelStudio 13.11| 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]]
| [[Release notes for EiffelStudio 13.11 | 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]]
|-
| Complete
| Complete checking against all void-safety validity rules ignoring any unsafe CAPs.