-
- Downloads
Added passing Abstract test to render a double list of dummies to string.
Removed unused comments. Added return types. More precise errors.
Showing
- src/main/scala/leon/evaluators/AbstractEvaluator.scala 1 addition, 1 deletionsrc/main/scala/leon/evaluators/AbstractEvaluator.scala
- src/main/scala/leon/evaluators/RecursiveEvaluator.scala 1 addition, 1 deletionsrc/main/scala/leon/evaluators/RecursiveEvaluator.scala
- src/main/scala/leon/purescala/DefOps.scala 2 additions, 1 deletionsrc/main/scala/leon/purescala/DefOps.scala
- src/main/scala/leon/synthesis/rules/StringRender.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/StringRender.scala
- src/test/scala/leon/integration/solvers/StringRenderSuite.scala 67 additions, 7 deletions...st/scala/leon/integration/solvers/StringRenderSuite.scala
Loading
Please register or sign in to comment