Prevent multiple instrumentation of a same check and instrumentation of instrumentation assertions#6471

Merged

tautschnig merged 2 commits intodiffblue:developfrom

remi-delmas-3000:pragma-checked

Dec 3, 2021

Commits on Dec 2, 2021

Adds support for "checked:named-check" pragmas to avoid redudant instrumentation.

Remi Delmas
authored and
tautschnig
committed
Adding a test that demonstrates the non-duplication.

Remi Delmas
authored and
tautschnig
committed