diff --git a/Src/PChecker/CheckerCore/Testing/TestingProcess.cs b/Src/PChecker/CheckerCore/Testing/TestingProcess.cs
index fbd27df98..7cd1391ca 100644
--- 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);