RMA Test Cases
Compare changes
@@ -61,30 +61,15 @@ class LocalConcurrencyErrorRMA(ErrorGenerator):
@@ -61,30 +61,15 @@ class LocalConcurrencyErrorRMA(ErrorGenerator):
Combines different operations with different RMA sync modes to cover all possible conflict/sync variants for local concurrency problems / local buffer races.
Operations / Calls covered:
Synchronization modes covered:
Currently missing compared to MBI (for LocalConcurrency):
Operations / Calls covered:
Synchronization modes covered: