Enable HASH_CODE by default to avoid repeated hash computation

tautschnig · tautschnig · commit e42bd6601aa8 · 2019-03-29T21:36:48.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
@@ -17,7 +17,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "irep_ids.h"
 
 #define SHARING
-// #define HASH_CODE
+#define HASH_CODE
 // #define NAMED_SUB_IS_FORWARD_LIST
 
 #ifdef NAMED_SUB_IS_FORWARD_LIST
