Update generate-ckpt loadarch formats to match spike

ucb-bar · Jun 29, 2024 · 877063c · 877063c
1 parent 21723ea
commit 877063c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/generators/testchipip b/generators/testchipip
diff --git a/scripts/generate-ckpt.sh b/scripts/generate-ckpt.sh
@@ -142,7 +142,8 @@ echo "quit" >> $CMDS_FILE
 echo "spike -d --debug-cmd=$CMDS_FILE $SPIKEFLAGS $BINARY" > $SPIKECMD_FILE
 
 echo "Capturing state at checkpoint to spikeout"
-spike -d --debug-cmd=$CMDS_FILE $SPIKEFLAGS $BINARY 2> $LOADARCH_FILE
+echo $NHARTS > $LOADARCH_FILE
+spike -d --debug-cmd=$CMDS_FILE $SPIKEFLAGS $BINARY 2>> $LOADARCH_FILE
 
 
 echo "Finding tohost/fromhost in elf file"