Changeset dbb1073

Timestamp:

Nov 3, 2020, 1:42:53 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

daefe93

Parents:

2c7eee0

Message:

rmit now prints the estimated time

File:

• benchmark/rmit.py (modified) (3 diffs)

benchmark/rmit.py

@@ -10 +10 @@
 
 import argparse
+import datetime
 import itertools
 import os
@@ -101 +102 @@
         return nopts
 
+def actions_eta(actions):
+        time = 0
+        for a in actions:
+                i = 0
+                while i < len(a):
+                        if a[i] == '-d':
+                                i += 1
+                                if i != len(a):
+                                        time += int(a[i])
+                        i += 1
+        return time
+
 if __name__ == "__main__":
         # ================================================================================
@@ -160 +173 @@
         # ================================================================================
         # Prepare to run
+        print(actions)
+
+        # find expected time
+        time = actions_eta(actions)
+        print("Running {} trials{}".format(len(actions), "" if time == 0 else " (expecting to take {}".format(str(datetime.timedelta(seconds=int(time)))) ))
+
         random.shuffle(actions)
-
-        print("Running {} trials".format(len(actions)))
         result = []