TEGIS or test-only CEGIS, using bonsai for tree generation

project/Build.scala

src/main/scala/leon/codegen/CompilationUnit.scala

src/main/scala/leon/codegen/CompiledExpression.scala

src/main/scala/leon/codegen/runtime/ChooseEntryPoint.scala

src/main/scala/leon/evaluators/CodeGenEvaluator.scala

src/main/scala/leon/evaluators/DefaultEvaluator.scala

src/main/scala/leon/evaluators/DualEvaluator.scala

src/main/scala/leon/evaluators/Evaluator.scala

src/main/scala/leon/evaluators/RecursiveEvaluator.scala

src/main/scala/leon/evaluators/TracingEvaluator.scala

src/main/scala/leon/purescala/ScalaPrinter.scala

src/main/scala/leon/purescala/TreeOps.scala

src/main/scala/leon/purescala/TypeTreeOps.scala

src/main/scala/leon/synthesis/InOutExample.scala

src/main/scala/leon/synthesis/Problem.scala

src/main/scala/leon/synthesis/Rules.scala

src/main/scala/leon/synthesis/rules/Tegis.scala

src/main/scala/leon/utils/DebugSections.scala

src/main/scala/leon/utils/Timer.scala

src/test/scala/leon/test/purescala/LikelyEq.scala