BNFC backend ignoring token definitions

[dkasak]

The BNFC backend is (predictably) ignoring any BNFC token definition since they only get encoded into the Alex source file and QuickFuzz just ends up using the Arbitrary instance of String.

For instance, given the following BNFC grammar:

Program. Exp ::= CIdent ;

token CIdent (lower (lower | digit | '_')*) ;

Produces the following non-printable gibberish:

�(�2

Is it possible to be smarter about this?

[gaa-cifasis]

For some reason, I did not receive an email with this issue in my inbox. Sorry for the delay to answer!

I think we should ask @ebadi, the user that contributed adding the BNFC backend.