X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=spsc-bugfix%2Fspsc-queue.cc;fp=spsc-bugfix%2Fspsc-queue.cc;h=ada08ecf846ffae27ab70896a46c598c5ae4d88b;hp=f8528a862acd8f5097ebb3d781e73e8eb7955864;hb=430eca5dcc20bfc89edac5c134d1c8af7a9614bc;hpb=e326d381460902d927b8862149ce5382f8509bbd

diff --git a/spsc-bugfix/spsc-queue.cc b/spsc-bugfix/spsc-queue.cc
index f8528a8..ada08ec 100644
--- 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)