pysmt / pysmt / 1866 / 14

Ran 20 Jan 2018 07:23PM UTC

Files 49

Run time 1s

Badge

Committed 20 Jan 2018 06:59PM UTC coverage: 85.082%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Fixed Travis build and a small typo

Run Details

8783 of 10323 relevant lines covered (85.08%)

0.85 hits per line