add test of ResultCounter#tests