pysmt / pysmt / 1822 / 15

Ran 13 Dec 2017 02:35AM UTC

Files 49

Run time 2s

Badge

Committed 13 Dec 2017 01:42AM UTC coverage: 85.09% (+0.02%) from 85.071%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #453 from pysmt/msat-win

MathSAT update to 5.5.1 and windows support

Run Details

8783 of 10322 relevant lines covered (85.09%)

0.85 hits per line