search

c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
14 stars 1 forks source link

Implement atomic exchanges in c-mini #176

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

Atomic exchanges should be relatively easy to bung into c-mini, as they're basically halfway between atomic loads and atomic stores.

MattWindsor91 commented 4 years ago

This seems to have been done, but actual use of the exchanges in fuzzer actions is currently quite thin on the ground.