Add synthesis regression test suite
For now only synthesis tests that 100% pass. The rest of benchmarks need to be investigated due to memory consumption issues
Showing
- src/main/scala/leon/synthesis/BoundedSearch.scala 24 additions, 0 deletionssrc/main/scala/leon/synthesis/BoundedSearch.scala
- src/main/scala/leon/synthesis/SynthesisOptions.scala 1 addition, 0 deletionssrc/main/scala/leon/synthesis/SynthesisOptions.scala
- src/main/scala/leon/synthesis/Synthesizer.scala 7 additions, 1 deletionsrc/main/scala/leon/synthesis/Synthesizer.scala
- src/test/resources/regression/synthesis/Church/Add.scala 24 additions, 0 deletionssrc/test/resources/regression/synthesis/Church/Add.scala
- src/test/resources/regression/synthesis/Church/Distinct.scala 37 additions, 0 deletions...test/resources/regression/synthesis/Church/Distinct.scala
- src/test/resources/regression/synthesis/Church/Mult.scala 37 additions, 0 deletionssrc/test/resources/regression/synthesis/Church/Mult.scala
- src/test/resources/regression/synthesis/Church/Squared.scala 44 additions, 0 deletionssrc/test/resources/regression/synthesis/Church/Squared.scala
- src/test/resources/regression/synthesis/List/Delete.scala 40 additions, 0 deletionssrc/test/resources/regression/synthesis/List/Delete.scala
- src/test/resources/regression/synthesis/List/Diff.scala 58 additions, 0 deletionssrc/test/resources/regression/synthesis/List/Diff.scala
- src/test/resources/regression/synthesis/List/Insert.scala 27 additions, 0 deletionssrc/test/resources/regression/synthesis/List/Insert.scala
- src/test/resources/regression/synthesis/List/Split.scala 98 additions, 0 deletionssrc/test/resources/regression/synthesis/List/Split.scala
- src/test/resources/regression/synthesis/List/Union.scala 49 additions, 0 deletionssrc/test/resources/regression/synthesis/List/Union.scala
- src/test/scala/leon/test/synthesis/SynthesisRegressionSuite.scala 73 additions, 0 deletions.../scala/leon/test/synthesis/SynthesisRegressionSuite.scala
- src/test/scala/leon/test/synthesis/SynthesisSuite.scala 0 additions, 15 deletionssrc/test/scala/leon/test/synthesis/SynthesisSuite.scala
Loading
Please register or sign in to comment