pysmt / pysmt / 1798 / 2

Ran 24 Nov 2017 08:55AM UTC

Files 49

Run time 1s

Badge

Committed 24 Nov 2017 08:47AM UTC coverage: 85.233% (+0.02%) 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

8392 of 9846 relevant lines covered (85.23%)

0.85 hits per line