Test -> Example

src/main/scala/leon/repair/Repairman.scala

src/main/scala/leon/repair/rules/Focus.scala

src/main/scala/leon/repair/rules/Split.scala

src/main/scala/leon/synthesis/ChooseInfo.scala

src/main/scala/leon/synthesis/ExampleBank.scala

src/main/scala/leon/synthesis/ExamplesFinder.scala

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

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

src/main/scala/leon/synthesis/SynthesisPhase.scala

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

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

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

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

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

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

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

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

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

...main/scala/leon/synthesis/rules/UnconstrainedOutput.scala

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