use improved data structure PerfectShadow_2

discopop-project · Jul 8, 2024 · 338ffe5 · 338ffe5
1 parent 25ba673
commit 338ffe5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rtlib/runtimeFunctions.cpp b/rtlib/runtimeFunctions.cpp
@@ -493,7 +493,7 @@ void *analyzeDeps(void *arg) {
   int64_t id = (int64_t)arg;
   AbstractShadow *SMem;
   if (USE_PERFECT) {
-    SMem = new PerfectShadow(SIG_ELEM_BIT, SIG_NUM_ELEM, SIG_NUM_HASH);
+    SMem = new PerfectShadow2();
   } else {
     SMem = new ShadowMemory(SIG_ELEM_BIT, SIG_NUM_ELEM, SIG_NUM_HASH);
   }