Remove unnecessary uses of irep_id_hash#2093

Merged

kroening merged 5 commits intodiffblue:developfrom

owen-mc-diffblue:owen-jones-diffblue/remove_unnecessary_irep_id_hash

Apr 21, 2018

Commits on Apr 20, 2018

Remove redundant irep_id_hash for sets
Owen Jones
committed
Remove redundant irep_id_hash for unordered maps
Owen Jones
committed
Use range-based for loops
Owen Jones
committed
Replace stack by deque and use range-based for loop
Owen Jones
committed
Remove unused typedef
Owen
committed