Study Guide

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

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

Step 2: Generate your first ETF Project:

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

>etf -new definitions.txt .