1 files changed, 1 insertions, 2 deletions
diff --git a/test/run_tests.sh b/test/run_tests.sh
index 0a3da0d..e548638 100755
--- a/test/run_tests.sh
+++ b/test/run_tests.sh
@@ -61,8 +61,7 @@ else
     red "Building 32-bit RISCV specification" "fail"
 fi
 
-for test in $DIR/riscv-tests/rv32*-p-*.elf; do
-    echo Testing $test
+for test in $DIR/riscv-tests/rv32*.elf; do
     if $RISCVDIR/ocaml_emulator/riscv_ocaml_sim "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}"
     then
        green "$(basename $test)" "ok"