@Override public void evosuite_flushStatisticsForClassChange(String clientRmiIdentifier) throws RemoteException { SearchStatistics.getInstance(clientRmiIdentifier).writeStatisticsForAnalysis(); }
LoggingUtils.getEvoLogger().info("* Writing statistics"); SearchStatistics.getInstance().writeStatisticsForAnalysis();