apply clang format

whitemech · Jun 7, 2020 · cae62ab · cae62ab
1 parent a33eb70
commit cae62ab
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/lib/benchmark/src/to_dfa.cpp b/lib/benchmark/src/to_dfa.cpp
@@ -105,9 +105,9 @@ static void BM_translate_sequence_of_stars_of_atoms(benchmark::State &state) {
 // clang-format off
 BENCHMARK(BM_translate_sequence_of_stars_of_atoms)
   ->Arg(5)->Arg(10)->Arg(15)
-//  ->Arg(20)->Arg(25)->Arg(30)
-//  ->Arg(40)->Arg(80)->Arg(100)
-//  ->Arg(200)->Arg(500)->Arg(1000)
+  ->Arg(20)->Arg(25)->Arg(30)
+  ->Arg(40)->Arg(80)->Arg(100)
+  ->Arg(200)->Arg(500)->Arg(1000)
   ->Unit(benchmark::kMillisecond)
   ->Repetitions(5)
   ->DisplayAggregatesOnly(true);
@@ -134,9 +134,9 @@ static void BM_translate_union(benchmark::State &state) {
 // clang-format off
 BENCHMARK(BM_translate_union)
 ->Arg(5)->Arg(10)->Arg(15)
-//->Arg(20)->Arg(25)->Arg(30)
-//->Arg(40)->Arg(80)->Arg(100)
-//->Arg(200)->Arg(500)->Arg(1000)
+->Arg(20)->Arg(25)->Arg(30)
+->Arg(40)->Arg(80)->Arg(100)
+->Arg(200)->Arg(500)->Arg(1000)
 ->Unit(benchmark::kMillisecond)
 ->Repetitions(5)
 ->DisplayAggregatesOnly(true);

diff --git a/lib/src/to_dfa/core.cpp b/lib/src/to_dfa/core.cpp
@@ -25,8 +25,8 @@ namespace whitemech {
 namespace lydia {
 
 std::shared_ptr<dfa> to_dfa(const LDLfFormula &formula, const CUDD::Cudd &mgr) {
-    auto s = NaiveStrategy(mgr);
-//  auto s = SATStrategy(mgr);
+  auto s = NaiveStrategy(mgr);
+  //  auto s = SATStrategy(mgr);
   auto t = Translator(s);
   return t.to_dfa(formula);
 }