clean code

[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / deque.h

diff --git a/benchmark/chase-lev-deque-bugfix/deque.h b/benchmark/chase-lev-deque-bugfix/deque.h
index 9292e16c997dc8d539f9142d82e721ac8a4b8f23..4d1f34eb19e376e9b51588bdf3da4e03ccf25ebb 100644 (file)
--- a/benchmark/chase-lev-deque-bugfix/deque.h
+++ b/benchmark/chase-lev-deque-bugfix/deque.h
@@ -21,6 +21,7 @@ typedef struct {
 #define EMPTY 0xffffffff
 #define ABORT 0xfffffffe
 
+inline bool fail(int ret);
 /**
     @Begin
     @Options:
@@ -42,7 +43,7 @@ typedef struct {
         Push -> Steal
        @Commutativity: Push <-> Steal: true
        @Commutativity: Take <-> Steal: true
-       @Commutativity: Steal <-> Steal: _Method1.__RET__ == ABORT || _Method2.__RET__ == ABORT
+       @Commutativity: Steal <-> Steal: fail(_Method1.__RET__) || fail(_Method2.__RET__)
 
     @End
 */