pysmt / pysmt / 1798 / 15

Ran 24 Nov 2017 09:04AM UTC

Files 49

Run time 1s

Badge

Committed 24 Nov 2017 08:47AM UTC coverage: 85.254% (+0.04%) from 85.213%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #460 from pysmt/self_substitution

QE: Self-substitution

Run Details

8395 of 9847 relevant lines covered (85.25%)

0.85 hits per line