util/irep: O(1) SHARING fast-path for irept::compare#9130

tautschnig wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:python-upstream-01-irep-compare-sharingtautschnig/cbmc:python-upstream-01-irep-compare-sharingCopy head branch name to clipboard