public int outputSequenceCount(){
  return outRegressionSeqs.size() + outErrorSeqs.size();
}

public int outputSequenceCount ( ) { return outRegressionSeqs . size ( ) + outErrorSeqs . size ( ) ; }
returns the total number of test sequences generated to output , including both regression tests and error - revealing tests .
