set -e
./cli/wvtest --threads --exhaustive