diff --git a/sim/buildrootBugFinder.py b/sim/buildrootBugFinder.py deleted file mode 100755 index ee9fe0603..000000000 --- a/sim/buildrootBugFinder.py +++ /dev/null @@ -1,42 +0,0 @@ -#!/usr/bin/env python3 -import sys, os, subprocess - -def main(): - RISCV = os.environ.get("RISCV") - maxGoodCount = 400e6 # num instrs that execute sucessfully starting from 0 - currInstrCount = maxGoodCount - linuxTestvectors = RISCV+"/linux-testvectors" - if not os.path.exists(linuxTestvectors): - sys.stderr.write("Error: Linux testvectors not found at "+linuxTestvectors+"\n") - exit(1) - checkpointList = [int(fileName.strip('checkpoint')) for fileName in os.listdir(linuxTestvectors) if 'checkpoint' in fileName] - checkpointList.sort() - - logDir = "./logs/buildrootBugFinderLogs/" - os.system("mkdir -p "+logDir) - summaryLogFilePath = logDir+"summary.log" - summaryLogFile = open(summaryLogFilePath,'w') - summaryLogFile.close() - while True: - checkpointList = [checkpoint for checkpoint in checkpointList if checkpoint > currInstrCount] - if len(checkpointList)==0: - break - checkpoint = checkpointList[0] - logFile = logDir+"checkpoint"+str(checkpoint)+".log" - runCommand="{\nvsim -c <