Comment 1 for bug 122260

Stub says on-list:

> As the error says, there are Too mant (sic) positional arguments. This works:
> ./test.py -fvvv canonical --test=bug.txt
>
> This is a bug upstream in z3 I think. I tried dropping in current svn
> testrunner, but we get a different error instead. The typo has been fixed
> though :)