c4-project / c4f

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

Not all path filters can be checked by path consumers #203

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

Some path filters depend on an availability context, which isn't available by the time we get to the action itself. This means we can't check those path filters when consuming the path, which means some issues with rogue traces might not be caught.

This isn't a bug per se, as that filter check is just a safeguard, but it's annoying nonetheless.