diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-27 12:47:03 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-27 12:47:28 -0800 |
| commit | dee912ab4b724eb05bfd229032e80d29aea9ea64 (patch) | |
| tree | 206846b7731b23b932c21beaf7a69fbbba993b59 /test | |
| parent | 026d08247408c49828e38221fd0899349a82e1b6 (diff) | |
| download | sail-riscv-dee912ab4b724eb05bfd229032e80d29aea9ea64.zip sail-riscv-dee912ab4b724eb05bfd229032e80d29aea9ea64.tar.gz sail-riscv-dee912ab4b724eb05bfd229032e80d29aea9ea64.tar.bz2 | |
Initial attempt to separate generated files by ARCH. Some backends/rvfi/rmem still to be tested.
Diffstat (limited to 'test')
| -rwxr-xr-x | test/run_tests.sh | 33 |
1 files changed, 16 insertions, 17 deletions
diff --git a/test/run_tests.sh b/test/run_tests.sh index ad47cc1..e0b50ad 100755 --- a/test/run_tests.sh +++ b/test/run_tests.sh @@ -53,35 +53,35 @@ cd $RISCVDIR make clean printf "Building 32-bit RISCV specification...\n" -if ARCH=RV32 make ocaml_emulator/riscv_ocaml_sim ; +if ARCH=RV32 make ocaml_emulator/riscv_ocaml_sim_RV32 ; then green "Building 32-bit RISCV OCaml emulator" "ok" else red "Building 32-bit RISCV OCaml emulator" "fail" fi 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}" + if $RISCVDIR/ocaml_emulator/riscv_ocaml_sim_RV32 "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" then - green "$(basename $test)" "ok" + green "OCaml-32 $(basename $test)" "ok" else - red "$(basename $test)" "fail" + red "OCaml-32 $(basename $test)" "fail" fi done finish_suite "32-bit RISCV OCaml tests" -if ARCH=RV32 make c_emulator/riscv_sim; +if ARCH=RV32 make c_emulator/riscv_sim_RV32; then green "Building 32-bit RISCV C emulator" "ok" else red "Building 32-bit RISCV C emulator" "fail" fi for test in $DIR/riscv-tests/rv32*.elf; do - if timeout 5 $RISCVDIR/c_emulator/riscv_sim -p $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout + if timeout 5 $RISCVDIR/c_emulator/riscv_sim_RV32 -p $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout then - green "$(basename $test)" "ok" + green "C-32 $(basename $test)" "ok" else - red "$(basename $test)" "fail" + red "C-32 $(basename $test)" "fail" fi done finish_suite "32-bit RISCV C tests" @@ -91,37 +91,36 @@ make clean printf "Building 64-bit RISCV specification...\n" -if make ocaml_emulator/riscv_ocaml_sim ; +if make ocaml_emulator/riscv_ocaml_sim_RV64 ; then green "Building 64-bit RISCV OCaml emulator" "ok" else red "Building 64-bit RISCV OCaml emulator" "fail" fi for test in $DIR/riscv-tests/rv64*.elf; do - if $RISCVDIR/ocaml_emulator/riscv_ocaml_sim "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" + if $RISCVDIR/ocaml_emulator/riscv_ocaml_sim_RV64 "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" then - green "$(basename $test)" "ok" + green "OCaml-64 $(basename $test)" "ok" else - red "$(basename $test)" "fail" + red "OCaml-64 $(basename $test)" "fail" fi done finish_suite "64-bit RISCV OCaml tests" -if make c_emulator/riscv_sim; +if make c_emulator/riscv_sim_RV64; then green "Building 64-bit RISCV C emulator" "ok" else red "Building 64-bit RISCV C emulator" "fail" fi for test in $DIR/riscv-tests/rv64*.elf; do - if timeout 5 $RISCVDIR/c_emulator/riscv_sim -p $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout + if timeout 5 $RISCVDIR/c_emulator/riscv_sim_RV64 -p $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout then - green "$(basename $test)" "ok" + green "C-64 $(basename $test)" "ok" else - red "$(basename $test)" "fail" + red "C-64 $(basename $test)" "fail" fi done finish_suite "64-bit RISCV C tests" printf "</testsuites>\n" >> $DIR/tests.xml - |