Fixed a logging issue

ankushdesai · ankushdesai · commit e6b11c6c3699 · 2025-06-25T10:31:38.000-07:00
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/ControlledRuntime.cs b/Src/PChecker/CheckerCore/SystematicTesting/ControlledRuntime.cs
@@ -367,7 +367,7 @@ public Task<bool> SendEventAndExecuteAsync(StateMachineId targetId, Event e)
         internal void RunTest(Delegate testMethod, string testName)
         {
             testName = string.IsNullOrEmpty(testName) ? string.Empty : $" '{testName}'";
-            Logger.WriteLine($"<TestLog> Running test {testName}.");
+            Logger.WriteLine($"<TestLog> Running test{testName}.");
             Assert(testMethod != null, "Unable to execute a null test method.");
             Assert(Task.CurrentId != null, "The test must execute inside a controlled task.");
 

Original file line number	Diff line number	Diff line change
`@@ -367,7 +367,7 @@ public Task<bool> SendEventAndExecuteAsync(StateMachineId targetId, Event e)`
`367`	`367`	`internal void RunTest(Delegate testMethod, string testName)`
`368`	`368`	`{`
`369`	`369`	`testName = string.IsNullOrEmpty(testName) ? string.Empty : $" '{testName}'";`
`370`		`- Logger.WriteLine($"<TestLog> Running test {testName}.");`
	`370`	`+ Logger.WriteLine($"<TestLog> Running test{testName}.");`
`371`	`371`	`Assert(testMethod != null, "Unable to execute a null test method.");`
`372`	`372`	`Assert(Task.CurrentId != null, "The test must execute inside a controlled task.");`
`373`	`373`