CONTRACTS: re-enable side effect checking in assigns/frees clauses (HOTFIX)#7699

Merged

remi-delmas-3000 merged 1 commit intodiffblue:developfrom

remi-delmas-3000:contracts-check-side-effects-in-assigns-frees-clauses

May 4, 2023

Commits on May 3, 2023

CONTRACTS: re-enable side effect checking in assigns/frees clauses
Remi Delmas
committed