pysmt / pysmt / 1779 / 15

Ran 19 Nov 2017 10:01PM UTC

Files 49

Run time 1s

Badge

Committed 19 Nov 2017 06:15PM UTC coverage: 85.213% (+0.01%) from 85.203%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #450 from pysmt/bv2nat

BV2NAT: Add bv2nat operator

Run Details

8362 of 9813 relevant lines covered (85.21%)

0.85 hits per line