From 58cebbedc7e57d3bd200cef4df721ee2a9c3cb11 Mon Sep 17 00:00:00 2001
From: Sahil Sanjeev Oraon <167977982+1sahilsanjeev@users.noreply.github.com>
Date: Wed, 5 Nov 2025 00:03:43 +0530
Subject: [PATCH] modify:
 framework/lib/formatter/src/edu/washington/cs/mut/testrunner/SingleTestRunner.java
 - Issue #52

---
 .../edu/washington/cs/mut/testrunner/SingleTestRunner.java  | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/framework/lib/formatter/src/edu/washington/cs/mut/testrunner/SingleTestRunner.java b/framework/lib/formatter/src/edu/washington/cs/mut/testrunner/SingleTestRunner.java
index e8926e1a4..7bf37002d 100755
--- a/framework/lib/formatter/src/edu/washington/cs/mut/testrunner/SingleTestRunner.java
+++ b/framework/lib/formatter/src/edu/washington/cs/mut/testrunner/SingleTestRunner.java
@@ -29,7 +29,7 @@ private static void usageAndExit() {
     }
 
     public static void main(String ... args) {
-        if (args.length != 1) {
+if (args.length < 1) {
             usageAndExit();
         }
         Matcher m = Pattern.compile("(?<className>[^:]+)(::(?<methodName>[^:]+))?").matcher(args[0]);
@@ -50,9 +50,9 @@ public static void main(String ... args) {
         // Check whether a test method is provided and create request
         String methodName=m.group("methodName");
         Request req;
-        if (methodName == null) {
+if (methodName == null || methodName.length() == 0) {
             req = Request.aClass(clazz);
-        } else {
+        }
             req = Request.method(clazz, methodName);
         }