wvtest.py: when exceptions are thrown, choose a better stack dump.
treefb047e2a1f1bb07dfd46138539fe36d4fabe5103
-rw-r--r-- 53 .gitignore
-rw-r--r-- 25265 LICENSE
-rw-r--r-- 367 Makefile
-rw-r--r-- 15255 README
drwxr-xr-x - cpp
drwxr-xr-x - dotnet
drwxr-xr-x - python
-rw-r--r-- 207 sample-error
-rw-r--r-- 200 sample-ok
drwxr-xr-x - sh
-rwxr-xr-x 3630 wvtestrun