Convert pin output to csv

pinOutputToCsv.py

"""
Pin output to csv
"""
import sys
import re
import argparse

startOfDynamicSection = False
outFile = open(sys.argv[2], 'w')
for line in open(sys.argv[1]):
    if line == "# $dynamic-counts\n":
        startOfDynamicSection = True
    if not startOfDynamicSection:
        continue
    if line[0] == '#':
        continue
    outFile.write(re.sub(r"^[ ]*(\d+)[ ]+([^ ]+)[ ]+(\d+).*$", r"\1,\2,\3", line))