search

c4-project / c4f

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

Don't emit locations/init for 'dead' variables #89

Open MattWindsor91 opened 5 years ago

MattWindsor91 commented 5 years ago

If a sanitiser run can't find a variable, then the litmusifier shouldn't emit it in its locations and init stanzas.

This is probably related to #87.