search

c4-project / c4f

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

Add Herd running stage to memalloy mode #4

Closed MattWindsor91 closed 6 years ago

MattWindsor91 commented 6 years ago

We already run all the compilers, sanitise all the litmus, and dump out litmus files. The next step is to automatically run herd in a way that tolerates herd falling over (which it will do at this stage!).

MattWindsor91 commented 6 years ago

Now implemented (in a fairly rudimentary manner).