diff --git a/linearizability_tester/main.cc b/linearizability_tester/main.cc index b513493..e7d8ec1 100644 --- a/linearizability_tester/main.cc +++ b/linearizability_tester/main.cc @@ -15,6 +15,7 @@ #include #include #include +#include // Each thread executes quasi randomly operations (TryEqneueu, TryDequeue) // on the concurrent data structure and construct the history. @@ -202,6 +203,9 @@ int main() std::cout << "Linearizability test on LockFreeMPMCQueue" << std::endl; embb_experiment_queue>(); + std::cout << "Linearizability test on WaitFreeSPSCQueue" << std::endl; + embb_experiment_queue>(); + std::cout << "Linearizability test on LockFreeStack" << std::endl; embb_experiment_stack>(); return 0;