Fix a bug that affects case classes w/o parent.
Parts of the code were still assuming that case classes always have a parent. One problematic part was accessed only in very specific circumstances (`bestRealType`). The `codegen` evaluator was also affected.
Showing
- src/main/scala/leon/codegen/CodeGeneration.scala 8 additions, 4 deletionssrc/main/scala/leon/codegen/CodeGeneration.scala
- src/main/scala/leon/codegen/CompilationUnit.scala 4 additions, 0 deletionssrc/main/scala/leon/codegen/CompilationUnit.scala
- src/main/scala/leon/purescala/Definitions.scala 5 additions, 0 deletionssrc/main/scala/leon/purescala/Definitions.scala
- src/main/scala/leon/purescala/TypeTrees.scala 1 addition, 1 deletionsrc/main/scala/leon/purescala/TypeTrees.scala
- src/test/resources/regression/verification/purescala/valid/BestRealTypes.scala 25 additions, 0 deletions...gression/verification/purescala/valid/BestRealTypes.scala
- src/test/scala/leon/test/evaluators/EvaluatorsTests.scala 8 additions, 0 deletionssrc/test/scala/leon/test/evaluators/EvaluatorsTests.scala
Loading
Please register or sign in to comment