diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-11-26 15:22:52 -0800 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-11-26 15:23:42 -0800 |
commit | 127de84d77bdce6c80de42c59cfceae736d6a72a (patch) | |
tree | b0d584acf7671888902f76a6728da5fe1e954da7 | |
parent | 1913d685b15c8c9dfc1f43fa6a64e72d338a56d4 (diff) | |
download | sail-riscv-127de84d77bdce6c80de42c59cfceae736d6a72a.zip sail-riscv-127de84d77bdce6c80de42c59cfceae736d6a72a.tar.gz sail-riscv-127de84d77bdce6c80de42c59cfceae736d6a72a.tar.bz2 |
Skip tests for FP doubles on RV32 for now.
-rwxr-xr-x | test/run_tests.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/run_tests.sh b/test/run_tests.sh index e0b50ad..5ddf8f5 100755 --- a/test/run_tests.sh +++ b/test/run_tests.sh @@ -60,6 +60,10 @@ else red "Building 32-bit RISCV OCaml emulator" "fail" fi for test in $DIR/riscv-tests/rv32*.elf; do + # skip D tests on RV32 + if [[ "$(basename $test)" =~ rv32ud-*.elf ]]; + then continue + fi if $RISCVDIR/ocaml_emulator/riscv_ocaml_sim_RV32 "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" then green "OCaml-32 $(basename $test)" "ok" @@ -77,6 +81,10 @@ else red "Building 32-bit RISCV C emulator" "fail" fi for test in $DIR/riscv-tests/rv32*.elf; do + # skip D tests on RV32 + if [[ "$(basename $test)" =~ rv32ud-*.elf ]]; + then continue + fi if timeout 5 $RISCVDIR/c_emulator/riscv_sim_RV32 -p $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout then green "C-32 $(basename $test)" "ok" |