"src/main/scala/leon/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "5a074d0df8b329b5b3320bfcbd44fda598377738"
-
Etienne Kneuss authored
1) run's prototype follows apply's prototype: (ctx, v) instead of (ctx)(v) 2) run() returns a possibly updated context. SimpleLeonPhase defines apply and returns the same context.
Etienne Kneuss authored1) run's prototype follows apply's prototype: (ctx, v) instead of (ctx)(v) 2) run() returns a possibly updated context. SimpleLeonPhase defines apply and returns the same context.
