Karl Kroening dddf62869d Merge pull request #5 from kkroening/feature-4 ...

Feature 4: integrate travis CI

2017-05-25 17:00:19 -10:00

..

tests

#4: comment out test_version

2017-05-25 16:53:50 -10:00

__init__.py

Merge pull request #2 from Depaulicious/patch-1

2017-05-25 16:50:47 -10:00