Changeset 0bdd8d2a

Timestamp:

Oct 30, 2017, 5:44:03 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

8a48f4b

Parents:

bb7e3d4

Message:

Updated stat script to round after 2 decimals

File:

• tools/stat.py (modified) (1 diff)

tools/stat.py

@@ -14 +14 @@
                 content.remove(max(content))
                 content.remove(min(content))
-                print "median {0} avg {1} stddev {2}".format( numpy.median(content), numpy.mean(content), numpy.std(content) )
+                med = numpy.around( numpy.median(content), decimals=1)
+                avg = numpy.around( numpy.mean  (content), decimals=2)
+                std = numpy.around( numpy.std   (content), decimals=2)
+                print "median {0} avg {1} stddev {2}".format( med, avg, std )