pysmt / pysmt / 1223 / 2

Ran 17 Oct 2016 12:05PM UTC

Files 46

Run time 2s

Badge

Committed 17 Oct 2016 11:28AM UTC coverage: 91.803% (-1.9%) from 93.731%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #372 from pysmt/coverage/clean_up

CI: Tests clean-up and disable coverage

Run Details

8590 of 9357 relevant lines covered (91.8%)

0.92 hits per line