Download

VTST•Tools is released under the Apache License version 2.


Tar files

VTST Code: vtstcode.tgz

VTST Scripts: vtstscripts.tgz


SVN Access

A read-only copy of the code can be anonymously checked out of the subversion repository with the following command:

svn co http://theory.cm.utexas.edu/svn/vtsttools

If you are a developer you can checkout the code using the command:

svn co svn+ssh://username@theory.cm.utexas.edu/svn/vtsttools

This will fetch a copy of the latest code to a local directory named vtsttools. For more information on subversion read its online documentation.