diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-14 18:39:42 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-14 19:02:04 -0800 |
| commit | 3fdda1f2e054a01c95ff59593a8d67d85770609a (patch) | |
| tree | ce460b93f6240d98eaef659dbff2442402ee627d /test | |
| parent | 3c0168526eb9895292a6f92b42f243fce4fd1a9d (diff) | |
| download | sail-riscv-3fdda1f2e054a01c95ff59593a8d67d85770609a.zip sail-riscv-3fdda1f2e054a01c95ff59593a8d67d85770609a.tar.gz sail-riscv-3fdda1f2e054a01c95ff59593a8d67d85770609a.tar.bz2 | |
Reorganize directory structure.
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 04d72a2..491c64c 100755 --- a/test/run_tests.sh +++ b/test/run_tests.sh @@ -51,7 +51,7 @@ cd $RISCVDIR printf "Building RISCV specification...\n" -if make platform ; +if make ocaml/platform ; then green "Building RISCV specification" "ok" else @@ -59,7 +59,7 @@ else fi for test in $DIR/tests/*.elf; do - if $RISCVDIR/platform "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" + if $RISCVDIR/ocaml/platform "$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 riscv_sim; +if make c/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/riscv_sim -p $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout + if timeout 5 $RISCVDIR/c/riscv_sim -p $test > ${test%.elf}.cout 2>&1 && grep -q SUCCESS ${test%.elf}.cout then green "$(basename $test)" "ok" else |