From 7cd1522be339818c6a17fc4cf1d86ad3d5876f78 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Wed, 13 Dec 2017 09:15:08 +0000 Subject: [PATCH] Update wikipage I2E: Design by Contract and Assertions. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1936 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../i2e-design-contract-and-assertions.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/17.05/eiffel/Tutorials/invitation-eiffel-i2e/i2e-design-contract-and-assertions.wiki b/documentation/17.05/eiffel/Tutorials/invitation-eiffel-i2e/i2e-design-contract-and-assertions.wiki index 9a8e9208..53f3af4a 100644 --- a/documentation/17.05/eiffel/Tutorials/invitation-eiffel-i2e/i2e-design-contract-and-assertions.wiki +++ b/documentation/17.05/eiffel/Tutorials/invitation-eiffel-i2e/i2e-design-contract-and-assertions.wiki @@ -143,7 +143,7 @@ Under EiffelStudio you may also set up compilation options, for the whole system This ability to check assertions provides a powerful testing and debugging mechanism, in particular because the classes of the EiffelBase Libraries, widely used in Eiffel software development, are protected by carefully written assertions. -Run-time monitoring, however, is only one application of assertions, whose role as design and documentation aids, as part of theory of Design by Contract™, exerts a pervasive influence on the Eiffel style of software development. +Run-time monitoring, however, is only one application of assertions, whose role as design and documentation aids, as part of the theory of Design by Contract™, exerts a pervasive influence on the Eiffel style of software development.