9
63%
master: 65%

Ran 10 Jan 2020 07:56PM UTC

Files 440

Run time 33s

Badge

Committed 10 Jan 2020 07:43PM UTC coverage: 63.015% (+0.01%) from 63.003%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #158 from disteph/mcsat-bv

Fixing issue157.smt2 (over-zealous assert), and adding the regress test

Run Details

68000 of 107911 relevant lines covered (63.01%)

1410695.09 hits per line