Eiffel Compcheck is a set of scripts for examining the validity of Eiffel compositions.
It is available on GitHub: https://github.com/Ericsson/eiffel-compcheck
Eiffel Compcheck is a set of scripts for examining the validity of Eiffel compositions.
It is available on GitHub: https://github.com/Ericsson/eiffel-compcheck