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