Online Eiffel Documentation
EiffelStudio

Managing new metrics

After having defined some new metrics, it is possible to delete the useless ones, or to edit them: