More fixes
Notice the removal of type parameter in TemplateGenerator.groupWhile. I am not sure what was intended (this method is currently unused).
Showing
- src/main/scala/leon/frontends/scalac/CodeExtraction.scala 5 additions, 5 deletionssrc/main/scala/leon/frontends/scalac/CodeExtraction.scala
- src/main/scala/leon/purescala/Definitions.scala 8 additions, 8 deletionssrc/main/scala/leon/purescala/Definitions.scala
- src/main/scala/leon/purescala/TreeOps.scala 9 additions, 9 deletionssrc/main/scala/leon/purescala/TreeOps.scala
- src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala 1 addition, 1 deletionsrc/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
- src/main/scala/leon/solvers/templates/TemplateGenerator.scala 1 addition, 1 deletion...main/scala/leon/solvers/templates/TemplateGenerator.scala
- src/main/scala/leon/synthesis/rules/ADTInduction.scala 5 additions, 5 deletionssrc/main/scala/leon/synthesis/rules/ADTInduction.scala
- src/test/scala/leon/test/termination/TerminationRegression.scala 1 addition, 1 deletion...t/scala/leon/test/termination/TerminationRegression.scala
Loading
Please register or sign in to comment