Revert irept change that stopped sharing and add unit test - #1860

Revert irept change that stopped sharing and add unit test#1860

kroening merged 4 commits into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:restore-irept-sharingtautschnig/cbmc:restore-irept-sharingCopy head branch name to clipboard