Add WMM details to trace information #7
Description
To have a more sophisticated analysis, atomics that are traced should contain information on memory order.
{{ message }}
To have a more sophisticated analysis, atomics that are traced should contain information on memory order.