WhileyCompiler icon indicating copy to clipboard operation
WhileyCompiler copied to clipboard

Published 20 hours ago • verified publisher icon Whiley

Add modifies clause for methods

Open DavePearce opened this issue 3 years ago • 0 comments

(see also #1110)

Methods require a modifies clauses which should access a list of lvals, presumably.

DavePearce avatar Jan 18 '22 22:01 DavePearce