From 338ffe50e577cb05f6bbd3d14278ab1976f9030c Mon Sep 17 00:00:00 2001 From: Lukas Rothenberger Date: Mon, 8 Jul 2024 13:54:01 +0200 Subject: [PATCH] use improved data structure PerfectShadow_2 --- rtlib/runtimeFunctions.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rtlib/runtimeFunctions.cpp b/rtlib/runtimeFunctions.cpp index 0ee7de481..449123224 100644 --- 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); }