diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-16 10:24:17 -0800 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-16 10:24:17 -0800 |
commit | 254ed382c60fae295985fe7b83775adf116e49ba (patch) | |
tree | cd0e174f34b6332dab2aeca622e1f05b181d80cd /test | |
parent | 9d0282a0a52f0fa37e1d07827a4c0189dd01301c (diff) | |
download | sail-riscv-254ed382c60fae295985fe7b83775adf116e49ba.zip sail-riscv-254ed382c60fae295985fe7b83775adf116e49ba.tar.gz sail-riscv-254ed382c60fae295985fe7b83775adf116e49ba.tar.bz2 |
Make it clearer that the outer c,ocaml sub-dirs contain supporting files for the emulators.
Diffstat (limited to 'test')
-rwxr-xr-x | test/run_tests.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/run_tests.sh b/test/run_tests.sh index 491c64c..d45e682 100755 --- a/test/run_tests.sh +++ b/test/run_tests.sh @@ -51,7 +51,7 @@ cd $RISCVDIR printf "Building RISCV specification...\n" -if make ocaml/platform ; +if make ocaml_emulator/riscv_ocaml_sim ; then green "Building RISCV specification" "ok" else @@ -59,7 +59,7 @@ else fi for test in $DIR/tests/*.elf; do - if $RISCVDIR/ocaml/platform "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" + if $RISCVDIR/ocaml_emulator/riscv_ocaml_sim "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" then green "$(basename $test)" "ok" else @@ -69,7 +69,7 @@ done finish_suite "RISCV OCaml tests" -if make c/riscv_sim; +if make c_emulator/riscv_sim; then green "Building RISCV specification to C" "ok" else @@ -77,7 +77,7 @@ else fi for test in $DIR/tests/*.elf; do - if timeout 5 $RISCVDIR/c/riscv_sim -p $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout + if timeout 5 $RISCVDIR/c_emulator/riscv_sim -p $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout then green "$(basename $test)" "ok" else |