search

CIFASIS / QuickFuzz

An experimental grammar fuzzer in Haskell using QuickCheck
http://QuickFuzz.org
GNU General Public License v3.0
198 stars 45 forks source link

BNFC backend ignoring token definitions #73

Open dkasak opened 6 years ago

dkasak commented 6 years ago

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 commented 6 years ago

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.