Study Guide

Step 1: Install the ETF (Eiffel Testing Framework) Generator:

1. Create a new directory ETF somewhere in your file system.
2. Download the MATHMODELS library
3. Unzip the downloaded file mathmodels.zip into ETF.
4. Create a new environment variable MATHMODELS, and let it point to ETF/mathmodels.
5. Download the executable of ETF Generator from here (choose according to your operating system) into ETF/exe
6. Rename the downloaded executable to etf.
7. Add the directory path ETF/exe into your system path.

Step 2: Generate and Compile your first ETF Project:

1. Create a new directory etf_bank somewhere in your file system.
2. Download the following 3 files from here into etf_bank:
   • definitions.txt
   • input.txt
   • input_bad.txt
3. Change the current directory into etf_bank, run the following command:

  >etf -new definitions.txt .

1. This should generate a list of file in the etf_bank directory.

1. Run the following command to compile the generated project:

>ec15.01 -c_compile -finalize -config etf_bank.ecf