mirror of
https://github.com/riscv-software-src/riscv-isa-sim.git
synced 2025-10-14 02:07:30 +08:00
20 lines
371 B
Bash
Executable File
20 lines
371 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -x
|
|
|
|
TESTDIR="$1"
|
|
SPIKE_PATH="$2"
|
|
|
|
error=0
|
|
for testfile in "$TESTDIR"/*; do
|
|
bitness=$(basename "$testfile" .elf | grep -o "[0-9]\+")
|
|
if ! timeout --foreground 5s "$SPIKE_PATH" -l --log-commits --isa rv"$bitness"ifdcv_zicsr "$testfile"
|
|
then
|
|
echo "TIMEOUT: $testfile"
|
|
error=1
|
|
else
|
|
echo "SUCCESS: $testfile"
|
|
fi
|
|
done
|
|
exit $error
|