diff options
Diffstat (limited to 'scripts/torture')
-rw-r--r-- | scripts/torture/Makefile | 1 | ||||
-rw-r--r-- | scripts/torture/testbench.v | 4 |
2 files changed, 2 insertions, 3 deletions
diff --git a/scripts/torture/Makefile b/scripts/torture/Makefile index 8856a7a..e9bea89 100644 --- a/scripts/torture/Makefile +++ b/scripts/torture/Makefile @@ -36,7 +36,6 @@ tests/generated.ok: riscv-torture/build.ok mkdir -p tests rm -f riscv-torture/output/test_* cd riscv-torture && ./sbt 'generator/run -n 1000' - sed -i -e '/addi x2, x2, 0/ s/addi/xori/;' riscv-torture/output/test_*.S touch tests/generated.ok define test_template diff --git a/scripts/torture/testbench.v b/scripts/torture/testbench.v index d6b974f..41f3495 100644 --- a/scripts/torture/testbench.v +++ b/scripts/torture/testbench.v @@ -79,9 +79,9 @@ module testbench ( end end if (errcount) - $display("FAILED: Got %1d errors for %1s/%1s!", errcount, hex_filename, ref_filename); + $display("FAILED: Got %1d errors for %1s => %1s!", errcount, hex_filename, ref_filename); else - $display("PASSED %1s/%1s.", hex_filename, ref_filename); + $display("PASSED %1s => %1s.", hex_filename, ref_filename); $finish; end end |