pysmt / pysmt / 1891 / 4

Ran 20 May 2018 01:25PM UTC

Files 49

Run time 2s

Badge

Committed 20 May 2018 01:14PM UTC coverage: 85.042% (+0.03%) from 85.012%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #474 from pysmt/z3-4.6.0

Upgrade to Z3 4.6.0

Run Details

8784 of 10329 relevant lines covered (85.04%)

0.85 hits per line