summaryrefslogtreecommitdiff
path: root/testing/test_vgen.py
Commit message (Collapse)AuthorAgeFilesLines
* Merge the two verifiers into two VEngine classes. There is still a little bitArmin Rigo2012-08-041-0/+12
of code duplication but not too much.