Update band-main-crdt.cpp

fhoushmand · Feb 25, 2024 · 934f877 · 934f877
1 parent 110003d
commit 934f877
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/wellcoordination/src/band-main-crdt.cpp b/wellcoordination/src/band-main-crdt.cpp
@@ -16,6 +16,7 @@
 #include "../benchmark/orset-crdt.hpp"
 #include "../benchmark/register-crdt.hpp"
 #include "../benchmark/shop-crdt.hpp"
+#include "../benchmark/twopset-crdt.hpp"
 
 int main(int argc, char* argv[]) {
   if (argc < 2) {
@@ -70,6 +71,9 @@ int main(int argc, char* argv[]) {
   else if(usecase == "shop") {
     object = new Shop();
   }
+  else if(usecase == "twopset") {
+    object = new TWOPSet();
+  }
   object->setID(id)->setNumProcess(nr_procs)->finalize();
 
   std::unordered_map<std::string, uint64_t>* response_times =
@@ -209,4 +213,4 @@ int main(int argc, char* argv[]) {
   object->toString();
   std::this_thread::sleep_for(std::chrono::seconds(60));
   return 0;
-}
+}