diff --git a/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.gdb b/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.gdb index 8c2e316ef..65ce15598 100755 --- a/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.gdb +++ b/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.gdb @@ -8,10 +8,10 @@ define genCheckpoint # Argument Parsing set $tcpPort=$arg0 set $instrCount=$arg1 - set $statePath=$arg2 - set $ramPath=$arg3 - set $checkPC=$arg4 - set $checkPCoccurences=$arg5 + set $statePath=$arg1 + set $ramPath=$arg2 + set $checkPC=$arg3 + set $checkPCoccurences=$arg4 eval "set $statePath = \"%s/stateGDB.txt\"", $statePath eval "set $ramPath = \"%s/ramGDB.txt\"", $ramPath diff --git a/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.sh b/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.sh index cfdeffae2..2666d69e2 100755 --- a/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.sh +++ b/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.sh @@ -3,7 +3,7 @@ source genSettings.sh tcpPort=1236 -instrs=8500000 +instrs=50000000 checkOutDir="$outDir/checkpoint$instrs" checkIntermedDir="$checkOutDir/intermediate-outputs" @@ -31,7 +31,7 @@ then & riscv64-unknown-elf-gdb -quiet -x genCheckpoint.gdb -ex "genCheckpoint $tcpPort $instrs \"$checkIntermedDir\" 0x$pc $occurences" # Post-Process GDB outputs ./parseState.py "$checkOutDir" - ./fix_mem.py "$intermedDir/ramGDB.txt" "$checkOutDir/ram.txt" + ./fix_mem.py "$checkIntermedDir/ramGDB.txt" "$checkOutDir/ram.txt" tail -n+$(($instrs-9)) "$outDir/$traceFile" > "$checkOutDir/$traceFile" else echo "You can change the number of instructions by editing the \"instrs\" variable in this script."