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

9 years ago

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

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)

CEGISLike.scala 32.92 KiB