Nothing of interest here, just a minimal example of Liberty Eiffel's eiffeltest utility for troubleshooting purposes.
$ se test .
to run the "test suite".
Nothing of interest here, just a minimal example of Liberty Eiffel's eiffeltest utility for troubleshooting purposes.
$ se test .
to run the "test suite".