pysmt / pysmt / 1509 / 1

Ran 01 Aug 2017 02:05PM UTC

Files 48

Run time 2s

Badge

Committed 01 Aug 2017 01:06PM UTC coverage: 91.247% (+0.1%) from 91.131%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #411 from pysmt/griggio_smtlib_tests

Extend parser to support declare-sort/define-sort

Run Details

8809 of 9654 relevant lines covered (91.25%)

0.91 hits per line