[C#] Minor: correct handling of default memout

p-org · May 20, 2024 · 90da69b · 90da69b
1 parent 8b97476
commit 90da69b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs b/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs
@@ -432,7 +432,10 @@ _checkerConfiguration.SchedulingStrategy is "probabilistic" ||
 
                         if (Profiler.GetCurrentMemoryUsage() > _checkerConfiguration.MemoryLimit)
                         {
-                            throw new OutOfMemoryException();
+                            if (_checkerConfiguration.MemoryLimit != 0)
+                            {
+                                throw new OutOfMemoryException();
+                            }
                         }
 
                         // Runs a new testing schedule.