timings_from_verilog/main.py

import sys
from specify_parser.yacc import Parser
from specify_parser.lex import SpecifyLexer
import argparse

parser = Parser()

with open(sys.argv[1], 'r') as infile:
    lexer = SpecifyLexer()
    print(lexer.test(infile.read()))
with open(sys.argv[1], 'r') as infile:
    parser.parse(infile.read())