Changeset d83b266 for benchmark/rmit.py

Timestamp:

Jul 26, 2021, 2:42:34 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

0a061c0

Parents:

c86ee4c (diff), 98233b3 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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