Changeset 836c9925

Timestamp:

Nov 6, 2020, 2:43:26 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:

139775e, 6a8882c

Parents:

54dcab1

Message:

Minor fixes to rmit in case keys differ

File:

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

benchmark/rmit.py

@@ -173 +173 @@
         # ================================================================================
         # Prepare to run
-        print(actions)
 
         # find expected time
@@ -226 +225 @@
                         d = [r[0], r[1]]
                         for k in headers[2:]:
-                                d.append(r[2][k])
+                                try:
+                                        d.append(r[2][k])
+                                except:
+                                        d.append(0.0)
 
                         data.append(d)