Work on ExamplesBank
All map* -> flatMap* Add evalIns which evaluates all inputs All QualifiedExamplesBank methods now return QEBs Problem.qebFiltered evaluates first
Showing
- src/main/scala/leon/evaluators/Evaluator.scala 19 additions, 15 deletionssrc/main/scala/leon/evaluators/Evaluator.scala
- src/main/scala/leon/synthesis/ExamplesBank.scala 12 additions, 7 deletionssrc/main/scala/leon/synthesis/ExamplesBank.scala
- src/main/scala/leon/synthesis/Problem.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/Problem.scala
- src/main/scala/leon/synthesis/rules/ADTSplit.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/rules/ADTSplit.scala
- src/main/scala/leon/synthesis/rules/DetupleInput.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/DetupleInput.scala
- src/main/scala/leon/synthesis/rules/EquivalentInputs.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/EquivalentInputs.scala
Loading
Please register or sign in to comment