klee/klee — pull request #152 by delcypher (2014-09-14 12:43:44+00:00)
Title: Add Travis build status icon/link

This just adds a nice icon that shows the build status. It is also a link so if you're on the GitHub homepage you can click on it and go to the Travis dashboard for KLEE.