stainless icon indicating copy to clipboard operation
stainless copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

`unfolding` should return the return value of the function so that it is a hint for verification, and has the behaviour of the unfolded function at runtime

Open samuelchassot opened this issue 6 months ago • 4 comments

And maybe can be inline def

samuelchassot avatar Aug 05 '24 13:08 samuelchassot