creusot icon indicating copy to clipboard operation
creusot copied to clipboard

Published 20 hours ago • verified publisher icon creusot-rs

Invariant spans wrong

Open xldenis opened this issue 2 years ago • 1 comments

When multiple invariants are attached to loops they can end up sharing the same spans which is counter productive and not super helpful.

xldenis avatar Aug 05 '22 09:08 xldenis

I'm having a hard time recreating this issue at the moment...

xldenis avatar Aug 29 '22 12:08 xldenis