Skip to content

Adds a helper method for changing the invariant of an ADT

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

Created by: jad-hamza

This is needed when transforming programs in canonical form.

Merge request reports