Exemplo n.º 1
0
 public BuchiAutomizerTimingBenchmark(BuchiCegarLoopBenchmarkGenerator benchGen) {
   mBenchmarkData = new StatisticsData();
   mBenchmarkData.aggregateBenchmarkData(benchGen);
 }