Add CI for checkpoints with dmiRocketConfig

2023-04-12 17:50:38 -07:00
parent 1acad86161
commit 35320bf13d
1 changed files with 2 additions and 1 deletions
--- a/.github/scripts/run-tests.sh
+++ b/.github/scripts/run-tests.sh
@@ -33,7 +33,8 @@ case $1 in
        run_bmark ${mapping[$1]}
        ;;
    chipyard-dmirocket)
-        run_bmark ${mapping[$1]}
+        $LOCAL_CHIPYARD_DIR/scripts/generate-ckpt.sh -b $RISCV/riscv64-unknown-elf/share/riscv-tests/benchmarks/dhrystone.riscv -c 10000
+        make -C $LOCAL_SIM_DIR $DISABLE_SIM_PREREQ ${mapping[$1]} run-binary LOADARCH=dhrystone.riscv.0x80000000.10000.loadarch
        ;;
    chipyard-boom)
        run_bmark ${mapping[$1]}