clean up

[model-checker-benchmarks.git] / spsc-bugfix / spsc-queue.cc

diff --git a/spsc-bugfix/spsc-queue.cc b/spsc-bugfix/spsc-queue.cc
index f8528a862acd8f5097ebb3d781e73e8eb7955864..ada08ecf846ffae27ab70896a46c598c5ae4d88b 100644 (file)
--- a/spsc-bugfix/spsc-queue.cc
+++ b/spsc-bugfix/spsc-queue.cc
@@ -6,6 +6,7 @@ spsc_queue<int> *q;
 
        void thread(unsigned thread_index)
        {
+               for (int i = 0; i < 40; i++) {
                if (0 == thread_index)
                {
                        q->enqueue(11);
@@ -15,6 +16,7 @@ spsc_queue<int> *q;
                        int d = q->dequeue();
                        RL_ASSERT(11 == d);
                }
+               }
        }
 
 int user_main(int argc, char **argv)