Avoid repeated hash computation, reduce irept::dt size

tautschnig · tautschnig · commit 6a87c26a34c7 · 2018-11-24T19:07:45.000Z
On SV-COMP benchmarks, hashing accounts for &gt;22% of CPU time (with
profiling enabled).
diff --git a/src/util/irep.h b/src/util/irep.h
@@ -18,9 +18,9 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "irep_ids.h"
 
 #define SHARING
-// #define HASH_CODE
+#define HASH_CODE
 #define USE_MOVE
-// #define SUB_IS_LIST
+#define SUB_IS_LIST
 
 #ifdef SUB_IS_LIST
 #include <list>
