genCheckpoint syntax fix

This commit is contained in:
bbracker 2021-11-01 15:31:38 -07:00
parent 526aff54a8
commit 9fe8820ed0

View File

@ -32,7 +32,7 @@ then
# Post-Process GDB outputs
./parseState.py "$checkOutDir"
./fix_mem.py "$checkIntermedDir/ramGDB.txt" "$checkOutDir/ram.txt"
tail -n+$($instrs+1) "$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!"