projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
98c3f7e
)
fix commit that mistakenly happened
master
author
bdemsky
<bdemsky@uci.edu>
Thu, 17 Dec 2015 09:17:51 +0000
(
01:17
-0800)
committer
bdemsky
<bdemsky@uci.edu>
Thu, 17 Dec 2015 09:17:51 +0000
(
01:17
-0800)
spsc-bugfix/spsc-queue.cc
patch
|
blob
|
history
diff --git
a/spsc-bugfix/spsc-queue.cc
b/spsc-bugfix/spsc-queue.cc
index ada08ecf846ffae27ab70896a46c598c5ae4d88b..f8528a862acd8f5097ebb3d781e73e8eb7955864 100644
(file)
--- a/
spsc-bugfix/spsc-queue.cc
+++ b/
spsc-bugfix/spsc-queue.cc
@@
-6,7
+6,6
@@
spsc_queue<int> *q;
void thread(unsigned thread_index)
{
- for (int i = 0; i < 40; i++) {
if (0 == thread_index)
{
q->enqueue(11);
@@
-16,7
+15,6
@@
spsc_queue<int> *q;
int d = q->dequeue();
RL_ASSERT(11 == d);
}
- }
}
int user_main(int argc, char **argv)