CONTRACTS: ignore `__CPROVER_dead_object` assignments#8554

Merged

tautschnig merged 2 commits intodiffblue:developfrom

remi-delmas-3000:contracts-MIR-storage-live-dead

Jan 3, 2025

Commits on Jan 3, 2025

CONTRACTS: don't instrument `__CPROVER_dead_object` anymore.
Remi Delmas
committed
Fix dangling doxygen ref.
Remi Delmas
committed