typo cdsspec-bench
authorPeizhao Ou <peizhaoo@uci.edu>
Fri, 9 Dec 2016 19:48:14 +0000 (11:48 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Fri, 9 Dec 2016 19:48:14 +0000 (11:48 -0800)
ms-queue/queue.c

index 20de1289db00f019efc9eb9f6e8ce6ab535f3506..b868d2e57b5d4d6fbebc9ab504afcf716f69eec3 100644 (file)
@@ -172,7 +172,7 @@ void enqueue(queue_t *q, unsigned int val, int n)
     // "memory_order_release" to "memory_order_relaxed", run "make" to
     // recompile, and then run:
     // "./run.sh ./ms-queue/testcase1 -m2 -y -u3 -tSPEC"
     // "memory_order_release" to "memory_order_relaxed", run "make" to
     // recompile, and then run:
     // "./run.sh ./ms-queue/testcase1 -m2 -y -u3 -tSPEC"
-       /**********    Detected Corrctness (testcase1) **********/
+       /**********    Detected Correctness (testcase1) **********/
        atomic_compare_exchange_strong_explicit(&q->tail,
                        &tail,
                        MAKE_POINTER(node, get_count(tail) + 1),
        atomic_compare_exchange_strong_explicit(&q->tail,
                        &tail,
                        MAKE_POINTER(node, get_count(tail) + 1),