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.
32 lines
909 B
32 lines
909 B
6 years ago
|
#!/usr/bin/env bash
|
||
|
# Author michael <themichaeleden@gmail.com>
|
||
|
set -euo pipefail
|
||
|
set -x
|
||
|
SOURCE_DIR=$(readlink -f "${BASH_SOURCE[0]}")
|
||
|
SOURCE_DIR=$(dirname "$SOURCE_DIR")
|
||
|
cd "${SOURCE_DIR}/.."
|
||
|
WSSERVER_PID=
|
||
|
|
||
|
function cleanup() {
|
||
|
kill -9 ${WSSERVER_PID}
|
||
|
}
|
||
|
trap cleanup TERM EXIT
|
||
|
|
||
|
function test_diff() {
|
||
|
if ! diff -q \
|
||
|
<(jq -S 'del(."Tungstenite" | .. | .duration?)' 'autobahn/client-results.json') \
|
||
|
<(jq -S 'del(."Tungstenite" | .. | .duration?)' 'autobahn/server/index.json')
|
||
|
then
|
||
|
echo Difference in results, either this is a regression or \
|
||
|
one should update autobahn/server-results.json with the new results.
|
||
|
exit 64
|
||
|
fi
|
||
|
}
|
||
|
|
||
|
cargo build --release --example autobahn-server
|
||
|
cargo run --release --example autobahn-server & WSSERVER_PID=$!
|
||
|
echo "Server PID: ${WSSERVER_PID}"
|
||
|
sleep 3
|
||
|
wstest -m fuzzingclient -s 'autobahn/fuzzingclient.json'
|
||
|
test_diff
|