c4-project / c4f

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

Explainer: compile C programs like litmusify #45

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

Since #38, the litmusifier has supported running directly on .c files. That explainer doesn't also support this is surprising/non-orthogonal, and adding it should be fairly straightforward.