C subset: support atomic compare-exchange

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

This omission means that we can't delitmusify compare-exchange litmus tests, etc.

MattWindsor91 commented 5 years ago

Fixed as of 553ddfb1a5331f04552d44d1dd712e4c3019f3d5.