-
David Bühler authored
The logical clause and the pre-state are now optional. The function can now be used to remove from a state all inferred properties that depend on a given memory location. This only impacts the cvalue domain, which is the only one to use the assign clause.
1b7f90a6