> every possible permutation of their concurrent code Did they test against weak memory models? Because weak memory models do not necessarily have any equivale

> every possible permutation of their concurrent code Did they test against weak memory models? Because weak memory models do not necessarily have any equivalent interleaving behavior (stores can appear in different orders on different cores).