fix: Revert checkMemoryUsage logic

misonijnik · misonijnik · commit 377538fc1241 · 2024-12-03T00:13:16.000+01:00
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
@@ -4384,7 +4384,8 @@ Executor::MemoryUsage Executor::checkMemoryUsage() {
     return Executor::None;
   }
 
-  auto toKill = std::max(1UL, numStates - numStates * MaxMemory / totalUsage);
+  auto toKill =
+      std::max(1UL, numStates - numStates * MaxMemory / (2 * totalUsage));
 
   if (toKill != 0) {
     klee_warning("killing %lu states (total memory usage: %luMB)", toKill,

Original file line number	Diff line number	Diff line change
`@@ -4384,7 +4384,8 @@ Executor::MemoryUsage Executor::checkMemoryUsage() {`
`4384`	`4384`	`return Executor::None;`
`4385`	`4385`	`}`
`4386`	`4386`
`4387`		`- auto toKill = std::max(1UL, numStates - numStates * MaxMemory / totalUsage);`
	`4387`	`+ auto toKill =`
	`4388`	`+ std::max(1UL, numStates - numStates * MaxMemory / (2 * totalUsage));`
`4388`	`4389`
`4389`	`4390`	`if (toKill != 0) {`
`4390`	`4391`	`klee_warning("killing %lu states (total memory usage: %luMB)", toKill,`