src/main/scala/leon/synthesis/rules/CEGISLike.scala · 44216ee52c5ec30ee8b88233ed3e3a6dd2fb8482 · LARA / inox

9 years ago

Manos Koukoutos authored 9 years ago

Size bounded grammar now skews TaggedGrammar more aggressively

In CEGIS, testForProgram now uses getExpr() as opposed to b-trees.

44216ee5

Manos Koukoutos authored 9 years ago

Size bounded grammar now skews TaggedGrammar more aggressively

In CEGIS, testForProgram now uses getExpr() as opposed to b-trees.