diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-08-18 15:36:16 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-09-11 11:23:24 +0100 |
| commit | 9edf8e8bba51f2d217ead0a9b2469b0b551ad255 (patch) | |
| tree | 09d6638d8fcfe311b8b4d7306729b64733acc4b6 | |
| parent | 2e393db175cd55662f369d15905ce4eb44b154a9 (diff) | |
| download | klee-9edf8e8bba51f2d217ead0a9b2469b0b551ad255.tar.gz | |
Make KDAlloc the default memory allocator
| -rw-r--r-- | lib/Core/MemoryManager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp index a6c3cb25..3b0f5064 100644 --- 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( |