EclEmma @100% for tests