diff --git a/wellcoordination/src/band-main-crdt.cpp b/wellcoordination/src/band-main-crdt.cpp index cba9078..04c5191 100644 --- 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* 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; -} \ No newline at end of file +}