Closed mario-bucev closed 9 months ago
This PR fixes while loops being treated as ghost when they referred to ghost constructs in their invariant.
while
invariant
Well, that speeds up some code!
This PR fixes
while
loops being treated as ghost when they referred to ghost constructs in theirinvariant
.