Make KDAlloc the default memory allocator

klee · Sep 11, 2023 · 9edf8e8 · 9edf8e8
1 parent 2e393db
commit 9edf8e8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp
@@ -49,8 +49,8 @@ llvm::cl::OptionCategory MemoryCat("Memory management options",
 
 llvm::cl::opt<bool, true> DeterministicAllocation(
     "kdalloc",
-    llvm::cl::desc("Allocate memory deterministically (default=false)"),
-    llvm::cl::location(MemoryManager::isDeterministic), llvm::cl::init(false),
+    llvm::cl::desc("Allocate memory deterministically (default=true)"),
+    llvm::cl::location(MemoryManager::isDeterministic), llvm::cl::init(true),
     llvm::cl::cat(MemoryCat));
 
 llvm::cl::opt<bool> DeterministicAllocationMarkAsUnneeded(