diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2018-12-19 12:05:43 +0000 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2018-12-19 12:05:43 +0000 |
| commit | 935b44cd82bbdabd55d170319b59596762727979 (patch) | |
| tree | 19a832004f5dc008e5d23acc44fdad9f1bb1872e /test | |
| parent | 02c03e9d048a1f334701f223a7d97d1cfba6150b (diff) | |
| download | sail-riscv-935b44cd82bbdabd55d170319b59596762727979.zip sail-riscv-935b44cd82bbdabd55d170319b59596762727979.tar.gz sail-riscv-935b44cd82bbdabd55d170319b59596762727979.tar.bz2 | |
Split tests into two suites for benefit of jenkins.
Diffstat (limited to 'test')
| -rwxr-xr-x | test/run_tests.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/run_tests.sh b/test/run_tests.sh index aa6245b..5cb1455 100755 --- a/test/run_tests.sh +++ b/test/run_tests.sh @@ -67,6 +67,8 @@ for test in $DIR/tests/*.elf; do fi done +finish_suite "RISCV OCaml tests" + if make riscv_sim; then green "Building RISCV specification to C" "ok" @@ -83,7 +85,7 @@ for test in $DIR/tests/*.elf; do fi done -finish_suite "RISCV tests" +finish_suite "RISCV C tests" printf "</testsuites>\n" >> $DIR/tests.xml |