[C#] Minor: correct handling of default memout

aman-goel · aman-goel · commit 836e51c12bad · 2024-05-20T16:23:35.000-07:00
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.

Original file line number	Diff line number	Diff line change
`@@ -432,7 +432,10 @@ _checkerConfiguration.SchedulingStrategy is "probabilistic" \|\|`
`432`	`432`
`433`	`433`	`if (Profiler.GetCurrentMemoryUsage() > _checkerConfiguration.MemoryLimit)`
`434`	`434`	`{`
`435`		`- throw new OutOfMemoryException();`
	`435`	`+ if (_checkerConfiguration.MemoryLimit != 0)`
	`436`	`+ {`
	`437`	`+ throw new OutOfMemoryException();`
	`438`	`+ }`
`436`	`439`	`}`
`437`	`440`
`438`	`441`	`// Runs a new testing schedule.`