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]