Changeset 883c4d9

Timestamp:

Nov 11, 2020, 12:22:20 PM (3 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:

2c2b60f

Parents:

b82d140

Message:

rmit.py script no prints json by default.
Also it supports json now.

File:

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

benchmark/rmit.py

@@ -12 +12 @@
 import datetime
 import itertools
+import json
 import os
 import random
@@ -117 +118 @@
         # ================================================================================
         # parse command line arguments
-        formats = ['raw', 'csv']
+        formats = ['raw', 'csv', 'json']
         parser = argparse.ArgumentParser(description='Python Script to implement R.M.I.T. testing : Randomized Multiple Interleaved Trials')
         parser.add_argument('--list', help='List all the commands that would be run', action='store_true')
-        parser.add_argument('--format', help='How to print the result', choices=formats, default='csv')
+        parser.add_argument('--format', help='How to print the result', choices=formats, default='json')
         parser.add_argument('--file', nargs='?', type=argparse.FileType('w'), default=sys.stdout)
         parser.add_argument('-t', '--trials', help='Number of trials to run per combinaison', type=int, default=3)
@@ -203 +204 @@
 
         # ================================================================================
-        # Print csv
+        # Print raw
         if options.format == 'raw':
                 for r in result:
                         print(r, file=options.file)
+                sys.exit(0)
+
+        # ================================================================================
+        # Print json
+        if options.format == 'json':
+                json.dump(result, options.file)
                 sys.exit(0)