Revision 1b57c8e01a682145f576e101c868ba84ea38ec1b authored by ah744 on 06 August 2016, 01:41:28 UTC, committed by ah744 on 06 August 2016, 01:41:28 UTC
1 parent 2eae3de
get_total_gates_line.py
#!/usr/bin/python
import sys
the_file = open(sys.argv[1],"r")
for line in the_file.readlines():
if line.startswith( 'total_gates' ):
print line
the_file.close()

Computing file changes ...