Fuzzer action: random fences

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

13 stars 1 forks source link

Fuzzer action: random fences #168

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

Fences should only refine the semantics of a multi-threaded program, so it makes sense that we should check this in the fuzzer by scattering random fences.

[x] Add representation of fence instructions to mini-C;
[x] Add convert/reify of above;
[x] Add a fuzzer action that generates fences with a random memory order.

MattWindsor91 commented 4 years ago

Done as of 146655835d15105251f932a7438492d2fbaef3c4