Merge pull request #25 from dbrabera/extended_benchmark_summary

Strip binaries in benchmarks

tests/regression/benchmark.py

@@ -41,8 +41,8 @@ def benchmark(testfolder):
     result = {
         "name": testfolder[:-1],
         "size": {
-            "ada": os.path.getsize(llvm_bin),
-            "llvm": os.path.getsize(ada_bin),
+            "ada": size(llvm_bin),
+            "llvm": size(ada_bin),
         },
         "time": {
             "ada": time(ada_bin),
@@ -53,6 +53,11 @@ def benchmark(testfolder):
     return result
 
 
+def size(file):
+    call(["strip", os.path.abspath(file)])
+    return os.path.getsize(file)
+
+
 def time(file, iters=1000):
     start = t.time()
     call(["/bin/bash", "-c", "for i in {1..%s} ; do %s ; done" % (iters, file)])