From affe15191e51a9a433e238907ca1bb2bc2c63826 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Mon, 15 Jul 2024 03:44:14 -0700
Subject: [PATCH] Fixed wsim running iterelf tests/coverage

---
 bin/wsim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/wsim b/bin/wsim
index 85afb7780..68c6ce019 100755
--- a/bin/wsim
+++ b/bin/wsim
@@ -44,7 +44,7 @@ elif (args.elf != ""):
     print("ELF file not found: " + args.elf)
     exit(1)
 
-if(args.testsuite.endswith('.elf')):
+if(args.testsuite.endswith('.elf') and args.elf == ""): # No --elf argument; check if testsuite has a .elf extension and use that instead
     if (os.path.isfile(args.testsuite)):
         ElfFile = "+ElfFile=" + os.path.abspath(args.testsuite)
         args.testsuite=args.testsuite.rsplit('/', 1)[1]