Share object maps in value_sett::make_union when destination is empty#9125

tautschnig wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:perf/value-set-make-union-sharingtautschnig/cbmc:perf/value-set-make-union-sharingCopy head branch name to clipboard