use faster hasher

this speeds up one simulation run from ~75s to ~55s
cucapra · Dec 5, 2024 · ffcb16e · ffcb16e
1 parent 6caa9fc
commit ffcb16e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/patronus/src/expr/eval.rs b/patronus/src/expr/eval.rs
@@ -7,6 +7,7 @@ use baa::{
     ArrayMutOps, ArrayOps, ArrayValue, BitVecMutOps, BitVecOps, BitVecValue, BitVecValueIndex,
     BitVecValueRef, IndexToMutRef, IndexToRef, Value, Word,
 };
+use rustc_hash::FxHashMap;
 use smallvec::SmallVec;
 use std::collections::HashMap;
 
@@ -22,7 +23,7 @@ type SymbolValueStoreIndex = u32;
 pub struct SymbolValueStore {
     arrays: Vec<ArrayValue>,
     bit_vec_words: Vec<Word>,
-    lookup: HashMap<ExprRef, SymbolValueStoreIndex>,
+    lookup: FxHashMap<ExprRef, SymbolValueStoreIndex>,
 }
 
 impl SymbolValueStore {