contracts: strip metadata before DATA_INVARIANT in get_contract#9056

tautschnig wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:extract/contracts-strip-metadata-get-contracttautschnig/cbmc:extract/contracts-strip-metadata-get-contractCopy head branch name to clipboard