search

c4-project / c4f

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

Identifiers of the form `Pnum` aren't Herd-safe #148

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

Similar energy to #77.

I haven't looked at the Herd lever to see why this is the case, but I imagine it's lexing these as program identifiers.

MattWindsor91 commented 5 years ago

Indeed it is.