Lines Matching defs:gem5_stats_file
865 def readGem5Stats(stats, gem5_stats_file):
868 print gem5_stats_file
870 ext = os.path.splitext(gem5_stats_file)[1]
884 f = gzip.open(gem5_stats_file, "r")
886 f = open(gem5_stats_file, "r")
888 print "ERROR opening stats file", gem5_stats_file, "!"
1237 gem5_stats_file = input_path + "/stats.txt.gz"
1238 if not os.path.exists(gem5_stats_file):
1239 gem5_stats_file = input_path + "/stats.txt"
1240 if not os.path.exists(gem5_stats_file):
1244 readGem5Stats(stats, gem5_stats_file)