stainless icon indicating copy to clipboard operation
stainless copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

Output infered measures

Open samuelchassot opened this issue 2 years ago • 0 comments

It would be interesting to have access, as a developer, to the measures Stainless infers. In some cases, we would like to add them explicitly but, if Stainless can infer it, we would not have to find it by hand.

samuelchassot avatar Dec 14 '22 15:12 samuelchassot