diff options
Diffstat (limited to 'scripts/torture/run_single_test.sh')
-rw-r--r-- | scripts/torture/run_single_test.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/scripts/torture/run_single_test.sh b/scripts/torture/run_single_test.sh new file mode 100644 index 0000000..81f48ae --- /dev/null +++ b/scripts/torture/run_single_test.sh @@ -0,0 +1,18 @@ +#!/bin/bash + +set -ex + + +## Generate test case + +cd riscv-torture +./sbt generator/run +cp output/test.S ../test.S +cd .. + + +## Compile test case and create reference + +riscv32-unknown-elf-gcc -m32 -ffreestanding -nostdlib -Wl,-Bstatic,-T,sections.lds -o test.elf test.S +LD_LIBRARY_PATH="./riscv-isa-sim:./riscv-fesvr" ./riscv-isa-sim/spike test.elf > test.ref + |