diff options
Diffstat (limited to 'test/riscv')
| -rwxr-xr-x | test/riscv/run_tests.sh | 5 | ||||
| -rw-r--r-- | test/riscv/tests/.gitignore | 1 |
2 files changed, 3 insertions, 3 deletions
diff --git a/test/riscv/run_tests.sh b/test/riscv/run_tests.sh index 512feabf..319504ad 100755 --- a/test/riscv/run_tests.sh +++ b/test/riscv/run_tests.sh @@ -67,7 +67,7 @@ for test in $DIR/tests/*.elf; do fi done -if make -C $SAILDIR/riscv riscv_c; +if make -C $SAILDIR/riscv riscv_sim; then green "Building RISCV specification to C" "ok" else @@ -75,8 +75,7 @@ else fi for test in $DIR/tests/*.elf; do - $SAILDIR/sail -elf $test -o ${test%.elf}.bin 2> /dev/null; - if timeout 5 $SAILDIR/riscv/riscv_c --binary=0x1000,reset_vec.bin --image=${test%.elf}.bin > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout + if timeout 5 $SAILDIR/riscv/riscv_sim $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout then green "$(basename $test)" "ok" else diff --git a/test/riscv/tests/.gitignore b/test/riscv/tests/.gitignore index f47cb204..72a5e441 100644 --- a/test/riscv/tests/.gitignore +++ b/test/riscv/tests/.gitignore @@ -1 +1,2 @@ *.out +*.cout |