Xavi/cvw
1
0
Fork 0
forked from Github_Repos/cvw
Code Issues Pull Requests Packages Projects Releases Wiki Activity

checkpoint generator off-by-one error fix

Browse Source
This commit is contained in:
bbracker 2021-10-27 14:10:29 -07:00
parent c457fc6e27
commit ab711c498d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.sh
View File

@ -3,7 +3,7 @@
source genSettings.sh
tcpPort=1236
instrs=10000000
instrs=480000000
checkOutDir="$outDir/checkpoint$instrs"
checkIntermedDir="$checkOutDir/intermediate-outputs"
@ -32,7 +32,7 @@ then
# Post-Process GDB outputs
./parseState.py "$checkOutDir"
./fix_mem.py "$checkIntermedDir/ramGDB.txt" "$checkOutDir/ram.txt"
tail -n+$instrs "$outDir/$traceFile" > "$checkOutDir/$traceFile"
tail -n+$($instrs+1) "$outDir/$traceFile" > "$checkOutDir/$traceFile"
else
echo "You can change the number of instructions by editing the \"instrs\" variable in this script."
echo "Have a nice day!"