Fix atomic compare_exchange to return correct failure status#4542

tautschnig merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:fix-compare_exchangetautschnig/kani:fix-compare_exchangeCopy head branch name to clipboard