estudio17.05 does not create a void-safe project by default (later versions may do so). Instead of using the Settings in the IDE, you may use a script eiffel-new to create a Void safe project that will include ESpec unit testing and Mathmodels libraries.

The script queries what name you would like for your project (e.g. calendar):

red> eiffel-new 
New Eiffel void-safe project name: calendar
red> ls
calendar

The new project is in the folder calendar.

estudio17.05 calendar/calendar.ecf&

Alternatively, you may download the following zip file:

Eiffel 17.05 Void Safe Starter Project

If you unzip it you will see

starter17.05/
├── eiffel-new
└── project
    ├── model
    ├── project.ecf
    ├── root
    │   └── root.e
    └── tests
        └── tests.e

eiffel-new is a python3 script (make sure it is executable) that will change the name project to one of your choice (say calendar).

> ./eiffel-new 
New Eiffel void-safe project name: calendar

Assuming python3 is installed on your system, the new name of the project will be calendar.

calendar
├── calendar.ecf
├── model
├── root
│   └── root.e
└── tests
    └── tests.e

You may obtain the Mathmodels library by logging in as anonymous at: