c4-project / c4f

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

Propagate locations stanza of C/Litmus file through litmusifier #80

Open MattWindsor91 opened 5 years ago

MattWindsor91 commented 5 years ago

Similar to #61, but specifically propagating any locations stanza used in the litmus test. In the case of fuzzing, the fuzzer should pass the stanza through unchanged; the litmusifier should make sure it applies any redirections to the requested locations.

This should culminate in act outputting a much smaller locations set than it currently does.