search

sirthias / parboiled2

A macro-based PEG parser generator for Scala 2.10+
Other
717 stars 86 forks source link

Valid strings and grammars generator for ScalaCheck #34

Closed alexander-myltsev closed 10 years ago

alexander-myltsev commented 10 years ago

To verify the correctness of parboiled2 actually the previous version could be used: the goal is to verify if parboiled1 and parboiled2 produce same result (if produce at all) for same input grammar and a string.

ScalaCheck with grammars generator and valid strings generator based on a particular grammar could be used for that check.

sirthias commented 10 years ago

Theoretically this would work, yes. However, I think the infrastructure required for such a setup wouldn't really pull its weight. If we try to increase the test coverage of the current pb2 codebase to "reasonable" levels we should be fine...