Changed ghost location from location to prophecy variable (!24) · Merge requests · Iris / examples

The source project of this merge request has been removed.

Ghost User requested to merge (removed):master into master Jul 04, 2019

This change allows using the prophecy erasure theorem to argue that the ghost location does not change the meaning of the original program.

Changed ghost location from location to prophecy variable