c4-project / c4f

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

Fuzzer action: redundant control flow wrapping #73

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 5 years ago

This is a catch-all issue for any fuzzer actions that take a statement S and wrap it in a control flow that is guaranteed to execute once and only once.

This could be:

MattWindsor91 commented 4 years ago

Done (in if and dowhile flavours).