pysmt / pysmt / 1379 / 1

Ran 14 Mar 2017 11:06PM UTC

Files 48

Run time 2s

Badge

Committed 14 Mar 2017 10:58PM UTC coverage: 91.687% (+0.01%) from 91.674%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #399 from pysmt/to-smt-string-shortcut

Print SmtLib term as string shortcut and default to dag SmtLib representation

Run Details

8801 of 9599 relevant lines covered (91.69%)

0.92 hits per line