diff options
Diffstat (limited to 'tests/vloghtb/common.sh')
-rw-r--r-- | tests/vloghtb/common.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/vloghtb/common.sh b/tests/vloghtb/common.sh index 1c60d794f..3f7fc258d 100644 --- a/tests/vloghtb/common.sh +++ b/tests/vloghtb/common.sh @@ -8,6 +8,32 @@ log_fail() printf "%-15s %s %s %s\n" "$1" "$2" "`printf "%20s" "$2" | tr -d a-zA-Z0-9_ | tr ' ' .`" "FAIL." } +test_autotest() +{ + # Usage: + # test_autotest <test_name> <mod_name> <vlog_file> <autotest_cmd_line_options> + + test_name="$1" + mod_name="$2" + vlog_file="$3" + shift 3 + + mkdir -p log_test_$test_name + rm -rf log_test_$test_name/$mod_name.* + + cp $vlog_file log_test_$test_name/$mod_name.v + + cd log_test_$test_name + if bash ../../tools/autotest.sh "$@" $mod_name.v > /dev/null 2>&1; then + mv $mod_name.out $mod_name.txt + log_pass test_$test_name $mod_name + else + log_fail test_$test_name $mod_name + fi + + cd .. +} + test_equiv() { # Usage: |