Eiffel
EiffelStudio
Eiffel Testing Framework (ETF)
Eiffel
EiffelStudio
Eiffel Testing Framework (ETF)
This is an old revision of the document!
It's safer to use EiffelStudio to edit project settings than to edit ECF by hand. In this particular case, the XML value corresponding to “Complete” is “all”.
The notion of capabilities was introduced in EiffelStudio 17.01:
The idea is that a library or a project can support different compilation settings, but particular values of the settings should be specified when compiling the library/project. So, in the ECF format
If “support” is not specified, an inherited or a default capability is used. If “use” is not specified, an inherited value is used, or the value defaults to the value of “support”.
A project that uses a library cannot specify “support” value that is not compatible with the corresponding library value. For example, a library compiled with “Transitional” void safety cannot be used in a project with “Complete” void safety. Either the library should be updated to “Complete” void safety or the project should be compiled with “Transitional” void safety.
Similarly, a project that supports “Transitional” void safety (“support”) cannot be compiled with “Complete” void safety (“use”). Either the supported capability should be set to “Complete” void safety, or the project should be compiled with “Transitional” void safety.
(Alexander Kogtenkov)