4 ms·I wish we'd start with general loop variant/invariant generation...by touisteur 6y agoI wish we'd start with general loop variant/invariant generation...