mirror of https://github.com/WebAssembly/wasi-sdk
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
58 lines
1.3 KiB
58 lines
1.3 KiB
5 years ago
|
#!/bin/bash
|
||
|
|
set -ueo pipefail
|
||
|
|
|
||
|
|
# A simple testcase runner that runs a command, captures all its command-line
|
||
|
|
# outputs, and compares them against expected outputs.
|
||
|
|
|
||
|
|
runwasm="$1"
|
||
|
|
clang="$2"
|
||
|
|
options="$3"
|
||
|
|
input="$4"
|
||
|
|
|
||
|
|
wasm="$input.$options.wasm"
|
||
|
|
stdout_observed="$input.$options.stdout.observed"
|
||
|
|
stderr_observed="$input.$options.stderr.observed"
|
||
|
|
exit_status_observed="$input.$options.exit_status.observed"
|
||
|
|
|
||
|
|
if [ -e "$input.options" ]; then
|
||
|
|
file_options=$(cat "$inpit.options")
|
||
|
|
else
|
||
|
|
file_options=
|
||
|
|
fi
|
||
|
|
|
||
|
|
echo "Testing $input..."
|
||
|
|
"$clang" $options $file_options "$input" -o "$wasm"
|
||
|
|
if [ -e "$input.stdin" ]; then
|
||
|
|
stdin="$input.stdin"
|
||
|
|
else
|
||
|
|
stdin="/dev/null"
|
||
|
|
fi
|
||
|
|
|
||
|
|
exit_status=0
|
||
|
|
"$runwasm" "$wasm" \
|
||
|
|
< "$stdin" \
|
||
|
|
> "$stdout_observed" \
|
||
|
|
2> "$stderr_observed" \
|
||
|
|
|| exit_status=$?
|
||
|
|
echo $exit_status > "$exit_status_observed"
|
||
|
|
|
||
|
|
if [ -e "$input.stdout.expected" ]; then
|
||
|
|
stdout_expected="$input.stdout.expected"
|
||
|
|
else
|
||
|
|
stdout_expected="/dev/null"
|
||
|
|
fi
|
||
|
|
if [ -e "$input.stderr.expected" ]; then
|
||
|
|
stderr_expected="$input.stderr.expected"
|
||
|
|
else
|
||
|
|
stderr_expected="/dev/null"
|
||
|
|
fi
|
||
|
|
if [ -e "$input.exit_status.expected" ]; then
|
||
|
|
exit_status_expected="$input.exit_status.expected"
|
||
|
|
else
|
||
|
|
exit_status_expected=../exit_status_zero
|
||
|
|
fi
|
||
|
|
|
||
|
|
diff -u "$stderr_expected" "$stderr_observed"
|
||
|
|
diff -u "$stdout_expected" "$stdout_observed"
|
||
|
|
diff -u "$exit_status_expected" "$exit_status_observed"
|