@Override
public String toString() {
return mBenchmarkData.toString();
}
@Override
public ICsvProvider<Object> createCvsProvider() {
return mBenchmarkData.createCvsProvider();
}
public BuchiAutomizerTimingBenchmark(BuchiCegarLoopBenchmarkGenerator benchGen) {
mBenchmarkData = new StatisticsData();
mBenchmarkData.aggregateBenchmarkData(benchGen);
}