pysmt / pysmt / 1191 / 13

Ran 13 Oct 2016 11:24AM UTC

Files 96

Run time 4s

Badge

Committed 13 Oct 2016 11:12AM UTC coverage: 92.227%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Merge branch 'i337/docs_contributing'

Thanks to Jason Taylor Hodge (@jthodge) for contributing this patch

Run Details

12565 of 13624 relevant lines covered (92.23%)

0.92 hits per line