diff --git a/tests/coRR/gen.py b/tests/coRR/gen.py
index c385c4b..254c639 100755
--- a/tests/coRR/gen.py
+++ b/tests/coRR/gen.py
@@ -24,6 +24,9 @@
     'srel': 'atomic_store_explicit(x, 1, memory_order_release)',
     'faddrlx': 'atomic_fetch_add_explicit(x, 1, memory_order_relaxed)',
     'faddrel': 'atomic_fetch_add_explicit(x, 1, memory_order_release)',
+    # TODO: waiting for Dartagnang store-add support
+    #'saddrlx': 'atomic_store_add_explicit(x, 1, memory_order_relaxed)',
+    #'saddrel': 'atomic_store_add_explicit(x, 1, memory_order_release)',
     'sna': '*x = 1',
 }
 
diff --git a/tests/coRW/gen.py b/tests/coRW/gen.py
index 4534a21..663dc14 100755
--- a/tests/coRW/gen.py
+++ b/tests/coRW/gen.py
@@ -29,6 +29,8 @@
 s1s = {
     'srlx': 'atomic_store_explicit(x, 2, memory_order_relaxed)',
     'faddrlx': 'atomic_fetch_add_explicit(x, 2, memory_order_relaxed)',
+    # TODO: waiting for Dartagnang store-add support
+    #'saddrlx': 'atomic_store_add_explicit(x, 2, memory_order_relaxed)',
 }
 
 for l0, s0, s1 in product(l0s, s0s, s1s):
diff --git a/tests/coWR/gen.py b/tests/coWR/gen.py
index 9a7b262..cdae938 100755
--- a/tests/coWR/gen.py
+++ b/tests/coWR/gen.py
@@ -19,6 +19,8 @@
 s0s = {
     'srlx': 'atomic_store_explicit(x, 1, memory_order_relaxed)',
     'faddrlx': 'atomic_fetch_add_explicit(x, 1, memory_order_relaxed)',
+    # TODO: waiting for Dartagnang store-add support
+    #'saddrlx': 'atomic_store_add_explicit(x, 1, memory_order_relaxed)',
     'sna': '*x = 1',
 }
 
@@ -31,6 +33,8 @@
 s1s = {
     'srlx': 'atomic_store_explicit(x, 2, memory_order_relaxed)',
     'faddrlx': 'atomic_fetch_add_explicit(x, 2, memory_order_relaxed)',
+    # TODO: waiting for Dartagnang store-add support
+    #'saddrlx': 'atomic_store_add_explicit(x, 2, memory_order_relaxed)',
     'sna': '*x = 2',
 }
 
diff --git a/tests/coWW/gen.py b/tests/coWW/gen.py
index fb1ac02..0417ecb 100755
--- a/tests/coWW/gen.py
+++ b/tests/coWW/gen.py
@@ -16,12 +16,16 @@
 s0s = {
     'srlx': 'atomic_store_explicit(x, 1, memory_order_relaxed)',
     'faddrlx': 'atomic_fetch_add_explicit(x, 1, memory_order_relaxed)',
+    # TODO: waiting for Dartagnang store-add support
+    # 'saddrlx': 'atomic_store_add_explicit(x, 1, memory_order_relaxed)',
     'sna': '*x = 1',
 }
 
 s1s = {
     'srlx': 'atomic_store_explicit(x, 2, memory_order_relaxed)',
     'faddrlx': 'atomic_fetch_add_explicit(x, 1, memory_order_relaxed)',
+    # TODO: waiting for Dartagnang store-add support
+    #'saddrlx': 'atomic_store_add_explicit(x, 1, memory_order_relaxed)',
     'sna': '*x = 2',
 }
 
diff --git a/tests/mp/gen.py b/tests/mp/gen.py
index e8c44f0..593b33a 100755
--- a/tests/mp/gen.py
+++ b/tests/mp/gen.py
@@ -43,20 +43,32 @@
     'frel-2faddrlx': 'atomic_thread_fence(memory_order_release);\n  atomic_fetch_add_explicit(y, 1, memory_order_relaxed);\n  atomic_fetch_add_explicit(y, 1, memory_order_relaxed)',
     'frel-srlx-faddrlx': 'atomic_thread_fence(memory_order_release);\n  atomic_store_explicit(y, 1, memory_order_relaxed);\n  atomic_fetch_add_explicit(y, 1, memory_order_relaxed)',
     'frel-faddrlx-srlx': 'atomic_thread_fence(memory_order_release);\n  atomic_fetch_add_explicit(y, 1, memory_order_relaxed);\n  atomic_store_explicit(y, 2, memory_order_relaxed)',
+    # TODO: waiting for Dartagnang store-add support
+    #'frel-saddrlx': 'atomic_thread_fence(memory_order_release);\n  atomic_store_add_explicit(y, 1, memory_order_relaxed)',
+    #'frel-2saddrlx': 'atomic_thread_fence(memory_order_release);\n  atomic_store_add_explicit(y, 1, memory_order_relaxed);\n  atomic_store_add_explicit(y, 1, memory_order_relaxed)',
+    #'frel-srlx-saddrlx': 'atomic_thread_fence(memory_order_release);\n  atomic_store_explicit(y, 1, memory_order_relaxed);\n  atomic_store_add_explicit(y, 1, memory_order_relaxed)',
+    #'frel-saddrlx-srlx': 'atomic_thread_fence(memory_order_release);\n  atomic_store_add_explicit(y, 1, memory_order_relaxed);\n  atomic_store_explicit(y, 2, memory_order_relaxed)',
 
     # Release Patterns with operations
     'srel': 'atomic_store_explicit(y, 1, memory_order_release)',
     'faddrel': 'atomic_fetch_add_explicit(y, 1, memory_order_release)',
+    # TODO: waiting for Dartagnang store-add support
+    #'saddrel': 'atomic_store_add_explicit(y, 1, memory_order_release)',
 
     # Release Patterns with Release Sequences:
     'srel-faddrlx': 'atomic_store_explicit(y, 1, memory_order_release);\n  atomic_fetch_add_explicit(y, 1, memory_order_relaxed)',
     'faddrel-faddrlx': 'atomic_fetch_add_explicit(y, 1, memory_order_release);\n  atomic_fetch_add_explicit(y, 1, memory_order_relaxed)',
+    # TODO: waiting for Dartagnang store-add support
+    #'srel-saddrlx': 'atomic_store_explicit(y, 1, memory_order_release);\n  atomic_store_add_explicit(y, 1, memory_order_relaxed)',
+    #'saddrel-faddrlx': 'atomic_store_add_explicit(y, 1, memory_order_release);\n  atomic_store_add_explicit(y, 1, memory_order_relaxed)',
 
     # Release Patterns with Release Sequences: pre-C++17
     'srel-srlx': 'atomic_store_explicit(y, 1, memory_order_release);\n  atomic_store_explicit(y, 2, memory_order_relaxed)',
 
     # Not a Release Sequence in C++:
     'faddrel-srlx': 'atomic_fetch_add_explicit(y, 1, memory_order_release);\n  atomic_store_explicit(y, 2, memory_order_relaxed)',
+    # TODO: waiting for Dartagnang store-add support
+    #'saddrel-srlx': 'atomic_store_add_explicit(y, 1, memory_order_release);\n  atomic_store_explicit(y, 2, memory_order_relaxed)',
 }
 
 l0s = {