Tool to generate code from a grammar

[agroce]

Tool should output DeepState to generate a parsing string, given an e.g. antrl4 grammar

[agroce]

Could make some harness generation a lot easier

Similar for protobuf...

[Zac-HD]

You might be interested in my Hypothesmith tool for Python? It's literally a Hypothesis strategy, currently built on top of our EBNF support. This has basically worked, but few Python develpers have been interested in the bugs it finds - they're syntatically valid but otherwise usually nonsense.

(For the next generation I'm planning to generate a syntax tree instead and un-parse it on the basis that demonstrating "reasonable" programs that cause problems might be more convincing.)

[agroce]

Hey @Zac-HD -- very interesting, I'll have to take a look at this in more detail soon!