Changeset 6f27b67 for benchmark/rmit.py

Timestamp:

Jul 12, 2021, 4:31:29 PM (23 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

37c6f77

Parents:

605673f

Message:

Could not get rmit.py working with the exception benchmark, but I got one improvement along the way.

File:

• benchmark/rmit.py (modified) (1 diff)

benchmark/rmit.py

@@ -138 +138 @@
         # ================================================================================
         # Identify the commands to run
-        commands = ["./" + options.command[0] + "-" + c for c in options.candidates]
+        command = './' + options.command[0]
+        if options.candidates:
+                commands = [command + "-" + c for c in options.candidates]
+        else:
+                commands = [command]
         for c in commands:
                 if not os.path.isfile(c):