1 files changed, 13 insertions, 4 deletions
diff --git a/test/riscv/run_tests.sh b/test/riscv/run_tests.sh
index d52caeb4..dd19bd72 100755
--- a/test/riscv/run_tests.sh
+++ b/test/riscv/run_tests.sh
@@ -49,15 +49,24 @@ printf "<testsuites>\n" >> $DIR/tests.xml
 
 cd $SAILDIR/riscv
 
-printf "Checking specification...\n"
+printf "Building RISCV specification...\n"
 
-if make -C $SAILDIR/riscv check;
+if make -C $SAILDIR/riscv riscv ;
 then
-    green "checked RISCV specification" "ok"
+    green "Building RISCV specification" "ok"
 else
-    red "checking RISCV specification" "fail"
+    red "Building RISCV specification" "fail"
 fi
 
+for test in $DIR/tests/*.elf; do
+    if $SAILDIR/riscv/riscv "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}"
+    then
+       green "$test" "ok"
+    else
+       red "$test" "fail"
+    fi
+done
+
 finish_suite "RISCV tests"
 
 printf "</testsuites>\n" >> $DIR/tests.xml