in Utilities/gyb_utils.py [0:0]
def shimOrders(success, failure):
def max(success, failure):
if failure == "acquire":
if success == "relaxed":
return "acquire"
if success == "release":
return "acq_rel"
if failure == "seq_cst":
return "seq_cst"
return success
return max(success, failure) + "_" + failure