Fix list tests lists duplicated tests

Christine Zhou · Christine Zhou · commit 0aa25a35c688 · 2025-09-19T11:03:23.000-07:00
diff --git a/Src/PChecker/CheckerCore/Testing/TestingProcess.cs b/Src/PChecker/CheckerCore/Testing/TestingProcess.cs
@@ -130,7 +130,7 @@ public static List<string> FetchTestCases(CheckerConfiguration checkerConfigurat
                         Console.Out.WriteLine($"{mi.DeclaringType.Name}");
                     }
 
-                    if (mi.DeclaringType.Name.StartsWith(testCaseName))
+                    else if (mi.DeclaringType.Name.StartsWith(testCaseName))
                     {
                         Console.Out.WriteLine($"{mi.DeclaringType.Name}");
                         testCases.Add(mi.DeclaringType.Name);

Original file line number	Diff line number	Diff line change
`@@ -130,7 +130,7 @@ public static List<string> FetchTestCases(CheckerConfiguration checkerConfigurat`
`130`	`130`	`Console.Out.WriteLine($"{mi.DeclaringType.Name}");`
`131`	`131`	`}`
`132`	`132`
`133`		`- if (mi.DeclaringType.Name.StartsWith(testCaseName))`
	`133`	`+ else if (mi.DeclaringType.Name.StartsWith(testCaseName))`
`134`	`134`	`{`
`135`	`135`	`Console.Out.WriteLine($"{mi.DeclaringType.Name}");`
`136`	`136`	`testCases.Add(mi.DeclaringType.Name);`