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

-71

Commits on Jan 3, 2025

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