I followed your steps using the EiffelBase testing configuration file on Windows and it worked. I tried on Mac OS X (which is the same as Linux) and it worked to. Could you try to repeat the same steps by compiling the project in $ISE_LIBRARY/library/base/testing/testing-safe.ecf? To verify the issue is not related to the configuration.