Weak-Memory

How Hard is Weak-Memory Testing?