search

c4-project / c4f

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

C litmus test parser doesn't understand `locations` stanza #66

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

This has come up as a problem because the litmus pretty printer for the fuzzer inserts one. Herd can work with or without one, so either approach to eliminating it'll work.

MattWindsor91 commented 5 years ago

I think I fixed this in the C parser (though I didn't update the message file, so that might cause issues later).