From 0aa25a35c688f89606d10a531645926a5ef55150 Mon Sep 17 00:00:00 2001
From: Christine Zhou <zhouchrs@amazon.com>
Date: Fri, 19 Sep 2025 11:03:23 -0700
Subject: [PATCH] Fix list tests lists duplicated tests

---
 Src/PChecker/CheckerCore/Testing/TestingProcess.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);