diff --git a/.github/scripts/run-tests.sh b/.github/scripts/run-tests.sh index e97e68fe5a..e793826bb9 100755 --- a/.github/scripts/run-tests.sh +++ b/.github/scripts/run-tests.sh @@ -30,6 +30,7 @@ run_tracegen () { run_binary () { make run-binary-fast -C $LOCAL_SIM_DIR $DISABLE_SIM_PREREQ ${mapping[$1]} $@ +} case $1 in chipyard-rocket) @@ -108,6 +109,7 @@ case $1 in chipyard-tethered) make -C $LOCAL_CHIPYARD_DIR/tests run_binary BINARY=$LOCAL_CHIPYARD_DIR/tests/hello.riscv LOADMEM=1 EXTRA_SIM_FLAGS="+cflush_addr=0x2010200" + ;; tracegen) run_tracegen ;;