CONTRACTS: Fix targett comparison in loop instrumentation#6782

Merged

tautschnig merged 1 commit intodiffblue:developfrom

padhi-forks:iter-fix

Apr 6, 2022

Commits on Apr 5, 2022

Fix targett iterator comparison in instrumentation
SaswatPadhi
committed