pysmt / pysmt / 1798 / 1

Ran 24 Nov 2017 08:55AM UTC

Files 49

Run time 1s

Badge

Committed 24 Nov 2017 08:47AM UTC coverage: 85.253% (+0.05%) from 85.203%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #460 from pysmt/self_substitution

QE: Self-substitution

Run Details

8394 of 9846 relevant lines covered (85.25%)

0.85 hits per line