Skip to content

removes the simplification that replaces an expression by a variable

Viktor Kuncak requested to merge github/fork/jad-hamza/noletsimpl into master

Created by: jad-hamza

This is the case that replaces expression by variables. Related to https://github.com/epfl-lara/stainless/issues/62.

Merge request reports