3
64%
master: 36%

Ran 15 Apr 2016 02:12AM UTC

Files 236

Run time 6s

Badge

Committed 15 Apr 2016 02:07AM UTC coverage: 64.151% (-0.01%) from 64.161%

Build Type

push

travis-ci

Committed by

Commit Message

print logic in smt2

Run Details

8101 of 12628 relevant lines covered (64.15%)

16473.78 hits per line