Implement support for "case object"
Showing
- src/main/scala/leon/plugin/CodeExtraction.scala 43 additions, 34 deletionssrc/main/scala/leon/plugin/CodeExtraction.scala
- src/main/scala/leon/plugin/Extractors.scala 10 additions, 0 deletionssrc/main/scala/leon/plugin/Extractors.scala
- src/main/scala/leon/purescala/Definitions.scala 1 addition, 0 deletionssrc/main/scala/leon/purescala/Definitions.scala
- src/main/scala/leon/purescala/PrettyPrinter.scala 5 additions, 1 deletionsrc/main/scala/leon/purescala/PrettyPrinter.scala
- src/main/scala/leon/purescala/ScalaPrinter.scala 5 additions, 1 deletionsrc/main/scala/leon/purescala/ScalaPrinter.scala
- src/test/resources/regression/verification/purescala/valid/CaseObject1.scala 21 additions, 0 deletions...regression/verification/purescala/valid/CaseObject1.scala
Loading
Please register or sign in to comment