pysmt / pysmt / 1272 / 13

Ran 23 Oct 2016 03:33PM UTC

Files 46

Run time 2s

Badge

Committed 23 Oct 2016 03:21PM UTC coverage: 91.849%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

 Link to Google Group in Readme.md (#345)

Added the Browse to archive and the button

Thanks to @ankit01ojha for contributing this.

Run Details

8643 of 9410 relevant lines covered (91.85%)

0.92 hits per line