Nothing of interest here, just a minimal example of Liberty Eiffel's eiffeltest utility for troubleshooting purposes.

$ se test . to run the "test suite".