Have you tried to specify ANY as root class?

Otherwise the base_testing library is just for EiffelBase, a collection of helper classes that makes it easy to test EiffelBase and other libraries. What matters is the inclusion of the testing library.