src/main/scala/leon/termination/SelfCallsProcessor.scala · e45a3e185ca9d68b7af4a6ff335e3300722c9f15 · LARA / inox

10 years ago

Manos Koukoutos authored 10 years ago

Methods can be overriden in subclasses
Non-root classes can define methods
Deep hierarchies are supported

d02ded7e

Manos Koukoutos authored 10 years ago

Methods can be overriden in subclasses
Non-root classes can define methods
Deep hierarchies are supported

SelfCallsProcessor.scala 3.44 KiB

Admin message