SpecRunner.getTotalSpecsNum()