[londons_explore]

> This program will hang indefinitely if TSO is in use, and will crash almost immediately if it is not in use.

So now we just need to solve the halting problem, and we'll have our answer...

[saagarjha]

Unfortunately there’s not really a better way to detect memory models except by trying to observe reorderings :(