From 18f7b4910e94ce37e08f523090303cf0d2cb6c23 Mon Sep 17 00:00:00 2001
From: lucapegolotti <luca.pegolotti@epfl.ch>
Date: Fri, 22 Apr 2016 09:59:23 +0200
Subject: [PATCH] Add test on single producer - single consumer queue

---
 linearizability_tester/main.cc | 4 ++++
 1 file changed, 4 insertions(+)

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 <embb/base/thread.h>
 #include <embb/containers/lock_free_stack.h>
 #include <embb/containers/lock_free_mpmc_queue.h>
+#include <embb/containers/wait_free_spsc_queue.h>
 
 // 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<embb::containers::LockFreeMPMCQueue<char>>();
 
+  std::cout << "Linearizability test on WaitFreeSPSCQueue" << std::endl;
+  embb_experiment_queue<embb::containers::WaitFreeSPSCQueue<char>>();
+
   std::cout << "Linearizability test on LockFreeStack" << std::endl;
   embb_experiment_stack<embb::containers::LockFreeStack<char>>();
   return 0;
--
libgit2 0.26.0