CONTRACTS: new method to detect static locals for contract instrumentation#6679

Merged

remi-delmas-3000 merged 1 commit intodiffblue:developfrom

remi-delmas-3000:contract-detect-local-statics

Feb 22, 2022

Commits on Feb 22, 2022

CONTRACTS: new method to detect static locals for contract instrumentation
Remi Delmas
committed