Fix havocking of dependent assigns clause targets#6540

Merged

remi-delmas-3000 merged 3 commits intodiffblue:developfrom

remi-delmas-3000:havoc-dependent-targets

Jan 5, 2022

Commits on Dec 21, 2021

Function contracts: allow history variables for typecast and constant expressions.
Remi Delmas
committed
Function contracts: add missing DECL/DEAD instructions for `ignored_return_value` variables introduced by contract replacement (these would previously appear as global variables).
Remi Delmas
committed

Commits on Dec 22, 2021

Function contracts: new method for havocking assigns clause targets
Remi Delmas
committed