src/main/scala/leon/synthesis/rules/StringRender.scala · 572d4125135deea75f0cf3683fc40c750dac5162 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago

Improve value generation with generic types · 572d4125

Manos Koukoutos authored 9 years ago

ValueGrammar only generates one generic value.
GrammarDataGen will expand to all non-redundant value combinations.

Use GrammarDataGen instead of bonsai everywhere in Leon (except TEGISLike)

572d4125

Improve value generation with generic types

Manos Koukoutos authored 9 years ago

ValueGrammar only generates one generic value.
GrammarDataGen will expand to all non-redundant value combinations.

Use GrammarDataGen instead of bonsai everywhere in Leon (except TEGISLike)