[feat] Enable coverOnTheFly after approaching memory cup

UnitTestBot · Nov 2, 2023 · bf98cd2 · bf98cd2
1 parent 7c002e7
commit bf98cd2
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
@@ -4082,6 +4082,15 @@ bool Executor::checkMemoryUsage() {
   const auto mallocUsage = util::GetTotalMallocUsage() >> 20U;
   const auto mmapUsage = memory->getUsedDeterministicSize() >> 20U;
   const auto totalUsage = mallocUsage + mmapUsage;
+
+  if (guidanceKind == GuidanceKind::CoverageGuidance &&
+      3 * totalUsage <= 2 * MaxMemory) {
+    klee_warning_once(0,
+                      "enabling cover-on-the-fly (close to memory cap: %luMB)",
+                      totalUsage);
+    coverOnTheFly = true;
+  }
+
   atMemoryLimit = totalUsage > MaxMemory; // inhibit forking
   if (!atMemoryLimit)
     return true;