creusot icon indicating copy to clipboard operation
creusot copied to clipboard

Published 20 hours ago • verified publisher icon creusot-rs

Add `assume`

Open xldenis opened this issue 2 years ago • 0 comments

Extracted from #656, we need to add an assume construct, which could also be used in invariant for for loops.

xldenis avatar Nov 24 '22 09:11 xldenis