src/main/scala/leon/evaluators/RecursiveEvaluator.scala · a269985ec710c0c1120c6b1c174ee348ab7fe624 · LARA / inox

9 years ago

New rule to introduce safe recursive call as a variable · a269985e

Manos Koukoutos authored 9 years ago

Remove SafeRecursiveCalls from Grammars.default
IntroduceRecCalls keeps only examples that lead to no 'choose'
IntroduceRecCalls is normalizing
Make 1 benchmark tougher

a269985e

History

New rule to introduce safe recursive call as a variable

Manos Koukoutos authored 9 years ago

Remove SafeRecursiveCalls from Grammars.default
IntroduceRecCalls keeps only examples that lead to no 'choose'
IntroduceRecCalls is normalizing
Make 1 benchmark tougher