set -e
./cli/wvtest --exhaustive --short --no-extras