Enable HASH_CODE by default to avoid repeated hash computation [blocks: #3486]#1992

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:irep-speeduptautschnig/cbmc:irep-speedupCopy head branch name to clipboard