c4-project / c4f

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

Remove empty Herd output files #17

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 6 years ago

We currently test every Herd output in memalloy mode to see if it's empty, so it shouldn't be too hard to make act also unlink/rm every empty file. This'd make it easier to eyeball the output and see how many cases are failing.

MattWindsor91 commented 5 years ago

This is now done.