test: ./wvtestrun ./wvtest.py genhtml-test.py