Fix atomic compare_exchange to return correct failure status#4542
Open
tautschnig wants to merge 1 commit intomodel-checking:mainfrom
Open
Fix atomic compare_exchange to return correct failure status#4542tautschnig wants to merge 1 commit intomodel-checking:mainfrom
tautschnig wants to merge 1 commit intomodel-checking:mainfrom
