
![sts architecture](http://www.eecs.berkeley.edu/~rcs/research/sts_arch.jpg)

### Testing

All unit and integration tests are under the tests/ subdirectory. We use
nose to run tests:

$ nosetests

This will find and run all files with '_test' in the name.


Add Documentation, test to see GitHub's behavior
Add Documentation, test to see GitHub's behavior
