edits
[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / deque.h
index e652f22..9292e16 100644 (file)
@@ -42,6 +42,7 @@ typedef struct {
         Push -> Steal
        @Commutativity: Push <-> Steal: true
        @Commutativity: Take <-> Steal: true
+       @Commutativity: Steal <-> Steal: _Method1.__RET__ == ABORT || _Method2.__RET__ == ABORT
 
     @End
 */