From 44303d73a10720e4678304f6baf3e003affddd7e Mon Sep 17 00:00:00 2001 From: halw Date: Mon, 30 Apr 2012 13:21:16 +0000 Subject: [PATCH] Added UpdateNeeded template. Author:halw Date:2012-04-30T13:21:16.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1086 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../using-autotest/using-extracted-tests.wiki | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/documentation/current/eiffelstudio/eiffelstudio-guided-tour/using-autotest/using-extracted-tests.wiki b/documentation/current/eiffelstudio/eiffelstudio-guided-tour/using-autotest/using-extracted-tests.wiki index 7aafb1f9..88405f3d 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-guided-tour/using-autotest/using-extracted-tests.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-guided-tour/using-autotest/using-extracted-tests.wiki @@ -12,6 +12,10 @@ Extracted tests are intended to supplement the suite of manual tests that you ha ==Creating an extracted test== + +{{UpdateNeeded}} + + Let's use the same test system we used for manual tests to demonstrate the creation of an extracted test. The example will be slightly contrived because it will find a problem that certainly we would already have discovered had we written a comprehensive set of manual tests against the BANK_ACCOUNT class. Still, the simplicity should help keep things clear. If you remember, the root class for the example application contained no instructions, just a root procedure with no instructions and a declaration my_account of type BANK_ACCOUNT: