run-riscv-tests.sh


1
2
3
4
5
6
7
8
9
10
11
12

#!/bin/bash

for f in $(cat torun.txt); do
    result=$(cargo run $f 2>&1 | tail -n 1 | awk '{print $NF}')
    if [[ $result != 0 ]]; then
        testnum=$(( result >> 1 ))
        echo $f: test $testnum failed
        exit 1
    fi
done

echo all tests passed